1.589 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (+ x (* y (- z x))) 0.018 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.018 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.020 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 0.022 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 0.029 * * [simplify]: iteration 4 : 46 enodes (cost 6 ) 0.035 * * [simplify]: iteration 5 : 62 enodes (cost 6 ) 0.042 * * [simplify]: iteration 6 : 76 enodes (cost 6 ) 0.051 * * [simplify]: iteration 7 : 97 enodes (cost 6 ) 0.063 * * [simplify]: iteration 8 : 168 enodes (cost 6 ) 0.094 * * [simplify]: iteration 9 : 303 enodes (cost 6 ) 0.187 * * [simplify]: iteration 10 : 558 enodes (cost 6 ) 0.478 * * [simplify]: iteration 11 : 910 enodes (cost 6 ) 1.229 * * [simplify]: iteration 12 : 1352 enodes (cost 6 ) 2.987 * * [simplify]: iteration 13 : 2034 enodes (cost 6 ) 8.433 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 8.433 * [simplify]: Simplified to: (fma (- z x) y x) 8.437 * * [progress]: iteration 1 / 4 8.437 * * * [progress]: picking best candidate 8.439 * * * * [pick]: Picked # 8.439 * * * [progress]: localizing error 8.444 * * * [progress]: generating rewritten candidates 8.444 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.446 * * * [progress]: generating series expansions 8.446 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.450 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 8.450 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 8.452 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 8.452 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 8.452 * [taylor]: Taking taylor expansion of (- z x) in y 8.452 * [taylor]: Taking taylor expansion of z in y 8.452 * [taylor]: Taking taylor expansion of x in y 8.452 * [taylor]: Taking taylor expansion of y in y 8.452 * [taylor]: Taking taylor expansion of x in y 8.452 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 8.452 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 8.452 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 8.452 * [taylor]: Taking taylor expansion of (- z x) in x 8.452 * [taylor]: Taking taylor expansion of z in x 8.452 * [taylor]: Taking taylor expansion of x in x 8.452 * [taylor]: Taking taylor expansion of y in x 8.452 * [taylor]: Taking taylor expansion of x in x 8.452 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 8.452 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 8.452 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 8.452 * [taylor]: Taking taylor expansion of (- z x) in z 8.452 * [taylor]: Taking taylor expansion of z in z 8.452 * [taylor]: Taking taylor expansion of x in z 8.452 * [taylor]: Taking taylor expansion of y in z 8.452 * [taylor]: Taking taylor expansion of x in z 8.453 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 8.453 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 8.453 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 8.453 * [taylor]: Taking taylor expansion of (- z x) in z 8.453 * [taylor]: Taking taylor expansion of z in z 8.453 * [taylor]: Taking taylor expansion of x in z 8.453 * [taylor]: Taking taylor expansion of y in z 8.453 * [taylor]: Taking taylor expansion of x in z 8.455 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 8.455 * [taylor]: Taking taylor expansion of x in x 8.455 * [taylor]: Taking taylor expansion of (* x y) in x 8.455 * [taylor]: Taking taylor expansion of x in x 8.455 * [taylor]: Taking taylor expansion of y in x 8.456 * [taylor]: Taking taylor expansion of 0 in y 8.457 * [taylor]: Taking taylor expansion of y in x 8.457 * [taylor]: Taking taylor expansion of y in y 8.457 * [taylor]: Taking taylor expansion of (- 1 y) in y 8.457 * [taylor]: Taking taylor expansion of 1 in y 8.457 * [taylor]: Taking taylor expansion of y in y 8.459 * [taylor]: Taking taylor expansion of 0 in x 8.459 * [taylor]: Taking taylor expansion of 0 in y 8.459 * [taylor]: Taking taylor expansion of 0 in y 8.460 * [taylor]: Taking taylor expansion of 0 in y 8.461 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 8.461 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 8.461 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 8.461 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 8.461 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.461 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.461 * [taylor]: Taking taylor expansion of z in y 8.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.462 * [taylor]: Taking taylor expansion of x in y 8.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.462 * [taylor]: Taking taylor expansion of y in y 8.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.462 * [taylor]: Taking taylor expansion of x in y 8.462 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 8.462 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 8.462 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 8.462 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.462 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.462 * [taylor]: Taking taylor expansion of z in x 8.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.462 * [taylor]: Taking taylor expansion of x in x 8.462 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.462 * [taylor]: Taking taylor expansion of y in x 8.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.462 * [taylor]: Taking taylor expansion of x in x 8.463 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 8.463 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 8.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 8.463 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.463 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.463 * [taylor]: Taking taylor expansion of z in z 8.463 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.463 * [taylor]: Taking taylor expansion of x in z 8.463 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.463 * [taylor]: Taking taylor expansion of y in z 8.463 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.463 * [taylor]: Taking taylor expansion of x in z 8.463 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 8.463 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 8.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 8.463 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.463 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.463 * [taylor]: Taking taylor expansion of z in z 8.464 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.464 * [taylor]: Taking taylor expansion of x in z 8.464 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.464 * [taylor]: Taking taylor expansion of y in z 8.464 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.464 * [taylor]: Taking taylor expansion of x in z 8.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.464 * [taylor]: Taking taylor expansion of y in x 8.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 8.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.466 * [taylor]: Taking taylor expansion of x in x 8.466 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.466 * [taylor]: Taking taylor expansion of (* x y) in x 8.466 * [taylor]: Taking taylor expansion of x in x 8.466 * [taylor]: Taking taylor expansion of y in x 8.466 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 8.466 * [taylor]: Taking taylor expansion of 1 in y 8.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.466 * [taylor]: Taking taylor expansion of y in y 8.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.467 * [taylor]: Taking taylor expansion of y in y 8.469 * [taylor]: Taking taylor expansion of 0 in x 8.470 * [taylor]: Taking taylor expansion of 0 in y 8.470 * [taylor]: Taking taylor expansion of 0 in y 8.472 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 8.472 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 8.472 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 8.472 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 8.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.472 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.472 * [taylor]: Taking taylor expansion of x in y 8.472 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.472 * [taylor]: Taking taylor expansion of z in y 8.472 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.472 * [taylor]: Taking taylor expansion of -1 in y 8.472 * [taylor]: Taking taylor expansion of y in y 8.473 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.473 * [taylor]: Taking taylor expansion of -1 in y 8.473 * [taylor]: Taking taylor expansion of x in y 8.473 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 8.473 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 8.473 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 8.473 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.473 * [taylor]: Taking taylor expansion of x in x 8.473 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.473 * [taylor]: Taking taylor expansion of z in x 8.473 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.473 * [taylor]: Taking taylor expansion of -1 in x 8.473 * [taylor]: Taking taylor expansion of y in x 8.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.473 * [taylor]: Taking taylor expansion of -1 in x 8.473 * [taylor]: Taking taylor expansion of x in x 8.473 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 8.474 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 8.474 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 8.474 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.474 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.474 * [taylor]: Taking taylor expansion of x in z 8.474 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.474 * [taylor]: Taking taylor expansion of z in z 8.474 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.474 * [taylor]: Taking taylor expansion of -1 in z 8.474 * [taylor]: Taking taylor expansion of y in z 8.474 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.474 * [taylor]: Taking taylor expansion of -1 in z 8.474 * [taylor]: Taking taylor expansion of x in z 8.474 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 8.474 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 8.474 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 8.474 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.474 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.474 * [taylor]: Taking taylor expansion of x in z 8.474 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.474 * [taylor]: Taking taylor expansion of z in z 8.475 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.475 * [taylor]: Taking taylor expansion of -1 in z 8.475 * [taylor]: Taking taylor expansion of y in z 8.475 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.475 * [taylor]: Taking taylor expansion of -1 in z 8.475 * [taylor]: Taking taylor expansion of x in z 8.475 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.475 * [taylor]: Taking taylor expansion of y in x 8.477 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x 8.477 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 8.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.477 * [taylor]: Taking taylor expansion of x in x 8.477 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.477 * [taylor]: Taking taylor expansion of (* x y) in x 8.477 * [taylor]: Taking taylor expansion of x in x 8.477 * [taylor]: Taking taylor expansion of y in x 8.478 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 8.478 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 8.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.478 * [taylor]: Taking taylor expansion of y in y 8.478 * [taylor]: Taking taylor expansion of 1 in y 8.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.478 * [taylor]: Taking taylor expansion of y in y 8.480 * [taylor]: Taking taylor expansion of 0 in x 8.482 * [taylor]: Taking taylor expansion of 0 in y 8.482 * [taylor]: Taking taylor expansion of 0 in y 8.483 * * * [progress]: simplifying candidates 8.484 * [simplify]: Simplifying using # : (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) 8.485 * * [simplify]: iteration 0 : 19 enodes (cost 116 ) 8.487 * * [simplify]: iteration 1 : 32 enodes (cost 113 ) 8.491 * * [simplify]: iteration 2 : 69 enodes (cost 95 ) 8.509 * * [simplify]: iteration 3 : 250 enodes (cost 95 ) 8.584 * * [simplify]: iteration 4 : 1104 enodes (cost 95 ) 9.004 * * [simplify]: iteration done : 5001 enodes (cost 95 ) 9.005 * [simplify]: Simplified to: (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (pow (fma (- z x) y x) 3) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (fma (- z x) y x) (fma (- z x) y x) (fma (- z x) y x) 9.005 * * * [progress]: adding candidates to table 9.029 * * [progress]: iteration 2 / 4 9.029 * * * [progress]: picking best candidate 9.031 * * * * [pick]: Picked # 9.031 * * * [progress]: localizing error 9.038 * * * [progress]: generating rewritten candidates 9.038 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 9.045 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 9.046 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 9.047 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 9.049 * * * [progress]: generating series expansions 9.049 * * * * [progress]: [ 1 / 4 ] generating series at (2) 9.049 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 9.049 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 9.050 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.050 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 9.050 * [taylor]: Taking taylor expansion of (- z x) in y 9.050 * [taylor]: Taking taylor expansion of z in y 9.050 * [taylor]: Taking taylor expansion of x in y 9.050 * [taylor]: Taking taylor expansion of y in y 9.050 * [taylor]: Taking taylor expansion of x in y 9.050 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 9.050 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.050 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 9.050 * [taylor]: Taking taylor expansion of (- z x) in x 9.050 * [taylor]: Taking taylor expansion of z in x 9.050 * [taylor]: Taking taylor expansion of x in x 9.050 * [taylor]: Taking taylor expansion of y in x 9.050 * [taylor]: Taking taylor expansion of x in x 9.050 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.050 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.050 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.050 * [taylor]: Taking taylor expansion of (- z x) in z 9.050 * [taylor]: Taking taylor expansion of z in z 9.050 * [taylor]: Taking taylor expansion of x in z 9.050 * [taylor]: Taking taylor expansion of y in z 9.050 * [taylor]: Taking taylor expansion of x in z 9.050 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.050 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.050 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.050 * [taylor]: Taking taylor expansion of (- z x) in z 9.050 * [taylor]: Taking taylor expansion of z in z 9.050 * [taylor]: Taking taylor expansion of x in z 9.050 * [taylor]: Taking taylor expansion of y in z 9.050 * [taylor]: Taking taylor expansion of x in z 9.050 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.050 * [taylor]: Taking taylor expansion of x in x 9.051 * [taylor]: Taking taylor expansion of (* x y) in x 9.051 * [taylor]: Taking taylor expansion of x in x 9.051 * [taylor]: Taking taylor expansion of y in x 9.051 * [taylor]: Taking taylor expansion of 0 in y 9.052 * [taylor]: Taking taylor expansion of y in x 9.052 * [taylor]: Taking taylor expansion of y in y 9.052 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.052 * [taylor]: Taking taylor expansion of 1 in y 9.052 * [taylor]: Taking taylor expansion of y in y 9.054 * [taylor]: Taking taylor expansion of 0 in x 9.054 * [taylor]: Taking taylor expansion of 0 in y 9.054 * [taylor]: Taking taylor expansion of 0 in y 9.055 * [taylor]: Taking taylor expansion of 0 in y 9.056 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 9.056 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 9.056 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.056 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 9.056 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.056 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.056 * [taylor]: Taking taylor expansion of z in y 9.056 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.056 * [taylor]: Taking taylor expansion of x in y 9.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.056 * [taylor]: Taking taylor expansion of y in y 9.056 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.056 * [taylor]: Taking taylor expansion of x in y 9.056 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 9.056 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.056 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 9.056 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.056 * [taylor]: Taking taylor expansion of z in x 9.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.056 * [taylor]: Taking taylor expansion of x in x 9.057 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.057 * [taylor]: Taking taylor expansion of y in x 9.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.057 * [taylor]: Taking taylor expansion of x in x 9.057 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.057 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.057 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.057 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.057 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.057 * [taylor]: Taking taylor expansion of z in z 9.057 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.058 * [taylor]: Taking taylor expansion of x in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.058 * [taylor]: Taking taylor expansion of y in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.058 * [taylor]: Taking taylor expansion of x in z 9.058 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.058 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.058 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.058 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.058 * [taylor]: Taking taylor expansion of z in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.058 * [taylor]: Taking taylor expansion of x in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.058 * [taylor]: Taking taylor expansion of y in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.058 * [taylor]: Taking taylor expansion of x in z 9.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.059 * [taylor]: Taking taylor expansion of y in x 9.060 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 9.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.060 * [taylor]: Taking taylor expansion of x in x 9.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.060 * [taylor]: Taking taylor expansion of (* x y) in x 9.060 * [taylor]: Taking taylor expansion of x in x 9.060 * [taylor]: Taking taylor expansion of y in x 9.060 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 9.060 * [taylor]: Taking taylor expansion of 1 in y 9.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.060 * [taylor]: Taking taylor expansion of y in y 9.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.061 * [taylor]: Taking taylor expansion of y in y 9.063 * [taylor]: Taking taylor expansion of 0 in x 9.064 * [taylor]: Taking taylor expansion of 0 in y 9.065 * [taylor]: Taking taylor expansion of 0 in y 9.070 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 9.070 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 9.070 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.070 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 9.070 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.070 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.070 * [taylor]: Taking taylor expansion of x in y 9.070 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.070 * [taylor]: Taking taylor expansion of z in y 9.070 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.070 * [taylor]: Taking taylor expansion of -1 in y 9.070 * [taylor]: Taking taylor expansion of y in y 9.070 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.070 * [taylor]: Taking taylor expansion of -1 in y 9.070 * [taylor]: Taking taylor expansion of x in y 9.070 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 9.070 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.071 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 9.071 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.071 * [taylor]: Taking taylor expansion of x in x 9.071 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.071 * [taylor]: Taking taylor expansion of z in x 9.071 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.071 * [taylor]: Taking taylor expansion of -1 in x 9.071 * [taylor]: Taking taylor expansion of y in x 9.071 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.071 * [taylor]: Taking taylor expansion of -1 in x 9.071 * [taylor]: Taking taylor expansion of x in x 9.071 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.071 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.071 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.071 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.071 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.071 * [taylor]: Taking taylor expansion of x in z 9.072 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.072 * [taylor]: Taking taylor expansion of z in z 9.072 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.072 * [taylor]: Taking taylor expansion of -1 in z 9.072 * [taylor]: Taking taylor expansion of y in z 9.072 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.072 * [taylor]: Taking taylor expansion of -1 in z 9.072 * [taylor]: Taking taylor expansion of x in z 9.072 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.072 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.072 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.072 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.072 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.072 * [taylor]: Taking taylor expansion of x in z 9.072 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.072 * [taylor]: Taking taylor expansion of z in z 9.072 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.072 * [taylor]: Taking taylor expansion of -1 in z 9.072 * [taylor]: Taking taylor expansion of y in z 9.073 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.073 * [taylor]: Taking taylor expansion of -1 in z 9.073 * [taylor]: Taking taylor expansion of x in z 9.073 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.073 * [taylor]: Taking taylor expansion of y in x 9.074 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x 9.074 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 9.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.074 * [taylor]: Taking taylor expansion of x in x 9.075 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.075 * [taylor]: Taking taylor expansion of (* x y) in x 9.075 * [taylor]: Taking taylor expansion of x in x 9.075 * [taylor]: Taking taylor expansion of y in x 9.075 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 9.075 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 9.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.075 * [taylor]: Taking taylor expansion of y in y 9.075 * [taylor]: Taking taylor expansion of 1 in y 9.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.076 * [taylor]: Taking taylor expansion of y in y 9.078 * [taylor]: Taking taylor expansion of 0 in x 9.079 * [taylor]: Taking taylor expansion of 0 in y 9.079 * [taylor]: Taking taylor expansion of 0 in y 9.080 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 9.081 * [approximate]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in (z x y) around 0 9.081 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in y 9.081 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 9.081 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.081 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 9.081 * [taylor]: Taking taylor expansion of (- z x) in y 9.081 * [taylor]: Taking taylor expansion of z in y 9.081 * [taylor]: Taking taylor expansion of x in y 9.081 * [taylor]: Taking taylor expansion of y in y 9.081 * [taylor]: Taking taylor expansion of x in y 9.082 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in x 9.082 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 9.082 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.082 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 9.082 * [taylor]: Taking taylor expansion of (- z x) in x 9.082 * [taylor]: Taking taylor expansion of z in x 9.082 * [taylor]: Taking taylor expansion of x in x 9.082 * [taylor]: Taking taylor expansion of y in x 9.082 * [taylor]: Taking taylor expansion of x in x 9.083 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z 9.083 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.083 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.084 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.084 * [taylor]: Taking taylor expansion of (- z x) in z 9.084 * [taylor]: Taking taylor expansion of z in z 9.084 * [taylor]: Taking taylor expansion of x in z 9.084 * [taylor]: Taking taylor expansion of y in z 9.084 * [taylor]: Taking taylor expansion of x in z 9.084 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z 9.084 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.085 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.085 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.085 * [taylor]: Taking taylor expansion of (- z x) in z 9.085 * [taylor]: Taking taylor expansion of z in z 9.085 * [taylor]: Taking taylor expansion of x in z 9.085 * [taylor]: Taking taylor expansion of y in z 9.085 * [taylor]: Taking taylor expansion of x in z 9.085 * [taylor]: Taking taylor expansion of (sqrt (- x (* x y))) in x 9.085 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.085 * [taylor]: Taking taylor expansion of x in x 9.085 * [taylor]: Taking taylor expansion of (* x y) in x 9.085 * [taylor]: Taking taylor expansion of x in x 9.086 * [taylor]: Taking taylor expansion of y in x 9.087 * [taylor]: Taking taylor expansion of 0 in y 9.087 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (- x (* x y)))) y)) in x 9.087 * [taylor]: Taking taylor expansion of 1/2 in x 9.087 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- x (* x y)))) y) in x 9.087 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x y)))) in x 9.087 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x y))) in x 9.087 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.087 * [taylor]: Taking taylor expansion of x in x 9.087 * [taylor]: Taking taylor expansion of (* x y) in x 9.087 * [taylor]: Taking taylor expansion of x in x 9.087 * [taylor]: Taking taylor expansion of y in x 9.088 * [taylor]: Taking taylor expansion of y in x 9.089 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (- 1 y)))) in y 9.089 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (- 1 y))) in y 9.089 * [taylor]: Taking taylor expansion of +nan.0 in y 9.089 * [taylor]: Taking taylor expansion of (/ y (- 1 y)) in y 9.089 * [taylor]: Taking taylor expansion of y in y 9.089 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.089 * [taylor]: Taking taylor expansion of 1 in y 9.089 * [taylor]: Taking taylor expansion of y in y 9.090 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 y)) in y 9.090 * [taylor]: Taking taylor expansion of +nan.0 in y 9.090 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.090 * [taylor]: Taking taylor expansion of 1 in y 9.090 * [taylor]: Taking taylor expansion of y in y 9.092 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (pow (- x (* x y)) 3))) (pow y 2))) in x 9.093 * [taylor]: Taking taylor expansion of -1/8 in x 9.093 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow (- x (* x y)) 3))) (pow y 2)) in x 9.093 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x y)) 3))) in x 9.093 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 3)) in x 9.093 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 3) in x 9.093 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.093 * [taylor]: Taking taylor expansion of x in x 9.093 * [taylor]: Taking taylor expansion of (* x y) in x 9.093 * [taylor]: Taking taylor expansion of x in x 9.093 * [taylor]: Taking taylor expansion of y in x 9.095 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.095 * [taylor]: Taking taylor expansion of y in x 9.099 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6)))) in y 9.099 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))) in y 9.099 * [taylor]: Taking taylor expansion of +nan.0 in y 9.099 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (- 1 y) 6)) in y 9.099 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.099 * [taylor]: Taking taylor expansion of y in y 9.099 * [taylor]: Taking taylor expansion of (pow (- 1 y) 6) in y 9.099 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.099 * [taylor]: Taking taylor expansion of 1 in y 9.099 * [taylor]: Taking taylor expansion of y in y 9.103 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (pow (- 1 y) 2)))) in y 9.103 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (pow (- 1 y) 2))) in y 9.103 * [taylor]: Taking taylor expansion of +nan.0 in y 9.103 * [taylor]: Taking taylor expansion of (/ y (pow (- 1 y) 2)) in y 9.103 * [taylor]: Taking taylor expansion of y in y 9.103 * [taylor]: Taking taylor expansion of (pow (- 1 y) 2) in y 9.103 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.103 * [taylor]: Taking taylor expansion of 1 in y 9.103 * [taylor]: Taking taylor expansion of y in y 9.105 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 9.106 * [taylor]: Taking taylor expansion of +nan.0 in y 9.106 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 9.106 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 9.106 * [taylor]: Taking taylor expansion of +nan.0 in y 9.106 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.106 * [taylor]: Taking taylor expansion of y in y 9.106 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 9.106 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 9.106 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 9.106 * [taylor]: Taking taylor expansion of +nan.0 in y 9.106 * [taylor]: Taking taylor expansion of y in y 9.106 * [taylor]: Taking taylor expansion of (- +nan.0) in y 9.106 * [taylor]: Taking taylor expansion of +nan.0 in y 9.109 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0 9.109 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 9.110 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 9.110 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.110 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 9.110 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.110 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.110 * [taylor]: Taking taylor expansion of z in y 9.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.110 * [taylor]: Taking taylor expansion of x in y 9.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.110 * [taylor]: Taking taylor expansion of y in y 9.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.110 * [taylor]: Taking taylor expansion of x in y 9.111 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 9.111 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 9.111 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.111 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 9.111 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.111 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.111 * [taylor]: Taking taylor expansion of z in x 9.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.111 * [taylor]: Taking taylor expansion of x in x 9.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.112 * [taylor]: Taking taylor expansion of x in x 9.113 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 9.113 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.113 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.113 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.113 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.113 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.113 * [taylor]: Taking taylor expansion of z in z 9.113 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.113 * [taylor]: Taking taylor expansion of x in z 9.113 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.113 * [taylor]: Taking taylor expansion of y in z 9.113 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.113 * [taylor]: Taking taylor expansion of x in z 9.114 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 9.114 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.115 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.115 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.115 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.115 * [taylor]: Taking taylor expansion of z in z 9.115 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.115 * [taylor]: Taking taylor expansion of x in z 9.115 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.115 * [taylor]: Taking taylor expansion of y in z 9.115 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.115 * [taylor]: Taking taylor expansion of x in z 9.116 * [taylor]: Taking taylor expansion of 0 in x 9.116 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x 9.116 * [taylor]: Taking taylor expansion of +nan.0 in x 9.116 * [taylor]: Taking taylor expansion of y in x 9.116 * [taylor]: Taking taylor expansion of 0 in y 9.118 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2))))))) in x 9.118 * [taylor]: Taking taylor expansion of +nan.0 in x 9.118 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in x 9.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.118 * [taylor]: Taking taylor expansion of x in x 9.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2))))) in x 9.118 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.118 * [taylor]: Taking taylor expansion of (* x y) in x 9.118 * [taylor]: Taking taylor expansion of x in x 9.118 * [taylor]: Taking taylor expansion of y in x 9.118 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in x 9.118 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x 9.118 * [taylor]: Taking taylor expansion of +nan.0 in x 9.118 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.118 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.118 * [taylor]: Taking taylor expansion of y in x 9.119 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 y))) in y 9.119 * [taylor]: Taking taylor expansion of +nan.0 in y 9.119 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 9.119 * [taylor]: Taking taylor expansion of 1 in y 9.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.119 * [taylor]: Taking taylor expansion of y in y 9.120 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 9.120 * [taylor]: Taking taylor expansion of +nan.0 in y 9.120 * [taylor]: Taking taylor expansion of y in y 9.120 * [taylor]: Taking taylor expansion of 0 in y 9.123 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x 9.123 * [taylor]: Taking taylor expansion of +nan.0 in x 9.123 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x 9.123 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x 9.123 * [taylor]: Taking taylor expansion of +nan.0 in x 9.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.123 * [taylor]: Taking taylor expansion of (* x y) in x 9.123 * [taylor]: Taking taylor expansion of x in x 9.123 * [taylor]: Taking taylor expansion of y in x 9.123 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x 9.123 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))) in x 9.123 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x 9.123 * [taylor]: Taking taylor expansion of +nan.0 in x 9.123 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 9.123 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 9.123 * [taylor]: Taking taylor expansion of x in x 9.123 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.123 * [taylor]: Taking taylor expansion of y in x 9.124 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x 9.124 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x 9.124 * [taylor]: Taking taylor expansion of +nan.0 in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.124 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.124 * [taylor]: Taking taylor expansion of y in x 9.124 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in y 9.125 * [taylor]: Taking taylor expansion of +nan.0 in y 9.125 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))) in y 9.125 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 9.125 * [taylor]: Taking taylor expansion of +nan.0 in y 9.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.125 * [taylor]: Taking taylor expansion of y in y 9.125 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in y 9.125 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 9.125 * [taylor]: Taking taylor expansion of +nan.0 in y 9.125 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.125 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.125 * [taylor]: Taking taylor expansion of y in y 9.131 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in (z x y) around 0 9.131 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y 9.131 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 9.131 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.131 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 9.131 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.131 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.131 * [taylor]: Taking taylor expansion of x in y 9.131 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.131 * [taylor]: Taking taylor expansion of z in y 9.131 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.131 * [taylor]: Taking taylor expansion of -1 in y 9.131 * [taylor]: Taking taylor expansion of y in y 9.131 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.132 * [taylor]: Taking taylor expansion of -1 in y 9.132 * [taylor]: Taking taylor expansion of x in y 9.132 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x 9.132 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 9.133 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.133 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 9.133 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.133 * [taylor]: Taking taylor expansion of x in x 9.133 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.133 * [taylor]: Taking taylor expansion of z in x 9.133 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.133 * [taylor]: Taking taylor expansion of -1 in x 9.133 * [taylor]: Taking taylor expansion of y in x 9.133 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.133 * [taylor]: Taking taylor expansion of -1 in x 9.133 * [taylor]: Taking taylor expansion of x in x 9.134 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 9.134 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.135 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.135 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.135 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.135 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.135 * [taylor]: Taking taylor expansion of x in z 9.135 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.135 * [taylor]: Taking taylor expansion of z in z 9.135 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.135 * [taylor]: Taking taylor expansion of -1 in z 9.135 * [taylor]: Taking taylor expansion of y in z 9.135 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.135 * [taylor]: Taking taylor expansion of -1 in z 9.135 * [taylor]: Taking taylor expansion of x in z 9.136 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 9.136 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.136 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.136 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.136 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.136 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.136 * [taylor]: Taking taylor expansion of x in z 9.136 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.136 * [taylor]: Taking taylor expansion of z in z 9.137 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.137 * [taylor]: Taking taylor expansion of -1 in z 9.137 * [taylor]: Taking taylor expansion of y in z 9.137 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.137 * [taylor]: Taking taylor expansion of -1 in z 9.137 * [taylor]: Taking taylor expansion of x in z 9.138 * [taylor]: Taking taylor expansion of 0 in x 9.138 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x 9.138 * [taylor]: Taking taylor expansion of +nan.0 in x 9.138 * [taylor]: Taking taylor expansion of y in x 9.138 * [taylor]: Taking taylor expansion of 0 in y 9.140 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 (* x y)) (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2)))))) in x 9.140 * [taylor]: Taking taylor expansion of +nan.0 in x 9.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2))))) in x 9.140 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.140 * [taylor]: Taking taylor expansion of (* x y) in x 9.140 * [taylor]: Taking taylor expansion of x in x 9.140 * [taylor]: Taking taylor expansion of y in x 9.140 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2)))) in x 9.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.140 * [taylor]: Taking taylor expansion of x in x 9.141 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x 9.141 * [taylor]: Taking taylor expansion of +nan.0 in x 9.141 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.141 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.141 * [taylor]: Taking taylor expansion of y in x 9.141 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y 9.141 * [taylor]: Taking taylor expansion of +nan.0 in y 9.141 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 9.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.141 * [taylor]: Taking taylor expansion of y in y 9.141 * [taylor]: Taking taylor expansion of 1 in y 9.142 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 9.142 * [taylor]: Taking taylor expansion of +nan.0 in y 9.142 * [taylor]: Taking taylor expansion of y in y 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.145 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x 9.145 * [taylor]: Taking taylor expansion of +nan.0 in x 9.145 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x 9.145 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x 9.145 * [taylor]: Taking taylor expansion of +nan.0 in x 9.145 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.145 * [taylor]: Taking taylor expansion of (* x y) in x 9.145 * [taylor]: Taking taylor expansion of x in x 9.145 * [taylor]: Taking taylor expansion of y in x 9.145 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x 9.145 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))) in x 9.145 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x 9.145 * [taylor]: Taking taylor expansion of +nan.0 in x 9.145 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 9.145 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 9.145 * [taylor]: Taking taylor expansion of x in x 9.145 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.145 * [taylor]: Taking taylor expansion of y in x 9.146 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x 9.146 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x 9.146 * [taylor]: Taking taylor expansion of +nan.0 in x 9.146 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.146 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.146 * [taylor]: Taking taylor expansion of y in x 9.147 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in y 9.147 * [taylor]: Taking taylor expansion of +nan.0 in y 9.147 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))) in y 9.147 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 9.147 * [taylor]: Taking taylor expansion of +nan.0 in y 9.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.147 * [taylor]: Taking taylor expansion of y in y 9.147 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in y 9.147 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 9.147 * [taylor]: Taking taylor expansion of +nan.0 in y 9.147 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.147 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.147 * [taylor]: Taking taylor expansion of y in y 9.153 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 9.153 * [approximate]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in (z x y) around 0 9.153 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in y 9.153 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 9.153 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.153 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 9.153 * [taylor]: Taking taylor expansion of (- z x) in y 9.153 * [taylor]: Taking taylor expansion of z in y 9.153 * [taylor]: Taking taylor expansion of x in y 9.153 * [taylor]: Taking taylor expansion of y in y 9.153 * [taylor]: Taking taylor expansion of x in y 9.154 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in x 9.154 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 9.154 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.154 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 9.154 * [taylor]: Taking taylor expansion of (- z x) in x 9.154 * [taylor]: Taking taylor expansion of z in x 9.154 * [taylor]: Taking taylor expansion of x in x 9.154 * [taylor]: Taking taylor expansion of y in x 9.154 * [taylor]: Taking taylor expansion of x in x 9.157 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z 9.158 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.158 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.158 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.158 * [taylor]: Taking taylor expansion of (- z x) in z 9.158 * [taylor]: Taking taylor expansion of z in z 9.158 * [taylor]: Taking taylor expansion of x in z 9.158 * [taylor]: Taking taylor expansion of y in z 9.158 * [taylor]: Taking taylor expansion of x in z 9.159 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z 9.159 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.159 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.159 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.159 * [taylor]: Taking taylor expansion of (- z x) in z 9.159 * [taylor]: Taking taylor expansion of z in z 9.159 * [taylor]: Taking taylor expansion of x in z 9.159 * [taylor]: Taking taylor expansion of y in z 9.159 * [taylor]: Taking taylor expansion of x in z 9.160 * [taylor]: Taking taylor expansion of (sqrt (- x (* x y))) in x 9.160 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.160 * [taylor]: Taking taylor expansion of x in x 9.160 * [taylor]: Taking taylor expansion of (* x y) in x 9.160 * [taylor]: Taking taylor expansion of x in x 9.160 * [taylor]: Taking taylor expansion of y in x 9.161 * [taylor]: Taking taylor expansion of 0 in y 9.161 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (- x (* x y)))) y)) in x 9.161 * [taylor]: Taking taylor expansion of 1/2 in x 9.161 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- x (* x y)))) y) in x 9.161 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x y)))) in x 9.161 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x y))) in x 9.161 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.161 * [taylor]: Taking taylor expansion of x in x 9.161 * [taylor]: Taking taylor expansion of (* x y) in x 9.161 * [taylor]: Taking taylor expansion of x in x 9.161 * [taylor]: Taking taylor expansion of y in x 9.163 * [taylor]: Taking taylor expansion of y in x 9.163 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (- 1 y)))) in y 9.163 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (- 1 y))) in y 9.163 * [taylor]: Taking taylor expansion of +nan.0 in y 9.163 * [taylor]: Taking taylor expansion of (/ y (- 1 y)) in y 9.163 * [taylor]: Taking taylor expansion of y in y 9.163 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.163 * [taylor]: Taking taylor expansion of 1 in y 9.163 * [taylor]: Taking taylor expansion of y in y 9.164 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 y)) in y 9.164 * [taylor]: Taking taylor expansion of +nan.0 in y 9.164 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.164 * [taylor]: Taking taylor expansion of 1 in y 9.164 * [taylor]: Taking taylor expansion of y in y 9.166 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (pow (- x (* x y)) 3))) (pow y 2))) in x 9.166 * [taylor]: Taking taylor expansion of -1/8 in x 9.166 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow (- x (* x y)) 3))) (pow y 2)) in x 9.166 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x y)) 3))) in x 9.166 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 3)) in x 9.166 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 3) in x 9.166 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.166 * [taylor]: Taking taylor expansion of x in x 9.167 * [taylor]: Taking taylor expansion of (* x y) in x 9.167 * [taylor]: Taking taylor expansion of x in x 9.167 * [taylor]: Taking taylor expansion of y in x 9.168 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.168 * [taylor]: Taking taylor expansion of y in x 9.172 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6)))) in y 9.172 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))) in y 9.172 * [taylor]: Taking taylor expansion of +nan.0 in y 9.172 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (- 1 y) 6)) in y 9.172 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.172 * [taylor]: Taking taylor expansion of y in y 9.172 * [taylor]: Taking taylor expansion of (pow (- 1 y) 6) in y 9.172 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.172 * [taylor]: Taking taylor expansion of 1 in y 9.172 * [taylor]: Taking taylor expansion of y in y 9.176 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (pow (- 1 y) 2)))) in y 9.176 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (pow (- 1 y) 2))) in y 9.176 * [taylor]: Taking taylor expansion of +nan.0 in y 9.176 * [taylor]: Taking taylor expansion of (/ y (pow (- 1 y) 2)) in y 9.176 * [taylor]: Taking taylor expansion of y in y 9.176 * [taylor]: Taking taylor expansion of (pow (- 1 y) 2) in y 9.176 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.176 * [taylor]: Taking taylor expansion of 1 in y 9.176 * [taylor]: Taking taylor expansion of y in y 9.179 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 9.179 * [taylor]: Taking taylor expansion of +nan.0 in y 9.179 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 9.179 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 9.179 * [taylor]: Taking taylor expansion of +nan.0 in y 9.179 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.179 * [taylor]: Taking taylor expansion of y in y 9.179 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 9.179 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 9.179 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 9.179 * [taylor]: Taking taylor expansion of +nan.0 in y 9.179 * [taylor]: Taking taylor expansion of y in y 9.179 * [taylor]: Taking taylor expansion of (- +nan.0) in y 9.179 * [taylor]: Taking taylor expansion of +nan.0 in y 9.183 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0 9.183 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 9.183 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 9.183 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.183 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 9.183 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.183 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.183 * [taylor]: Taking taylor expansion of z in y 9.183 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.183 * [taylor]: Taking taylor expansion of x in y 9.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.183 * [taylor]: Taking taylor expansion of y in y 9.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.184 * [taylor]: Taking taylor expansion of x in y 9.185 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 9.185 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 9.185 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.185 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 9.185 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.185 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.185 * [taylor]: Taking taylor expansion of z in x 9.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.185 * [taylor]: Taking taylor expansion of x in x 9.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.185 * [taylor]: Taking taylor expansion of y in x 9.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.185 * [taylor]: Taking taylor expansion of x in x 9.186 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 9.187 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.187 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.187 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.187 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.187 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.187 * [taylor]: Taking taylor expansion of z in z 9.187 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.187 * [taylor]: Taking taylor expansion of x in z 9.187 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.187 * [taylor]: Taking taylor expansion of y in z 9.187 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.187 * [taylor]: Taking taylor expansion of x in z 9.188 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 9.188 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.188 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.188 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.188 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.188 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.188 * [taylor]: Taking taylor expansion of z in z 9.188 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.188 * [taylor]: Taking taylor expansion of x in z 9.189 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.189 * [taylor]: Taking taylor expansion of y in z 9.189 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.189 * [taylor]: Taking taylor expansion of x in z 9.190 * [taylor]: Taking taylor expansion of 0 in x 9.190 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x 9.190 * [taylor]: Taking taylor expansion of +nan.0 in x 9.190 * [taylor]: Taking taylor expansion of y in x 9.190 * [taylor]: Taking taylor expansion of 0 in y 9.191 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2))))))) in x 9.191 * [taylor]: Taking taylor expansion of +nan.0 in x 9.191 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in x 9.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.191 * [taylor]: Taking taylor expansion of x in x 9.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2))))) in x 9.192 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.192 * [taylor]: Taking taylor expansion of (* x y) in x 9.192 * [taylor]: Taking taylor expansion of x in x 9.192 * [taylor]: Taking taylor expansion of y in x 9.192 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in x 9.192 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x 9.192 * [taylor]: Taking taylor expansion of +nan.0 in x 9.192 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.192 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.192 * [taylor]: Taking taylor expansion of y in x 9.192 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 y))) in y 9.192 * [taylor]: Taking taylor expansion of +nan.0 in y 9.192 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 9.192 * [taylor]: Taking taylor expansion of 1 in y 9.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.192 * [taylor]: Taking taylor expansion of y in y 9.193 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 9.193 * [taylor]: Taking taylor expansion of +nan.0 in y 9.193 * [taylor]: Taking taylor expansion of y in y 9.194 * [taylor]: Taking taylor expansion of 0 in y 9.196 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x 9.196 * [taylor]: Taking taylor expansion of +nan.0 in x 9.196 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x 9.196 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x 9.196 * [taylor]: Taking taylor expansion of +nan.0 in x 9.196 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.196 * [taylor]: Taking taylor expansion of (* x y) in x 9.196 * [taylor]: Taking taylor expansion of x in x 9.196 * [taylor]: Taking taylor expansion of y in x 9.197 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x 9.197 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))) in x 9.197 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x 9.197 * [taylor]: Taking taylor expansion of +nan.0 in x 9.197 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 9.197 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 9.197 * [taylor]: Taking taylor expansion of x in x 9.197 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.197 * [taylor]: Taking taylor expansion of y in x 9.197 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x 9.197 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x 9.197 * [taylor]: Taking taylor expansion of +nan.0 in x 9.197 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.197 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.197 * [taylor]: Taking taylor expansion of y in x 9.198 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in y 9.198 * [taylor]: Taking taylor expansion of +nan.0 in y 9.198 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))) in y 9.198 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 9.198 * [taylor]: Taking taylor expansion of +nan.0 in y 9.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.198 * [taylor]: Taking taylor expansion of y in y 9.198 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in y 9.198 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 9.198 * [taylor]: Taking taylor expansion of +nan.0 in y 9.199 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.199 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.199 * [taylor]: Taking taylor expansion of y in y 9.204 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in (z x y) around 0 9.204 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y 9.204 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 9.204 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.204 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 9.204 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.204 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.204 * [taylor]: Taking taylor expansion of x in y 9.204 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.204 * [taylor]: Taking taylor expansion of z in y 9.205 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.205 * [taylor]: Taking taylor expansion of -1 in y 9.205 * [taylor]: Taking taylor expansion of y in y 9.205 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.205 * [taylor]: Taking taylor expansion of -1 in y 9.205 * [taylor]: Taking taylor expansion of x in y 9.206 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x 9.206 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 9.206 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.206 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 9.206 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.206 * [taylor]: Taking taylor expansion of x in x 9.206 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.206 * [taylor]: Taking taylor expansion of z in x 9.206 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.206 * [taylor]: Taking taylor expansion of -1 in x 9.206 * [taylor]: Taking taylor expansion of y in x 9.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.206 * [taylor]: Taking taylor expansion of -1 in x 9.206 * [taylor]: Taking taylor expansion of x in x 9.208 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 9.208 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.208 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.208 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.208 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.208 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.208 * [taylor]: Taking taylor expansion of x in z 9.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.208 * [taylor]: Taking taylor expansion of z in z 9.208 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.208 * [taylor]: Taking taylor expansion of -1 in z 9.208 * [taylor]: Taking taylor expansion of y in z 9.208 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.208 * [taylor]: Taking taylor expansion of -1 in z 9.208 * [taylor]: Taking taylor expansion of x in z 9.209 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 9.209 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.209 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.209 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.210 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.210 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.210 * [taylor]: Taking taylor expansion of x in z 9.210 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.210 * [taylor]: Taking taylor expansion of z in z 9.210 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.210 * [taylor]: Taking taylor expansion of -1 in z 9.210 * [taylor]: Taking taylor expansion of y in z 9.210 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.210 * [taylor]: Taking taylor expansion of -1 in z 9.210 * [taylor]: Taking taylor expansion of x in z 9.211 * [taylor]: Taking taylor expansion of 0 in x 9.211 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x 9.211 * [taylor]: Taking taylor expansion of +nan.0 in x 9.211 * [taylor]: Taking taylor expansion of y in x 9.211 * [taylor]: Taking taylor expansion of 0 in y 9.213 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 (* x y)) (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2)))))) in x 9.213 * [taylor]: Taking taylor expansion of +nan.0 in x 9.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2))))) in x 9.213 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.213 * [taylor]: Taking taylor expansion of (* x y) in x 9.213 * [taylor]: Taking taylor expansion of x in x 9.213 * [taylor]: Taking taylor expansion of y in x 9.213 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2)))) in x 9.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.214 * [taylor]: Taking taylor expansion of x in x 9.214 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x 9.214 * [taylor]: Taking taylor expansion of +nan.0 in x 9.214 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.214 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.214 * [taylor]: Taking taylor expansion of y in x 9.214 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y 9.214 * [taylor]: Taking taylor expansion of +nan.0 in y 9.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 9.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.214 * [taylor]: Taking taylor expansion of y in y 9.215 * [taylor]: Taking taylor expansion of 1 in y 9.215 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 9.215 * [taylor]: Taking taylor expansion of +nan.0 in y 9.215 * [taylor]: Taking taylor expansion of y in y 9.216 * [taylor]: Taking taylor expansion of 0 in y 9.218 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x 9.218 * [taylor]: Taking taylor expansion of +nan.0 in x 9.218 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x 9.218 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x 9.218 * [taylor]: Taking taylor expansion of +nan.0 in x 9.218 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.218 * [taylor]: Taking taylor expansion of (* x y) in x 9.218 * [taylor]: Taking taylor expansion of x in x 9.218 * [taylor]: Taking taylor expansion of y in x 9.218 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x 9.218 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))) in x 9.218 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x 9.218 * [taylor]: Taking taylor expansion of +nan.0 in x 9.218 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 9.218 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 9.218 * [taylor]: Taking taylor expansion of x in x 9.218 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.218 * [taylor]: Taking taylor expansion of y in x 9.219 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x 9.219 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x 9.219 * [taylor]: Taking taylor expansion of +nan.0 in x 9.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 9.219 * [taylor]: Taking taylor expansion of (pow y 3) in x 9.219 * [taylor]: Taking taylor expansion of y in x 9.220 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in y 9.220 * [taylor]: Taking taylor expansion of +nan.0 in y 9.220 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))) in y 9.220 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 9.220 * [taylor]: Taking taylor expansion of +nan.0 in y 9.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.220 * [taylor]: Taking taylor expansion of y in y 9.220 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in y 9.220 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 9.220 * [taylor]: Taking taylor expansion of +nan.0 in y 9.220 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.220 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.220 * [taylor]: Taking taylor expansion of y in y 9.226 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 9.226 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 9.226 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 9.226 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.226 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 9.226 * [taylor]: Taking taylor expansion of (- z x) in y 9.226 * [taylor]: Taking taylor expansion of z in y 9.226 * [taylor]: Taking taylor expansion of x in y 9.226 * [taylor]: Taking taylor expansion of y in y 9.226 * [taylor]: Taking taylor expansion of x in y 9.226 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 9.226 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.226 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 9.226 * [taylor]: Taking taylor expansion of (- z x) in x 9.226 * [taylor]: Taking taylor expansion of z in x 9.226 * [taylor]: Taking taylor expansion of x in x 9.226 * [taylor]: Taking taylor expansion of y in x 9.226 * [taylor]: Taking taylor expansion of x in x 9.226 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.227 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.227 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.227 * [taylor]: Taking taylor expansion of (- z x) in z 9.227 * [taylor]: Taking taylor expansion of z in z 9.227 * [taylor]: Taking taylor expansion of x in z 9.227 * [taylor]: Taking taylor expansion of y in z 9.227 * [taylor]: Taking taylor expansion of x in z 9.227 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 9.227 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 9.227 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 9.227 * [taylor]: Taking taylor expansion of (- z x) in z 9.227 * [taylor]: Taking taylor expansion of z in z 9.227 * [taylor]: Taking taylor expansion of x in z 9.227 * [taylor]: Taking taylor expansion of y in z 9.227 * [taylor]: Taking taylor expansion of x in z 9.227 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 9.227 * [taylor]: Taking taylor expansion of x in x 9.227 * [taylor]: Taking taylor expansion of (* x y) in x 9.227 * [taylor]: Taking taylor expansion of x in x 9.227 * [taylor]: Taking taylor expansion of y in x 9.228 * [taylor]: Taking taylor expansion of 0 in y 9.228 * [taylor]: Taking taylor expansion of y in x 9.228 * [taylor]: Taking taylor expansion of y in y 9.228 * [taylor]: Taking taylor expansion of (- 1 y) in y 9.228 * [taylor]: Taking taylor expansion of 1 in y 9.228 * [taylor]: Taking taylor expansion of y in y 9.230 * [taylor]: Taking taylor expansion of 0 in x 9.230 * [taylor]: Taking taylor expansion of 0 in y 9.230 * [taylor]: Taking taylor expansion of 0 in y 9.231 * [taylor]: Taking taylor expansion of 0 in y 9.232 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 9.232 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 9.232 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.232 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 9.232 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.232 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.232 * [taylor]: Taking taylor expansion of z in y 9.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.232 * [taylor]: Taking taylor expansion of x in y 9.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.232 * [taylor]: Taking taylor expansion of x in y 9.232 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 9.232 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.232 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 9.232 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.232 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.232 * [taylor]: Taking taylor expansion of z in x 9.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.233 * [taylor]: Taking taylor expansion of x in x 9.233 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.233 * [taylor]: Taking taylor expansion of y in x 9.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.233 * [taylor]: Taking taylor expansion of x in x 9.233 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.233 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.233 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.233 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.233 * [taylor]: Taking taylor expansion of z in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.234 * [taylor]: Taking taylor expansion of x in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.234 * [taylor]: Taking taylor expansion of y in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.234 * [taylor]: Taking taylor expansion of x in z 9.234 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 9.234 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 9.234 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 9.234 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.234 * [taylor]: Taking taylor expansion of z in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.234 * [taylor]: Taking taylor expansion of x in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.234 * [taylor]: Taking taylor expansion of y in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.234 * [taylor]: Taking taylor expansion of x in z 9.235 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.235 * [taylor]: Taking taylor expansion of y in x 9.236 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 9.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.236 * [taylor]: Taking taylor expansion of x in x 9.236 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.236 * [taylor]: Taking taylor expansion of (* x y) in x 9.236 * [taylor]: Taking taylor expansion of x in x 9.236 * [taylor]: Taking taylor expansion of y in x 9.236 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 9.236 * [taylor]: Taking taylor expansion of 1 in y 9.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.236 * [taylor]: Taking taylor expansion of y in y 9.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.237 * [taylor]: Taking taylor expansion of y in y 9.239 * [taylor]: Taking taylor expansion of 0 in x 9.241 * [taylor]: Taking taylor expansion of 0 in y 9.241 * [taylor]: Taking taylor expansion of 0 in y 9.242 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 9.242 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 9.242 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.242 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 9.242 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.242 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.242 * [taylor]: Taking taylor expansion of x in y 9.242 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.242 * [taylor]: Taking taylor expansion of z in y 9.242 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.242 * [taylor]: Taking taylor expansion of -1 in y 9.242 * [taylor]: Taking taylor expansion of y in y 9.243 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.243 * [taylor]: Taking taylor expansion of -1 in y 9.243 * [taylor]: Taking taylor expansion of x in y 9.243 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 9.243 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.243 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 9.243 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.243 * [taylor]: Taking taylor expansion of x in x 9.245 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.246 * [taylor]: Taking taylor expansion of z in x 9.246 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.246 * [taylor]: Taking taylor expansion of -1 in x 9.246 * [taylor]: Taking taylor expansion of y in x 9.246 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.246 * [taylor]: Taking taylor expansion of -1 in x 9.246 * [taylor]: Taking taylor expansion of x in x 9.246 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.246 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.246 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.246 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.246 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.246 * [taylor]: Taking taylor expansion of x in z 9.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.246 * [taylor]: Taking taylor expansion of z in z 9.247 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.247 * [taylor]: Taking taylor expansion of -1 in z 9.247 * [taylor]: Taking taylor expansion of y in z 9.247 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.247 * [taylor]: Taking taylor expansion of -1 in z 9.247 * [taylor]: Taking taylor expansion of x in z 9.247 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 9.247 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 9.247 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 9.247 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.247 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.247 * [taylor]: Taking taylor expansion of x in z 9.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.247 * [taylor]: Taking taylor expansion of z in z 9.247 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.247 * [taylor]: Taking taylor expansion of -1 in z 9.247 * [taylor]: Taking taylor expansion of y in z 9.247 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.247 * [taylor]: Taking taylor expansion of -1 in z 9.247 * [taylor]: Taking taylor expansion of x in z 9.248 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.248 * [taylor]: Taking taylor expansion of y in x 9.249 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x 9.249 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 9.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.249 * [taylor]: Taking taylor expansion of x in x 9.249 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.250 * [taylor]: Taking taylor expansion of (* x y) in x 9.250 * [taylor]: Taking taylor expansion of x in x 9.250 * [taylor]: Taking taylor expansion of y in x 9.250 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 9.250 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 9.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.250 * [taylor]: Taking taylor expansion of y in y 9.250 * [taylor]: Taking taylor expansion of 1 in y 9.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.251 * [taylor]: Taking taylor expansion of y in y 9.253 * [taylor]: Taking taylor expansion of 0 in x 9.254 * [taylor]: Taking taylor expansion of 0 in y 9.254 * [taylor]: Taking taylor expansion of 0 in y 9.255 * * * [progress]: simplifying candidates 9.257 * [simplify]: Simplifying using # : (expm1 (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (log1p (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fma (- z x) y x) (fma (- z x) y x)) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (fma (- z x) y x) (fma (- z x) y x)) (+ 1 1) (+ (log (sqrt (fma (- z x) y x))) (log (sqrt (fma (- z x) y x)))) (log (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (exp (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (* (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))) (* (cbrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (cbrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))))) (cbrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (* (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (* (fma (- z x) y x) (fma (- z x) y x)) (sqrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (sqrt (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)))) (* (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (* (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))) (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))) (* (sqrt (cbrt (fma (- z x) y x))) (sqrt (cbrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* 1 1) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fma (- z x) y x)) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))) (* (sqrt (fma (- z x) y x)) (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))) (* (sqrt (fma (- z x) y x)) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (fma (- z x) y x)) (sqrt 1)) (* (sqrt (fma (- z x) y x)) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (fma (- z x) y x)) 1) (* (cbrt (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (* (sqrt (cbrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (expm1 (sqrt (fma (- z x) y x))) (log1p (sqrt (fma (- z x) y x))) (log (sqrt (fma (- z x) y x))) (exp (sqrt (fma (- z x) y x))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (fma (- z x) y x))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))) (sqrt (cbrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt 1) (sqrt (fma (- z x) y x)) (/ 1 2) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (expm1 (sqrt (fma (- z x) y x))) (log1p (sqrt (fma (- z x) y x))) (log (sqrt (fma (- z x) y x))) (exp (sqrt (fma (- z x) y x))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (fma (- z x) y x))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))) (sqrt (cbrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt 1) (sqrt (fma (- z x) y x)) (/ 1 2) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 x)))))) (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* x y) (pow z 2)))))))) (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* x y) (pow z 2)))))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 x)))))) (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* x y) (pow z 2)))))))) (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* x y) (pow z 2)))))))) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) 9.261 * * [simplify]: iteration 0 : 89 enodes (cost 1524 ) 9.277 * * [simplify]: iteration 1 : 187 enodes (cost 1043 ) 9.326 * * [simplify]: iteration 2 : 617 enodes (cost 931 ) 9.662 * * [simplify]: iteration 3 : 3038 enodes (cost 878 ) 11.444 * * [simplify]: iteration done : 5000 enodes (cost 872 ) 11.444 * [simplify]: Simplified to: (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) 1 1 2 1 1 (pow (sqrt (fma (- z x) y x)) 4) (fma y (- z x) x) (pow (sqrt (fma (- z x) y x)) 4) 2 (log (fma (- z x) y x)) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (pow (fma y (- z x) x) 3) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (pow (fma y (- z x) x) 3) (pow (sqrt (fma (- z x) y x)) 4) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (pow (cbrt (sqrt (fma (- z x) y x))) 4) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) 1 (fma y (- z x) x) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) 1 (fma y (- z x) x) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) 1 2 1 (* (cbrt (sqrt (fma (- z x) y x))) (pow (cbrt (sqrt (fma (- z x) y x))) 4)) (* (fabs (cbrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (sqrt (fma y (- z x) x)) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (sqrt (fma y (- z x) x)) (pow (cbrt (sqrt (fma (- z x) y x))) 4) (* (sqrt (cbrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (fma y (- z x) x) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (fma y (- z x) x) (expm1 (sqrt (fma (- z x) y x))) (log1p (sqrt (fma (- z x) y x))) (log (sqrt (fma y (- z x) x))) (exp (sqrt (fma (- z x) y x))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (fma (- z x) y x))) (pow (sqrt (fma (- z x) y x)) 3) (fabs (cbrt (fma (- z x) y x))) (sqrt (cbrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) 1 (sqrt (fma y (- z x) x)) 1/2 (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (expm1 (sqrt (fma (- z x) y x))) (log1p (sqrt (fma (- z x) y x))) (log (sqrt (fma y (- z x) x))) (exp (sqrt (fma (- z x) y x))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (fma (- z x) y x))) (pow (sqrt (fma (- z x) y x)) 3) (fabs (cbrt (fma (- z x) y x))) (sqrt (cbrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) 1 (sqrt (fma y (- z x) x)) 1/2 (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (pow (fma y (- z x) x) 3) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (fma y (- z x) x) (fma y (- z x) x) (fma y (- z x) x) (* (- (- (* z y) x) (pow x 2)) +nan.0) (- (* +nan.0 y) (* (/ (* x y) z) (+ (/ +nan.0 z) +nan.0))) (- (* +nan.0 y) (* (/ (* x y) z) (+ (/ +nan.0 z) +nan.0))) (* (- (- (* z y) x) (pow x 2)) +nan.0) (- (* +nan.0 y) (* (/ (* x y) z) (+ (/ +nan.0 z) +nan.0))) (- (* +nan.0 y) (* (/ (* x y) z) (+ (/ +nan.0 z) +nan.0))) (fma y (- z x) x) (fma y (- z x) x) (fma y (- z x) x) 11.445 * * * [progress]: adding candidates to table 11.646 * * [progress]: iteration 3 / 4 11.646 * * * [progress]: picking best candidate 11.649 * * * * [pick]: Picked # 11.649 * * * [progress]: localizing error 11.658 * * * [progress]: generating rewritten candidates 11.658 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 11.671 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 11.708 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 11.710 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 11.718 * * * [progress]: generating series expansions 11.718 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 11.719 * [approximate]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in (z x y) around 0 11.719 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in y 11.719 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 11.719 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.719 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 11.719 * [taylor]: Taking taylor expansion of (- z x) in y 11.719 * [taylor]: Taking taylor expansion of z in y 11.719 * [taylor]: Taking taylor expansion of x in y 11.719 * [taylor]: Taking taylor expansion of y in y 11.719 * [taylor]: Taking taylor expansion of x in y 11.720 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in x 11.720 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 11.720 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.720 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 11.720 * [taylor]: Taking taylor expansion of (- z x) in x 11.720 * [taylor]: Taking taylor expansion of z in x 11.720 * [taylor]: Taking taylor expansion of x in x 11.720 * [taylor]: Taking taylor expansion of y in x 11.720 * [taylor]: Taking taylor expansion of x in x 11.721 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z 11.721 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.721 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.721 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.722 * [taylor]: Taking taylor expansion of (- z x) in z 11.722 * [taylor]: Taking taylor expansion of z in z 11.722 * [taylor]: Taking taylor expansion of x in z 11.722 * [taylor]: Taking taylor expansion of y in z 11.722 * [taylor]: Taking taylor expansion of x in z 11.722 * [taylor]: Taking taylor expansion of (sqrt (fma (- z x) y x)) in z 11.722 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.722 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.723 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.723 * [taylor]: Taking taylor expansion of (- z x) in z 11.723 * [taylor]: Taking taylor expansion of z in z 11.723 * [taylor]: Taking taylor expansion of x in z 11.723 * [taylor]: Taking taylor expansion of y in z 11.723 * [taylor]: Taking taylor expansion of x in z 11.723 * [taylor]: Taking taylor expansion of (sqrt (- x (* x y))) in x 11.723 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.723 * [taylor]: Taking taylor expansion of x in x 11.723 * [taylor]: Taking taylor expansion of (* x y) in x 11.724 * [taylor]: Taking taylor expansion of x in x 11.724 * [taylor]: Taking taylor expansion of y in x 11.725 * [taylor]: Taking taylor expansion of 0 in y 11.725 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (- x (* x y)))) y)) in x 11.725 * [taylor]: Taking taylor expansion of 1/2 in x 11.725 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- x (* x y)))) y) in x 11.725 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x y)))) in x 11.725 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x y))) in x 11.725 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.725 * [taylor]: Taking taylor expansion of x in x 11.725 * [taylor]: Taking taylor expansion of (* x y) in x 11.725 * [taylor]: Taking taylor expansion of x in x 11.725 * [taylor]: Taking taylor expansion of y in x 11.726 * [taylor]: Taking taylor expansion of y in x 11.727 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (- 1 y)))) in y 11.727 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (- 1 y))) in y 11.727 * [taylor]: Taking taylor expansion of +nan.0 in y 11.727 * [taylor]: Taking taylor expansion of (/ y (- 1 y)) in y 11.727 * [taylor]: Taking taylor expansion of y in y 11.727 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.727 * [taylor]: Taking taylor expansion of 1 in y 11.727 * [taylor]: Taking taylor expansion of y in y 11.728 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 y)) in y 11.728 * [taylor]: Taking taylor expansion of +nan.0 in y 11.728 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.728 * [taylor]: Taking taylor expansion of 1 in y 11.728 * [taylor]: Taking taylor expansion of y in y 11.730 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (pow (- x (* x y)) 3))) (pow y 2))) in x 11.730 * [taylor]: Taking taylor expansion of -1/8 in x 11.730 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow (- x (* x y)) 3))) (pow y 2)) in x 11.730 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x y)) 3))) in x 11.730 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 3)) in x 11.730 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 3) in x 11.730 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.730 * [taylor]: Taking taylor expansion of x in x 11.730 * [taylor]: Taking taylor expansion of (* x y) in x 11.730 * [taylor]: Taking taylor expansion of x in x 11.730 * [taylor]: Taking taylor expansion of y in x 11.732 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.732 * [taylor]: Taking taylor expansion of y in x 11.736 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6)))) in y 11.736 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow y 2) (pow (- 1 y) 6))) in y 11.736 * [taylor]: Taking taylor expansion of +nan.0 in y 11.736 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (- 1 y) 6)) in y 11.736 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.736 * [taylor]: Taking taylor expansion of y in y 11.736 * [taylor]: Taking taylor expansion of (pow (- 1 y) 6) in y 11.736 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.736 * [taylor]: Taking taylor expansion of 1 in y 11.736 * [taylor]: Taking taylor expansion of y in y 11.741 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ y (pow (- 1 y) 2)))) in y 11.741 * [taylor]: Taking taylor expansion of (* +nan.0 (/ y (pow (- 1 y) 2))) in y 11.741 * [taylor]: Taking taylor expansion of +nan.0 in y 11.741 * [taylor]: Taking taylor expansion of (/ y (pow (- 1 y) 2)) in y 11.741 * [taylor]: Taking taylor expansion of y in y 11.741 * [taylor]: Taking taylor expansion of (pow (- 1 y) 2) in y 11.741 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.741 * [taylor]: Taking taylor expansion of 1 in y 11.741 * [taylor]: Taking taylor expansion of y in y 11.743 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y 11.743 * [taylor]: Taking taylor expansion of +nan.0 in y 11.743 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y 11.743 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y 11.743 * [taylor]: Taking taylor expansion of +nan.0 in y 11.743 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.743 * [taylor]: Taking taylor expansion of y in y 11.743 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y 11.743 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y 11.743 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 11.743 * [taylor]: Taking taylor expansion of +nan.0 in y 11.743 * [taylor]: Taking taylor expansion of y in y 11.743 * [taylor]: Taking taylor expansion of (- +nan.0) in y 11.743 * [taylor]: Taking taylor expansion of +nan.0 in y 11.747 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0 11.748 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 11.748 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 11.748 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.748 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 11.748 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.748 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.748 * [taylor]: Taking taylor expansion of z in y 11.748 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.748 * [taylor]: Taking taylor expansion of x in y 11.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.748 * [taylor]: Taking taylor expansion of y in y 11.748 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.748 * [taylor]: Taking taylor expansion of x in y 11.749 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 11.749 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 11.749 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.749 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 11.749 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.749 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.749 * [taylor]: Taking taylor expansion of z in x 11.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.749 * [taylor]: Taking taylor expansion of x in x 11.750 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.750 * [taylor]: Taking taylor expansion of y in x 11.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.750 * [taylor]: Taking taylor expansion of x in x 11.751 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 11.751 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 11.751 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.751 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 11.751 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.751 * [taylor]: Taking taylor expansion of z in z 11.751 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.751 * [taylor]: Taking taylor expansion of x in z 11.752 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.752 * [taylor]: Taking taylor expansion of y in z 11.752 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.752 * [taylor]: Taking taylor expansion of x in z 11.752 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 11.753 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 11.753 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.753 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 11.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.753 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.753 * [taylor]: Taking taylor expansion of z in z 11.753 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.753 * [taylor]: Taking taylor expansion of x in z 11.753 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.753 * [taylor]: Taking taylor expansion of y in z 11.753 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.753 * [taylor]: Taking taylor expansion of x in z 11.754 * [taylor]: Taking taylor expansion of 0 in x 11.754 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x 11.754 * [taylor]: Taking taylor expansion of +nan.0 in x 11.754 * [taylor]: Taking taylor expansion of y in x 11.754 * [taylor]: Taking taylor expansion of 0 in y 11.756 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2))))))) in x 11.756 * [taylor]: Taking taylor expansion of +nan.0 in x 11.756 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in x 11.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.756 * [taylor]: Taking taylor expansion of x in x 11.756 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (- (* +nan.0 (/ 1 (pow y 2))))) in x 11.756 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.757 * [taylor]: Taking taylor expansion of (* x y) in x 11.757 * [taylor]: Taking taylor expansion of x in x 11.757 * [taylor]: Taking taylor expansion of y in x 11.757 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in x 11.757 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x 11.757 * [taylor]: Taking taylor expansion of +nan.0 in x 11.757 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.757 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.757 * [taylor]: Taking taylor expansion of y in x 11.757 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 y))) in y 11.757 * [taylor]: Taking taylor expansion of +nan.0 in y 11.757 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 11.757 * [taylor]: Taking taylor expansion of 1 in y 11.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.757 * [taylor]: Taking taylor expansion of y in y 11.758 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 11.758 * [taylor]: Taking taylor expansion of +nan.0 in y 11.758 * [taylor]: Taking taylor expansion of y in y 11.759 * [taylor]: Taking taylor expansion of 0 in y 11.761 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x 11.761 * [taylor]: Taking taylor expansion of +nan.0 in x 11.761 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x 11.761 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x 11.761 * [taylor]: Taking taylor expansion of +nan.0 in x 11.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.761 * [taylor]: Taking taylor expansion of (* x y) in x 11.761 * [taylor]: Taking taylor expansion of x in x 11.761 * [taylor]: Taking taylor expansion of y in x 11.762 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x 11.762 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))) in x 11.762 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x 11.762 * [taylor]: Taking taylor expansion of +nan.0 in x 11.762 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 11.762 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 11.762 * [taylor]: Taking taylor expansion of x in x 11.762 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.762 * [taylor]: Taking taylor expansion of y in x 11.762 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x 11.762 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x 11.762 * [taylor]: Taking taylor expansion of +nan.0 in x 11.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 11.762 * [taylor]: Taking taylor expansion of (pow y 3) in x 11.762 * [taylor]: Taking taylor expansion of y in x 11.763 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in y 11.763 * [taylor]: Taking taylor expansion of +nan.0 in y 11.763 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))) in y 11.763 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.763 * [taylor]: Taking taylor expansion of +nan.0 in y 11.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.763 * [taylor]: Taking taylor expansion of y in y 11.763 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in y 11.764 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 11.764 * [taylor]: Taking taylor expansion of +nan.0 in y 11.764 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.764 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.764 * [taylor]: Taking taylor expansion of y in y 11.770 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in (z x y) around 0 11.770 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y 11.770 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 11.770 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.770 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 11.770 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.770 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.770 * [taylor]: Taking taylor expansion of x in y 11.770 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.770 * [taylor]: Taking taylor expansion of z in y 11.770 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.770 * [taylor]: Taking taylor expansion of -1 in y 11.770 * [taylor]: Taking taylor expansion of y in y 11.770 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.771 * [taylor]: Taking taylor expansion of -1 in y 11.771 * [taylor]: Taking taylor expansion of x in y 11.771 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x 11.771 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 11.772 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.772 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 11.772 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.772 * [taylor]: Taking taylor expansion of x in x 11.772 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.772 * [taylor]: Taking taylor expansion of z in x 11.772 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.772 * [taylor]: Taking taylor expansion of -1 in x 11.772 * [taylor]: Taking taylor expansion of y in x 11.772 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.772 * [taylor]: Taking taylor expansion of -1 in x 11.772 * [taylor]: Taking taylor expansion of x in x 11.773 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 11.773 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 11.773 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.773 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 11.773 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.773 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.773 * [taylor]: Taking taylor expansion of x in z 11.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.774 * [taylor]: Taking taylor expansion of z in z 11.774 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.774 * [taylor]: Taking taylor expansion of -1 in z 11.774 * [taylor]: Taking taylor expansion of y in z 11.774 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.774 * [taylor]: Taking taylor expansion of -1 in z 11.774 * [taylor]: Taking taylor expansion of x in z 11.775 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 11.775 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 11.775 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.775 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 11.775 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.775 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.775 * [taylor]: Taking taylor expansion of x in z 11.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.775 * [taylor]: Taking taylor expansion of z in z 11.780 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.780 * [taylor]: Taking taylor expansion of -1 in z 11.780 * [taylor]: Taking taylor expansion of y in z 11.780 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.780 * [taylor]: Taking taylor expansion of -1 in z 11.780 * [taylor]: Taking taylor expansion of x in z 11.781 * [taylor]: Taking taylor expansion of 0 in x 11.781 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in x 11.781 * [taylor]: Taking taylor expansion of +nan.0 in x 11.781 * [taylor]: Taking taylor expansion of y in x 11.781 * [taylor]: Taking taylor expansion of 0 in y 11.783 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 (* x y)) (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2)))))) in x 11.783 * [taylor]: Taking taylor expansion of +nan.0 in x 11.783 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2))))) in x 11.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.783 * [taylor]: Taking taylor expansion of (* x y) in x 11.783 * [taylor]: Taking taylor expansion of x in x 11.783 * [taylor]: Taking taylor expansion of y in x 11.783 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow y 2)))) in x 11.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.784 * [taylor]: Taking taylor expansion of x in x 11.784 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in x 11.784 * [taylor]: Taking taylor expansion of +nan.0 in x 11.784 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.784 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.784 * [taylor]: Taking taylor expansion of y in x 11.784 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y 11.784 * [taylor]: Taking taylor expansion of +nan.0 in y 11.784 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.784 * [taylor]: Taking taylor expansion of y in y 11.785 * [taylor]: Taking taylor expansion of 1 in y 11.785 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 11.785 * [taylor]: Taking taylor expansion of +nan.0 in y 11.785 * [taylor]: Taking taylor expansion of y in y 11.786 * [taylor]: Taking taylor expansion of 0 in y 11.788 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))))) in x 11.788 * [taylor]: Taking taylor expansion of +nan.0 in x 11.788 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x y))) (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))))) in x 11.788 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x y))) in x 11.788 * [taylor]: Taking taylor expansion of +nan.0 in x 11.788 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.788 * [taylor]: Taking taylor expansion of (* x y) in x 11.788 * [taylor]: Taking taylor expansion of x in x 11.788 * [taylor]: Taking taylor expansion of y in x 11.788 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3)))))) in x 11.788 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x (pow y 2)))) (- (* +nan.0 (/ 1 (pow y 3))))) in x 11.789 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow y 2)))) in x 11.789 * [taylor]: Taking taylor expansion of +nan.0 in x 11.789 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 11.789 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 11.789 * [taylor]: Taking taylor expansion of x in x 11.789 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.789 * [taylor]: Taking taylor expansion of y in x 11.789 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 3)))) in x 11.789 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in x 11.789 * [taylor]: Taking taylor expansion of +nan.0 in x 11.789 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x 11.789 * [taylor]: Taking taylor expansion of (pow y 3) in x 11.789 * [taylor]: Taking taylor expansion of y in x 11.790 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2)))))) in y 11.790 * [taylor]: Taking taylor expansion of +nan.0 in y 11.790 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))) in y 11.790 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.790 * [taylor]: Taking taylor expansion of +nan.0 in y 11.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.790 * [taylor]: Taking taylor expansion of y in y 11.790 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 2)))) in y 11.790 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y 11.790 * [taylor]: Taking taylor expansion of +nan.0 in y 11.790 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.790 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.790 * [taylor]: Taking taylor expansion of y in y 11.796 * * * * [progress]: [ 2 / 4 ] generating series at (2) 11.796 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 11.796 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 11.797 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.797 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 11.797 * [taylor]: Taking taylor expansion of (- z x) in y 11.797 * [taylor]: Taking taylor expansion of z in y 11.797 * [taylor]: Taking taylor expansion of x in y 11.797 * [taylor]: Taking taylor expansion of y in y 11.797 * [taylor]: Taking taylor expansion of x in y 11.797 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 11.797 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.797 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 11.797 * [taylor]: Taking taylor expansion of (- z x) in x 11.797 * [taylor]: Taking taylor expansion of z in x 11.797 * [taylor]: Taking taylor expansion of x in x 11.797 * [taylor]: Taking taylor expansion of y in x 11.797 * [taylor]: Taking taylor expansion of x in x 11.797 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.797 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.797 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.797 * [taylor]: Taking taylor expansion of (- z x) in z 11.797 * [taylor]: Taking taylor expansion of z in z 11.797 * [taylor]: Taking taylor expansion of x in z 11.797 * [taylor]: Taking taylor expansion of y in z 11.797 * [taylor]: Taking taylor expansion of x in z 11.797 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.797 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.797 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.797 * [taylor]: Taking taylor expansion of (- z x) in z 11.797 * [taylor]: Taking taylor expansion of z in z 11.797 * [taylor]: Taking taylor expansion of x in z 11.797 * [taylor]: Taking taylor expansion of y in z 11.797 * [taylor]: Taking taylor expansion of x in z 11.798 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.798 * [taylor]: Taking taylor expansion of x in x 11.798 * [taylor]: Taking taylor expansion of (* x y) in x 11.798 * [taylor]: Taking taylor expansion of x in x 11.798 * [taylor]: Taking taylor expansion of y in x 11.798 * [taylor]: Taking taylor expansion of 0 in y 11.799 * [taylor]: Taking taylor expansion of y in x 11.799 * [taylor]: Taking taylor expansion of y in y 11.799 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.799 * [taylor]: Taking taylor expansion of 1 in y 11.799 * [taylor]: Taking taylor expansion of y in y 11.801 * [taylor]: Taking taylor expansion of 0 in x 11.801 * [taylor]: Taking taylor expansion of 0 in y 11.801 * [taylor]: Taking taylor expansion of 0 in y 11.802 * [taylor]: Taking taylor expansion of 0 in y 11.803 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 11.803 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 11.803 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 11.803 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.803 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.803 * [taylor]: Taking taylor expansion of z in y 11.803 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.803 * [taylor]: Taking taylor expansion of x in y 11.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.803 * [taylor]: Taking taylor expansion of y in y 11.803 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.804 * [taylor]: Taking taylor expansion of x in y 11.804 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 11.804 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.804 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 11.804 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.804 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.804 * [taylor]: Taking taylor expansion of z in x 11.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.804 * [taylor]: Taking taylor expansion of x in x 11.804 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.804 * [taylor]: Taking taylor expansion of y in x 11.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.804 * [taylor]: Taking taylor expansion of x in x 11.805 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 11.805 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.805 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 11.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.805 * [taylor]: Taking taylor expansion of z in z 11.805 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.805 * [taylor]: Taking taylor expansion of x in z 11.805 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.805 * [taylor]: Taking taylor expansion of y in z 11.805 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.805 * [taylor]: Taking taylor expansion of x in z 11.805 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 11.805 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.805 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 11.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.805 * [taylor]: Taking taylor expansion of z in z 11.806 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.806 * [taylor]: Taking taylor expansion of x in z 11.806 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.806 * [taylor]: Taking taylor expansion of y in z 11.806 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.806 * [taylor]: Taking taylor expansion of x in z 11.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.806 * [taylor]: Taking taylor expansion of y in x 11.807 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 11.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.807 * [taylor]: Taking taylor expansion of x in x 11.807 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.807 * [taylor]: Taking taylor expansion of (* x y) in x 11.808 * [taylor]: Taking taylor expansion of x in x 11.808 * [taylor]: Taking taylor expansion of y in x 11.808 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 11.808 * [taylor]: Taking taylor expansion of 1 in y 11.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.808 * [taylor]: Taking taylor expansion of y in y 11.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.809 * [taylor]: Taking taylor expansion of y in y 11.811 * [taylor]: Taking taylor expansion of 0 in x 11.812 * [taylor]: Taking taylor expansion of 0 in y 11.812 * [taylor]: Taking taylor expansion of 0 in y 11.814 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 11.814 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 11.814 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.814 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 11.814 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.814 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.814 * [taylor]: Taking taylor expansion of x in y 11.814 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.814 * [taylor]: Taking taylor expansion of z in y 11.814 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.814 * [taylor]: Taking taylor expansion of -1 in y 11.814 * [taylor]: Taking taylor expansion of y in y 11.815 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.815 * [taylor]: Taking taylor expansion of -1 in y 11.815 * [taylor]: Taking taylor expansion of x in y 11.815 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 11.815 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.815 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 11.815 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.815 * [taylor]: Taking taylor expansion of x in x 11.815 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.815 * [taylor]: Taking taylor expansion of z in x 11.815 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.815 * [taylor]: Taking taylor expansion of -1 in x 11.815 * [taylor]: Taking taylor expansion of y in x 11.815 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.815 * [taylor]: Taking taylor expansion of -1 in x 11.815 * [taylor]: Taking taylor expansion of x in x 11.816 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 11.816 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.816 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 11.816 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.816 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.816 * [taylor]: Taking taylor expansion of x in z 11.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.816 * [taylor]: Taking taylor expansion of z in z 11.816 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.816 * [taylor]: Taking taylor expansion of -1 in z 11.816 * [taylor]: Taking taylor expansion of y in z 11.816 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.816 * [taylor]: Taking taylor expansion of -1 in z 11.816 * [taylor]: Taking taylor expansion of x in z 11.816 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 11.816 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.816 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 11.816 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.816 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.816 * [taylor]: Taking taylor expansion of x in z 11.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.817 * [taylor]: Taking taylor expansion of z in z 11.817 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.817 * [taylor]: Taking taylor expansion of -1 in z 11.817 * [taylor]: Taking taylor expansion of y in z 11.817 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.817 * [taylor]: Taking taylor expansion of -1 in z 11.817 * [taylor]: Taking taylor expansion of x in z 11.818 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.818 * [taylor]: Taking taylor expansion of y in x 11.819 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x 11.819 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 11.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.819 * [taylor]: Taking taylor expansion of x in x 11.819 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 11.819 * [taylor]: Taking taylor expansion of (* x y) in x 11.819 * [taylor]: Taking taylor expansion of x in x 11.819 * [taylor]: Taking taylor expansion of y in x 11.820 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 11.820 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 11.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.820 * [taylor]: Taking taylor expansion of y in y 11.820 * [taylor]: Taking taylor expansion of 1 in y 11.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.821 * [taylor]: Taking taylor expansion of y in y 11.822 * [taylor]: Taking taylor expansion of 0 in x 11.824 * [taylor]: Taking taylor expansion of 0 in y 11.824 * [taylor]: Taking taylor expansion of 0 in y 11.825 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 11.825 * [approximate]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in (z x y) around 0 11.825 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in y 11.825 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in y 11.825 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in y 11.825 * [taylor]: Taking taylor expansion of 1/4 in y 11.825 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in y 11.825 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 11.826 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.826 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 11.826 * [taylor]: Taking taylor expansion of (- z x) in y 11.826 * [taylor]: Taking taylor expansion of z in y 11.826 * [taylor]: Taking taylor expansion of x in y 11.826 * [taylor]: Taking taylor expansion of y in y 11.826 * [taylor]: Taking taylor expansion of x in y 11.826 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in x 11.826 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in x 11.826 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in x 11.826 * [taylor]: Taking taylor expansion of 1/4 in x 11.826 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in x 11.826 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 11.826 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.826 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 11.826 * [taylor]: Taking taylor expansion of (- z x) in x 11.826 * [taylor]: Taking taylor expansion of z in x 11.826 * [taylor]: Taking taylor expansion of x in x 11.826 * [taylor]: Taking taylor expansion of y in x 11.826 * [taylor]: Taking taylor expansion of x in x 11.827 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in z 11.827 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in z 11.827 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in z 11.827 * [taylor]: Taking taylor expansion of 1/4 in z 11.827 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in z 11.827 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.827 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.827 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.827 * [taylor]: Taking taylor expansion of (- z x) in z 11.827 * [taylor]: Taking taylor expansion of z in z 11.827 * [taylor]: Taking taylor expansion of x in z 11.827 * [taylor]: Taking taylor expansion of y in z 11.827 * [taylor]: Taking taylor expansion of x in z 11.827 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in z 11.827 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in z 11.827 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in z 11.827 * [taylor]: Taking taylor expansion of 1/4 in z 11.827 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in z 11.827 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.828 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.828 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.828 * [taylor]: Taking taylor expansion of (- z x) in z 11.828 * [taylor]: Taking taylor expansion of z in z 11.828 * [taylor]: Taking taylor expansion of x in z 11.828 * [taylor]: Taking taylor expansion of y in z 11.828 * [taylor]: Taking taylor expansion of x in z 11.828 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 1/4) in x 11.828 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- x (* x y))))) in x 11.828 * [taylor]: Taking taylor expansion of (* 1/4 (log (- x (* x y)))) in x 11.828 * [taylor]: Taking taylor expansion of 1/4 in x 11.828 * [taylor]: Taking taylor expansion of (log (- x (* x y))) in x 11.828 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.828 * [taylor]: Taking taylor expansion of x in x 11.828 * [taylor]: Taking taylor expansion of (* x y) in x 11.828 * [taylor]: Taking taylor expansion of x in x 11.828 * [taylor]: Taking taylor expansion of y in x 11.829 * [taylor]: Taking taylor expansion of (exp (* 1/4 (+ (log (- 1 y)) (log x)))) in y 11.829 * [taylor]: Taking taylor expansion of (* 1/4 (+ (log (- 1 y)) (log x))) in y 11.829 * [taylor]: Taking taylor expansion of 1/4 in y 11.830 * [taylor]: Taking taylor expansion of (+ (log (- 1 y)) (log x)) in y 11.830 * [taylor]: Taking taylor expansion of (log (- 1 y)) in y 11.830 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.830 * [taylor]: Taking taylor expansion of 1 in y 11.830 * [taylor]: Taking taylor expansion of y in y 11.830 * [taylor]: Taking taylor expansion of (log x) in y 11.830 * [taylor]: Taking taylor expansion of x in y 11.832 * [taylor]: Taking taylor expansion of (* 1/4 (* (pow (/ 1 (pow (- x (* x y)) 3)) 1/4) y)) in x 11.832 * [taylor]: Taking taylor expansion of 1/4 in x 11.832 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (- x (* x y)) 3)) 1/4) y) in x 11.833 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- x (* x y)) 3)) 1/4) in x 11.833 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- x (* x y)) 3))))) in x 11.833 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- x (* x y)) 3)))) in x 11.833 * [taylor]: Taking taylor expansion of 1/4 in x 11.833 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- x (* x y)) 3))) in x 11.833 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 3)) in x 11.833 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 3) in x 11.833 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.833 * [taylor]: Taking taylor expansion of x in x 11.833 * [taylor]: Taking taylor expansion of (* x y) in x 11.833 * [taylor]: Taking taylor expansion of x in x 11.833 * [taylor]: Taking taylor expansion of y in x 11.834 * [taylor]: Taking taylor expansion of y in x 11.835 * [taylor]: Taking taylor expansion of (* 1/4 (* y (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x))))))) in y 11.835 * [taylor]: Taking taylor expansion of 1/4 in y 11.835 * [taylor]: Taking taylor expansion of (* y (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x)))))) in y 11.835 * [taylor]: Taking taylor expansion of y in y 11.835 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x))))) in y 11.835 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x)))) in y 11.835 * [taylor]: Taking taylor expansion of 1/4 in y 11.835 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x))) in y 11.835 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- 1 y) 3))) in y 11.835 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1 y) 3)) in y 11.835 * [taylor]: Taking taylor expansion of (pow (- 1 y) 3) in y 11.835 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.835 * [taylor]: Taking taylor expansion of 1 in y 11.835 * [taylor]: Taking taylor expansion of y in y 11.836 * [taylor]: Taking taylor expansion of (* 3 (log x)) in y 11.836 * [taylor]: Taking taylor expansion of 3 in y 11.836 * [taylor]: Taking taylor expansion of (log x) in y 11.836 * [taylor]: Taking taylor expansion of x in y 11.840 * [taylor]: Taking taylor expansion of 0 in y 11.846 * [taylor]: Taking taylor expansion of (* -3/32 (* (pow (/ 1 (pow (- x (* x y)) 7)) 1/4) (pow y 2))) in x 11.846 * [taylor]: Taking taylor expansion of -3/32 in x 11.846 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (- x (* x y)) 7)) 1/4) (pow y 2)) in x 11.846 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- x (* x y)) 7)) 1/4) in x 11.846 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- x (* x y)) 7))))) in x 11.846 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- x (* x y)) 7)))) in x 11.846 * [taylor]: Taking taylor expansion of 1/4 in x 11.846 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- x (* x y)) 7))) in x 11.846 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 7)) in x 11.846 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 7) in x 11.846 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.846 * [taylor]: Taking taylor expansion of x in x 11.846 * [taylor]: Taking taylor expansion of (* x y) in x 11.846 * [taylor]: Taking taylor expansion of x in x 11.846 * [taylor]: Taking taylor expansion of y in x 11.848 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.848 * [taylor]: Taking taylor expansion of y in x 11.848 * [taylor]: Taking taylor expansion of (* -3/32 (* (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))))) (pow y 2))) in y 11.848 * [taylor]: Taking taylor expansion of -3/32 in y 11.848 * [taylor]: Taking taylor expansion of (* (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))))) (pow y 2)) in y 11.848 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))))) in y 11.848 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x)))) in y 11.848 * [taylor]: Taking taylor expansion of 1/4 in y 11.848 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))) in y 11.848 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- 1 y) 7))) in y 11.848 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1 y) 7)) in y 11.848 * [taylor]: Taking taylor expansion of (pow (- 1 y) 7) in y 11.848 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.849 * [taylor]: Taking taylor expansion of 1 in y 11.849 * [taylor]: Taking taylor expansion of y in y 11.850 * [taylor]: Taking taylor expansion of (* 7 (log x)) in y 11.850 * [taylor]: Taking taylor expansion of 7 in y 11.850 * [taylor]: Taking taylor expansion of (log x) in y 11.850 * [taylor]: Taking taylor expansion of x in y 11.851 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.851 * [taylor]: Taking taylor expansion of y in y 11.855 * [taylor]: Taking taylor expansion of 0 in y 11.859 * [taylor]: Taking taylor expansion of 0 in y 11.865 * [approximate]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in (z x y) around 0 11.865 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in y 11.865 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in y 11.865 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in y 11.865 * [taylor]: Taking taylor expansion of 1/4 in y 11.865 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 11.865 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 11.865 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.865 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 11.865 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.865 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.865 * [taylor]: Taking taylor expansion of z in y 11.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.865 * [taylor]: Taking taylor expansion of x in y 11.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.865 * [taylor]: Taking taylor expansion of y in y 11.866 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.866 * [taylor]: Taking taylor expansion of x in y 11.866 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in x 11.867 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in x 11.867 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in x 11.867 * [taylor]: Taking taylor expansion of 1/4 in x 11.867 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 11.867 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 11.867 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.867 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 11.867 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.867 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.867 * [taylor]: Taking taylor expansion of z in x 11.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.867 * [taylor]: Taking taylor expansion of x in x 11.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.867 * [taylor]: Taking taylor expansion of y in x 11.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.867 * [taylor]: Taking taylor expansion of x in x 11.868 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in z 11.868 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in z 11.868 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in z 11.868 * [taylor]: Taking taylor expansion of 1/4 in z 11.869 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 11.869 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 11.869 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.869 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 11.869 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.869 * [taylor]: Taking taylor expansion of z in z 11.869 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.869 * [taylor]: Taking taylor expansion of x in z 11.869 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.869 * [taylor]: Taking taylor expansion of y in z 11.869 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.869 * [taylor]: Taking taylor expansion of x in z 11.870 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in z 11.874 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in z 11.874 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in z 11.874 * [taylor]: Taking taylor expansion of 1/4 in z 11.874 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 11.874 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 11.874 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 11.874 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 11.874 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.875 * [taylor]: Taking taylor expansion of z in z 11.875 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.875 * [taylor]: Taking taylor expansion of x in z 11.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.875 * [taylor]: Taking taylor expansion of y in z 11.875 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.875 * [taylor]: Taking taylor expansion of x in z 11.876 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 11.876 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 11.876 * [taylor]: Taking taylor expansion of 1/4 in x 11.876 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 11.876 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.876 * [taylor]: Taking taylor expansion of y in x 11.876 * [taylor]: Taking taylor expansion of (log z) in x 11.876 * [taylor]: Taking taylor expansion of z in x 11.876 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in y 11.877 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in y 11.877 * [taylor]: Taking taylor expansion of 1/4 in y 11.877 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 11.877 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.877 * [taylor]: Taking taylor expansion of y in y 11.877 * [taylor]: Taking taylor expansion of (log z) in y 11.877 * [taylor]: Taking taylor expansion of z in y 11.880 * [taylor]: Taking taylor expansion of (* (exp (* 1/4 (- (log (/ 1 y)) (log z)))) (- (* 1/4 (/ y x)) (* 1/4 (/ 1 x)))) in x 11.880 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 11.880 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 11.880 * [taylor]: Taking taylor expansion of 1/4 in x 11.880 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 11.880 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.880 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.880 * [taylor]: Taking taylor expansion of y in x 11.880 * [taylor]: Taking taylor expansion of (log z) in x 11.880 * [taylor]: Taking taylor expansion of z in x 11.880 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) in x 11.880 * [taylor]: Taking taylor expansion of (* 1/4 (/ y x)) in x 11.880 * [taylor]: Taking taylor expansion of 1/4 in x 11.880 * [taylor]: Taking taylor expansion of (/ y x) in x 11.880 * [taylor]: Taking taylor expansion of y in x 11.880 * [taylor]: Taking taylor expansion of x in x 11.880 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 x)) in x 11.880 * [taylor]: Taking taylor expansion of 1/4 in x 11.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.880 * [taylor]: Taking taylor expansion of x in x 11.886 * [taylor]: Taking taylor expansion of 0 in y 11.888 * [taylor]: Taking taylor expansion of 0 in y 11.895 * [taylor]: Taking taylor expansion of (* (exp (* 1/4 (- (log (/ 1 y)) (log z)))) (- (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2)))))) in x 11.895 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 11.895 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 11.895 * [taylor]: Taking taylor expansion of 1/4 in x 11.895 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 11.895 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.895 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.895 * [taylor]: Taking taylor expansion of y in x 11.895 * [taylor]: Taking taylor expansion of (log z) in x 11.895 * [taylor]: Taking taylor expansion of z in x 11.896 * [taylor]: Taking taylor expansion of (- (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) in x 11.896 * [taylor]: Taking taylor expansion of (* 3/16 (/ y (pow x 2))) in x 11.896 * [taylor]: Taking taylor expansion of 3/16 in x 11.896 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x 11.896 * [taylor]: Taking taylor expansion of y in x 11.896 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.896 * [taylor]: Taking taylor expansion of x in x 11.896 * [taylor]: Taking taylor expansion of (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2)))) in x 11.896 * [taylor]: Taking taylor expansion of (* 3/32 (/ 1 (pow x 2))) in x 11.896 * [taylor]: Taking taylor expansion of 3/32 in x 11.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.896 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.896 * [taylor]: Taking taylor expansion of x in x 11.897 * [taylor]: Taking taylor expansion of (* 3/32 (/ (pow y 2) (pow x 2))) in x 11.897 * [taylor]: Taking taylor expansion of 3/32 in x 11.897 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 11.897 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.897 * [taylor]: Taking taylor expansion of y in x 11.897 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.897 * [taylor]: Taking taylor expansion of x in x 11.915 * [taylor]: Taking taylor expansion of 0 in y 11.922 * [taylor]: Taking taylor expansion of 0 in y 11.926 * [taylor]: Taking taylor expansion of 0 in y 11.926 * [approximate]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in (z x y) around 0 11.926 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in y 11.926 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in y 11.926 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in y 11.926 * [taylor]: Taking taylor expansion of 1/4 in y 11.926 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y 11.926 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 11.926 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.927 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 11.927 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.927 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.927 * [taylor]: Taking taylor expansion of x in y 11.927 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.927 * [taylor]: Taking taylor expansion of z in y 11.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.927 * [taylor]: Taking taylor expansion of -1 in y 11.927 * [taylor]: Taking taylor expansion of y in y 11.927 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.927 * [taylor]: Taking taylor expansion of -1 in y 11.927 * [taylor]: Taking taylor expansion of x in y 11.928 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in x 11.928 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in x 11.928 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in x 11.928 * [taylor]: Taking taylor expansion of 1/4 in x 11.928 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x 11.928 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 11.928 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.928 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 11.928 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.928 * [taylor]: Taking taylor expansion of x in x 11.928 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.928 * [taylor]: Taking taylor expansion of z in x 11.928 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.929 * [taylor]: Taking taylor expansion of -1 in x 11.929 * [taylor]: Taking taylor expansion of y in x 11.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.929 * [taylor]: Taking taylor expansion of -1 in x 11.929 * [taylor]: Taking taylor expansion of x in x 11.930 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in z 11.930 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in z 11.930 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 11.930 * [taylor]: Taking taylor expansion of 1/4 in z 11.930 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 11.930 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 11.930 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.930 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 11.930 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.930 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.930 * [taylor]: Taking taylor expansion of x in z 11.930 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.930 * [taylor]: Taking taylor expansion of z in z 11.930 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.930 * [taylor]: Taking taylor expansion of -1 in z 11.930 * [taylor]: Taking taylor expansion of y in z 11.930 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.930 * [taylor]: Taking taylor expansion of -1 in z 11.930 * [taylor]: Taking taylor expansion of x in z 11.932 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in z 11.932 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in z 11.932 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 11.932 * [taylor]: Taking taylor expansion of 1/4 in z 11.932 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 11.932 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 11.932 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 11.932 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 11.932 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.932 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.932 * [taylor]: Taking taylor expansion of x in z 11.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.932 * [taylor]: Taking taylor expansion of z in z 11.932 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.932 * [taylor]: Taking taylor expansion of -1 in z 11.932 * [taylor]: Taking taylor expansion of y in z 11.932 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.932 * [taylor]: Taking taylor expansion of -1 in z 11.932 * [taylor]: Taking taylor expansion of x in z 11.933 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 11.933 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 11.933 * [taylor]: Taking taylor expansion of 1/4 in x 11.933 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 11.933 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.933 * [taylor]: Taking taylor expansion of y in x 11.933 * [taylor]: Taking taylor expansion of (log z) in x 11.934 * [taylor]: Taking taylor expansion of z in x 11.934 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in y 11.934 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in y 11.934 * [taylor]: Taking taylor expansion of 1/4 in y 11.934 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 11.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.934 * [taylor]: Taking taylor expansion of y in y 11.934 * [taylor]: Taking taylor expansion of (log z) in y 11.934 * [taylor]: Taking taylor expansion of z in y 11.937 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) (exp (* 1/4 (- (log (/ 1 y)) (log z)))))) in x 11.937 * [taylor]: Taking taylor expansion of -1 in x 11.937 * [taylor]: Taking taylor expansion of (* (+ (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) (exp (* 1/4 (- (log (/ 1 y)) (log z))))) in x 11.937 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) in x 11.937 * [taylor]: Taking taylor expansion of (* 1/4 (/ y x)) in x 11.937 * [taylor]: Taking taylor expansion of 1/4 in x 11.937 * [taylor]: Taking taylor expansion of (/ y x) in x 11.937 * [taylor]: Taking taylor expansion of y in x 11.937 * [taylor]: Taking taylor expansion of x in x 11.937 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 x)) in x 11.937 * [taylor]: Taking taylor expansion of 1/4 in x 11.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.937 * [taylor]: Taking taylor expansion of x in x 11.938 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 11.938 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 11.938 * [taylor]: Taking taylor expansion of 1/4 in x 11.938 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 11.938 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.938 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.938 * [taylor]: Taking taylor expansion of y in x 11.938 * [taylor]: Taking taylor expansion of (log z) in x 11.938 * [taylor]: Taking taylor expansion of z in x 11.943 * [taylor]: Taking taylor expansion of 0 in y 11.946 * [taylor]: Taking taylor expansion of 0 in y 11.953 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) (exp (* 1/4 (- (log (/ 1 y)) (log z)))))) in x 11.953 * [taylor]: Taking taylor expansion of -1 in x 11.953 * [taylor]: Taking taylor expansion of (* (+ (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) (exp (* 1/4 (- (log (/ 1 y)) (log z))))) in x 11.953 * [taylor]: Taking taylor expansion of (+ (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) in x 11.953 * [taylor]: Taking taylor expansion of (* 3/16 (/ y (pow x 2))) in x 11.953 * [taylor]: Taking taylor expansion of 3/16 in x 11.953 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x 11.954 * [taylor]: Taking taylor expansion of y in x 11.954 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.954 * [taylor]: Taking taylor expansion of x in x 11.954 * [taylor]: Taking taylor expansion of (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2)))) in x 11.954 * [taylor]: Taking taylor expansion of (* 3/32 (/ 1 (pow x 2))) in x 11.954 * [taylor]: Taking taylor expansion of 3/32 in x 11.954 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.954 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.954 * [taylor]: Taking taylor expansion of x in x 11.954 * [taylor]: Taking taylor expansion of (* 3/32 (/ (pow y 2) (pow x 2))) in x 11.954 * [taylor]: Taking taylor expansion of 3/32 in x 11.954 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 11.955 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.955 * [taylor]: Taking taylor expansion of y in x 11.955 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.955 * [taylor]: Taking taylor expansion of x in x 11.955 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 11.955 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 11.955 * [taylor]: Taking taylor expansion of 1/4 in x 11.955 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 11.955 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.955 * [taylor]: Taking taylor expansion of y in x 11.955 * [taylor]: Taking taylor expansion of (log z) in x 11.955 * [taylor]: Taking taylor expansion of z in x 11.978 * [taylor]: Taking taylor expansion of 0 in y 11.986 * [taylor]: Taking taylor expansion of 0 in y 11.990 * [taylor]: Taking taylor expansion of 0 in y 11.990 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 11.990 * [approximate]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in (z x y) around 0 11.990 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in y 11.990 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in y 11.990 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in y 11.990 * [taylor]: Taking taylor expansion of 1/4 in y 11.990 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in y 11.990 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 11.990 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.990 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 11.990 * [taylor]: Taking taylor expansion of (- z x) in y 11.990 * [taylor]: Taking taylor expansion of z in y 11.990 * [taylor]: Taking taylor expansion of x in y 11.990 * [taylor]: Taking taylor expansion of y in y 11.990 * [taylor]: Taking taylor expansion of x in y 11.991 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in x 11.991 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in x 11.991 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in x 11.991 * [taylor]: Taking taylor expansion of 1/4 in x 11.991 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in x 11.991 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 11.991 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.991 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 11.991 * [taylor]: Taking taylor expansion of (- z x) in x 11.991 * [taylor]: Taking taylor expansion of z in x 11.991 * [taylor]: Taking taylor expansion of x in x 11.991 * [taylor]: Taking taylor expansion of y in x 11.991 * [taylor]: Taking taylor expansion of x in x 11.991 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in z 11.991 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in z 11.991 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in z 11.992 * [taylor]: Taking taylor expansion of 1/4 in z 11.992 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in z 11.992 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.992 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.992 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.992 * [taylor]: Taking taylor expansion of (- z x) in z 11.992 * [taylor]: Taking taylor expansion of z in z 11.992 * [taylor]: Taking taylor expansion of x in z 11.992 * [taylor]: Taking taylor expansion of y in z 11.992 * [taylor]: Taking taylor expansion of x in z 11.992 * [taylor]: Taking taylor expansion of (pow (fma (- z x) y x) 1/4) in z 11.992 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- z x) y x)))) in z 11.992 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- z x) y x))) in z 11.992 * [taylor]: Taking taylor expansion of 1/4 in z 11.992 * [taylor]: Taking taylor expansion of (log (fma (- z x) y x)) in z 11.992 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 11.992 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 11.992 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 11.992 * [taylor]: Taking taylor expansion of (- z x) in z 11.992 * [taylor]: Taking taylor expansion of z in z 11.992 * [taylor]: Taking taylor expansion of x in z 11.992 * [taylor]: Taking taylor expansion of y in z 11.992 * [taylor]: Taking taylor expansion of x in z 11.993 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 1/4) in x 11.993 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- x (* x y))))) in x 11.993 * [taylor]: Taking taylor expansion of (* 1/4 (log (- x (* x y)))) in x 11.993 * [taylor]: Taking taylor expansion of 1/4 in x 11.993 * [taylor]: Taking taylor expansion of (log (- x (* x y))) in x 11.993 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.993 * [taylor]: Taking taylor expansion of x in x 11.993 * [taylor]: Taking taylor expansion of (* x y) in x 11.993 * [taylor]: Taking taylor expansion of x in x 11.993 * [taylor]: Taking taylor expansion of y in x 11.994 * [taylor]: Taking taylor expansion of (exp (* 1/4 (+ (log (- 1 y)) (log x)))) in y 11.994 * [taylor]: Taking taylor expansion of (* 1/4 (+ (log (- 1 y)) (log x))) in y 11.994 * [taylor]: Taking taylor expansion of 1/4 in y 11.994 * [taylor]: Taking taylor expansion of (+ (log (- 1 y)) (log x)) in y 11.994 * [taylor]: Taking taylor expansion of (log (- 1 y)) in y 11.994 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.994 * [taylor]: Taking taylor expansion of 1 in y 11.994 * [taylor]: Taking taylor expansion of y in y 11.995 * [taylor]: Taking taylor expansion of (log x) in y 11.995 * [taylor]: Taking taylor expansion of x in y 11.996 * [taylor]: Taking taylor expansion of (* 1/4 (* (pow (/ 1 (pow (- x (* x y)) 3)) 1/4) y)) in x 11.996 * [taylor]: Taking taylor expansion of 1/4 in x 11.996 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (- x (* x y)) 3)) 1/4) y) in x 11.996 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- x (* x y)) 3)) 1/4) in x 11.997 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- x (* x y)) 3))))) in x 11.997 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- x (* x y)) 3)))) in x 11.997 * [taylor]: Taking taylor expansion of 1/4 in x 11.997 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- x (* x y)) 3))) in x 11.997 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 3)) in x 11.997 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 3) in x 11.997 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 11.997 * [taylor]: Taking taylor expansion of x in x 11.997 * [taylor]: Taking taylor expansion of (* x y) in x 11.997 * [taylor]: Taking taylor expansion of x in x 11.997 * [taylor]: Taking taylor expansion of y in x 11.998 * [taylor]: Taking taylor expansion of y in x 11.999 * [taylor]: Taking taylor expansion of (* 1/4 (* y (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x))))))) in y 11.999 * [taylor]: Taking taylor expansion of 1/4 in y 11.999 * [taylor]: Taking taylor expansion of (* y (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x)))))) in y 11.999 * [taylor]: Taking taylor expansion of y in y 11.999 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x))))) in y 11.999 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x)))) in y 11.999 * [taylor]: Taking taylor expansion of 1/4 in y 11.999 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow (- 1 y) 3))) (* 3 (log x))) in y 11.999 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- 1 y) 3))) in y 11.999 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1 y) 3)) in y 11.999 * [taylor]: Taking taylor expansion of (pow (- 1 y) 3) in y 11.999 * [taylor]: Taking taylor expansion of (- 1 y) in y 11.999 * [taylor]: Taking taylor expansion of 1 in y 11.999 * [taylor]: Taking taylor expansion of y in y 12.000 * [taylor]: Taking taylor expansion of (* 3 (log x)) in y 12.000 * [taylor]: Taking taylor expansion of 3 in y 12.000 * [taylor]: Taking taylor expansion of (log x) in y 12.000 * [taylor]: Taking taylor expansion of x in y 12.004 * [taylor]: Taking taylor expansion of 0 in y 12.009 * [taylor]: Taking taylor expansion of (* -3/32 (* (pow (/ 1 (pow (- x (* x y)) 7)) 1/4) (pow y 2))) in x 12.009 * [taylor]: Taking taylor expansion of -3/32 in x 12.009 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (- x (* x y)) 7)) 1/4) (pow y 2)) in x 12.009 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- x (* x y)) 7)) 1/4) in x 12.009 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- x (* x y)) 7))))) in x 12.009 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- x (* x y)) 7)))) in x 12.009 * [taylor]: Taking taylor expansion of 1/4 in x 12.009 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- x (* x y)) 7))) in x 12.009 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x y)) 7)) in x 12.009 * [taylor]: Taking taylor expansion of (pow (- x (* x y)) 7) in x 12.009 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 12.009 * [taylor]: Taking taylor expansion of x in x 12.009 * [taylor]: Taking taylor expansion of (* x y) in x 12.009 * [taylor]: Taking taylor expansion of x in x 12.009 * [taylor]: Taking taylor expansion of y in x 12.011 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.011 * [taylor]: Taking taylor expansion of y in x 12.012 * [taylor]: Taking taylor expansion of (* -3/32 (* (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))))) (pow y 2))) in y 12.012 * [taylor]: Taking taylor expansion of -3/32 in y 12.012 * [taylor]: Taking taylor expansion of (* (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))))) (pow y 2)) in y 12.012 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))))) in y 12.012 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x)))) in y 12.012 * [taylor]: Taking taylor expansion of 1/4 in y 12.012 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow (- 1 y) 7))) (* 7 (log x))) in y 12.012 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- 1 y) 7))) in y 12.012 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1 y) 7)) in y 12.012 * [taylor]: Taking taylor expansion of (pow (- 1 y) 7) in y 12.012 * [taylor]: Taking taylor expansion of (- 1 y) in y 12.012 * [taylor]: Taking taylor expansion of 1 in y 12.012 * [taylor]: Taking taylor expansion of y in y 12.014 * [taylor]: Taking taylor expansion of (* 7 (log x)) in y 12.014 * [taylor]: Taking taylor expansion of 7 in y 12.014 * [taylor]: Taking taylor expansion of (log x) in y 12.014 * [taylor]: Taking taylor expansion of x in y 12.014 * [taylor]: Taking taylor expansion of (pow y 2) in y 12.014 * [taylor]: Taking taylor expansion of y in y 12.018 * [taylor]: Taking taylor expansion of 0 in y 12.022 * [taylor]: Taking taylor expansion of 0 in y 12.028 * [approximate]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in (z x y) around 0 12.028 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in y 12.028 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in y 12.028 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in y 12.028 * [taylor]: Taking taylor expansion of 1/4 in y 12.028 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 12.028 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 12.028 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 12.028 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 12.028 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.028 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.028 * [taylor]: Taking taylor expansion of z in y 12.028 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.028 * [taylor]: Taking taylor expansion of x in y 12.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.028 * [taylor]: Taking taylor expansion of y in y 12.029 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.029 * [taylor]: Taking taylor expansion of x in y 12.030 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in x 12.030 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in x 12.030 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in x 12.030 * [taylor]: Taking taylor expansion of 1/4 in x 12.030 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 12.030 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 12.030 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 12.030 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 12.030 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.030 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.030 * [taylor]: Taking taylor expansion of z in x 12.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.030 * [taylor]: Taking taylor expansion of x in x 12.030 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.030 * [taylor]: Taking taylor expansion of y in x 12.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.030 * [taylor]: Taking taylor expansion of x in x 12.032 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in z 12.032 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in z 12.032 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in z 12.032 * [taylor]: Taking taylor expansion of 1/4 in z 12.032 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 12.032 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 12.032 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 12.032 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 12.032 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.032 * [taylor]: Taking taylor expansion of z in z 12.032 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.032 * [taylor]: Taking taylor expansion of x in z 12.032 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.032 * [taylor]: Taking taylor expansion of y in z 12.032 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.032 * [taylor]: Taking taylor expansion of x in z 12.033 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 1/4) in z 12.033 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))))) in z 12.033 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)))) in z 12.033 * [taylor]: Taking taylor expansion of 1/4 in z 12.033 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 12.033 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 12.033 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 12.033 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 12.033 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.033 * [taylor]: Taking taylor expansion of z in z 12.034 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.034 * [taylor]: Taking taylor expansion of x in z 12.034 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.034 * [taylor]: Taking taylor expansion of y in z 12.034 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.034 * [taylor]: Taking taylor expansion of x in z 12.035 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 12.035 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 12.035 * [taylor]: Taking taylor expansion of 1/4 in x 12.035 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 12.035 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.035 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.035 * [taylor]: Taking taylor expansion of y in x 12.035 * [taylor]: Taking taylor expansion of (log z) in x 12.035 * [taylor]: Taking taylor expansion of z in x 12.035 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in y 12.035 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in y 12.035 * [taylor]: Taking taylor expansion of 1/4 in y 12.035 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 12.035 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.035 * [taylor]: Taking taylor expansion of y in y 12.036 * [taylor]: Taking taylor expansion of (log z) in y 12.036 * [taylor]: Taking taylor expansion of z in y 12.038 * [taylor]: Taking taylor expansion of (* (exp (* 1/4 (- (log (/ 1 y)) (log z)))) (- (* 1/4 (/ y x)) (* 1/4 (/ 1 x)))) in x 12.038 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 12.038 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 12.038 * [taylor]: Taking taylor expansion of 1/4 in x 12.038 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 12.038 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.038 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.038 * [taylor]: Taking taylor expansion of y in x 12.038 * [taylor]: Taking taylor expansion of (log z) in x 12.038 * [taylor]: Taking taylor expansion of z in x 12.039 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) in x 12.039 * [taylor]: Taking taylor expansion of (* 1/4 (/ y x)) in x 12.039 * [taylor]: Taking taylor expansion of 1/4 in x 12.039 * [taylor]: Taking taylor expansion of (/ y x) in x 12.039 * [taylor]: Taking taylor expansion of y in x 12.039 * [taylor]: Taking taylor expansion of x in x 12.039 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 x)) in x 12.039 * [taylor]: Taking taylor expansion of 1/4 in x 12.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.039 * [taylor]: Taking taylor expansion of x in x 12.044 * [taylor]: Taking taylor expansion of 0 in y 12.046 * [taylor]: Taking taylor expansion of 0 in y 12.193 * [taylor]: Taking taylor expansion of (* (exp (* 1/4 (- (log (/ 1 y)) (log z)))) (- (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2)))))) in x 12.193 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 12.193 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 12.193 * [taylor]: Taking taylor expansion of 1/4 in x 12.193 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 12.193 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.193 * [taylor]: Taking taylor expansion of y in x 12.193 * [taylor]: Taking taylor expansion of (log z) in x 12.193 * [taylor]: Taking taylor expansion of z in x 12.194 * [taylor]: Taking taylor expansion of (- (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) in x 12.194 * [taylor]: Taking taylor expansion of (* 3/16 (/ y (pow x 2))) in x 12.194 * [taylor]: Taking taylor expansion of 3/16 in x 12.194 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x 12.194 * [taylor]: Taking taylor expansion of y in x 12.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.194 * [taylor]: Taking taylor expansion of x in x 12.194 * [taylor]: Taking taylor expansion of (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2)))) in x 12.194 * [taylor]: Taking taylor expansion of (* 3/32 (/ 1 (pow x 2))) in x 12.194 * [taylor]: Taking taylor expansion of 3/32 in x 12.194 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.194 * [taylor]: Taking taylor expansion of x in x 12.195 * [taylor]: Taking taylor expansion of (* 3/32 (/ (pow y 2) (pow x 2))) in x 12.195 * [taylor]: Taking taylor expansion of 3/32 in x 12.195 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 12.195 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.195 * [taylor]: Taking taylor expansion of y in x 12.195 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.195 * [taylor]: Taking taylor expansion of x in x 12.213 * [taylor]: Taking taylor expansion of 0 in y 12.220 * [taylor]: Taking taylor expansion of 0 in y 12.224 * [taylor]: Taking taylor expansion of 0 in y 12.224 * [approximate]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in (z x y) around 0 12.224 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in y 12.224 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in y 12.224 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in y 12.224 * [taylor]: Taking taylor expansion of 1/4 in y 12.224 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in y 12.224 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 12.224 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 12.224 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 12.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.224 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.224 * [taylor]: Taking taylor expansion of x in y 12.224 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.224 * [taylor]: Taking taylor expansion of z in y 12.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.224 * [taylor]: Taking taylor expansion of -1 in y 12.224 * [taylor]: Taking taylor expansion of y in y 12.225 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.225 * [taylor]: Taking taylor expansion of -1 in y 12.225 * [taylor]: Taking taylor expansion of x in y 12.226 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in x 12.226 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in x 12.226 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in x 12.226 * [taylor]: Taking taylor expansion of 1/4 in x 12.226 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in x 12.226 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 12.226 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 12.226 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 12.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.226 * [taylor]: Taking taylor expansion of x in x 12.226 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.226 * [taylor]: Taking taylor expansion of z in x 12.226 * [taylor]: Taking taylor expansion of (/ -1 y) in x 12.226 * [taylor]: Taking taylor expansion of -1 in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.226 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.226 * [taylor]: Taking taylor expansion of -1 in x 12.226 * [taylor]: Taking taylor expansion of x in x 12.228 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in z 12.228 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in z 12.228 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 12.228 * [taylor]: Taking taylor expansion of 1/4 in z 12.228 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 12.228 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 12.228 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 12.228 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 12.228 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.228 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.228 * [taylor]: Taking taylor expansion of x in z 12.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.228 * [taylor]: Taking taylor expansion of z in z 12.228 * [taylor]: Taking taylor expansion of (/ -1 y) in z 12.228 * [taylor]: Taking taylor expansion of -1 in z 12.228 * [taylor]: Taking taylor expansion of y in z 12.228 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.228 * [taylor]: Taking taylor expansion of -1 in z 12.228 * [taylor]: Taking taylor expansion of x in z 12.229 * [taylor]: Taking taylor expansion of (pow (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 1/4) in z 12.229 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))))) in z 12.229 * [taylor]: Taking taylor expansion of (* 1/4 (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)))) in z 12.229 * [taylor]: Taking taylor expansion of 1/4 in z 12.229 * [taylor]: Taking taylor expansion of (log (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))) in z 12.229 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 12.230 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 12.230 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 12.230 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.230 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.230 * [taylor]: Taking taylor expansion of x in z 12.230 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.230 * [taylor]: Taking taylor expansion of z in z 12.230 * [taylor]: Taking taylor expansion of (/ -1 y) in z 12.230 * [taylor]: Taking taylor expansion of -1 in z 12.230 * [taylor]: Taking taylor expansion of y in z 12.230 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.230 * [taylor]: Taking taylor expansion of -1 in z 12.230 * [taylor]: Taking taylor expansion of x in z 12.231 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 12.231 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 12.231 * [taylor]: Taking taylor expansion of 1/4 in x 12.231 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 12.231 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.231 * [taylor]: Taking taylor expansion of y in x 12.231 * [taylor]: Taking taylor expansion of (log z) in x 12.231 * [taylor]: Taking taylor expansion of z in x 12.232 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in y 12.232 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in y 12.232 * [taylor]: Taking taylor expansion of 1/4 in y 12.232 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 12.232 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.232 * [taylor]: Taking taylor expansion of y in y 12.232 * [taylor]: Taking taylor expansion of (log z) in y 12.232 * [taylor]: Taking taylor expansion of z in y 12.235 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) (exp (* 1/4 (- (log (/ 1 y)) (log z)))))) in x 12.235 * [taylor]: Taking taylor expansion of -1 in x 12.235 * [taylor]: Taking taylor expansion of (* (+ (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) (exp (* 1/4 (- (log (/ 1 y)) (log z))))) in x 12.235 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ y x)) (* 1/4 (/ 1 x))) in x 12.235 * [taylor]: Taking taylor expansion of (* 1/4 (/ y x)) in x 12.235 * [taylor]: Taking taylor expansion of 1/4 in x 12.235 * [taylor]: Taking taylor expansion of (/ y x) in x 12.235 * [taylor]: Taking taylor expansion of y in x 12.235 * [taylor]: Taking taylor expansion of x in x 12.235 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 x)) in x 12.235 * [taylor]: Taking taylor expansion of 1/4 in x 12.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.235 * [taylor]: Taking taylor expansion of x in x 12.236 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 12.236 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 12.236 * [taylor]: Taking taylor expansion of 1/4 in x 12.236 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 12.236 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.236 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.236 * [taylor]: Taking taylor expansion of y in x 12.236 * [taylor]: Taking taylor expansion of (log z) in x 12.236 * [taylor]: Taking taylor expansion of z in x 12.241 * [taylor]: Taking taylor expansion of 0 in y 12.244 * [taylor]: Taking taylor expansion of 0 in y 12.251 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) (exp (* 1/4 (- (log (/ 1 y)) (log z)))))) in x 12.252 * [taylor]: Taking taylor expansion of -1 in x 12.252 * [taylor]: Taking taylor expansion of (* (+ (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) (exp (* 1/4 (- (log (/ 1 y)) (log z))))) in x 12.252 * [taylor]: Taking taylor expansion of (+ (* 3/16 (/ y (pow x 2))) (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2))))) in x 12.252 * [taylor]: Taking taylor expansion of (* 3/16 (/ y (pow x 2))) in x 12.252 * [taylor]: Taking taylor expansion of 3/16 in x 12.252 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x 12.252 * [taylor]: Taking taylor expansion of y in x 12.252 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.252 * [taylor]: Taking taylor expansion of x in x 12.252 * [taylor]: Taking taylor expansion of (+ (* 3/32 (/ 1 (pow x 2))) (* 3/32 (/ (pow y 2) (pow x 2)))) in x 12.252 * [taylor]: Taking taylor expansion of (* 3/32 (/ 1 (pow x 2))) in x 12.252 * [taylor]: Taking taylor expansion of 3/32 in x 12.252 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.252 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.252 * [taylor]: Taking taylor expansion of x in x 12.253 * [taylor]: Taking taylor expansion of (* 3/32 (/ (pow y 2) (pow x 2))) in x 12.253 * [taylor]: Taking taylor expansion of 3/32 in x 12.253 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 12.253 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.253 * [taylor]: Taking taylor expansion of y in x 12.253 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.253 * [taylor]: Taking taylor expansion of x in x 12.253 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (/ 1 y)) (log z)))) in x 12.253 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (/ 1 y)) (log z))) in x 12.253 * [taylor]: Taking taylor expansion of 1/4 in x 12.253 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in x 12.253 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 12.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.253 * [taylor]: Taking taylor expansion of y in x 12.253 * [taylor]: Taking taylor expansion of (log z) in x 12.253 * [taylor]: Taking taylor expansion of z in x 12.272 * [taylor]: Taking taylor expansion of 0 in y 12.282 * [taylor]: Taking taylor expansion of 0 in y 12.286 * [taylor]: Taking taylor expansion of 0 in y 12.286 * * * [progress]: simplifying candidates 12.289 * [simplify]: Simplifying using # : (expm1 (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (log1p (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1/2 2) (/ 1/2 2)) (+ (/ 1/2 2) (/ (/ 1 2) 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ (/ 1 2) 2) (/ 1/2 2)) (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2)) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (fma (- z x) y x) (fma (- z x) y x)) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (* (fma (- z x) y x) (fma (- z x) y x)) (+ 1 1) (+ (log (sqrt (sqrt (fma (- z x) y x)))) (log (sqrt (sqrt (fma (- z x) y x))))) (log (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (exp (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (* (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x))))) (* (cbrt (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (cbrt (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))))) (cbrt (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (* (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (sqrt (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (* (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x)))))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))) (sqrt (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))))) (* (sqrt (cbrt (sqrt (fma (- z x) y x)))) (sqrt (cbrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))) (sqrt (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))))) (* (sqrt (sqrt (cbrt (fma (- z x) y x)))) (sqrt (sqrt (cbrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt 1)) (sqrt (sqrt 1))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* 1 1) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* 2 1/2) (* 2 1) (* 2 (/ 1/2 2)) (* 2 (/ 1 2)) (* 2 (/ (/ 1 2) 2)) (* (sqrt (sqrt (fma (- z x) y x))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x)))))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt 1))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt 1)) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (fma (- z x) y x))) 1) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (cbrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (cbrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (expm1 (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (log1p (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (+ (+ 1/2 1/2) 1) (+ (+ 1/2 (/ 1 2)) 1) (+ (+ (/ 1/2 2) (/ 1/2 2)) 1/2) (+ (+ (/ 1/2 2) (/ 1/2 2)) (/ 1 2)) (+ (+ (/ 1/2 2) (/ (/ 1 2) 2)) 1/2) (+ (+ (/ 1/2 2) (/ (/ 1 2) 2)) (/ 1 2)) (+ (+ (/ 1 2) 1/2) 1) (+ (+ (/ 1 2) (/ 1 2)) 1) (+ (+ (/ (/ 1 2) 2) (/ 1/2 2)) 1/2) (+ (+ (/ (/ 1 2) 2) (/ 1/2 2)) (/ 1 2)) (+ (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2)) 1/2) (+ (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2)) (/ 1 2)) (+ (* 2 1/2) 1) (+ (* 2 (/ 1/2 2)) 1/2) (+ (* 2 (/ 1/2 2)) (/ 1 2)) (+ (* 2 (/ 1 2)) 1) (+ (* 2 (/ (/ 1 2) 2)) 1/2) (+ (* 2 (/ (/ 1 2) 2)) (/ 1 2)) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (fma (- z x) y x)) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (fma (- z x) y x)) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x))) (+ (+ 1/2 1/2) 1) (+ (+ 1/2 (/ 1 2)) 1) (+ (+ (/ 1 2) 1/2) 1) (+ (+ (/ 1 2) (/ 1 2)) 1) (+ (* 2 1/2) 1) (+ (* 2 (/ 1 2)) 1) (+ (+ (log (sqrt (sqrt (fma (- z x) y x)))) (log (sqrt (sqrt (fma (- z x) y x))))) (log (sqrt (fma (- z x) y x)))) (+ (log (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (log (sqrt (fma (- z x) y x)))) (log (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (exp (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (* (* (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x))))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))) (* (* (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x)))) (* (cbrt (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (cbrt (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x))))) (cbrt (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (* (* (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (* (* (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x))) (fma (- z x) y x)) (sqrt (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (sqrt (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt 1)) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) 1) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (expm1 (sqrt (sqrt (fma (- z x) y x)))) (log1p (sqrt (sqrt (fma (- z x) y x)))) (log (sqrt (sqrt (fma (- z x) y x)))) (exp (sqrt (sqrt (fma (- z x) y x)))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (cbrt (sqrt (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))) (sqrt (cbrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))) (sqrt (sqrt (cbrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt 1)) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt 1) (sqrt (sqrt (fma (- z x) y x))) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (expm1 (sqrt (sqrt (fma (- z x) y x)))) (log1p (sqrt (sqrt (fma (- z x) y x)))) (log (sqrt (sqrt (fma (- z x) y x)))) (exp (sqrt (sqrt (fma (- z x) y x)))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (cbrt (sqrt (sqrt (fma (- z x) y x)))) (* (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (sqrt (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x))))) (sqrt (cbrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))))) (sqrt (sqrt (cbrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt 1)) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt 1) (sqrt (sqrt (fma (- z x) y x))) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 x)))))) (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* x y) (pow z 2)))))))) (- (+ (* +nan.0 (/ (* x y) z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* x y) (pow z 2)))))))) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (pow x 1/4) (* 1/4 (* (pow (/ 1 (pow x 3)) 1/4) (* z y)))) (* 1/4 (* (pow x 1/4) y))) (exp (* -1/4 (+ (log (/ 1 z)) (log (/ 1 y))))) (exp (* -1/4 (+ (log (/ -1 z)) (log (/ -1 y))))) (- (+ (pow x 1/4) (* 1/4 (* (pow (/ 1 (pow x 3)) 1/4) (* z y)))) (* 1/4 (* (pow x 1/4) y))) (exp (* -1/4 (+ (log (/ 1 z)) (log (/ 1 y))))) (exp (* -1/4 (+ (log (/ -1 z)) (log (/ -1 y))))) 12.297 * * [simplify]: iteration 0 : 174 enodes (cost 3516 ) 12.331 * * [simplify]: iteration 1 : 425 enodes (cost 1874 ) 12.483 * * [simplify]: iteration 2 : 1569 enodes (cost 1641 ) 14.381 * * [simplify]: iteration done : 5000 enodes (cost 1638 ) 14.382 * [simplify]: Simplified to: (expm1 (sqrt (fma (- z x) y x))) (log1p (sqrt (fma (- z x) y x))) 1 1 2 1/2 1/2 1 1 1/2 1/2 (fma (- z x) y x) (sqrt (fma (- z x) y x)) (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x) (* (fma (- z x) y x) (fma (- z x) y x)) 2 (log (sqrt (fma (- z x) y x))) (log (sqrt (fma (- z x) y x))) (exp (sqrt (fma (- z x) y x))) (pow (sqrt (fma (- z x) y x)) 3) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (fma (- z x) y x))) (pow (sqrt (fma (- z x) y x)) 3) (fma (- z x) y x) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (* (pow (cbrt (sqrt (sqrt (fma (- z x) y x)))) 3) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (fma (- z x) y x))) (fabs (cbrt (fma (- z x) y x))) (sqrt (cbrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) 1 (sqrt (fma (- z x) y x)) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) 1 (sqrt (fma (- z x) y x)) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) 1 (sqrt (fma (- z x) y x)) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (fma (- z x) y x))) 1 2 1/2 1 1/2 (* (sqrt (sqrt (fma (- z x) y x))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x)))))) (* (fabs (cbrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (fma (- z x) y x))) (sqrt (fabs (cbrt (fma (- z x) y x))))) (pow (sqrt (sqrt (sqrt (fma (- z x) y x)))) 3) (sqrt (sqrt (fma (- z x) y x))) (pow (sqrt (sqrt (sqrt (fma (- z x) y x)))) 3) (sqrt (sqrt (fma (- z x) y x))) (pow (sqrt (sqrt (sqrt (fma (- z x) y x)))) 3) (sqrt (sqrt (fma (- z x) y x))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (cbrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (* (sqrt (sqrt (cbrt (fma (- z x) y x)))) (sqrt (sqrt (fma (- z x) y x)))) (pow (sqrt (sqrt (sqrt (fma (- z x) y x)))) 3) (sqrt (fma (- z x) y x)) (pow (sqrt (sqrt (sqrt (fma (- z x) y x)))) 3) (sqrt (fma (- z x) y x)) (pow (sqrt (sqrt (sqrt (fma (- z x) y x)))) 3) (sqrt (fma (- z x) y x)) (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) 2 2 1 1 1 1 2 2 1 1 1 1 2 1 1 2 1 1 (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x) (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x) 2 2 2 2 2 2 (log (fma (- z x) y x)) (log (fma (- z x) y x)) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (pow (fma (- z x) y x) 3) (pow (fma (- z x) y x) 3) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (pow (fma (- z x) y x) 3) (* (fma (- z x) y x) (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (* (* (cbrt (sqrt (fma (- z x) y x))) (cbrt (sqrt (fma (- z x) y x)))) (sqrt (fma (- z x) y x))) (* (fabs (cbrt (fma (- z x) y x))) (sqrt (fma (- z x) y x))) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (sqrt (fma (- z x) y x)) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (sqrt (fma (- z x) y x)) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (expm1 (sqrt (sqrt (fma (- z x) y x)))) (log1p (sqrt (sqrt (fma (- z x) y x)))) (log (sqrt (sqrt (fma (- z x) y x)))) (exp (sqrt (sqrt (fma (- z x) y x)))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (cbrt (sqrt (sqrt (fma (- z x) y x)))) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (fabs (cbrt (sqrt (fma (- z x) y x)))) (sqrt (cbrt (sqrt (fma (- z x) y x)))) (sqrt (fabs (cbrt (fma (- z x) y x)))) (sqrt (sqrt (cbrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) 1 (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) 1 (sqrt (sqrt (fma (- z x) y x))) 1/4 1/2 1/4 (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (expm1 (sqrt (sqrt (fma (- z x) y x)))) (log1p (sqrt (sqrt (fma (- z x) y x)))) (log (sqrt (sqrt (fma (- z x) y x)))) (exp (sqrt (sqrt (fma (- z x) y x)))) (* (cbrt (sqrt (sqrt (fma (- z x) y x)))) (cbrt (sqrt (sqrt (fma (- z x) y x))))) (cbrt (sqrt (sqrt (fma (- z x) y x)))) (pow (sqrt (sqrt (fma (- z x) y x))) 3) (fabs (cbrt (sqrt (fma (- z x) y x)))) (sqrt (cbrt (sqrt (fma (- z x) y x)))) (sqrt (fabs (cbrt (fma (- z x) y x)))) (sqrt (sqrt (cbrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) 1 (sqrt (sqrt (fma (- z x) y x))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) 1 (sqrt (sqrt (fma (- z x) y x))) 1/4 1/2 1/4 (sqrt (sqrt (sqrt (fma (- z x) y x)))) (sqrt (sqrt (sqrt (fma (- z x) y x)))) (- (* +nan.0 (- (* z y) x)) (* +nan.0 (pow x 2))) (- (* +nan.0 (- y (/ (* x y) (pow z 2)))) (* +nan.0 (/ (* x y) z))) (- (* +nan.0 (- y (/ (* x y) (pow z 2)))) (* +nan.0 (/ (* x y) z))) (- (fma z y x) (* x y)) (- (fma z y x) (* x y)) (- (fma z y x) (* x y)) (+ (pow x 1/4) (* 1/4 (- (* (pow (/ 1 (pow x 3)) 1/4) (* z y)) (* (pow x 1/4) y)))) (pow (exp -1/4) (- (- (log y)) (log z))) (exp (* -1/4 (+ (log (/ -1 z)) (log (/ -1 y))))) (+ (pow x 1/4) (* 1/4 (- (* (pow (/ 1 (pow x 3)) 1/4) (* z y)) (* (pow x 1/4) y)))) (pow (exp -1/4) (- (- (log y)) (log z))) (exp (* -1/4 (+ (log (/ -1 z)) (log (/ -1 y))))) 14.383 * * * [progress]: adding candidates to table 14.650 * * [progress]: iteration 4 / 4 14.650 * * * [progress]: picking best candidate 14.655 * * * * [pick]: Picked # 14.655 * * * [progress]: localizing error 14.660 * * * [progress]: generating rewritten candidates 14.661 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.664 * * * [progress]: generating series expansions 14.664 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.664 * [approximate]: Taking taylor expansion of (- (fma z y x) (* x y)) in (z y x) around 0 14.664 * [taylor]: Taking taylor expansion of (- (fma z y x) (* x y)) in x 14.664 * [taylor]: Taking taylor expansion of (fma z y x) in x 14.664 * [taylor]: Rewrote expression to (+ (* z y) x) 14.664 * [taylor]: Taking taylor expansion of (* z y) in x 14.664 * [taylor]: Taking taylor expansion of z in x 14.664 * [taylor]: Taking taylor expansion of y in x 14.664 * [taylor]: Taking taylor expansion of x in x 14.664 * [taylor]: Taking taylor expansion of (* x y) in x 14.664 * [taylor]: Taking taylor expansion of x in x 14.664 * [taylor]: Taking taylor expansion of y in x 14.664 * [taylor]: Taking taylor expansion of (- (fma z y x) (* x y)) in y 14.664 * [taylor]: Taking taylor expansion of (fma z y x) in y 14.665 * [taylor]: Rewrote expression to (+ (* z y) x) 14.665 * [taylor]: Taking taylor expansion of (* z y) in y 14.665 * [taylor]: Taking taylor expansion of z in y 14.665 * [taylor]: Taking taylor expansion of y in y 14.665 * [taylor]: Taking taylor expansion of x in y 14.665 * [taylor]: Taking taylor expansion of (* x y) in y 14.665 * [taylor]: Taking taylor expansion of x in y 14.665 * [taylor]: Taking taylor expansion of y in y 14.665 * [taylor]: Taking taylor expansion of (- (fma z y x) (* x y)) in z 14.665 * [taylor]: Taking taylor expansion of (fma z y x) in z 14.665 * [taylor]: Rewrote expression to (+ (* z y) x) 14.665 * [taylor]: Taking taylor expansion of (* z y) in z 14.665 * [taylor]: Taking taylor expansion of z in z 14.665 * [taylor]: Taking taylor expansion of y in z 14.665 * [taylor]: Taking taylor expansion of x in z 14.665 * [taylor]: Taking taylor expansion of (* x y) in z 14.665 * [taylor]: Taking taylor expansion of x in z 14.665 * [taylor]: Taking taylor expansion of y in z 14.665 * [taylor]: Taking taylor expansion of (- (fma z y x) (* x y)) in z 14.665 * [taylor]: Taking taylor expansion of (fma z y x) in z 14.665 * [taylor]: Rewrote expression to (+ (* z y) x) 14.665 * [taylor]: Taking taylor expansion of (* z y) in z 14.665 * [taylor]: Taking taylor expansion of z in z 14.665 * [taylor]: Taking taylor expansion of y in z 14.665 * [taylor]: Taking taylor expansion of x in z 14.665 * [taylor]: Taking taylor expansion of (* x y) in z 14.665 * [taylor]: Taking taylor expansion of x in z 14.665 * [taylor]: Taking taylor expansion of y in z 14.665 * [taylor]: Taking taylor expansion of (- x (* x y)) in y 14.665 * [taylor]: Taking taylor expansion of x in y 14.665 * [taylor]: Taking taylor expansion of (* x y) in y 14.665 * [taylor]: Taking taylor expansion of x in y 14.665 * [taylor]: Taking taylor expansion of y in y 14.666 * [taylor]: Taking taylor expansion of x in x 14.667 * [taylor]: Taking taylor expansion of y in y 14.667 * [taylor]: Taking taylor expansion of 0 in x 14.667 * [taylor]: Taking taylor expansion of (- x) in x 14.667 * [taylor]: Taking taylor expansion of x in x 14.669 * [taylor]: Taking taylor expansion of 0 in y 14.669 * [taylor]: Taking taylor expansion of 0 in x 14.669 * [taylor]: Taking taylor expansion of 1 in x 14.669 * [taylor]: Taking taylor expansion of 0 in x 14.670 * [approximate]: Taking taylor expansion of (- (fma (/ 1 z) (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in (z y x) around 0 14.670 * [taylor]: Taking taylor expansion of (- (fma (/ 1 z) (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in x 14.670 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 y) (/ 1 x)) in x 14.670 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 y)) (/ 1 x)) 14.670 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 y)) in x 14.670 * [taylor]: Taking taylor expansion of (/ 1 z) in x 14.670 * [taylor]: Taking taylor expansion of z in x 14.671 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.671 * [taylor]: Taking taylor expansion of y in x 14.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.671 * [taylor]: Taking taylor expansion of x in x 14.671 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.671 * [taylor]: Taking taylor expansion of (* x y) in x 14.671 * [taylor]: Taking taylor expansion of x in x 14.671 * [taylor]: Taking taylor expansion of y in x 14.671 * [taylor]: Taking taylor expansion of (- (fma (/ 1 z) (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in y 14.671 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 y) (/ 1 x)) in y 14.671 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 y)) (/ 1 x)) 14.671 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 y)) in y 14.671 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.671 * [taylor]: Taking taylor expansion of z in y 14.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.671 * [taylor]: Taking taylor expansion of y in y 14.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.672 * [taylor]: Taking taylor expansion of x in y 14.672 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.672 * [taylor]: Taking taylor expansion of (* x y) in y 14.672 * [taylor]: Taking taylor expansion of x in y 14.672 * [taylor]: Taking taylor expansion of y in y 14.672 * [taylor]: Taking taylor expansion of (- (fma (/ 1 z) (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in z 14.672 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 y) (/ 1 x)) in z 14.672 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 y)) (/ 1 x)) 14.672 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 y)) in z 14.672 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.672 * [taylor]: Taking taylor expansion of z in z 14.673 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.673 * [taylor]: Taking taylor expansion of y in z 14.673 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.673 * [taylor]: Taking taylor expansion of x in z 14.673 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 14.673 * [taylor]: Taking taylor expansion of (* x y) in z 14.673 * [taylor]: Taking taylor expansion of x in z 14.673 * [taylor]: Taking taylor expansion of y in z 14.673 * [taylor]: Taking taylor expansion of (- (fma (/ 1 z) (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in z 14.673 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 1 y) (/ 1 x)) in z 14.673 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 1 y)) (/ 1 x)) 14.673 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 1 y)) in z 14.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.673 * [taylor]: Taking taylor expansion of z in z 14.673 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.673 * [taylor]: Taking taylor expansion of y in z 14.673 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.673 * [taylor]: Taking taylor expansion of x in z 14.673 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 14.673 * [taylor]: Taking taylor expansion of (* x y) in z 14.673 * [taylor]: Taking taylor expansion of x in z 14.673 * [taylor]: Taking taylor expansion of y in z 14.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.674 * [taylor]: Taking taylor expansion of y in y 14.674 * [taylor]: Taking taylor expansion of 1 in x 14.675 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in y 14.675 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.675 * [taylor]: Taking taylor expansion of x in y 14.675 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.675 * [taylor]: Taking taylor expansion of (* x y) in y 14.675 * [taylor]: Taking taylor expansion of x in y 14.675 * [taylor]: Taking taylor expansion of y in y 14.675 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 14.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.675 * [taylor]: Taking taylor expansion of x in x 14.676 * [taylor]: Taking taylor expansion of 0 in x 14.678 * [taylor]: Taking taylor expansion of 0 in y 14.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.679 * [taylor]: Taking taylor expansion of x in x 14.680 * [approximate]: Taking taylor expansion of (- (fma (/ -1 z) (/ -1 y) (/ -1 x)) (/ 1 (* x y))) in (z y x) around 0 14.680 * [taylor]: Taking taylor expansion of (- (fma (/ -1 z) (/ -1 y) (/ -1 x)) (/ 1 (* x y))) in x 14.680 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 y) (/ -1 x)) in x 14.680 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 y)) (/ -1 x)) 14.680 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 y)) in x 14.680 * [taylor]: Taking taylor expansion of (/ -1 z) in x 14.680 * [taylor]: Taking taylor expansion of -1 in x 14.680 * [taylor]: Taking taylor expansion of z in x 14.680 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.680 * [taylor]: Taking taylor expansion of -1 in x 14.680 * [taylor]: Taking taylor expansion of y in x 14.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.680 * [taylor]: Taking taylor expansion of -1 in x 14.680 * [taylor]: Taking taylor expansion of x in x 14.680 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.681 * [taylor]: Taking taylor expansion of (* x y) in x 14.681 * [taylor]: Taking taylor expansion of x in x 14.681 * [taylor]: Taking taylor expansion of y in x 14.681 * [taylor]: Taking taylor expansion of (- (fma (/ -1 z) (/ -1 y) (/ -1 x)) (/ 1 (* x y))) in y 14.681 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 y) (/ -1 x)) in y 14.681 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 y)) (/ -1 x)) 14.681 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 y)) in y 14.681 * [taylor]: Taking taylor expansion of (/ -1 z) in y 14.681 * [taylor]: Taking taylor expansion of -1 in y 14.681 * [taylor]: Taking taylor expansion of z in y 14.681 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.681 * [taylor]: Taking taylor expansion of -1 in y 14.681 * [taylor]: Taking taylor expansion of y in y 14.681 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.681 * [taylor]: Taking taylor expansion of -1 in y 14.681 * [taylor]: Taking taylor expansion of x in y 14.681 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.682 * [taylor]: Taking taylor expansion of (* x y) in y 14.682 * [taylor]: Taking taylor expansion of x in y 14.682 * [taylor]: Taking taylor expansion of y in y 14.682 * [taylor]: Taking taylor expansion of (- (fma (/ -1 z) (/ -1 y) (/ -1 x)) (/ 1 (* x y))) in z 14.682 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 y) (/ -1 x)) in z 14.682 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 y)) (/ -1 x)) 14.682 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 y)) in z 14.682 * [taylor]: Taking taylor expansion of (/ -1 z) in z 14.682 * [taylor]: Taking taylor expansion of -1 in z 14.682 * [taylor]: Taking taylor expansion of z in z 14.682 * [taylor]: Taking taylor expansion of (/ -1 y) in z 14.682 * [taylor]: Taking taylor expansion of -1 in z 14.682 * [taylor]: Taking taylor expansion of y in z 14.682 * [taylor]: Taking taylor expansion of (/ -1 x) in z 14.682 * [taylor]: Taking taylor expansion of -1 in z 14.682 * [taylor]: Taking taylor expansion of x in z 14.682 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 14.683 * [taylor]: Taking taylor expansion of (* x y) in z 14.683 * [taylor]: Taking taylor expansion of x in z 14.683 * [taylor]: Taking taylor expansion of y in z 14.683 * [taylor]: Taking taylor expansion of (- (fma (/ -1 z) (/ -1 y) (/ -1 x)) (/ 1 (* x y))) in z 14.683 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -1 y) (/ -1 x)) in z 14.683 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -1 y)) (/ -1 x)) 14.683 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -1 y)) in z 14.683 * [taylor]: Taking taylor expansion of (/ -1 z) in z 14.683 * [taylor]: Taking taylor expansion of -1 in z 14.683 * [taylor]: Taking taylor expansion of z in z 14.683 * [taylor]: Taking taylor expansion of (/ -1 y) in z 14.683 * [taylor]: Taking taylor expansion of -1 in z 14.683 * [taylor]: Taking taylor expansion of y in z 14.683 * [taylor]: Taking taylor expansion of (/ -1 x) in z 14.683 * [taylor]: Taking taylor expansion of -1 in z 14.683 * [taylor]: Taking taylor expansion of x in z 14.683 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 14.683 * [taylor]: Taking taylor expansion of (* x y) in z 14.683 * [taylor]: Taking taylor expansion of x in z 14.683 * [taylor]: Taking taylor expansion of y in z 14.683 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.684 * [taylor]: Taking taylor expansion of y in y 14.684 * [taylor]: Taking taylor expansion of 1 in x 14.685 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in y 14.685 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 14.685 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.685 * [taylor]: Taking taylor expansion of (* x y) in y 14.685 * [taylor]: Taking taylor expansion of x in y 14.685 * [taylor]: Taking taylor expansion of y in y 14.685 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.685 * [taylor]: Taking taylor expansion of x in y 14.685 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 14.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.685 * [taylor]: Taking taylor expansion of x in x 14.686 * [taylor]: Taking taylor expansion of 0 in x 14.688 * [taylor]: Taking taylor expansion of 0 in y 14.689 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 14.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.689 * [taylor]: Taking taylor expansion of x in x 14.690 * * * [progress]: simplifying candidates 14.690 * [simplify]: Simplifying using # : (fma (* (cbrt (fma z y x)) (cbrt (fma z y x))) (cbrt (fma z y x)) (- (* y x))) (fma (- y) x (* y x)) (fma (sqrt (fma z y x)) (sqrt (fma z y x)) (- (* y x))) (fma (- y) x (* y x)) (fma 1 (fma z y x) (- (* y x))) (fma (- y) x (* y x)) (expm1 (- (fma z y x) (* x y))) (log1p (- (fma z y x) (* x y))) (- (* x y)) (- (* x y)) (- (* x y)) (/ (exp (fma z y x)) (exp (* x y))) (log (- (fma z y x) (* x y))) (exp (- (fma z y x) (* x y))) (* (cbrt (- (fma z y x) (* x y))) (cbrt (- (fma z y x) (* x y)))) (cbrt (- (fma z y x) (* x y))) (* (* (- (fma z y x) (* x y)) (- (fma z y x) (* x y))) (- (fma z y x) (* x y))) (sqrt (- (fma z y x) (* x y))) (sqrt (- (fma z y x) (* x y))) (- (pow (fma z y x) 3) (pow (* x y) 3)) (+ (* (fma z y x) (fma z y x)) (+ (* (* x y) (* x y)) (* (fma z y x) (* x y)))) (- (* x y)) (- (* (fma z y x) (fma z y x)) (* (* x y) (* x y))) (+ (fma z y x) (* x y)) (- x (* x y)) (- (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) (- (+ (* z y) x) (* x y)) 14.692 * * [simplify]: iteration 0 : 45 enodes (cost 300 ) 14.701 * * [simplify]: iteration 1 : 106 enodes (cost 291 ) 14.721 * * [simplify]: iteration 2 : 363 enodes (cost 260 ) 14.830 * * [simplify]: iteration 3 : 1622 enodes (cost 232 ) 15.454 * * [simplify]: iteration done : 5000 enodes (cost 229 ) 15.454 * [simplify]: Simplified to: (- (pow (cbrt (fma z y x)) 3) (* y x)) (* (- x x) y) (+ x (* y (- z x))) (* (- x x) y) (+ x (* y (- z x))) (* (- x x) y) (expm1 (+ x (* y (- z x)))) (log1p (+ x (* y (- z x)))) (- (* y x)) (- (* y x)) (- (* y x)) (exp (+ x (* y (- z x)))) (log (+ x (* y (- z x)))) (exp (+ x (* y (- z x)))) (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (cbrt (+ x (* y (- z x)))) (pow (+ x (* y (- z x))) 3) (sqrt (+ x (* y (- z x)))) (sqrt (+ x (* y (- z x)))) (- (pow (fma z y x) 3) (pow (* x y) 3)) (fma (* y y) (* x x) (* (fma y x (fma z y x)) (fma z y x))) (- (* y x)) (* (+ x (* y (- z x))) (fma y x (fma z y x))) (fma y x (fma z y x)) (- x (* x y)) (- (* y x)) (+ x (* y (- z x))) (+ x (* y (- z x))) (+ x (* y (- z x))) 15.454 * * * [progress]: adding candidates to table 15.505 * [progress]: [Phase 3 of 3] Extracting. 15.505 * * [regime]: Finding splitpoints for: (# # #) 15.506 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 15.507 * * * * [regimes]: Trying to branch on z from (# # #) 15.524 * * * * [regimes]: Trying to branch on y from (# # #) 15.543 * * * * [regimes]: Trying to branch on x from (# # #) 15.559 * * * [regime]: Found split indices: #