17.526 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.060 * * * [progress]: [2/2] Setting up program. 0.065 * [progress]: [Phase 2 of 3] Improving. 0.065 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.065 * [simplify]: Simplifying: (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) 0.066 * * [simplify]: iteration 0: 10 enodes 0.068 * * [simplify]: iteration 1: 21 enodes 0.076 * * [simplify]: iteration 2: 51 enodes 0.093 * * [simplify]: iteration 3: 85 enodes 0.117 * * [simplify]: iteration 4: 123 enodes 0.161 * * [simplify]: iteration 5: 142 enodes 0.202 * * [simplify]: iteration 6: 159 enodes 0.257 * * [simplify]: iteration 7: 175 enodes 0.305 * * [simplify]: iteration 8: 177 enodes 0.350 * * [simplify]: iteration complete: 177 enodes 0.350 * * [simplify]: Extracting #0: cost 1 inf + 0 0.351 * * [simplify]: Extracting #1: cost 24 inf + 0 0.351 * * [simplify]: Extracting #2: cost 26 inf + 171 0.351 * * [simplify]: Extracting #3: cost 17 inf + 590 0.352 * * [simplify]: Extracting #4: cost 3 inf + 2211 0.353 * * [simplify]: Extracting #5: cost 0 inf + 2612 0.354 * [simplify]: Simplified to: (/ (* 1.0 (fma y (sqrt z) x)) 2.0) 0.358 * * [progress]: iteration 1 / 4 0.358 * * * [progress]: picking best candidate 0.365 * * * * [pick]: Picked # 0.366 * * * [progress]: localizing error 0.380 * * * [progress]: generating rewritten candidates 0.380 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 0.381 * * * [progress]: generating series expansions 0.381 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 0.381 * [backup-simplify]: Simplify (fma y (sqrt z) x) into (fma y (sqrt z) x) 0.381 * [approximate]: Taking taylor expansion of (fma y (sqrt z) x) in (y z x) around 0 0.381 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in x 0.381 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 0.381 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in x 0.381 * [taylor]: Taking taylor expansion of y in x 0.381 * [backup-simplify]: Simplify y into y 0.381 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.381 * [taylor]: Taking taylor expansion of z in x 0.381 * [backup-simplify]: Simplify z into z 0.381 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.381 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [backup-simplify]: Simplify 0 into 0 0.381 * [backup-simplify]: Simplify 1 into 1 0.381 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in z 0.381 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 0.381 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in z 0.381 * [taylor]: Taking taylor expansion of y in z 0.381 * [backup-simplify]: Simplify y into y 0.381 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.381 * [taylor]: Taking taylor expansion of z in z 0.381 * [backup-simplify]: Simplify 0 into 0 0.381 * [backup-simplify]: Simplify 1 into 1 0.382 * [backup-simplify]: Simplify (sqrt 0) into 0 0.383 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.383 * [taylor]: Taking taylor expansion of x in z 0.383 * [backup-simplify]: Simplify x into x 0.383 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in y 0.383 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 0.383 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in y 0.383 * [taylor]: Taking taylor expansion of y in y 0.383 * [backup-simplify]: Simplify 0 into 0 0.383 * [backup-simplify]: Simplify 1 into 1 0.383 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.383 * [taylor]: Taking taylor expansion of z in y 0.383 * [backup-simplify]: Simplify z into z 0.383 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.383 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.383 * [taylor]: Taking taylor expansion of x in y 0.383 * [backup-simplify]: Simplify x into x 0.383 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in y 0.383 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 0.383 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in y 0.383 * [taylor]: Taking taylor expansion of y in y 0.383 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify 1 into 1 0.384 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.384 * [taylor]: Taking taylor expansion of z in y 0.384 * [backup-simplify]: Simplify z into z 0.384 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 0.384 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 0.384 * [taylor]: Taking taylor expansion of x in y 0.384 * [backup-simplify]: Simplify x into x 0.384 * [backup-simplify]: Simplify (* 0 (sqrt z)) into 0 0.384 * [backup-simplify]: Simplify (+ 0 x) into x 0.384 * [taylor]: Taking taylor expansion of x in z 0.384 * [backup-simplify]: Simplify x into x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify 1 into 1 0.384 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt z))) into (sqrt z) 0.384 * [backup-simplify]: Simplify (+ (sqrt z) 0) into (sqrt z) 0.384 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.384 * [taylor]: Taking taylor expansion of z in z 0.384 * [backup-simplify]: Simplify 0 into 0 0.385 * [backup-simplify]: Simplify 1 into 1 0.385 * [backup-simplify]: Simplify (sqrt 0) into 0 0.386 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.386 * [taylor]: Taking taylor expansion of 0 in x 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [taylor]: Taking taylor expansion of 0 in x 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 1 into 1 0.386 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 0.387 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt z)))) into 0 0.387 * [backup-simplify]: Simplify (+ 0 0) into 0 0.387 * [taylor]: Taking taylor expansion of 0 in z 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [taylor]: Taking taylor expansion of 0 in x 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [taylor]: Taking taylor expansion of +nan.0 in x 0.387 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.387 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.387 * [taylor]: Taking taylor expansion of 0 in x 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 0 into 0 0.388 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 0.389 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt z))))) into 0 0.389 * [backup-simplify]: Simplify (+ 0 0) into 0 0.389 * [taylor]: Taking taylor expansion of 0 in z 0.389 * [backup-simplify]: Simplify 0 into 0 0.389 * [taylor]: Taking taylor expansion of 0 in x 0.389 * [backup-simplify]: Simplify 0 into 0 0.389 * [backup-simplify]: Simplify 0 into 0 0.389 * [taylor]: Taking taylor expansion of 0 in x 0.389 * [backup-simplify]: Simplify 0 into 0 0.389 * [backup-simplify]: Simplify 0 into 0 0.389 * [backup-simplify]: Simplify (+ (* +nan.0 (* 1 (* z y))) (* 1 (* x (* 1 1)))) into (- x (* +nan.0 (* z y))) 0.390 * [backup-simplify]: Simplify (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) into (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) 0.390 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in (y z x) around 0 0.390 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in x 0.390 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 0.390 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in x 0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.390 * [taylor]: Taking taylor expansion of y in x 0.390 * [backup-simplify]: Simplify y into y 0.390 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.390 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.390 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.390 * [taylor]: Taking taylor expansion of z in x 0.390 * [backup-simplify]: Simplify z into z 0.390 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.390 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.390 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [backup-simplify]: Simplify 0 into 0 0.390 * [backup-simplify]: Simplify 1 into 1 0.390 * [backup-simplify]: Simplify (/ 1 1) into 1 0.390 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in z 0.390 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 0.390 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in z 0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.391 * [taylor]: Taking taylor expansion of y in z 0.391 * [backup-simplify]: Simplify y into y 0.391 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.391 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.391 * [taylor]: Taking taylor expansion of z in z 0.391 * [backup-simplify]: Simplify 0 into 0 0.391 * [backup-simplify]: Simplify 1 into 1 0.391 * [backup-simplify]: Simplify (/ 1 1) into 1 0.391 * [backup-simplify]: Simplify (sqrt 0) into 0 0.392 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.392 * [taylor]: Taking taylor expansion of x in z 0.392 * [backup-simplify]: Simplify x into x 0.392 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.392 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in y 0.392 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 0.392 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in y 0.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.392 * [taylor]: Taking taylor expansion of y in y 0.392 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify 1 into 1 0.392 * [backup-simplify]: Simplify (/ 1 1) into 1 0.392 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.392 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.392 * [taylor]: Taking taylor expansion of z in y 0.393 * [backup-simplify]: Simplify z into z 0.393 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.393 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.393 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.393 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.393 * [taylor]: Taking taylor expansion of x in y 0.393 * [backup-simplify]: Simplify x into x 0.393 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.393 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in y 0.393 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 0.393 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in y 0.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.393 * [taylor]: Taking taylor expansion of y in y 0.393 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify 1 into 1 0.393 * [backup-simplify]: Simplify (/ 1 1) into 1 0.393 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.393 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.393 * [taylor]: Taking taylor expansion of z in y 0.393 * [backup-simplify]: Simplify z into z 0.393 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.393 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 0.393 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.393 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.393 * [taylor]: Taking taylor expansion of x in y 0.393 * [backup-simplify]: Simplify x into x 0.394 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.394 * [backup-simplify]: Simplify (* 1 (sqrt (/ 1 z))) into (sqrt (/ 1 z)) 0.394 * [backup-simplify]: Simplify (+ (sqrt (/ 1 z)) 0) into (sqrt (/ 1 z)) 0.394 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.394 * [taylor]: Taking taylor expansion of z in z 0.394 * [backup-simplify]: Simplify 0 into 0 0.394 * [backup-simplify]: Simplify 1 into 1 0.394 * [backup-simplify]: Simplify (/ 1 1) into 1 0.394 * [backup-simplify]: Simplify (sqrt 0) into 0 0.395 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.395 * [taylor]: Taking taylor expansion of 0 in x 0.395 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.396 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (/ 1 z)))) into 0 0.396 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 0.396 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.396 * [taylor]: Taking taylor expansion of x in z 0.396 * [backup-simplify]: Simplify x into x 0.396 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.396 * [taylor]: Taking taylor expansion of +nan.0 in x 0.396 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.397 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 0.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (/ 1 z))))) into 0 0.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.398 * [backup-simplify]: Simplify (+ 0 0) into 0 0.398 * [taylor]: Taking taylor expansion of 0 in z 0.398 * [backup-simplify]: Simplify 0 into 0 0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [backup-simplify]: Simplify 0 into 0 0.398 * [backup-simplify]: Simplify 1 into 1 0.398 * [backup-simplify]: Simplify (/ 1 1) into 1 0.398 * [backup-simplify]: Simplify 1 into 1 0.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.401 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.401 * [taylor]: Taking taylor expansion of +nan.0 in x 0.401 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.401 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.401 * [backup-simplify]: Simplify 0 into 0 0.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.401 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 0.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 z)))))) into 0 0.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.403 * [backup-simplify]: Simplify (+ 0 0) into 0 0.403 * [taylor]: Taking taylor expansion of 0 in z 0.403 * [backup-simplify]: Simplify 0 into 0 0.403 * [taylor]: Taking taylor expansion of 0 in x 0.403 * [backup-simplify]: Simplify 0 into 0 0.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.403 * [taylor]: Taking taylor expansion of 0 in x 0.403 * [backup-simplify]: Simplify 0 into 0 0.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.406 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.407 * [taylor]: Taking taylor expansion of +nan.0 in x 0.407 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.407 * [backup-simplify]: Simplify 0 into 0 0.407 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.408 * [backup-simplify]: Simplify (+ (* +nan.0 (* 1 (* (/ 1 z) (/ 1 (/ 1 y))))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.408 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (sqrt (/ 1 (- z))) (/ 1 (- x))) into (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) 0.408 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in (y z x) around 0 0.408 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in x 0.408 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 0.408 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in x 0.408 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.408 * [taylor]: Taking taylor expansion of -1 in x 0.409 * [backup-simplify]: Simplify -1 into -1 0.409 * [taylor]: Taking taylor expansion of y in x 0.409 * [backup-simplify]: Simplify y into y 0.409 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.409 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.409 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.409 * [taylor]: Taking taylor expansion of -1 in x 0.409 * [backup-simplify]: Simplify -1 into -1 0.409 * [taylor]: Taking taylor expansion of z in x 0.409 * [backup-simplify]: Simplify z into z 0.409 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.409 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.409 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.409 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.409 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.409 * [taylor]: Taking taylor expansion of -1 in x 0.409 * [backup-simplify]: Simplify -1 into -1 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [backup-simplify]: Simplify 0 into 0 0.409 * [backup-simplify]: Simplify 1 into 1 0.409 * [backup-simplify]: Simplify (/ -1 1) into -1 0.409 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in z 0.409 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 0.409 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in z 0.409 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.409 * [taylor]: Taking taylor expansion of -1 in z 0.409 * [backup-simplify]: Simplify -1 into -1 0.409 * [taylor]: Taking taylor expansion of y in z 0.409 * [backup-simplify]: Simplify y into y 0.409 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.409 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.409 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.410 * [taylor]: Taking taylor expansion of -1 in z 0.410 * [backup-simplify]: Simplify -1 into -1 0.410 * [taylor]: Taking taylor expansion of z in z 0.410 * [backup-simplify]: Simplify 0 into 0 0.410 * [backup-simplify]: Simplify 1 into 1 0.410 * [backup-simplify]: Simplify (/ -1 1) into -1 0.410 * [backup-simplify]: Simplify (sqrt 0) into 0 0.411 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.411 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.411 * [taylor]: Taking taylor expansion of -1 in z 0.411 * [backup-simplify]: Simplify -1 into -1 0.411 * [taylor]: Taking taylor expansion of x in z 0.411 * [backup-simplify]: Simplify x into x 0.411 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.411 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in y 0.411 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 0.411 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in y 0.411 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.411 * [taylor]: Taking taylor expansion of -1 in y 0.411 * [backup-simplify]: Simplify -1 into -1 0.411 * [taylor]: Taking taylor expansion of y in y 0.411 * [backup-simplify]: Simplify 0 into 0 0.411 * [backup-simplify]: Simplify 1 into 1 0.411 * [backup-simplify]: Simplify (/ -1 1) into -1 0.412 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.412 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.412 * [taylor]: Taking taylor expansion of -1 in y 0.412 * [backup-simplify]: Simplify -1 into -1 0.412 * [taylor]: Taking taylor expansion of z in y 0.412 * [backup-simplify]: Simplify z into z 0.412 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.412 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.412 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.412 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.412 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.412 * [taylor]: Taking taylor expansion of -1 in y 0.412 * [backup-simplify]: Simplify -1 into -1 0.412 * [taylor]: Taking taylor expansion of x in y 0.412 * [backup-simplify]: Simplify x into x 0.412 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.412 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in y 0.412 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 0.412 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in y 0.412 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.412 * [taylor]: Taking taylor expansion of -1 in y 0.412 * [backup-simplify]: Simplify -1 into -1 0.412 * [taylor]: Taking taylor expansion of y in y 0.412 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify 1 into 1 0.412 * [backup-simplify]: Simplify (/ -1 1) into -1 0.412 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.412 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.412 * [taylor]: Taking taylor expansion of -1 in y 0.412 * [backup-simplify]: Simplify -1 into -1 0.412 * [taylor]: Taking taylor expansion of z in y 0.412 * [backup-simplify]: Simplify z into z 0.413 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.413 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 0.413 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.413 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 0.413 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.413 * [taylor]: Taking taylor expansion of -1 in y 0.413 * [backup-simplify]: Simplify -1 into -1 0.413 * [taylor]: Taking taylor expansion of x in y 0.413 * [backup-simplify]: Simplify x into x 0.413 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.413 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 0.413 * [backup-simplify]: Simplify (+ (* -1 (sqrt (/ -1 z))) 0) into (- (sqrt (/ -1 z))) 0.413 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 0.413 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.413 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.413 * [taylor]: Taking taylor expansion of -1 in z 0.413 * [backup-simplify]: Simplify -1 into -1 0.413 * [taylor]: Taking taylor expansion of z in z 0.413 * [backup-simplify]: Simplify 0 into 0 0.413 * [backup-simplify]: Simplify 1 into 1 0.413 * [backup-simplify]: Simplify (/ -1 1) into -1 0.414 * [backup-simplify]: Simplify (sqrt 0) into 0 0.415 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.415 * [backup-simplify]: Simplify (- 0) into 0 0.415 * [taylor]: Taking taylor expansion of 0 in x 0.415 * [backup-simplify]: Simplify 0 into 0 0.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.417 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 z)))) into 0 0.417 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 0.417 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.417 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.417 * [taylor]: Taking taylor expansion of x in z 0.417 * [backup-simplify]: Simplify x into x 0.417 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.418 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.418 * [taylor]: Taking taylor expansion of (- +nan.0) in x 0.418 * [taylor]: Taking taylor expansion of +nan.0 in x 0.418 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.419 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 0.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.421 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 0.421 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.421 * [backup-simplify]: Simplify (+ 0 0) into 0 0.421 * [taylor]: Taking taylor expansion of 0 in z 0.421 * [backup-simplify]: Simplify 0 into 0 0.422 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.422 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.422 * [taylor]: Taking taylor expansion of x in x 0.422 * [backup-simplify]: Simplify 0 into 0 0.422 * [backup-simplify]: Simplify 1 into 1 0.422 * [backup-simplify]: Simplify (/ 1 1) into 1 0.422 * [backup-simplify]: Simplify (- 1) into -1 0.423 * [backup-simplify]: Simplify -1 into -1 0.423 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.426 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.427 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.427 * [taylor]: Taking taylor expansion of (- +nan.0) in x 0.427 * [taylor]: Taking taylor expansion of +nan.0 in x 0.427 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.427 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.428 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.428 * [backup-simplify]: Simplify 0 into 0 0.428 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.429 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 z)))) into 0 0.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.431 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z)))))) into 0 0.432 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.432 * [backup-simplify]: Simplify (+ 0 0) into 0 0.432 * [taylor]: Taking taylor expansion of 0 in z 0.432 * [backup-simplify]: Simplify 0 into 0 0.432 * [taylor]: Taking taylor expansion of 0 in x 0.432 * [backup-simplify]: Simplify 0 into 0 0.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.433 * [backup-simplify]: Simplify (- 0) into 0 0.433 * [taylor]: Taking taylor expansion of 0 in x 0.433 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.438 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.438 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.438 * [taylor]: Taking taylor expansion of (- +nan.0) in x 0.438 * [taylor]: Taking taylor expansion of +nan.0 in x 0.438 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.439 * [backup-simplify]: Simplify (- 0) into 0 0.439 * [backup-simplify]: Simplify 0 into 0 0.440 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.440 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.442 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) (+ (* (- +nan.0) (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.442 * * * [progress]: simplifying candidates 0.442 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 0.442 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 0.443 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 0.443 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma y (sqrt z) x)))) 2.0))> 0.443 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 0.443 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 0.443 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 0.443 * [simplify]: Simplifying: (expm1 (fma y (sqrt z) x)) (log1p (fma y (sqrt z) x)) (* y (sqrt z)) (log (fma y (sqrt z) x)) (exp (fma y (sqrt z) x)) (* (cbrt (fma y (sqrt z) x)) (cbrt (fma y (sqrt z) x))) (cbrt (fma y (sqrt z) x)) (* (* (fma y (sqrt z) x) (fma y (sqrt z) x)) (fma y (sqrt z) x)) (sqrt (fma y (sqrt z) x)) (sqrt (fma y (sqrt z) x)) (real->posit16 (fma y (sqrt z) x)) (- x (* +nan.0 (* z y))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 0.444 * * [simplify]: iteration 0: 26 enodes 0.457 * * [simplify]: iteration 1: 49 enodes 0.472 * * [simplify]: iteration 2: 107 enodes 0.506 * * [simplify]: iteration 3: 246 enodes 0.594 * * [simplify]: iteration 4: 793 enodes 1.602 * * [simplify]: iteration 5: 2898 enodes 2.697 * * [simplify]: iteration complete: 5000 enodes 2.697 * * [simplify]: Extracting #0: cost 12 inf + 0 2.698 * * [simplify]: Extracting #1: cost 187 inf + 0 2.702 * * [simplify]: Extracting #2: cost 488 inf + 323 2.730 * * [simplify]: Extracting #3: cost 182 inf + 32825 2.794 * * [simplify]: Extracting #4: cost 13 inf + 63937 2.871 * * [simplify]: Extracting #5: cost 0 inf + 69246 2.945 * [simplify]: Simplified to: (expm1 (fma (sqrt z) y x)) (log1p (fma (sqrt z) y x)) (* y (sqrt z)) (log (fma (sqrt z) y x)) (exp (fma (sqrt z) y x)) (* (cbrt (fma (sqrt z) y x)) (cbrt (fma (sqrt z) y x))) (cbrt (fma (sqrt z) y x)) (* (fma (sqrt z) y x) (* (fma (sqrt z) y x) (fma (sqrt z) y x))) (sqrt (fma (sqrt z) y x)) (sqrt (fma (sqrt z) y x)) (real->posit16 (fma (sqrt z) y x)) (- x (* (* y z) +nan.0)) (fma (- y (/ y z)) +nan.0 x) (fma (- y (/ y z)) +nan.0 x) 2.946 * * * [progress]: adding candidates to table 3.027 * * [progress]: iteration 2 / 4 3.027 * * * [progress]: picking best candidate 3.041 * * * * [pick]: Picked # 3.041 * * * [progress]: localizing error 3.071 * * * [progress]: generating rewritten candidates 3.071 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1) 3.083 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 3.092 * * * [progress]: generating series expansions 3.092 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1) 3.092 * [backup-simplify]: Simplify (* y (sqrt z)) into (* (sqrt z) y) 3.092 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 3.092 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 3.092 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.092 * [taylor]: Taking taylor expansion of z in z 3.092 * [backup-simplify]: Simplify 0 into 0 3.092 * [backup-simplify]: Simplify 1 into 1 3.093 * [backup-simplify]: Simplify (sqrt 0) into 0 3.094 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.094 * [taylor]: Taking taylor expansion of y in z 3.094 * [backup-simplify]: Simplify y into y 3.094 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 3.094 * [taylor]: Taking taylor expansion of (sqrt z) in y 3.094 * [taylor]: Taking taylor expansion of z in y 3.094 * [backup-simplify]: Simplify z into z 3.094 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 3.094 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 3.094 * [taylor]: Taking taylor expansion of y in y 3.094 * [backup-simplify]: Simplify 0 into 0 3.094 * [backup-simplify]: Simplify 1 into 1 3.094 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 3.094 * [taylor]: Taking taylor expansion of (sqrt z) in y 3.094 * [taylor]: Taking taylor expansion of z in y 3.094 * [backup-simplify]: Simplify z into z 3.094 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 3.094 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 3.094 * [taylor]: Taking taylor expansion of y in y 3.094 * [backup-simplify]: Simplify 0 into 0 3.094 * [backup-simplify]: Simplify 1 into 1 3.094 * [backup-simplify]: Simplify (* (sqrt z) 0) into 0 3.094 * [taylor]: Taking taylor expansion of 0 in z 3.094 * [backup-simplify]: Simplify 0 into 0 3.094 * [backup-simplify]: Simplify 0 into 0 3.095 * [backup-simplify]: Simplify (+ (* (sqrt z) 1) (* 0 0)) into (sqrt z) 3.095 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.095 * [taylor]: Taking taylor expansion of z in z 3.095 * [backup-simplify]: Simplify 0 into 0 3.095 * [backup-simplify]: Simplify 1 into 1 3.095 * [backup-simplify]: Simplify (sqrt 0) into 0 3.096 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.096 * [backup-simplify]: Simplify 0 into 0 3.096 * [backup-simplify]: Simplify 0 into 0 3.096 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 3.097 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 1) (* 0 0))) into 0 3.097 * [taylor]: Taking taylor expansion of 0 in z 3.097 * [backup-simplify]: Simplify 0 into 0 3.097 * [backup-simplify]: Simplify 0 into 0 3.097 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.097 * [backup-simplify]: Simplify 0 into 0 3.098 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 3.098 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.098 * [taylor]: Taking taylor expansion of 0 in z 3.098 * [backup-simplify]: Simplify 0 into 0 3.098 * [backup-simplify]: Simplify 0 into 0 3.098 * [backup-simplify]: Simplify 0 into 0 3.100 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 3.100 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.100 * [backup-simplify]: Simplify 0 into 0 3.101 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 3.101 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.101 * [taylor]: Taking taylor expansion of 0 in z 3.101 * [backup-simplify]: Simplify 0 into 0 3.101 * [backup-simplify]: Simplify 0 into 0 3.101 * [backup-simplify]: Simplify 0 into 0 3.101 * [backup-simplify]: Simplify 0 into 0 3.104 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 3.104 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.104 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow z 3) y)) (+ (* +nan.0 (* (pow z 2) y)) (* +nan.0 (* z y)))) into (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) 3.104 * [backup-simplify]: Simplify (* (/ 1 y) (sqrt (/ 1 z))) into (* (sqrt (/ 1 z)) (/ 1 y)) 3.104 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 3.104 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 3.104 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.104 * [taylor]: Taking taylor expansion of z in z 3.104 * [backup-simplify]: Simplify 0 into 0 3.104 * [backup-simplify]: Simplify 1 into 1 3.105 * [backup-simplify]: Simplify (/ 1 1) into 1 3.105 * [backup-simplify]: Simplify (sqrt 0) into 0 3.106 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.106 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.106 * [taylor]: Taking taylor expansion of y in z 3.106 * [backup-simplify]: Simplify y into y 3.106 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.106 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 3.106 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 3.106 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.106 * [taylor]: Taking taylor expansion of z in y 3.106 * [backup-simplify]: Simplify z into z 3.106 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.106 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 3.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.106 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 3.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.106 * [taylor]: Taking taylor expansion of y in y 3.106 * [backup-simplify]: Simplify 0 into 0 3.106 * [backup-simplify]: Simplify 1 into 1 3.106 * [backup-simplify]: Simplify (/ 1 1) into 1 3.106 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 3.106 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 3.106 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.106 * [taylor]: Taking taylor expansion of z in y 3.106 * [backup-simplify]: Simplify z into z 3.107 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.107 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 3.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.107 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 3.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.107 * [taylor]: Taking taylor expansion of y in y 3.107 * [backup-simplify]: Simplify 0 into 0 3.107 * [backup-simplify]: Simplify 1 into 1 3.107 * [backup-simplify]: Simplify (/ 1 1) into 1 3.107 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 3.107 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.107 * [taylor]: Taking taylor expansion of z in z 3.107 * [backup-simplify]: Simplify 0 into 0 3.107 * [backup-simplify]: Simplify 1 into 1 3.107 * [backup-simplify]: Simplify (/ 1 1) into 1 3.108 * [backup-simplify]: Simplify (sqrt 0) into 0 3.108 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.109 * [backup-simplify]: Simplify 0 into 0 3.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.109 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 1)) into 0 3.109 * [taylor]: Taking taylor expansion of 0 in z 3.109 * [backup-simplify]: Simplify 0 into 0 3.109 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.110 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 3.111 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 1))) into 0 3.111 * [taylor]: Taking taylor expansion of 0 in z 3.111 * [backup-simplify]: Simplify 0 into 0 3.111 * [backup-simplify]: Simplify 0 into 0 3.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.113 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 3.113 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.114 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.115 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 3.116 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.116 * [taylor]: Taking taylor expansion of 0 in z 3.116 * [backup-simplify]: Simplify 0 into 0 3.116 * [backup-simplify]: Simplify 0 into 0 3.116 * [backup-simplify]: Simplify 0 into 0 3.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.121 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 3.121 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.121 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 z) 2) (/ 1 (/ 1 y)))) (+ (* +nan.0 (* (/ 1 z) (/ 1 (/ 1 y)))) (* +nan.0 (* 1 (/ 1 (/ 1 y)))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 3.121 * [backup-simplify]: Simplify (* (/ 1 (- y)) (sqrt (/ 1 (- z)))) into (* -1 (/ (sqrt (/ -1 z)) y)) 3.121 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 3.122 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 3.122 * [taylor]: Taking taylor expansion of -1 in z 3.122 * [backup-simplify]: Simplify -1 into -1 3.122 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 3.122 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.122 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.122 * [taylor]: Taking taylor expansion of -1 in z 3.122 * [backup-simplify]: Simplify -1 into -1 3.122 * [taylor]: Taking taylor expansion of z in z 3.122 * [backup-simplify]: Simplify 0 into 0 3.122 * [backup-simplify]: Simplify 1 into 1 3.123 * [backup-simplify]: Simplify (/ -1 1) into -1 3.123 * [backup-simplify]: Simplify (sqrt 0) into 0 3.124 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 3.124 * [taylor]: Taking taylor expansion of y in z 3.124 * [backup-simplify]: Simplify y into y 3.125 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 3.125 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 3.125 * [taylor]: Taking taylor expansion of -1 in y 3.125 * [backup-simplify]: Simplify -1 into -1 3.125 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 3.125 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.125 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.125 * [taylor]: Taking taylor expansion of -1 in y 3.125 * [backup-simplify]: Simplify -1 into -1 3.125 * [taylor]: Taking taylor expansion of z in y 3.125 * [backup-simplify]: Simplify z into z 3.125 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.125 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 3.125 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 3.125 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 3.125 * [taylor]: Taking taylor expansion of y in y 3.125 * [backup-simplify]: Simplify 0 into 0 3.125 * [backup-simplify]: Simplify 1 into 1 3.125 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 3.125 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 3.125 * [taylor]: Taking taylor expansion of -1 in y 3.125 * [backup-simplify]: Simplify -1 into -1 3.126 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 3.126 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.126 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.126 * [taylor]: Taking taylor expansion of -1 in y 3.126 * [backup-simplify]: Simplify -1 into -1 3.126 * [taylor]: Taking taylor expansion of z in y 3.126 * [backup-simplify]: Simplify z into z 3.126 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.126 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 3.126 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 3.126 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 3.126 * [taylor]: Taking taylor expansion of y in y 3.126 * [backup-simplify]: Simplify 0 into 0 3.126 * [backup-simplify]: Simplify 1 into 1 3.126 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 3.126 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 3.126 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 3.126 * [taylor]: Taking taylor expansion of -1 in z 3.127 * [backup-simplify]: Simplify -1 into -1 3.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.127 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.127 * [taylor]: Taking taylor expansion of -1 in z 3.127 * [backup-simplify]: Simplify -1 into -1 3.127 * [taylor]: Taking taylor expansion of z in z 3.127 * [backup-simplify]: Simplify 0 into 0 3.127 * [backup-simplify]: Simplify 1 into 1 3.127 * [backup-simplify]: Simplify (/ -1 1) into -1 3.128 * [backup-simplify]: Simplify (sqrt 0) into 0 3.129 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 3.131 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0) 3.131 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)))) into 0 3.133 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 z)))) into 0 3.133 * [taylor]: Taking taylor expansion of 0 in z 3.133 * [backup-simplify]: Simplify 0 into 0 3.133 * [backup-simplify]: Simplify 0 into 0 3.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.137 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 3.139 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 3.139 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.139 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.140 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 3.142 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.143 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 3.143 * [taylor]: Taking taylor expansion of 0 in z 3.143 * [backup-simplify]: Simplify 0 into 0 3.143 * [backup-simplify]: Simplify 0 into 0 3.143 * [backup-simplify]: Simplify 0 into 0 3.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.148 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 3.150 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 3.150 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.152 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- z)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* (/ 1 (- z)) (/ 1 (/ 1 (- y))))) (* (- +nan.0) (* 1 (/ 1 (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 3.152 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 3.152 * [backup-simplify]: Simplify (+ (* y (sqrt z)) x) into (+ (* (sqrt z) y) x) 3.152 * [approximate]: Taking taylor expansion of (+ (* (sqrt z) y) x) in (y z x) around 0 3.153 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in x 3.153 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in x 3.153 * [taylor]: Taking taylor expansion of (sqrt z) in x 3.153 * [taylor]: Taking taylor expansion of z in x 3.153 * [backup-simplify]: Simplify z into z 3.153 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 3.153 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 3.153 * [taylor]: Taking taylor expansion of y in x 3.153 * [backup-simplify]: Simplify y into y 3.153 * [taylor]: Taking taylor expansion of x in x 3.153 * [backup-simplify]: Simplify 0 into 0 3.153 * [backup-simplify]: Simplify 1 into 1 3.153 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in z 3.153 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 3.153 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.153 * [taylor]: Taking taylor expansion of z in z 3.153 * [backup-simplify]: Simplify 0 into 0 3.153 * [backup-simplify]: Simplify 1 into 1 3.153 * [backup-simplify]: Simplify (sqrt 0) into 0 3.155 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.155 * [taylor]: Taking taylor expansion of y in z 3.155 * [backup-simplify]: Simplify y into y 3.155 * [taylor]: Taking taylor expansion of x in z 3.155 * [backup-simplify]: Simplify x into x 3.155 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in y 3.155 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 3.155 * [taylor]: Taking taylor expansion of (sqrt z) in y 3.155 * [taylor]: Taking taylor expansion of z in y 3.155 * [backup-simplify]: Simplify z into z 3.155 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 3.155 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 3.155 * [taylor]: Taking taylor expansion of y in y 3.155 * [backup-simplify]: Simplify 0 into 0 3.155 * [backup-simplify]: Simplify 1 into 1 3.156 * [taylor]: Taking taylor expansion of x in y 3.156 * [backup-simplify]: Simplify x into x 3.156 * [taylor]: Taking taylor expansion of (+ (* (sqrt z) y) x) in y 3.156 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 3.156 * [taylor]: Taking taylor expansion of (sqrt z) in y 3.156 * [taylor]: Taking taylor expansion of z in y 3.156 * [backup-simplify]: Simplify z into z 3.156 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 3.156 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 3.156 * [taylor]: Taking taylor expansion of y in y 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 1 into 1 3.156 * [taylor]: Taking taylor expansion of x in y 3.156 * [backup-simplify]: Simplify x into x 3.156 * [backup-simplify]: Simplify (* (sqrt z) 0) into 0 3.156 * [backup-simplify]: Simplify (+ 0 x) into x 3.156 * [taylor]: Taking taylor expansion of x in z 3.156 * [backup-simplify]: Simplify x into x 3.156 * [taylor]: Taking taylor expansion of x in x 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 1 into 1 3.156 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify (+ (* (sqrt z) 1) (* 0 0)) into (sqrt z) 3.157 * [backup-simplify]: Simplify (+ (sqrt z) 0) into (sqrt z) 3.157 * [taylor]: Taking taylor expansion of (sqrt z) in z 3.157 * [taylor]: Taking taylor expansion of z in z 3.157 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify 1 into 1 3.157 * [backup-simplify]: Simplify (sqrt 0) into 0 3.159 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.159 * [taylor]: Taking taylor expansion of 0 in x 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [taylor]: Taking taylor expansion of 0 in x 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 1 into 1 3.160 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 3.161 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 1) (* 0 0))) into 0 3.161 * [backup-simplify]: Simplify (+ 0 0) into 0 3.161 * [taylor]: Taking taylor expansion of 0 in z 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [taylor]: Taking taylor expansion of 0 in x 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [taylor]: Taking taylor expansion of +nan.0 in x 3.161 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.161 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.161 * [taylor]: Taking taylor expansion of 0 in x 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify 0 into 0 3.162 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 3.163 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.164 * [backup-simplify]: Simplify (+ 0 0) into 0 3.164 * [taylor]: Taking taylor expansion of 0 in z 3.164 * [backup-simplify]: Simplify 0 into 0 3.164 * [taylor]: Taking taylor expansion of 0 in x 3.164 * [backup-simplify]: Simplify 0 into 0 3.164 * [backup-simplify]: Simplify 0 into 0 3.164 * [taylor]: Taking taylor expansion of 0 in x 3.164 * [backup-simplify]: Simplify 0 into 0 3.164 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify (+ (* +nan.0 (* 1 (* z y))) (* 1 (* x (* 1 1)))) into (- x (* +nan.0 (* z y))) 3.165 * [backup-simplify]: Simplify (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) into (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) 3.165 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in (y z x) around 0 3.165 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in x 3.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.165 * [backup-simplify]: Simplify (/ 1 1) into 1 3.165 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in x 3.165 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 3.165 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.166 * [taylor]: Taking taylor expansion of z in x 3.166 * [backup-simplify]: Simplify z into z 3.166 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.166 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 3.166 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.166 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 3.166 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.166 * [taylor]: Taking taylor expansion of y in x 3.166 * [backup-simplify]: Simplify y into y 3.166 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.166 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in z 3.166 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.166 * [taylor]: Taking taylor expansion of x in z 3.166 * [backup-simplify]: Simplify x into x 3.166 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.166 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 3.166 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.166 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.166 * [taylor]: Taking taylor expansion of z in z 3.166 * [backup-simplify]: Simplify 0 into 0 3.166 * [backup-simplify]: Simplify 1 into 1 3.167 * [backup-simplify]: Simplify (/ 1 1) into 1 3.167 * [backup-simplify]: Simplify (sqrt 0) into 0 3.169 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.169 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.169 * [taylor]: Taking taylor expansion of y in z 3.169 * [backup-simplify]: Simplify y into y 3.169 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.169 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in y 3.169 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.169 * [taylor]: Taking taylor expansion of x in y 3.169 * [backup-simplify]: Simplify x into x 3.169 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.169 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 3.169 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 3.169 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.169 * [taylor]: Taking taylor expansion of z in y 3.169 * [backup-simplify]: Simplify z into z 3.169 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.169 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 3.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.169 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 3.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.169 * [taylor]: Taking taylor expansion of y in y 3.169 * [backup-simplify]: Simplify 0 into 0 3.169 * [backup-simplify]: Simplify 1 into 1 3.170 * [backup-simplify]: Simplify (/ 1 1) into 1 3.170 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (sqrt (/ 1 z)) (/ 1 y))) in y 3.170 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.170 * [taylor]: Taking taylor expansion of x in y 3.170 * [backup-simplify]: Simplify x into x 3.170 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.170 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 3.170 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 3.170 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.170 * [taylor]: Taking taylor expansion of z in y 3.170 * [backup-simplify]: Simplify z into z 3.170 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.170 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 3.170 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.171 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 3.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.171 * [taylor]: Taking taylor expansion of y in y 3.171 * [backup-simplify]: Simplify 0 into 0 3.171 * [backup-simplify]: Simplify 1 into 1 3.171 * [backup-simplify]: Simplify (/ 1 1) into 1 3.171 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 3.171 * [backup-simplify]: Simplify (+ 0 (sqrt (/ 1 z))) into (sqrt (/ 1 z)) 3.171 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 3.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.171 * [taylor]: Taking taylor expansion of z in z 3.172 * [backup-simplify]: Simplify 0 into 0 3.172 * [backup-simplify]: Simplify 1 into 1 3.172 * [backup-simplify]: Simplify (/ 1 1) into 1 3.172 * [backup-simplify]: Simplify (sqrt 0) into 0 3.174 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 3.174 * [taylor]: Taking taylor expansion of 0 in x 3.174 * [backup-simplify]: Simplify 0 into 0 3.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.175 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 1)) into 0 3.175 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.175 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.175 * [taylor]: Taking taylor expansion of x in z 3.175 * [backup-simplify]: Simplify x into x 3.175 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.175 * [taylor]: Taking taylor expansion of +nan.0 in x 3.175 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.175 * [backup-simplify]: Simplify 0 into 0 3.176 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.177 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 3.178 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 1))) into 0 3.179 * [backup-simplify]: Simplify (+ 0 0) into 0 3.179 * [taylor]: Taking taylor expansion of 0 in z 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.179 * [taylor]: Taking taylor expansion of x in x 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [backup-simplify]: Simplify (/ 1 1) into 1 3.179 * [backup-simplify]: Simplify 1 into 1 3.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.183 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 3.183 * [taylor]: Taking taylor expansion of +nan.0 in x 3.183 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.183 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.183 * [backup-simplify]: Simplify 0 into 0 3.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.184 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.185 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 3.186 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.187 * [backup-simplify]: Simplify (+ 0 0) into 0 3.187 * [taylor]: Taking taylor expansion of 0 in z 3.187 * [backup-simplify]: Simplify 0 into 0 3.187 * [taylor]: Taking taylor expansion of 0 in x 3.187 * [backup-simplify]: Simplify 0 into 0 3.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.187 * [taylor]: Taking taylor expansion of 0 in x 3.187 * [backup-simplify]: Simplify 0 into 0 3.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.194 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 3.194 * [taylor]: Taking taylor expansion of +nan.0 in x 3.194 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.196 * [backup-simplify]: Simplify (+ (* +nan.0 (* 1 (* (/ 1 z) (/ 1 (/ 1 y))))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 3.196 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (sqrt (/ 1 (- z)))) (/ 1 (- x))) into (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) 3.196 * [approximate]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in (y z x) around 0 3.196 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in x 3.196 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in x 3.196 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in x 3.196 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 3.196 * [taylor]: Taking taylor expansion of (/ -1 z) in x 3.196 * [taylor]: Taking taylor expansion of -1 in x 3.196 * [backup-simplify]: Simplify -1 into -1 3.196 * [taylor]: Taking taylor expansion of z in x 3.196 * [backup-simplify]: Simplify z into z 3.197 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.197 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 3.197 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 3.197 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 3.197 * [taylor]: Taking taylor expansion of y in x 3.197 * [backup-simplify]: Simplify y into y 3.197 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) y) into (/ (sqrt (/ -1 z)) y) 3.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.197 * [taylor]: Taking taylor expansion of x in x 3.197 * [backup-simplify]: Simplify 0 into 0 3.197 * [backup-simplify]: Simplify 1 into 1 3.198 * [backup-simplify]: Simplify (/ 1 1) into 1 3.198 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in z 3.198 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in z 3.198 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 3.198 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.198 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.198 * [taylor]: Taking taylor expansion of -1 in z 3.198 * [backup-simplify]: Simplify -1 into -1 3.198 * [taylor]: Taking taylor expansion of z in z 3.198 * [backup-simplify]: Simplify 0 into 0 3.198 * [backup-simplify]: Simplify 1 into 1 3.198 * [backup-simplify]: Simplify (/ -1 1) into -1 3.199 * [backup-simplify]: Simplify (sqrt 0) into 0 3.200 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 3.200 * [taylor]: Taking taylor expansion of y in z 3.200 * [backup-simplify]: Simplify y into y 3.200 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 3.200 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.200 * [taylor]: Taking taylor expansion of x in z 3.200 * [backup-simplify]: Simplify x into x 3.200 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.200 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in y 3.200 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in y 3.200 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 3.200 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.200 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.200 * [taylor]: Taking taylor expansion of -1 in y 3.200 * [backup-simplify]: Simplify -1 into -1 3.200 * [taylor]: Taking taylor expansion of z in y 3.200 * [backup-simplify]: Simplify z into z 3.200 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.201 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 3.201 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 3.201 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 3.201 * [taylor]: Taking taylor expansion of y in y 3.201 * [backup-simplify]: Simplify 0 into 0 3.201 * [backup-simplify]: Simplify 1 into 1 3.201 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 3.201 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.201 * [taylor]: Taking taylor expansion of x in y 3.201 * [backup-simplify]: Simplify x into x 3.201 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.201 * [taylor]: Taking taylor expansion of (- (+ (/ (sqrt (/ -1 z)) y) (/ 1 x))) in y 3.201 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 x)) in y 3.201 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 3.201 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 3.201 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.201 * [taylor]: Taking taylor expansion of -1 in y 3.201 * [backup-simplify]: Simplify -1 into -1 3.201 * [taylor]: Taking taylor expansion of z in y 3.201 * [backup-simplify]: Simplify z into z 3.201 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.201 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 3.201 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 3.202 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 3.202 * [taylor]: Taking taylor expansion of y in y 3.202 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify 1 into 1 3.202 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 3.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.202 * [taylor]: Taking taylor expansion of x in y 3.202 * [backup-simplify]: Simplify x into x 3.202 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.202 * [backup-simplify]: Simplify (+ (sqrt (/ -1 z)) 0) into (sqrt (/ -1 z)) 3.202 * [backup-simplify]: Simplify (- (sqrt (/ -1 z))) into (- (sqrt (/ -1 z))) 3.202 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 3.202 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 3.202 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.202 * [taylor]: Taking taylor expansion of -1 in z 3.202 * [backup-simplify]: Simplify -1 into -1 3.202 * [taylor]: Taking taylor expansion of z in z 3.202 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify 1 into 1 3.203 * [backup-simplify]: Simplify (/ -1 1) into -1 3.203 * [backup-simplify]: Simplify (sqrt 0) into 0 3.204 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 3.205 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.205 * [taylor]: Taking taylor expansion of (- +nan.0) in x 3.205 * [taylor]: Taking taylor expansion of +nan.0 in x 3.205 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)))) into 0 3.206 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 3.206 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.206 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 3.206 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.206 * [taylor]: Taking taylor expansion of x in z 3.206 * [backup-simplify]: Simplify x into x 3.206 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.206 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.206 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.206 * [taylor]: Taking taylor expansion of x in x 3.206 * [backup-simplify]: Simplify 0 into 0 3.206 * [backup-simplify]: Simplify 1 into 1 3.207 * [backup-simplify]: Simplify (/ 1 1) into 1 3.207 * [backup-simplify]: Simplify (- 1) into -1 3.207 * [backup-simplify]: Simplify -1 into -1 3.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.211 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 3.211 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.211 * [taylor]: Taking taylor expansion of (- +nan.0) in x 3.211 * [taylor]: Taking taylor expansion of +nan.0 in x 3.211 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.212 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.212 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.212 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.213 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 3.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.215 * [backup-simplify]: Simplify (+ 0 0) into 0 3.215 * [backup-simplify]: Simplify (- 0) into 0 3.215 * [taylor]: Taking taylor expansion of 0 in z 3.215 * [backup-simplify]: Simplify 0 into 0 3.215 * [taylor]: Taking taylor expansion of 0 in x 3.215 * [backup-simplify]: Simplify 0 into 0 3.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.216 * [backup-simplify]: Simplify (- 0) into 0 3.216 * [taylor]: Taking taylor expansion of 0 in x 3.216 * [backup-simplify]: Simplify 0 into 0 3.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.220 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 3.221 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.221 * [taylor]: Taking taylor expansion of (- +nan.0) in x 3.221 * [taylor]: Taking taylor expansion of +nan.0 in x 3.221 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.222 * [backup-simplify]: Simplify (- 0) into 0 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.223 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 3.224 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) (+ (* (- +nan.0) (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 3.224 * * * [progress]: simplifying candidates 3.224 * * * * [progress]: [ 1 / 46 ] simplifiying candidate # 3.224 * * * * [progress]: [ 2 / 46 ] simplifiying candidate # 3.224 * * * * [progress]: [ 3 / 46 ] simplifiying candidate # 3.224 * * * * [progress]: [ 4 / 46 ] simplifiying candidate # 3.224 * * * * [progress]: [ 5 / 46 ] simplifiying candidate # 3.224 * * * * [progress]: [ 6 / 46 ] simplifiying candidate # 3.224 * * * * [progress]: [ 7 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 8 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 9 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 10 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 11 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 12 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 13 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 14 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 15 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 16 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 17 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 18 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 19 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 20 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 21 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 22 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 23 / 46 ] simplifiying candidate # 3.225 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #real (real->posit16 (* y (sqrt z)))) x)) 2.0))> 3.225 * * * * [progress]: [ 25 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 26 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 27 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 28 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 29 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 30 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 31 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 32 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 33 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 34 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 35 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 36 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 37 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 38 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #real (real->posit16 (+ (* y (sqrt z)) x)))) 2.0))> 3.226 * * * * [progress]: [ 40 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 41 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 42 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 43 / 46 ] simplifiying candidate # 3.226 * * * * [progress]: [ 44 / 46 ] simplifiying candidate # 3.227 * * * * [progress]: [ 45 / 46 ] simplifiying candidate # 3.227 * * * * [progress]: [ 46 / 46 ] simplifiying candidate # 3.227 * [simplify]: Simplifying: (expm1 (* y (sqrt z))) (log1p (* y (sqrt z))) (* y (sqrt z)) (+ (log y) (log (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (* (* (* y y) y) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (* (* (* y (sqrt z)) (* y (sqrt z))) (* y (sqrt z))) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* y (sqrt (* (cbrt z) (cbrt z)))) (* y (sqrt (sqrt z))) (* y (sqrt 1)) (* y (sqrt (sqrt z))) (* y 1) (* (cbrt y) (sqrt z)) (* (sqrt y) (sqrt z)) (* y (sqrt z)) (real->posit16 (* y (sqrt z))) (expm1 (+ (* y (sqrt z)) x)) (log1p (+ (* y (sqrt z)) x)) (* (exp (* y (sqrt z))) (exp x)) (log (+ (* y (sqrt z)) x)) (exp (+ (* y (sqrt z)) x)) (* (cbrt (+ (* y (sqrt z)) x)) (cbrt (+ (* y (sqrt z)) x))) (cbrt (+ (* y (sqrt z)) x)) (* (* (+ (* y (sqrt z)) x) (+ (* y (sqrt z)) x)) (+ (* y (sqrt z)) x)) (sqrt (+ (* y (sqrt z)) x)) (sqrt (+ (* y (sqrt z)) x)) (+ (pow (* y (sqrt z)) 3) (pow x 3)) (+ (* (* y (sqrt z)) (* y (sqrt z))) (- (* x x) (* (* y (sqrt z)) x))) (- (* (* y (sqrt z)) (* y (sqrt z))) (* x x)) (- (* y (sqrt z)) x) (real->posit16 (+ (* y (sqrt z)) x)) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) (- x (* +nan.0 (* z y))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 3.228 * * [simplify]: iteration 0: 93 enodes 3.268 * * [simplify]: iteration 1: 246 enodes 3.395 * * [simplify]: iteration 2: 792 enodes 3.970 * * [simplify]: iteration 3: 2722 enodes 6.242 * * [simplify]: iteration complete: 5000 enodes 6.243 * * [simplify]: Extracting #0: cost 34 inf + 0 6.245 * * [simplify]: Extracting #1: cost 328 inf + 1 6.257 * * [simplify]: Extracting #2: cost 479 inf + 12050 6.310 * * [simplify]: Extracting #3: cost 214 inf + 62247 6.393 * * [simplify]: Extracting #4: cost 129 inf + 84496 6.484 * * [simplify]: Extracting #5: cost 61 inf + 99077 6.569 * * [simplify]: Extracting #6: cost 7 inf + 110937 6.647 * * [simplify]: Extracting #7: cost 0 inf + 112898 6.740 * [simplify]: Simplified to: (expm1 (* (sqrt z) y)) (log1p (* (sqrt z) y)) (* (sqrt z) y) (log (* (sqrt z) y)) (log (* (sqrt z) y)) (exp (* (sqrt z) y)) (* (* y (sqrt z)) (* (* y z) y)) (* (cbrt (* (sqrt z) y)) (cbrt (* (sqrt z) y))) (cbrt (* (sqrt z) y)) (* (* y (sqrt z)) (* (* y z) y)) (sqrt (* (sqrt z) y)) (sqrt (* (sqrt z) y)) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* (* (cbrt (sqrt z)) y) (cbrt (sqrt z))) (* (fabs (cbrt z)) y) (* (sqrt (sqrt z)) y) y (* (sqrt (sqrt z)) y) y (* (sqrt z) (cbrt y)) (* (sqrt z) (sqrt y)) (* (sqrt z) y) (real->posit16 (* (sqrt z) y)) (expm1 (fma y (sqrt z) x)) (log1p (fma y (sqrt z) x)) (exp (fma y (sqrt z) x)) (log (fma y (sqrt z) x)) (exp (fma y (sqrt z) x)) (* (cbrt (fma y (sqrt z) x)) (cbrt (fma y (sqrt z) x))) (cbrt (fma y (sqrt z) x)) (* (* (fma y (sqrt z) x) (fma y (sqrt z) x)) (fma y (sqrt z) x)) (sqrt (fma y (sqrt z) x)) (sqrt (fma y (sqrt z) x)) (fma (* (* y y) (* (sqrt z) y)) z (* x (* x x))) (fma (* y (sqrt z)) (* y (sqrt z)) (* x (- x (* y (sqrt z))))) (- (* (* y z) y) (* x x)) (- (* y (sqrt z)) x) (real->posit16 (fma y (sqrt z) x)) (- (fma (* y +nan.0) (- (* (* z z) z) z) (* (* y +nan.0) (* z z)))) (- (fma +nan.0 (- (/ y z) y) (* (/ +nan.0 z) (/ y z)))) (- (fma +nan.0 (- (/ y z) y) (* (/ +nan.0 z) (/ y z)))) (- x (* +nan.0 (* z y))) (fma +nan.0 (- y (/ y z)) x) (fma +nan.0 (- y (/ y z)) x) 6.744 * * * [progress]: adding candidates to table 7.041 * * [progress]: iteration 3 / 4 7.041 * * * [progress]: picking best candidate 7.083 * * * * [pick]: Picked # 7.083 * * * [progress]: localizing error 7.109 * * * [progress]: generating rewritten candidates 7.109 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 7.110 * * * [progress]: generating series expansions 7.110 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 7.110 * [backup-simplify]: Simplify (fma y (sqrt z) x) into (fma y (sqrt z) x) 7.110 * [approximate]: Taking taylor expansion of (fma y (sqrt z) x) in (y z x) around 0 7.110 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in x 7.110 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 7.110 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in x 7.110 * [taylor]: Taking taylor expansion of y in x 7.110 * [backup-simplify]: Simplify y into y 7.110 * [taylor]: Taking taylor expansion of (sqrt z) in x 7.110 * [taylor]: Taking taylor expansion of z in x 7.110 * [backup-simplify]: Simplify z into z 7.110 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 7.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 7.111 * [taylor]: Taking taylor expansion of x in x 7.111 * [backup-simplify]: Simplify 0 into 0 7.111 * [backup-simplify]: Simplify 1 into 1 7.111 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in z 7.111 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 7.111 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in z 7.111 * [taylor]: Taking taylor expansion of y in z 7.111 * [backup-simplify]: Simplify y into y 7.111 * [taylor]: Taking taylor expansion of (sqrt z) in z 7.111 * [taylor]: Taking taylor expansion of z in z 7.111 * [backup-simplify]: Simplify 0 into 0 7.111 * [backup-simplify]: Simplify 1 into 1 7.112 * [backup-simplify]: Simplify (sqrt 0) into 0 7.114 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 7.114 * [taylor]: Taking taylor expansion of x in z 7.114 * [backup-simplify]: Simplify x into x 7.114 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in y 7.114 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 7.114 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in y 7.114 * [taylor]: Taking taylor expansion of y in y 7.114 * [backup-simplify]: Simplify 0 into 0 7.114 * [backup-simplify]: Simplify 1 into 1 7.114 * [taylor]: Taking taylor expansion of (sqrt z) in y 7.114 * [taylor]: Taking taylor expansion of z in y 7.114 * [backup-simplify]: Simplify z into z 7.114 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 7.114 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 7.114 * [taylor]: Taking taylor expansion of x in y 7.114 * [backup-simplify]: Simplify x into x 7.114 * [taylor]: Taking taylor expansion of (fma y (sqrt z) x) in y 7.114 * [taylor]: Rewrote expression to (+ (* y (sqrt z)) x) 7.114 * [taylor]: Taking taylor expansion of (* y (sqrt z)) in y 7.114 * [taylor]: Taking taylor expansion of y in y 7.114 * [backup-simplify]: Simplify 0 into 0 7.114 * [backup-simplify]: Simplify 1 into 1 7.114 * [taylor]: Taking taylor expansion of (sqrt z) in y 7.114 * [taylor]: Taking taylor expansion of z in y 7.114 * [backup-simplify]: Simplify z into z 7.115 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 7.115 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 7.115 * [taylor]: Taking taylor expansion of x in y 7.115 * [backup-simplify]: Simplify x into x 7.115 * [backup-simplify]: Simplify (* 0 (sqrt z)) into 0 7.115 * [backup-simplify]: Simplify (+ 0 x) into x 7.115 * [taylor]: Taking taylor expansion of x in z 7.115 * [backup-simplify]: Simplify x into x 7.115 * [taylor]: Taking taylor expansion of x in x 7.115 * [backup-simplify]: Simplify 0 into 0 7.115 * [backup-simplify]: Simplify 1 into 1 7.115 * [backup-simplify]: Simplify 0 into 0 7.116 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt z))) into (sqrt z) 7.116 * [backup-simplify]: Simplify (+ (sqrt z) 0) into (sqrt z) 7.116 * [taylor]: Taking taylor expansion of (sqrt z) in z 7.116 * [taylor]: Taking taylor expansion of z in z 7.116 * [backup-simplify]: Simplify 0 into 0 7.116 * [backup-simplify]: Simplify 1 into 1 7.116 * [backup-simplify]: Simplify (sqrt 0) into 0 7.117 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 7.117 * [taylor]: Taking taylor expansion of 0 in x 7.117 * [backup-simplify]: Simplify 0 into 0 7.117 * [backup-simplify]: Simplify 0 into 0 7.118 * [taylor]: Taking taylor expansion of 0 in x 7.118 * [backup-simplify]: Simplify 0 into 0 7.118 * [backup-simplify]: Simplify 0 into 0 7.118 * [backup-simplify]: Simplify 1 into 1 7.118 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 7.119 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt z)))) into 0 7.120 * [backup-simplify]: Simplify (+ 0 0) into 0 7.120 * [taylor]: Taking taylor expansion of 0 in z 7.120 * [backup-simplify]: Simplify 0 into 0 7.120 * [taylor]: Taking taylor expansion of 0 in x 7.120 * [backup-simplify]: Simplify 0 into 0 7.120 * [backup-simplify]: Simplify 0 into 0 7.120 * [taylor]: Taking taylor expansion of +nan.0 in x 7.120 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.120 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.120 * [taylor]: Taking taylor expansion of 0 in x 7.120 * [backup-simplify]: Simplify 0 into 0 7.120 * [backup-simplify]: Simplify 0 into 0 7.120 * [backup-simplify]: Simplify 0 into 0 7.120 * [backup-simplify]: Simplify 0 into 0 7.120 * [backup-simplify]: Simplify 0 into 0 7.121 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 7.122 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt z))))) into 0 7.122 * [backup-simplify]: Simplify (+ 0 0) into 0 7.122 * [taylor]: Taking taylor expansion of 0 in z 7.123 * [backup-simplify]: Simplify 0 into 0 7.123 * [taylor]: Taking taylor expansion of 0 in x 7.123 * [backup-simplify]: Simplify 0 into 0 7.123 * [backup-simplify]: Simplify 0 into 0 7.123 * [taylor]: Taking taylor expansion of 0 in x 7.123 * [backup-simplify]: Simplify 0 into 0 7.123 * [backup-simplify]: Simplify 0 into 0 7.123 * [backup-simplify]: Simplify (+ (* +nan.0 (* 1 (* z y))) (* 1 (* x (* 1 1)))) into (- x (* +nan.0 (* z y))) 7.123 * [backup-simplify]: Simplify (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) into (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) 7.123 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in (y z x) around 0 7.123 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in x 7.124 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 7.124 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in x 7.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.124 * [taylor]: Taking taylor expansion of y in x 7.124 * [backup-simplify]: Simplify y into y 7.124 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.124 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 7.124 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.124 * [taylor]: Taking taylor expansion of z in x 7.124 * [backup-simplify]: Simplify z into z 7.124 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.124 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 7.124 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.124 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 7.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.124 * [taylor]: Taking taylor expansion of x in x 7.124 * [backup-simplify]: Simplify 0 into 0 7.124 * [backup-simplify]: Simplify 1 into 1 7.125 * [backup-simplify]: Simplify (/ 1 1) into 1 7.125 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in z 7.125 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 7.125 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in z 7.125 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.125 * [taylor]: Taking taylor expansion of y in z 7.125 * [backup-simplify]: Simplify y into y 7.125 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.125 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 7.125 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.125 * [taylor]: Taking taylor expansion of z in z 7.125 * [backup-simplify]: Simplify 0 into 0 7.125 * [backup-simplify]: Simplify 1 into 1 7.125 * [backup-simplify]: Simplify (/ 1 1) into 1 7.126 * [backup-simplify]: Simplify (sqrt 0) into 0 7.127 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 7.127 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.127 * [taylor]: Taking taylor expansion of x in z 7.127 * [backup-simplify]: Simplify x into x 7.127 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.127 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in y 7.127 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 7.127 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in y 7.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.127 * [taylor]: Taking taylor expansion of y in y 7.127 * [backup-simplify]: Simplify 0 into 0 7.127 * [backup-simplify]: Simplify 1 into 1 7.128 * [backup-simplify]: Simplify (/ 1 1) into 1 7.128 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 7.128 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.128 * [taylor]: Taking taylor expansion of z in y 7.128 * [backup-simplify]: Simplify z into z 7.128 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.128 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 7.128 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.128 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 7.128 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.128 * [taylor]: Taking taylor expansion of x in y 7.128 * [backup-simplify]: Simplify x into x 7.128 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.128 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (sqrt (/ 1 z)) (/ 1 x)) in y 7.129 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (sqrt (/ 1 z))) (/ 1 x)) 7.129 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (/ 1 z))) in y 7.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.129 * [taylor]: Taking taylor expansion of y in y 7.129 * [backup-simplify]: Simplify 0 into 0 7.129 * [backup-simplify]: Simplify 1 into 1 7.129 * [backup-simplify]: Simplify (/ 1 1) into 1 7.129 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 7.129 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.129 * [taylor]: Taking taylor expansion of z in y 7.129 * [backup-simplify]: Simplify z into z 7.129 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.129 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 7.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 7.130 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 7.130 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.130 * [taylor]: Taking taylor expansion of x in y 7.130 * [backup-simplify]: Simplify x into x 7.130 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.130 * [backup-simplify]: Simplify (* 1 (sqrt (/ 1 z))) into (sqrt (/ 1 z)) 7.130 * [backup-simplify]: Simplify (+ (sqrt (/ 1 z)) 0) into (sqrt (/ 1 z)) 7.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 7.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.130 * [taylor]: Taking taylor expansion of z in z 7.130 * [backup-simplify]: Simplify 0 into 0 7.130 * [backup-simplify]: Simplify 1 into 1 7.131 * [backup-simplify]: Simplify (/ 1 1) into 1 7.131 * [backup-simplify]: Simplify (sqrt 0) into 0 7.132 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 7.133 * [taylor]: Taking taylor expansion of 0 in x 7.133 * [backup-simplify]: Simplify 0 into 0 7.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (/ 1 z)))) into 0 7.134 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 7.134 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.134 * [taylor]: Taking taylor expansion of x in z 7.134 * [backup-simplify]: Simplify x into x 7.134 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.134 * [taylor]: Taking taylor expansion of +nan.0 in x 7.134 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.134 * [backup-simplify]: Simplify 0 into 0 7.134 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.135 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 7.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (/ 1 z))))) into 0 7.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.137 * [backup-simplify]: Simplify (+ 0 0) into 0 7.137 * [taylor]: Taking taylor expansion of 0 in z 7.137 * [backup-simplify]: Simplify 0 into 0 7.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.137 * [taylor]: Taking taylor expansion of x in x 7.138 * [backup-simplify]: Simplify 0 into 0 7.138 * [backup-simplify]: Simplify 1 into 1 7.138 * [backup-simplify]: Simplify (/ 1 1) into 1 7.138 * [backup-simplify]: Simplify 1 into 1 7.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.142 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 7.142 * [taylor]: Taking taylor expansion of +nan.0 in x 7.142 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.142 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.142 * [backup-simplify]: Simplify 0 into 0 7.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.143 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 7.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 z)))))) into 0 7.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.146 * [backup-simplify]: Simplify (+ 0 0) into 0 7.146 * [taylor]: Taking taylor expansion of 0 in z 7.146 * [backup-simplify]: Simplify 0 into 0 7.146 * [taylor]: Taking taylor expansion of 0 in x 7.146 * [backup-simplify]: Simplify 0 into 0 7.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.146 * [taylor]: Taking taylor expansion of 0 in x 7.146 * [backup-simplify]: Simplify 0 into 0 7.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.151 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 7.151 * [taylor]: Taking taylor expansion of +nan.0 in x 7.151 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.152 * [backup-simplify]: Simplify 0 into 0 7.152 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.153 * [backup-simplify]: Simplify (+ (* +nan.0 (* 1 (* (/ 1 z) (/ 1 (/ 1 y))))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 7.153 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (sqrt (/ 1 (- z))) (/ 1 (- x))) into (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) 7.153 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in (y z x) around 0 7.153 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in x 7.153 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 7.153 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in x 7.153 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.153 * [taylor]: Taking taylor expansion of -1 in x 7.153 * [backup-simplify]: Simplify -1 into -1 7.153 * [taylor]: Taking taylor expansion of y in x 7.153 * [backup-simplify]: Simplify y into y 7.153 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 7.154 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 7.154 * [taylor]: Taking taylor expansion of (/ -1 z) in x 7.154 * [taylor]: Taking taylor expansion of -1 in x 7.154 * [backup-simplify]: Simplify -1 into -1 7.154 * [taylor]: Taking taylor expansion of z in x 7.154 * [backup-simplify]: Simplify z into z 7.154 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.154 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 7.154 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 7.154 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 7.154 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.154 * [taylor]: Taking taylor expansion of -1 in x 7.154 * [backup-simplify]: Simplify -1 into -1 7.154 * [taylor]: Taking taylor expansion of x in x 7.154 * [backup-simplify]: Simplify 0 into 0 7.154 * [backup-simplify]: Simplify 1 into 1 7.155 * [backup-simplify]: Simplify (/ -1 1) into -1 7.155 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in z 7.155 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 7.155 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in z 7.155 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.155 * [taylor]: Taking taylor expansion of -1 in z 7.155 * [backup-simplify]: Simplify -1 into -1 7.155 * [taylor]: Taking taylor expansion of y in z 7.155 * [backup-simplify]: Simplify y into y 7.155 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 7.155 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.155 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.155 * [taylor]: Taking taylor expansion of -1 in z 7.155 * [backup-simplify]: Simplify -1 into -1 7.155 * [taylor]: Taking taylor expansion of z in z 7.155 * [backup-simplify]: Simplify 0 into 0 7.155 * [backup-simplify]: Simplify 1 into 1 7.156 * [backup-simplify]: Simplify (/ -1 1) into -1 7.156 * [backup-simplify]: Simplify (sqrt 0) into 0 7.157 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 7.157 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.157 * [taylor]: Taking taylor expansion of -1 in z 7.157 * [backup-simplify]: Simplify -1 into -1 7.157 * [taylor]: Taking taylor expansion of x in z 7.157 * [backup-simplify]: Simplify x into x 7.157 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.157 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in y 7.158 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 7.158 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in y 7.158 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.158 * [taylor]: Taking taylor expansion of -1 in y 7.158 * [backup-simplify]: Simplify -1 into -1 7.158 * [taylor]: Taking taylor expansion of y in y 7.158 * [backup-simplify]: Simplify 0 into 0 7.158 * [backup-simplify]: Simplify 1 into 1 7.158 * [backup-simplify]: Simplify (/ -1 1) into -1 7.158 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 7.158 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.158 * [taylor]: Taking taylor expansion of -1 in y 7.158 * [backup-simplify]: Simplify -1 into -1 7.158 * [taylor]: Taking taylor expansion of z in y 7.158 * [backup-simplify]: Simplify z into z 7.158 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.158 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 7.159 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 7.159 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 7.159 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.159 * [taylor]: Taking taylor expansion of -1 in y 7.159 * [backup-simplify]: Simplify -1 into -1 7.159 * [taylor]: Taking taylor expansion of x in y 7.159 * [backup-simplify]: Simplify x into x 7.159 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.159 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (sqrt (/ -1 z)) (/ -1 x)) in y 7.159 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (sqrt (/ -1 z))) (/ -1 x)) 7.159 * [taylor]: Taking taylor expansion of (* (/ -1 y) (sqrt (/ -1 z))) in y 7.159 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.159 * [taylor]: Taking taylor expansion of -1 in y 7.159 * [backup-simplify]: Simplify -1 into -1 7.159 * [taylor]: Taking taylor expansion of y in y 7.159 * [backup-simplify]: Simplify 0 into 0 7.159 * [backup-simplify]: Simplify 1 into 1 7.160 * [backup-simplify]: Simplify (/ -1 1) into -1 7.160 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 7.160 * [taylor]: Taking taylor expansion of (/ -1 z) in y 7.160 * [taylor]: Taking taylor expansion of -1 in y 7.160 * [backup-simplify]: Simplify -1 into -1 7.160 * [taylor]: Taking taylor expansion of z in y 7.160 * [backup-simplify]: Simplify z into z 7.160 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 7.160 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 7.160 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 7.160 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 7.160 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.160 * [taylor]: Taking taylor expansion of -1 in y 7.160 * [backup-simplify]: Simplify -1 into -1 7.160 * [taylor]: Taking taylor expansion of x in y 7.160 * [backup-simplify]: Simplify x into x 7.160 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.160 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 7.161 * [backup-simplify]: Simplify (+ (* -1 (sqrt (/ -1 z))) 0) into (- (sqrt (/ -1 z))) 7.161 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 7.161 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 7.161 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.161 * [taylor]: Taking taylor expansion of -1 in z 7.161 * [backup-simplify]: Simplify -1 into -1 7.161 * [taylor]: Taking taylor expansion of z in z 7.161 * [backup-simplify]: Simplify 0 into 0 7.161 * [backup-simplify]: Simplify 1 into 1 7.161 * [backup-simplify]: Simplify (/ -1 1) into -1 7.162 * [backup-simplify]: Simplify (sqrt 0) into 0 7.163 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 7.163 * [backup-simplify]: Simplify (- 0) into 0 7.163 * [taylor]: Taking taylor expansion of 0 in x 7.163 * [backup-simplify]: Simplify 0 into 0 7.164 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.165 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 z)))) into 0 7.165 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 7.165 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 7.165 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.165 * [taylor]: Taking taylor expansion of x in z 7.165 * [backup-simplify]: Simplify x into x 7.165 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.166 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.166 * [taylor]: Taking taylor expansion of (- +nan.0) in x 7.166 * [taylor]: Taking taylor expansion of +nan.0 in x 7.166 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.166 * [backup-simplify]: Simplify 0 into 0 7.166 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.167 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 7.168 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.169 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 7.169 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.169 * [backup-simplify]: Simplify (+ 0 0) into 0 7.169 * [taylor]: Taking taylor expansion of 0 in z 7.169 * [backup-simplify]: Simplify 0 into 0 7.169 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.169 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.169 * [taylor]: Taking taylor expansion of x in x 7.169 * [backup-simplify]: Simplify 0 into 0 7.170 * [backup-simplify]: Simplify 1 into 1 7.170 * [backup-simplify]: Simplify (/ 1 1) into 1 7.170 * [backup-simplify]: Simplify (- 1) into -1 7.170 * [backup-simplify]: Simplify -1 into -1 7.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.174 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 7.174 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.174 * [taylor]: Taking taylor expansion of (- +nan.0) in x 7.175 * [taylor]: Taking taylor expansion of +nan.0 in x 7.175 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.175 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.175 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.175 * [backup-simplify]: Simplify 0 into 0 7.176 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.176 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 z)))) into 0 7.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.179 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z)))))) into 0 7.179 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.180 * [backup-simplify]: Simplify (+ 0 0) into 0 7.180 * [taylor]: Taking taylor expansion of 0 in z 7.180 * [backup-simplify]: Simplify 0 into 0 7.180 * [taylor]: Taking taylor expansion of 0 in x 7.180 * [backup-simplify]: Simplify 0 into 0 7.180 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.180 * [backup-simplify]: Simplify (- 0) into 0 7.180 * [taylor]: Taking taylor expansion of 0 in x 7.180 * [backup-simplify]: Simplify 0 into 0 7.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.186 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 7.186 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.186 * [taylor]: Taking taylor expansion of (- +nan.0) in x 7.186 * [taylor]: Taking taylor expansion of +nan.0 in x 7.186 * [backup-simplify]: Simplify +nan.0 into +nan.0 7.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.187 * [backup-simplify]: Simplify (- 0) into 0 7.187 * [backup-simplify]: Simplify 0 into 0 7.188 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.188 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 7.190 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) (+ (* (- +nan.0) (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))))) into (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 7.190 * * * [progress]: simplifying candidates 7.190 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma y (sqrt z) x)))) 2.0))> 7.190 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 7.190 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 7.191 * [simplify]: Simplifying: (expm1 (fma y (sqrt z) x)) (log1p (fma y (sqrt z) x)) (* y (sqrt z)) (log (fma y (sqrt z) x)) (exp (fma y (sqrt z) x)) (* (cbrt (fma y (sqrt z) x)) (cbrt (fma y (sqrt z) x))) (cbrt (fma y (sqrt z) x)) (* (* (fma y (sqrt z) x) (fma y (sqrt z) x)) (fma y (sqrt z) x)) (sqrt (fma y (sqrt z) x)) (sqrt (fma y (sqrt z) x)) (real->posit16 (fma y (sqrt z) x)) (- x (* +nan.0 (* z y))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) (- x (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))) 7.191 * * [simplify]: iteration 0: 26 enodes 7.199 * * [simplify]: iteration 1: 49 enodes 7.214 * * [simplify]: iteration 2: 107 enodes 7.260 * * [simplify]: iteration 3: 246 enodes 7.395 * * [simplify]: iteration 4: 793 enodes 8.287 * * [simplify]: iteration 5: 2898 enodes 9.348 * * [simplify]: iteration complete: 5000 enodes 9.348 * * [simplify]: Extracting #0: cost 12 inf + 0 9.350 * * [simplify]: Extracting #1: cost 187 inf + 0 9.358 * * [simplify]: Extracting #2: cost 488 inf + 323 9.384 * * [simplify]: Extracting #3: cost 182 inf + 32825 9.463 * * [simplify]: Extracting #4: cost 13 inf + 63937 9.552 * * [simplify]: Extracting #5: cost 0 inf + 69246 9.646 * [simplify]: Simplified to: (expm1 (fma (sqrt z) y x)) (log1p (fma (sqrt z) y x)) (* y (sqrt z)) (log (fma (sqrt z) y x)) (exp (fma (sqrt z) y x)) (* (cbrt (fma (sqrt z) y x)) (cbrt (fma (sqrt z) y x))) (cbrt (fma (sqrt z) y x)) (* (fma (sqrt z) y x) (* (fma (sqrt z) y x) (fma (sqrt z) y x))) (sqrt (fma (sqrt z) y x)) (sqrt (fma (sqrt z) y x)) (real->posit16 (fma (sqrt z) y x)) (- x (* (* y z) +nan.0)) (fma (- y (/ y z)) +nan.0 x) (fma (- y (/ y z)) +nan.0 x) 9.647 * * * [progress]: adding candidates to table 9.754 * * [progress]: iteration 4 / 4 9.754 * * * [progress]: picking best candidate 9.788 * * * * [pick]: Picked # 9.788 * * * [progress]: localizing error 9.830 * * * [progress]: generating rewritten candidates 9.830 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 9.892 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 9.912 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 9.917 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2) 9.923 * * * [progress]: generating series expansions 9.923 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 9.923 * [backup-simplify]: Simplify (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) into (* (sqrt z) y) 9.923 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0 9.923 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z 9.923 * [taylor]: Taking taylor expansion of (sqrt z) in z 9.923 * [taylor]: Taking taylor expansion of z in z 9.923 * [backup-simplify]: Simplify 0 into 0 9.923 * [backup-simplify]: Simplify 1 into 1 9.924 * [backup-simplify]: Simplify (sqrt 0) into 0 9.926 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 9.926 * [taylor]: Taking taylor expansion of y in z 9.926 * [backup-simplify]: Simplify y into y 9.926 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 9.926 * [taylor]: Taking taylor expansion of (sqrt z) in y 9.926 * [taylor]: Taking taylor expansion of z in y 9.926 * [backup-simplify]: Simplify z into z 9.926 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 9.926 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 9.926 * [taylor]: Taking taylor expansion of y in y 9.926 * [backup-simplify]: Simplify 0 into 0 9.926 * [backup-simplify]: Simplify 1 into 1 9.927 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 9.927 * [taylor]: Taking taylor expansion of (sqrt z) in y 9.927 * [taylor]: Taking taylor expansion of z in y 9.927 * [backup-simplify]: Simplify z into z 9.927 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 9.927 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 9.927 * [taylor]: Taking taylor expansion of y in y 9.927 * [backup-simplify]: Simplify 0 into 0 9.927 * [backup-simplify]: Simplify 1 into 1 9.927 * [backup-simplify]: Simplify (* (sqrt z) 0) into 0 9.927 * [taylor]: Taking taylor expansion of 0 in z 9.927 * [backup-simplify]: Simplify 0 into 0 9.927 * [backup-simplify]: Simplify 0 into 0 9.928 * [backup-simplify]: Simplify (+ (* (sqrt z) 1) (* 0 0)) into (sqrt z) 9.928 * [taylor]: Taking taylor expansion of (sqrt z) in z 9.928 * [taylor]: Taking taylor expansion of z in z 9.928 * [backup-simplify]: Simplify 0 into 0 9.928 * [backup-simplify]: Simplify 1 into 1 9.928 * [backup-simplify]: Simplify (sqrt 0) into 0 9.930 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 9.930 * [backup-simplify]: Simplify 0 into 0 9.930 * [backup-simplify]: Simplify 0 into 0 9.930 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 9.931 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 1) (* 0 0))) into 0 9.931 * [taylor]: Taking taylor expansion of 0 in z 9.931 * [backup-simplify]: Simplify 0 into 0 9.931 * [backup-simplify]: Simplify 0 into 0 9.931 * [backup-simplify]: Simplify +nan.0 into +nan.0 9.931 * [backup-simplify]: Simplify 0 into 0 9.932 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 9.933 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.933 * [taylor]: Taking taylor expansion of 0 in z 9.933 * [backup-simplify]: Simplify 0 into 0 9.933 * [backup-simplify]: Simplify 0 into 0 9.933 * [backup-simplify]: Simplify 0 into 0 9.937 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 9.937 * [backup-simplify]: Simplify +nan.0 into +nan.0 9.937 * [backup-simplify]: Simplify 0 into 0 9.939 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt z))) into 0 9.940 * [backup-simplify]: Simplify (+ (* (sqrt z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 9.940 * [taylor]: Taking taylor expansion of 0 in z 9.940 * [backup-simplify]: Simplify 0 into 0 9.940 * [backup-simplify]: Simplify 0 into 0 9.940 * [backup-simplify]: Simplify 0 into 0 9.940 * [backup-simplify]: Simplify 0 into 0 9.944 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 9.944 * [backup-simplify]: Simplify +nan.0 into +nan.0 9.945 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow z 3) y)) (+ (* +nan.0 (* (pow z 2) y)) (* +nan.0 (* z y)))) into (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) 9.945 * [backup-simplify]: Simplify (* (* (/ 1 y) (sqrt (sqrt (/ 1 z)))) (sqrt (sqrt (/ 1 z)))) into (* (sqrt (/ 1 z)) (/ 1 y)) 9.945 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0 9.945 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z 9.945 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 9.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.945 * [taylor]: Taking taylor expansion of z in z 9.945 * [backup-simplify]: Simplify 0 into 0 9.946 * [backup-simplify]: Simplify 1 into 1 9.946 * [backup-simplify]: Simplify (/ 1 1) into 1 9.946 * [backup-simplify]: Simplify (sqrt 0) into 0 9.948 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 9.948 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.948 * [taylor]: Taking taylor expansion of y in z 9.948 * [backup-simplify]: Simplify y into y 9.948 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.948 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 9.948 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 9.948 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.948 * [taylor]: Taking taylor expansion of z in y 9.948 * [backup-simplify]: Simplify z into z 9.948 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.948 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 9.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.948 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 9.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.949 * [taylor]: Taking taylor expansion of y in y 9.949 * [backup-simplify]: Simplify 0 into 0 9.949 * [backup-simplify]: Simplify 1 into 1 9.949 * [backup-simplify]: Simplify (/ 1 1) into 1 9.949 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 9.949 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 9.949 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.949 * [taylor]: Taking taylor expansion of z in y 9.949 * [backup-simplify]: Simplify z into z 9.949 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.949 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 9.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.950 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 9.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.950 * [taylor]: Taking taylor expansion of y in y 9.950 * [backup-simplify]: Simplify 0 into 0 9.950 * [backup-simplify]: Simplify 1 into 1 9.950 * [backup-simplify]: Simplify (/ 1 1) into 1 9.950 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 9.951 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 9.951 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.951 * [taylor]: Taking taylor expansion of z in z 9.951 * [backup-simplify]: Simplify 0 into 0 9.951 * [backup-simplify]: Simplify 1 into 1 9.951 * [backup-simplify]: Simplify (/ 1 1) into 1 9.952 * [backup-simplify]: Simplify (sqrt 0) into 0 9.953 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 9.953 * [backup-simplify]: Simplify 0 into 0 9.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.954 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 1)) into 0 9.954 * [taylor]: Taking taylor expansion of 0 in z 9.954 * [backup-simplify]: Simplify 0 into 0 9.954 * [backup-simplify]: Simplify +nan.0 into +nan.0 9.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.956 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 9.957 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 1))) into 0 9.957 * [taylor]: Taking taylor expansion of 0 in z 9.957 * [backup-simplify]: Simplify 0 into 0 9.957 * [backup-simplify]: Simplify 0 into 0 9.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.961 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 9.961 * [backup-simplify]: Simplify +nan.0 into +nan.0 9.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.963 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 9.964 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.965 * [taylor]: Taking taylor expansion of 0 in z 9.965 * [backup-simplify]: Simplify 0 into 0 9.965 * [backup-simplify]: Simplify 0 into 0 9.965 * [backup-simplify]: Simplify 0 into 0 9.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.970 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 9.970 * [backup-simplify]: Simplify +nan.0 into +nan.0 9.971 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 z) 2) (/ 1 (/ 1 y)))) (+ (* +nan.0 (* (/ 1 z) (/ 1 (/ 1 y)))) (* +nan.0 (* 1 (/ 1 (/ 1 y)))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 9.971 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (sqrt (sqrt (/ 1 (- z))))) (sqrt (sqrt (/ 1 (- z))))) into (* -1 (/ (sqrt (/ -1 z)) y)) 9.971 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0 9.971 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z 9.971 * [taylor]: Taking taylor expansion of -1 in z 9.971 * [backup-simplify]: Simplify -1 into -1 9.971 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z 9.971 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 9.971 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.971 * [taylor]: Taking taylor expansion of -1 in z 9.971 * [backup-simplify]: Simplify -1 into -1 9.971 * [taylor]: Taking taylor expansion of z in z 9.971 * [backup-simplify]: Simplify 0 into 0 9.971 * [backup-simplify]: Simplify 1 into 1 9.972 * [backup-simplify]: Simplify (/ -1 1) into -1 9.972 * [backup-simplify]: Simplify (sqrt 0) into 0 9.974 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 9.974 * [taylor]: Taking taylor expansion of y in z 9.974 * [backup-simplify]: Simplify y into y 9.974 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 9.974 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 9.974 * [taylor]: Taking taylor expansion of -1 in y 9.974 * [backup-simplify]: Simplify -1 into -1 9.974 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 9.974 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 9.974 * [taylor]: Taking taylor expansion of (/ -1 z) in y 9.974 * [taylor]: Taking taylor expansion of -1 in y 9.974 * [backup-simplify]: Simplify -1 into -1 9.974 * [taylor]: Taking taylor expansion of z in y 9.974 * [backup-simplify]: Simplify z into z 9.974 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 9.974 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 9.974 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 9.975 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 9.975 * [taylor]: Taking taylor expansion of y in y 9.975 * [backup-simplify]: Simplify 0 into 0 9.975 * [backup-simplify]: Simplify 1 into 1 9.975 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 9.975 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y 9.975 * [taylor]: Taking taylor expansion of -1 in y 9.975 * [backup-simplify]: Simplify -1 into -1 9.975 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 9.975 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 9.975 * [taylor]: Taking taylor expansion of (/ -1 z) in y 9.975 * [taylor]: Taking taylor expansion of -1 in y 9.975 * [backup-simplify]: Simplify -1 into -1 9.975 * [taylor]: Taking taylor expansion of z in y 9.975 * [backup-simplify]: Simplify z into z 9.975 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 9.975 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 9.975 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 9.975 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 9.975 * [taylor]: Taking taylor expansion of y in y 9.976 * [backup-simplify]: Simplify 0 into 0 9.976 * [backup-simplify]: Simplify 1 into 1 9.976 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 9.976 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 9.976 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 9.976 * [taylor]: Taking taylor expansion of -1 in z 9.976 * [backup-simplify]: Simplify -1 into -1 9.976 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 9.976 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.976 * [taylor]: Taking taylor expansion of -1 in z 9.976 * [backup-simplify]: Simplify -1 into -1 9.976 * [taylor]: Taking taylor expansion of z in z 9.976 * [backup-simplify]: Simplify 0 into 0 9.976 * [backup-simplify]: Simplify 1 into 1 9.977 * [backup-simplify]: Simplify (/ -1 1) into -1 9.977 * [backup-simplify]: Simplify (sqrt 0) into 0 9.979 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 9.980 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0) 9.980 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 9.982 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)))) into 0 9.982 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 z)))) into 0 9.982 * [taylor]: Taking taylor expansion of 0 in z 9.982 * [backup-simplify]: Simplify 0 into 0 9.982 * [backup-simplify]: Simplify 0 into 0 9.983 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.986 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 9.992 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 9.993 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 9.993 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.994 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 9.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.997 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 9.997 * [taylor]: Taking taylor expansion of 0 in z 9.997 * [backup-simplify]: Simplify 0 into 0 9.997 * [backup-simplify]: Simplify 0 into 0 9.997 * [backup-simplify]: Simplify 0 into 0 9.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.002 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 10.004 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 10.005 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.006 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- z)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* (/ 1 (- z)) (/ 1 (/ 1 (- y))))) (* (- +nan.0) (* 1 (/ 1 (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) 10.006 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 10.006 * [backup-simplify]: Simplify (* y (sqrt (sqrt z))) into (* (pow z 1/4) y) 10.006 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0 10.007 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z 10.007 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 10.007 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 10.007 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 10.007 * [taylor]: Taking taylor expansion of 1/4 in z 10.007 * [backup-simplify]: Simplify 1/4 into 1/4 10.007 * [taylor]: Taking taylor expansion of (log z) in z 10.007 * [taylor]: Taking taylor expansion of z in z 10.007 * [backup-simplify]: Simplify 0 into 0 10.007 * [backup-simplify]: Simplify 1 into 1 10.007 * [backup-simplify]: Simplify (log 1) into 0 10.008 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.008 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.008 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.008 * [taylor]: Taking taylor expansion of y in z 10.008 * [backup-simplify]: Simplify y into y 10.008 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 10.008 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 10.008 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 10.008 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 10.008 * [taylor]: Taking taylor expansion of 1/4 in y 10.008 * [backup-simplify]: Simplify 1/4 into 1/4 10.008 * [taylor]: Taking taylor expansion of (log z) in y 10.008 * [taylor]: Taking taylor expansion of z in y 10.008 * [backup-simplify]: Simplify z into z 10.008 * [backup-simplify]: Simplify (log z) into (log z) 10.008 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.008 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.008 * [taylor]: Taking taylor expansion of y in y 10.008 * [backup-simplify]: Simplify 0 into 0 10.008 * [backup-simplify]: Simplify 1 into 1 10.008 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y 10.008 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 10.008 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 10.009 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 10.009 * [taylor]: Taking taylor expansion of 1/4 in y 10.009 * [backup-simplify]: Simplify 1/4 into 1/4 10.009 * [taylor]: Taking taylor expansion of (log z) in y 10.009 * [taylor]: Taking taylor expansion of z in y 10.009 * [backup-simplify]: Simplify z into z 10.009 * [backup-simplify]: Simplify (log z) into (log z) 10.009 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.009 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.009 * [taylor]: Taking taylor expansion of y in y 10.009 * [backup-simplify]: Simplify 0 into 0 10.009 * [backup-simplify]: Simplify 1 into 1 10.009 * [backup-simplify]: Simplify (* (pow z 1/4) 0) into 0 10.009 * [taylor]: Taking taylor expansion of 0 in z 10.009 * [backup-simplify]: Simplify 0 into 0 10.009 * [backup-simplify]: Simplify 0 into 0 10.010 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0 10.011 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 10.011 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 10.012 * [backup-simplify]: Simplify (+ (* (pow z 1/4) 1) (* 0 0)) into (pow z 1/4) 10.012 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 10.012 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 10.012 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 10.012 * [taylor]: Taking taylor expansion of 1/4 in z 10.012 * [backup-simplify]: Simplify 1/4 into 1/4 10.012 * [taylor]: Taking taylor expansion of (log z) in z 10.012 * [taylor]: Taking taylor expansion of z in z 10.012 * [backup-simplify]: Simplify 0 into 0 10.012 * [backup-simplify]: Simplify 1 into 1 10.013 * [backup-simplify]: Simplify (log 1) into 0 10.013 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.013 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.013 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.013 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 10.013 * [backup-simplify]: Simplify 0 into 0 10.016 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0 10.016 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log z)))) into 0 10.018 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.018 * [backup-simplify]: Simplify (+ (* (pow z 1/4) 0) (+ (* 0 1) (* 0 0))) into 0 10.018 * [taylor]: Taking taylor expansion of 0 in z 10.018 * [backup-simplify]: Simplify 0 into 0 10.018 * [backup-simplify]: Simplify 0 into 0 10.019 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 10.019 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.020 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 10.020 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 10.020 * [backup-simplify]: Simplify 0 into 0 10.020 * [backup-simplify]: Simplify 0 into 0 10.022 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow z 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow z 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow z 1)))) 6) into 0 10.023 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))) into 0 10.024 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.024 * [backup-simplify]: Simplify (+ (* (pow z 1/4) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.024 * [taylor]: Taking taylor expansion of 0 in z 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.024 * [backup-simplify]: Simplify (* (pow z 1/4) (* 1 y)) into (* (pow z 1/4) y) 10.024 * [backup-simplify]: Simplify (* (/ 1 y) (sqrt (sqrt (/ 1 z)))) into (* (pow (/ 1 z) 1/4) (/ 1 y)) 10.024 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0 10.024 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z 10.024 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 10.024 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 10.025 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 10.025 * [taylor]: Taking taylor expansion of 1/4 in z 10.025 * [backup-simplify]: Simplify 1/4 into 1/4 10.025 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.025 * [taylor]: Taking taylor expansion of z in z 10.025 * [backup-simplify]: Simplify 0 into 0 10.025 * [backup-simplify]: Simplify 1 into 1 10.025 * [backup-simplify]: Simplify (/ 1 1) into 1 10.025 * [backup-simplify]: Simplify (log 1) into 0 10.025 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.025 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 10.026 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 10.026 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.026 * [taylor]: Taking taylor expansion of y in z 10.026 * [backup-simplify]: Simplify y into y 10.026 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.026 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 10.026 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 10.026 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 10.026 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 10.026 * [taylor]: Taking taylor expansion of 1/4 in y 10.026 * [backup-simplify]: Simplify 1/4 into 1/4 10.026 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 10.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.026 * [taylor]: Taking taylor expansion of z in y 10.026 * [backup-simplify]: Simplify z into z 10.026 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.026 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z)) 10.026 * [backup-simplify]: Simplify (* 1/4 (log (/ 1 z))) into (* 1/4 (log (/ 1 z))) 10.026 * [backup-simplify]: Simplify (exp (* 1/4 (log (/ 1 z)))) into (pow (/ 1 z) 1/4) 10.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.026 * [taylor]: Taking taylor expansion of y in y 10.026 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify 1 into 1 10.026 * [backup-simplify]: Simplify (/ 1 1) into 1 10.026 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y 10.026 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 10.026 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 10.026 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 10.026 * [taylor]: Taking taylor expansion of 1/4 in y 10.026 * [backup-simplify]: Simplify 1/4 into 1/4 10.026 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 10.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.026 * [taylor]: Taking taylor expansion of z in y 10.026 * [backup-simplify]: Simplify z into z 10.027 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.027 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z)) 10.027 * [backup-simplify]: Simplify (* 1/4 (log (/ 1 z))) into (* 1/4 (log (/ 1 z))) 10.027 * [backup-simplify]: Simplify (exp (* 1/4 (log (/ 1 z)))) into (pow (/ 1 z) 1/4) 10.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.027 * [taylor]: Taking taylor expansion of y in y 10.027 * [backup-simplify]: Simplify 0 into 0 10.027 * [backup-simplify]: Simplify 1 into 1 10.027 * [backup-simplify]: Simplify (/ 1 1) into 1 10.027 * [backup-simplify]: Simplify (* (pow (/ 1 z) 1/4) 1) into (pow (/ 1 z) 1/4) 10.027 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 10.027 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 10.027 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 10.027 * [taylor]: Taking taylor expansion of 1/4 in z 10.027 * [backup-simplify]: Simplify 1/4 into 1/4 10.027 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.027 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.027 * [taylor]: Taking taylor expansion of z in z 10.027 * [backup-simplify]: Simplify 0 into 0 10.027 * [backup-simplify]: Simplify 1 into 1 10.028 * [backup-simplify]: Simplify (/ 1 1) into 1 10.028 * [backup-simplify]: Simplify (log 1) into 0 10.028 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.028 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 10.028 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 10.028 * [backup-simplify]: Simplify (pow z -1/4) into (pow z -1/4) 10.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.030 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 z) 1)))) 1) into 0 10.030 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (/ 1 z)))) into 0 10.031 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 z)))) (+ (* (/ (pow 0 1) 1)))) into 0 10.031 * [backup-simplify]: Simplify (+ (* (pow (/ 1 z) 1/4) 0) (* 0 1)) into 0 10.031 * [taylor]: Taking taylor expansion of 0 in z 10.031 * [backup-simplify]: Simplify 0 into 0 10.031 * [backup-simplify]: Simplify 0 into 0 10.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.032 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 10.032 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.033 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log z)))) into 0 10.033 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 10.033 * [backup-simplify]: Simplify 0 into 0 10.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.035 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 z) 1)))) 2) into 0 10.035 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (/ 1 z))))) into 0 10.036 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.037 * [backup-simplify]: Simplify (+ (* (pow (/ 1 z) 1/4) 0) (+ (* 0 0) (* 0 1))) into 0 10.037 * [taylor]: Taking taylor expansion of 0 in z 10.037 * [backup-simplify]: Simplify 0 into 0 10.037 * [backup-simplify]: Simplify 0 into 0 10.037 * [backup-simplify]: Simplify 0 into 0 10.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.039 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 10.039 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.040 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log z))))) into 0 10.041 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.041 * [backup-simplify]: Simplify 0 into 0 10.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.043 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 z) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 z) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 z) 1)))) 6) into 0 10.044 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (/ 1 z)))))) into 0 10.045 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.045 * [backup-simplify]: Simplify (+ (* (pow (/ 1 z) 1/4) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.045 * [taylor]: Taking taylor expansion of 0 in z 10.045 * [backup-simplify]: Simplify 0 into 0 10.045 * [backup-simplify]: Simplify 0 into 0 10.045 * [backup-simplify]: Simplify (* (pow (/ 1 z) -1/4) (* 1 (/ 1 (/ 1 y)))) into (* (pow z 1/4) y) 10.046 * [backup-simplify]: Simplify (* (/ 1 (- y)) (sqrt (sqrt (/ 1 (- z))))) into (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) 10.046 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0 10.046 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z 10.046 * [taylor]: Taking taylor expansion of -1 in z 10.046 * [backup-simplify]: Simplify -1 into -1 10.046 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z 10.046 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 10.046 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 10.046 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.046 * [taylor]: Taking taylor expansion of -1 in z 10.046 * [backup-simplify]: Simplify -1 into -1 10.046 * [taylor]: Taking taylor expansion of z in z 10.046 * [backup-simplify]: Simplify 0 into 0 10.046 * [backup-simplify]: Simplify 1 into 1 10.046 * [backup-simplify]: Simplify (/ -1 1) into -1 10.046 * [backup-simplify]: Simplify (sqrt 0) into 0 10.048 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.048 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.050 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 10.051 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 10.051 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.051 * [taylor]: Taking taylor expansion of y in z 10.051 * [backup-simplify]: Simplify y into y 10.051 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.051 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 10.051 * [taylor]: Taking taylor expansion of -1 in y 10.051 * [backup-simplify]: Simplify -1 into -1 10.051 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 10.051 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 10.051 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 10.051 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.051 * [taylor]: Taking taylor expansion of -1 in y 10.051 * [backup-simplify]: Simplify -1 into -1 10.051 * [taylor]: Taking taylor expansion of z in y 10.051 * [backup-simplify]: Simplify z into z 10.051 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.052 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 10.052 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 10.052 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 10.052 * [backup-simplify]: Simplify (sqrt (sqrt (/ -1 z))) into (sqrt (sqrt (/ -1 z))) 10.052 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (sqrt (/ -1 z))))) into 0 10.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.052 * [taylor]: Taking taylor expansion of y in y 10.052 * [backup-simplify]: Simplify 0 into 0 10.052 * [backup-simplify]: Simplify 1 into 1 10.052 * [backup-simplify]: Simplify (/ 1 1) into 1 10.052 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y 10.052 * [taylor]: Taking taylor expansion of -1 in y 10.052 * [backup-simplify]: Simplify -1 into -1 10.052 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y 10.052 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 10.052 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 10.052 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.052 * [taylor]: Taking taylor expansion of -1 in y 10.052 * [backup-simplify]: Simplify -1 into -1 10.052 * [taylor]: Taking taylor expansion of z in y 10.052 * [backup-simplify]: Simplify z into z 10.052 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.052 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 10.052 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 10.052 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 10.053 * [backup-simplify]: Simplify (sqrt (sqrt (/ -1 z))) into (sqrt (sqrt (/ -1 z))) 10.053 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (sqrt (/ -1 z))))) into 0 10.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.053 * [taylor]: Taking taylor expansion of y in y 10.053 * [backup-simplify]: Simplify 0 into 0 10.053 * [backup-simplify]: Simplify 1 into 1 10.053 * [backup-simplify]: Simplify (/ 1 1) into 1 10.053 * [backup-simplify]: Simplify (* (sqrt (sqrt (/ -1 z))) 1) into (sqrt (sqrt (/ -1 z))) 10.053 * [backup-simplify]: Simplify (* -1 (sqrt (sqrt (/ -1 z)))) into (* -1 (sqrt (sqrt (/ -1 z)))) 10.053 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z 10.053 * [taylor]: Taking taylor expansion of -1 in z 10.053 * [backup-simplify]: Simplify -1 into -1 10.053 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 10.053 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 10.053 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.053 * [taylor]: Taking taylor expansion of -1 in z 10.053 * [backup-simplify]: Simplify -1 into -1 10.053 * [taylor]: Taking taylor expansion of z in z 10.053 * [backup-simplify]: Simplify 0 into 0 10.053 * [backup-simplify]: Simplify 1 into 1 10.054 * [backup-simplify]: Simplify (/ -1 1) into -1 10.054 * [backup-simplify]: Simplify (sqrt 0) into 0 10.055 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.055 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.057 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 10.058 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 10.059 * [backup-simplify]: Simplify (* -1 (sqrt +nan.0)) into (* -1 (sqrt +nan.0)) 10.059 * [backup-simplify]: Simplify (* -1 (sqrt +nan.0)) into (* -1 (sqrt +nan.0)) 10.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.060 * [backup-simplify]: Simplify (+ (* (sqrt (sqrt (/ -1 z))) 0) (* 0 1)) into 0 10.060 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (sqrt (/ -1 z))))) into 0 10.060 * [taylor]: Taking taylor expansion of 0 in z 10.060 * [backup-simplify]: Simplify 0 into 0 10.060 * [backup-simplify]: Simplify 0 into 0 10.062 * [backup-simplify]: Simplify (+ (* -1 (/ +nan.0 (sqrt +nan.0))) (* 0 (sqrt +nan.0))) into (- (* +nan.0 (/ 1 (sqrt +nan.0)))) 10.064 * [backup-simplify]: Simplify (- (* +nan.0 (/ 1 (sqrt +nan.0)))) into (- (* +nan.0 (/ 1 (sqrt +nan.0)))) 10.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.064 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.065 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 10.065 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (sqrt (/ -1 z))))) into 0 10.066 * [backup-simplify]: Simplify (+ (* (sqrt (sqrt (/ -1 z))) 0) (+ (* 0 0) (* 0 1))) into 0 10.066 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (sqrt (/ -1 z)))))) into 0 10.066 * [taylor]: Taking taylor expansion of 0 in z 10.066 * [backup-simplify]: Simplify 0 into 0 10.066 * [backup-simplify]: Simplify 0 into 0 10.066 * [backup-simplify]: Simplify 0 into 0 10.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.069 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 10.072 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 10.080 * [backup-simplify]: Simplify (+ (* -1 (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))) (+ (* 0 (/ +nan.0 (sqrt +nan.0))) (* 0 (sqrt +nan.0)))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) 10.086 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) 10.095 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) (* (pow (/ 1 (- z)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- (* +nan.0 (/ 1 (sqrt +nan.0)))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y))))) (* (* -1 (sqrt +nan.0)) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* y (sqrt +nan.0)) (+ (* +nan.0 (/ y (* (pow z 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ y (* (pow z 2) (sqrt +nan.0)))) (- (* +nan.0 (/ y (* z (sqrt +nan.0))))))))) 10.095 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 10.095 * [backup-simplify]: Simplify (sqrt (sqrt z)) into (pow z 1/4) 10.095 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 10.095 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 10.095 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 10.095 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 10.095 * [taylor]: Taking taylor expansion of 1/4 in z 10.095 * [backup-simplify]: Simplify 1/4 into 1/4 10.095 * [taylor]: Taking taylor expansion of (log z) in z 10.095 * [taylor]: Taking taylor expansion of z in z 10.095 * [backup-simplify]: Simplify 0 into 0 10.095 * [backup-simplify]: Simplify 1 into 1 10.095 * [backup-simplify]: Simplify (log 1) into 0 10.096 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.096 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.096 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.096 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 10.096 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 10.096 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 10.096 * [taylor]: Taking taylor expansion of 1/4 in z 10.096 * [backup-simplify]: Simplify 1/4 into 1/4 10.096 * [taylor]: Taking taylor expansion of (log z) in z 10.096 * [taylor]: Taking taylor expansion of z in z 10.096 * [backup-simplify]: Simplify 0 into 0 10.096 * [backup-simplify]: Simplify 1 into 1 10.096 * [backup-simplify]: Simplify (log 1) into 0 10.097 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.097 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.097 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.097 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 10.098 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 10.098 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.099 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 10.099 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 10.099 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 10.101 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.102 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log z)))) into 0 10.103 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.103 * [backup-simplify]: Simplify 0 into 0 10.107 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 10.107 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.109 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))) into 0 10.110 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.110 * [backup-simplify]: Simplify 0 into 0 10.118 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 10.118 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.120 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))) into 0 10.121 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.122 * [backup-simplify]: Simplify 0 into 0 10.134 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 10.134 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.136 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))))) into 0 10.138 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.138 * [backup-simplify]: Simplify 0 into 0 10.159 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 10.159 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.161 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))))) into 0 10.166 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.166 * [backup-simplify]: Simplify 0 into 0 10.166 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 10.166 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 z))) into (pow (/ 1 z) 1/4) 10.166 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 10.166 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 10.167 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 10.167 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 10.167 * [taylor]: Taking taylor expansion of 1/4 in z 10.167 * [backup-simplify]: Simplify 1/4 into 1/4 10.167 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.167 * [taylor]: Taking taylor expansion of z in z 10.167 * [backup-simplify]: Simplify 0 into 0 10.167 * [backup-simplify]: Simplify 1 into 1 10.167 * [backup-simplify]: Simplify (/ 1 1) into 1 10.167 * [backup-simplify]: Simplify (log 1) into 0 10.168 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.168 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 10.168 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 10.168 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 10.168 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 10.168 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 10.168 * [taylor]: Taking taylor expansion of 1/4 in z 10.168 * [backup-simplify]: Simplify 1/4 into 1/4 10.168 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.168 * [taylor]: Taking taylor expansion of z in z 10.168 * [backup-simplify]: Simplify 0 into 0 10.168 * [backup-simplify]: Simplify 1 into 1 10.168 * [backup-simplify]: Simplify (/ 1 1) into 1 10.169 * [backup-simplify]: Simplify (log 1) into 0 10.169 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.169 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 10.169 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 10.169 * [backup-simplify]: Simplify (pow z -1/4) into (pow z -1/4) 10.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.171 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 10.172 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.172 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log z)))) into 0 10.173 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 10.173 * [backup-simplify]: Simplify 0 into 0 10.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.176 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 10.176 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.177 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log z))))) into 0 10.178 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.178 * [backup-simplify]: Simplify 0 into 0 10.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.183 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 10.183 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.184 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))) into 0 10.186 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.186 * [backup-simplify]: Simplify 0 into 0 10.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.194 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 10.195 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.196 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))) into 0 10.198 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.198 * [backup-simplify]: Simplify 0 into 0 10.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.212 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 10.213 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.214 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))))) into 0 10.217 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.217 * [backup-simplify]: Simplify 0 into 0 10.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.239 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 10.240 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.242 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))))) into 0 10.249 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.249 * [backup-simplify]: Simplify 0 into 0 10.249 * [backup-simplify]: Simplify (pow (/ 1 z) -1/4) into (pow (/ 1 z) -1/4) 10.249 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- z)))) into (sqrt (sqrt (/ -1 z))) 10.249 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 10.249 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 10.249 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 10.249 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.249 * [taylor]: Taking taylor expansion of -1 in z 10.249 * [backup-simplify]: Simplify -1 into -1 10.249 * [taylor]: Taking taylor expansion of z in z 10.249 * [backup-simplify]: Simplify 0 into 0 10.249 * [backup-simplify]: Simplify 1 into 1 10.250 * [backup-simplify]: Simplify (/ -1 1) into -1 10.250 * [backup-simplify]: Simplify (sqrt 0) into 0 10.252 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.252 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.256 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 10.258 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 10.258 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 10.258 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 10.258 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.258 * [taylor]: Taking taylor expansion of -1 in z 10.258 * [backup-simplify]: Simplify -1 into -1 10.258 * [taylor]: Taking taylor expansion of z in z 10.258 * [backup-simplify]: Simplify 0 into 0 10.258 * [backup-simplify]: Simplify 1 into 1 10.259 * [backup-simplify]: Simplify (/ -1 1) into -1 10.259 * [backup-simplify]: Simplify (sqrt 0) into 0 10.260 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.261 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.265 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 10.266 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 10.267 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.268 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0)) 10.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.273 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 10.277 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 10.285 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 10.294 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- z)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- z))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) 10.294 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2) 10.294 * [backup-simplify]: Simplify (sqrt (sqrt z)) into (pow z 1/4) 10.294 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 10.294 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 10.294 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 10.294 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 10.294 * [taylor]: Taking taylor expansion of 1/4 in z 10.294 * [backup-simplify]: Simplify 1/4 into 1/4 10.294 * [taylor]: Taking taylor expansion of (log z) in z 10.294 * [taylor]: Taking taylor expansion of z in z 10.294 * [backup-simplify]: Simplify 0 into 0 10.294 * [backup-simplify]: Simplify 1 into 1 10.295 * [backup-simplify]: Simplify (log 1) into 0 10.295 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.295 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.295 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.295 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 10.295 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 10.295 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 10.295 * [taylor]: Taking taylor expansion of 1/4 in z 10.295 * [backup-simplify]: Simplify 1/4 into 1/4 10.295 * [taylor]: Taking taylor expansion of (log z) in z 10.296 * [taylor]: Taking taylor expansion of z in z 10.296 * [backup-simplify]: Simplify 0 into 0 10.296 * [backup-simplify]: Simplify 1 into 1 10.296 * [backup-simplify]: Simplify (log 1) into 0 10.297 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.297 * [backup-simplify]: Simplify (* 1/4 (log z)) into (* 1/4 (log z)) 10.297 * [backup-simplify]: Simplify (exp (* 1/4 (log z))) into (pow z 1/4) 10.297 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 10.298 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 10.299 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.299 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log z))) into 0 10.300 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 10.300 * [backup-simplify]: Simplify 0 into 0 10.303 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 10.304 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.305 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log z)))) into 0 10.306 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.306 * [backup-simplify]: Simplify 0 into 0 10.312 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 10.313 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.314 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))) into 0 10.316 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.316 * [backup-simplify]: Simplify 0 into 0 10.328 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 10.329 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.330 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))) into 0 10.335 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.335 * [backup-simplify]: Simplify 0 into 0 10.353 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 10.353 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.355 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z))))))) into 0 10.360 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.360 * [backup-simplify]: Simplify 0 into 0 10.392 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 10.393 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) 0) into (log z) 10.395 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log z)))))))) into 0 10.401 * [backup-simplify]: Simplify (* (exp (* 1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.402 * [backup-simplify]: Simplify 0 into 0 10.402 * [backup-simplify]: Simplify (pow z 1/4) into (pow z 1/4) 10.402 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 z))) into (pow (/ 1 z) 1/4) 10.402 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 10.402 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 10.402 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 10.402 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 10.402 * [taylor]: Taking taylor expansion of 1/4 in z 10.402 * [backup-simplify]: Simplify 1/4 into 1/4 10.402 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.402 * [taylor]: Taking taylor expansion of z in z 10.402 * [backup-simplify]: Simplify 0 into 0 10.402 * [backup-simplify]: Simplify 1 into 1 10.403 * [backup-simplify]: Simplify (/ 1 1) into 1 10.403 * [backup-simplify]: Simplify (log 1) into 0 10.403 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.404 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 10.404 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 10.404 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 10.404 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 10.404 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 10.404 * [taylor]: Taking taylor expansion of 1/4 in z 10.404 * [backup-simplify]: Simplify 1/4 into 1/4 10.404 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.404 * [taylor]: Taking taylor expansion of z in z 10.404 * [backup-simplify]: Simplify 0 into 0 10.404 * [backup-simplify]: Simplify 1 into 1 10.404 * [backup-simplify]: Simplify (/ 1 1) into 1 10.405 * [backup-simplify]: Simplify (log 1) into 0 10.405 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.405 * [backup-simplify]: Simplify (* 1/4 (- (log z))) into (* -1/4 (log z)) 10.405 * [backup-simplify]: Simplify (exp (* -1/4 (log z))) into (pow z -1/4) 10.405 * [backup-simplify]: Simplify (pow z -1/4) into (pow z -1/4) 10.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.408 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 10.408 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.409 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log z)))) into 0 10.410 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 1) 1)))) into 0 10.410 * [backup-simplify]: Simplify 0 into 0 10.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.414 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 10.414 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.415 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log z))))) into 0 10.417 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.417 * [backup-simplify]: Simplify 0 into 0 10.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.423 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 10.424 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.425 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))) into 0 10.426 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.427 * [backup-simplify]: Simplify 0 into 0 10.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.434 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 10.435 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.436 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))) into 0 10.438 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.438 * [backup-simplify]: Simplify 0 into 0 10.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.450 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 10.451 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.452 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z)))))))) into 0 10.455 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.455 * [backup-simplify]: Simplify 0 into 0 10.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.487 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 10.488 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 10.490 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log z))))))))) into 0 10.497 * [backup-simplify]: Simplify (* (exp (* -1/4 (log z))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.497 * [backup-simplify]: Simplify 0 into 0 10.497 * [backup-simplify]: Simplify (pow (/ 1 z) -1/4) into (pow (/ 1 z) -1/4) 10.497 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- z)))) into (sqrt (sqrt (/ -1 z))) 10.497 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 10.497 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 10.497 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 10.497 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.497 * [taylor]: Taking taylor expansion of -1 in z 10.497 * [backup-simplify]: Simplify -1 into -1 10.497 * [taylor]: Taking taylor expansion of z in z 10.497 * [backup-simplify]: Simplify 0 into 0 10.497 * [backup-simplify]: Simplify 1 into 1 10.498 * [backup-simplify]: Simplify (/ -1 1) into -1 10.498 * [backup-simplify]: Simplify (sqrt 0) into 0 10.500 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.500 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.504 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 10.506 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 10.506 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 10.506 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 10.506 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.506 * [taylor]: Taking taylor expansion of -1 in z 10.506 * [backup-simplify]: Simplify -1 into -1 10.506 * [taylor]: Taking taylor expansion of z in z 10.506 * [backup-simplify]: Simplify 0 into 0 10.506 * [backup-simplify]: Simplify 1 into 1 10.506 * [backup-simplify]: Simplify (/ -1 1) into -1 10.507 * [backup-simplify]: Simplify (sqrt 0) into 0 10.508 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 10.509 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.512 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 10.514 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0)) 10.515 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0) 10.516 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0)) 10.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.521 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 10.526 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 10.533 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 10.542 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- z)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- z))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) 10.542 * * * [progress]: simplifying candidates 10.542 * * * * [progress]: [ 1 / 112 ] simplifiying candidate # 10.542 * * * * [progress]: [ 2 / 112 ] simplifiying candidate # 10.542 * * * * [progress]: [ 3 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 4 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 5 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 6 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 7 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 8 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 9 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 10 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 11 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 12 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 13 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 14 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 15 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 16 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 17 / 112 ] simplifiying candidate # 10.543 * * * * [progress]: [ 18 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 19 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 20 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 21 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 22 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 23 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 24 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 25 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 26 / 112 ] simplifiying candidate #real (real->posit16 (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))) x)) 2.0))> 10.544 * * * * [progress]: [ 27 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 28 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 29 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 30 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 31 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 32 / 112 ] simplifiying candidate # 10.544 * * * * [progress]: [ 33 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 34 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 35 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 36 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 37 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 38 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 39 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 40 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 41 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 42 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 43 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 44 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 45 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 46 / 112 ] simplifiying candidate # 10.545 * * * * [progress]: [ 47 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 48 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 49 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 50 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 51 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 52 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 53 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 54 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 55 / 112 ] simplifiying candidate #real (real->posit16 (* y (sqrt (sqrt z))))) (sqrt (sqrt z))) x)) 2.0))> 10.546 * * * * [progress]: [ 56 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 57 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 58 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 59 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 60 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 61 / 112 ] simplifiying candidate # 10.546 * * * * [progress]: [ 62 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 63 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 64 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 65 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 66 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 67 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 68 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 69 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 70 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 71 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 72 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 73 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 74 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 75 / 112 ] simplifiying candidate # 10.547 * * * * [progress]: [ 76 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 77 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 78 / 112 ] simplifiying candidate #real (real->posit16 (sqrt (sqrt z))))) x)) 2.0))> 10.548 * * * * [progress]: [ 79 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 80 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 81 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 82 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 83 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 84 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 85 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 86 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 87 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 88 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 89 / 112 ] simplifiying candidate # 10.548 * * * * [progress]: [ 90 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 91 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 92 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 93 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 94 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 95 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 96 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 97 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 98 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 99 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 100 / 112 ] simplifiying candidate #real (real->posit16 (sqrt (sqrt z))))) (sqrt (sqrt z))) x)) 2.0))> 10.549 * * * * [progress]: [ 101 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 102 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 103 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 104 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 105 / 112 ] simplifiying candidate # 10.549 * * * * [progress]: [ 106 / 112 ] simplifiying candidate # 10.550 * * * * [progress]: [ 107 / 112 ] simplifiying candidate # 10.550 * * * * [progress]: [ 108 / 112 ] simplifiying candidate # 10.550 * * * * [progress]: [ 109 / 112 ] simplifiying candidate # 10.550 * * * * [progress]: [ 110 / 112 ] simplifiying candidate # 10.550 * * * * [progress]: [ 111 / 112 ] simplifiying candidate # 10.550 * * * * [progress]: [ 112 / 112 ] simplifiying candidate # 10.552 * [simplify]: Simplifying: (expm1 (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (log1p (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (+ (+ (log y) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (+ (log (* y (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (log (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (exp (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt 1)) (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) 1) (* (sqrt (sqrt z)) (sqrt (sqrt z))) (real->posit16 (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (expm1 (* y (sqrt (sqrt z)))) (log1p (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z))) (+ (log y) (log (sqrt (sqrt z)))) (log (* y (sqrt (sqrt z)))) (exp (* y (sqrt (sqrt z)))) (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (sqrt (* y (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* y (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* y (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt z)))) (* y 1) (* (cbrt y) (sqrt (sqrt z))) (* (sqrt y) (sqrt (sqrt z))) (* y (sqrt (sqrt z))) (real->posit16 (* y (sqrt (sqrt z)))) (expm1 (sqrt (sqrt z))) (log1p (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (real->posit16 (sqrt (sqrt z))) (expm1 (sqrt (sqrt z))) (log1p (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (real->posit16 (sqrt (sqrt z))) (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) (- (+ (* +nan.0 (/ y (pow z 2))) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y z))))))) (* (pow z 1/4) y) (* (pow z 1/4) y) (- (* y (sqrt +nan.0)) (+ (* +nan.0 (/ y (* (pow z 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ y (* (pow z 2) (sqrt +nan.0)))) (- (* +nan.0 (/ y (* z (sqrt +nan.0))))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow z 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ 1 (* z (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow z 2) (pow (sqrt +nan.0) 3))))))))) 10.554 * * [simplify]: iteration 0: 141 enodes 10.621 * * [simplify]: iteration 1: 371 enodes 10.870 * * [simplify]: iteration 2: 1356 enodes 11.747 * * [simplify]: iteration complete: 5004 enodes 11.747 * * [simplify]: Extracting #0: cost 57 inf + 0 11.748 * * [simplify]: Extracting #1: cost 393 inf + 4 11.757 * * [simplify]: Extracting #2: cost 1370 inf + 4927 11.792 * * [simplify]: Extracting #3: cost 1117 inf + 90989 11.853 * * [simplify]: Extracting #4: cost 236 inf + 230735 11.932 * * [simplify]: Extracting #5: cost 26 inf + 279702 12.038 * * [simplify]: Extracting #6: cost 3 inf + 285702 12.100 * * [simplify]: Extracting #7: cost 0 inf + 286601 12.169 * [simplify]: Simplified to: (expm1 (* y (sqrt z))) (log1p (* y (sqrt z))) (* y (sqrt z)) (* y (sqrt z)) (log (* y (sqrt z))) (log (* y (sqrt z))) (log (* y (sqrt z))) (exp (* y (sqrt z))) (* (* (* z (sqrt z)) (* y y)) y) (* (* (* z (sqrt z)) (* y y)) y) (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z)))) (cbrt (* y (sqrt z))) (* (* (* z (sqrt z)) (* y y)) y) (sqrt (* y (sqrt z))) (sqrt (* y (sqrt z))) (* (cbrt (sqrt (sqrt z))) (* (* (cbrt (sqrt (sqrt z))) y) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (fabs (cbrt (sqrt z)))) (* y (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z))))) (* (sqrt (sqrt (sqrt z))) (* (sqrt (sqrt z)) y)) (* (sqrt (sqrt z)) y) (* (sqrt (sqrt (sqrt z))) (* (sqrt (sqrt z)) y)) (* (sqrt (sqrt z)) y) (* (sqrt (sqrt (sqrt z))) (* (sqrt (sqrt z)) y)) (* (sqrt (sqrt z)) y) (sqrt z) (real->posit16 (* y (sqrt z))) (expm1 (* (sqrt (sqrt z)) y)) (log1p (* (sqrt (sqrt z)) y)) (* (sqrt (sqrt z)) y) (log (* (sqrt (sqrt z)) y)) (log (* (sqrt (sqrt z)) y)) (exp (* (sqrt (sqrt z)) y)) (* (* y y) (* y (* (sqrt z) (sqrt (sqrt z))))) (* (cbrt (* (sqrt (sqrt z)) y)) (cbrt (* (sqrt (sqrt z)) y))) (cbrt (* (sqrt (sqrt z)) y)) (* (* y y) (* y (* (sqrt z) (sqrt (sqrt z))))) (sqrt (* (sqrt (sqrt z)) y)) (sqrt (* (sqrt (sqrt z)) y)) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (sqrt y) (sqrt (sqrt (sqrt z)))) (* (* y (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z)))) (* (fabs (cbrt (sqrt z))) y) (* y (sqrt (fabs (cbrt z)))) (* y (sqrt (sqrt (sqrt z)))) y (* y (sqrt (sqrt (sqrt z)))) y (* y (sqrt (sqrt (sqrt z)))) y (* (cbrt y) (sqrt (sqrt z))) (* (sqrt (sqrt z)) (sqrt y)) (* (sqrt (sqrt z)) y) (real->posit16 (* (sqrt (sqrt z)) y)) (expm1 (sqrt (sqrt z))) (log1p (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (sqrt z) (sqrt (sqrt z))) (fabs (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (real->posit16 (sqrt (sqrt z))) (expm1 (sqrt (sqrt z))) (log1p (sqrt (sqrt z))) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (sqrt z) (sqrt (sqrt z))) (fabs (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (real->posit16 (sqrt (sqrt z))) (fma (* (* z y) (- (* z z))) +nan.0 (* +nan.0 (- (* z y) (* z (* z y))))) (fma (- (/ y (* z z))) +nan.0 (* +nan.0 (- y (/ y z)))) (fma (- (/ y (* z z))) +nan.0 (* +nan.0 (- y (/ y z)))) (* y (pow z 1/4)) (* y (pow z 1/4)) (- (* (sqrt +nan.0) y) (* +nan.0 (- (/ y (* (sqrt +nan.0) (* +nan.0 (* z z)))) (- (/ (/ y (* z z)) (sqrt +nan.0)) (/ (/ y z) (sqrt +nan.0)))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (- (sqrt +nan.0) (- (/ (/ +nan.0 (sqrt +nan.0)) (* z z)) (/ +nan.0 (* (sqrt +nan.0) z)))) (/ +nan.0 (* (sqrt +nan.0) (* +nan.0 (* z z))))) (pow z 1/4) (pow (/ 1 z) -1/4) (- (- (sqrt +nan.0) (- (/ (/ +nan.0 (sqrt +nan.0)) (* z z)) (/ +nan.0 (* (sqrt +nan.0) z)))) (/ +nan.0 (* (sqrt +nan.0) (* +nan.0 (* z z))))) 12.183 * * * [progress]: adding candidates to table 12.829 * [progress]: [Phase 3 of 3] Extracting. 12.829 * * [regime]: Finding splitpoints for: (# # # # # #) 12.831 * * * [regime-changes]: Trying 5 branch expressions: ((sqrt z) (* y (sqrt z)) z y x) 12.831 * * * * [regimes]: Trying to branch on (sqrt z) from (# # # # # #) 12.930 * * * * [regimes]: Trying to branch on (* y (sqrt z)) from (# # # # # #) 13.016 * * * * [regimes]: Trying to branch on z from (# # # # # #) 13.086 * * * * [regimes]: Trying to branch on y from (# # # # # #) 13.168 * * * * [regimes]: Trying to branch on x from (# # # # # #) 13.255 * * * [regime]: Found split indices: #