12.991 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying:
  (/ (* 4.0 (- (- x y) (* z 0.5))) z)
0.030 * * [simplify]: iteration 0: 10 enodes
0.031 * * [simplify]: iteration 1: 20 enodes
0.035 * * [simplify]: iteration 2: 47 enodes
0.045 * * [simplify]: iteration 3: 138 enodes
0.086 * * [simplify]: iteration 4: 375 enodes
0.342 * * [simplify]: iteration 5: 1379 enodes
1.286 * * [simplify]: iteration complete: 5001 enodes
1.286 * * [simplify]: Extracting #0: cost 1 inf + 0
1.286 * * [simplify]: Extracting #1: cost 254 inf + 0
1.289 * * [simplify]: Extracting #2: cost 1027 inf + 112
1.295 * * [simplify]: Extracting #3: cost 801 inf + 4350
1.305 * * [simplify]: Extracting #4: cost 36 inf + 8911
1.314 * * [simplify]: Extracting #5: cost 0 inf + 9095
1.320 * [simplify]: Simplified to:
  (* (/ 4.0 z) (- x (fma 0.5 z y)))
1.324 * * [progress]: iteration 1 / 4
1.324 * * * [progress]: picking best candidate
1.330 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))>
1.331 * * * [progress]: localizing error
1.342 * * * [progress]: generating rewritten candidates
1.343 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.466 * * * [progress]: generating series expansions
1.466 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.466 * [backup-simplify]: Simplify (/ (* 4.0 (- (- x y) (* z 0.5))) z) into (* 4.0 (/ (- x (+ (* 0.5 z) y)) z))
1.467 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in (x y z) around 0
1.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z
1.467 * [taylor]: Taking taylor expansion of 4.0 in z
1.467 * [backup-simplify]: Simplify 4.0 into 4.0
1.467 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z
1.467 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
1.467 * [taylor]: Taking taylor expansion of x in z
1.467 * [backup-simplify]: Simplify x into x
1.467 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
1.467 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
1.467 * [taylor]: Taking taylor expansion of 0.5 in z
1.467 * [backup-simplify]: Simplify 0.5 into 0.5
1.467 * [taylor]: Taking taylor expansion of z in z
1.467 * [backup-simplify]: Simplify 0 into 0
1.467 * [backup-simplify]: Simplify 1 into 1
1.467 * [taylor]: Taking taylor expansion of y in z
1.467 * [backup-simplify]: Simplify y into y
1.467 * [taylor]: Taking taylor expansion of z in z
1.467 * [backup-simplify]: Simplify 0 into 0
1.467 * [backup-simplify]: Simplify 1 into 1
1.468 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.468 * [backup-simplify]: Simplify (+ 0 y) into y
1.468 * [backup-simplify]: Simplify (- y) into (- y)
1.468 * [backup-simplify]: Simplify (+ x (- y)) into (- x y)
1.468 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y)
1.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in y
1.468 * [taylor]: Taking taylor expansion of 4.0 in y
1.468 * [backup-simplify]: Simplify 4.0 into 4.0
1.468 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in y
1.468 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y
1.468 * [taylor]: Taking taylor expansion of x in y
1.468 * [backup-simplify]: Simplify x into x
1.468 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
1.468 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
1.468 * [taylor]: Taking taylor expansion of 0.5 in y
1.469 * [backup-simplify]: Simplify 0.5 into 0.5
1.469 * [taylor]: Taking taylor expansion of z in y
1.469 * [backup-simplify]: Simplify z into z
1.469 * [taylor]: Taking taylor expansion of y in y
1.469 * [backup-simplify]: Simplify 0 into 0
1.469 * [backup-simplify]: Simplify 1 into 1
1.469 * [taylor]: Taking taylor expansion of z in y
1.469 * [backup-simplify]: Simplify z into z
1.469 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
1.469 * [backup-simplify]: Simplify (+ (* 0.5 z) 0) into (* 0.5 z)
1.469 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
1.469 * [backup-simplify]: Simplify (+ x (- (* 0.5 z))) into (- x (* 0.5 z))
1.469 * [backup-simplify]: Simplify (/ (- x (* 0.5 z)) z) into (/ (- x (* 0.5 z)) z)
1.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
1.469 * [taylor]: Taking taylor expansion of 4.0 in x
1.469 * [backup-simplify]: Simplify 4.0 into 4.0
1.469 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
1.469 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.469 * [backup-simplify]: Simplify 0 into 0
1.469 * [backup-simplify]: Simplify 1 into 1
1.470 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
1.470 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
1.470 * [taylor]: Taking taylor expansion of 0.5 in x
1.470 * [backup-simplify]: Simplify 0.5 into 0.5
1.470 * [taylor]: Taking taylor expansion of z in x
1.470 * [backup-simplify]: Simplify z into z
1.470 * [taylor]: Taking taylor expansion of y in x
1.470 * [backup-simplify]: Simplify y into y
1.470 * [taylor]: Taking taylor expansion of z in x
1.470 * [backup-simplify]: Simplify z into z
1.470 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
1.470 * [backup-simplify]: Simplify (+ (* 0.5 z) y) into (+ (* 0.5 z) y)
1.470 * [backup-simplify]: Simplify (- (+ (* 0.5 z) y)) into (- (+ (* 0.5 z) y))
1.470 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.5 z) y))) into (- (+ (* 0.5 z) y))
1.470 * [backup-simplify]: Simplify (/ (- (+ (* 0.5 z) y)) z) into (* -1 (/ (+ (* 0.5 z) y) z))
1.470 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
1.470 * [taylor]: Taking taylor expansion of 4.0 in x
1.470 * [backup-simplify]: Simplify 4.0 into 4.0
1.470 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
1.471 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
1.471 * [taylor]: Taking taylor expansion of x in x
1.471 * [backup-simplify]: Simplify 0 into 0
1.471 * [backup-simplify]: Simplify 1 into 1
1.471 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
1.471 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
1.471 * [taylor]: Taking taylor expansion of 0.5 in x
1.471 * [backup-simplify]: Simplify 0.5 into 0.5
1.471 * [taylor]: Taking taylor expansion of z in x
1.471 * [backup-simplify]: Simplify z into z
1.471 * [taylor]: Taking taylor expansion of y in x
1.471 * [backup-simplify]: Simplify y into y
1.471 * [taylor]: Taking taylor expansion of z in x
1.471 * [backup-simplify]: Simplify z into z
1.471 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
1.471 * [backup-simplify]: Simplify (+ (* 0.5 z) y) into (+ (* 0.5 z) y)
1.471 * [backup-simplify]: Simplify (- (+ (* 0.5 z) y)) into (- (+ (* 0.5 z) y))
1.471 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.5 z) y))) into (- (+ (* 0.5 z) y))
1.471 * [backup-simplify]: Simplify (/ (- (+ (* 0.5 z) y)) z) into (* -1 (/ (+ (* 0.5 z) y) z))
1.472 * [backup-simplify]: Simplify (* 4.0 (* -1 (/ (+ (* 0.5 z) y) z))) into (* -4.0 (/ (+ (* 0.5 z) y) z))
1.472 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (* 0.5 z) y) z)) in y
1.472 * [taylor]: Taking taylor expansion of -4.0 in y
1.472 * [backup-simplify]: Simplify -4.0 into -4.0
1.472 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 z) y) z) in y
1.472 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
1.472 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
1.472 * [taylor]: Taking taylor expansion of 0.5 in y
1.472 * [backup-simplify]: Simplify 0.5 into 0.5
1.472 * [taylor]: Taking taylor expansion of z in y
1.472 * [backup-simplify]: Simplify z into z
1.472 * [taylor]: Taking taylor expansion of y in y
1.472 * [backup-simplify]: Simplify 0 into 0
1.472 * [backup-simplify]: Simplify 1 into 1
1.472 * [taylor]: Taking taylor expansion of z in y
1.472 * [backup-simplify]: Simplify z into z
1.472 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
1.472 * [backup-simplify]: Simplify (+ (* 0.5 z) 0) into (* 0.5 z)
1.472 * [backup-simplify]: Simplify (/ (* 0.5 z) z) into 0.5
1.473 * [backup-simplify]: Simplify (* -4.0 0.5) into -2.0
1.473 * [taylor]: Taking taylor expansion of -2.0 in z
1.473 * [backup-simplify]: Simplify -2.0 into -2.0
1.474 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0
1.474 * [backup-simplify]: Simplify (+ 0 0) into 0
1.475 * [backup-simplify]: Simplify (- 0) into 0
1.475 * [backup-simplify]: Simplify (+ 1 0) into 1
1.475 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ (+ (* 0.5 z) y) z)) (/ 0 z)))) into (/ 1 z)
1.476 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 z)) (* 0 (* -1 (/ (+ (* 0.5 z) y) z)))) into (* 4.0 (/ 1 z))
1.476 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in y
1.476 * [taylor]: Taking taylor expansion of 4.0 in y
1.476 * [backup-simplify]: Simplify 4.0 into 4.0
1.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.476 * [taylor]: Taking taylor expansion of z in y
1.476 * [backup-simplify]: Simplify z into z
1.476 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.476 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
1.476 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z
1.476 * [taylor]: Taking taylor expansion of 4.0 in z
1.476 * [backup-simplify]: Simplify 4.0 into 4.0
1.476 * [taylor]: Taking taylor expansion of z in z
1.476 * [backup-simplify]: Simplify 0 into 0
1.476 * [backup-simplify]: Simplify 1 into 1
1.477 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.477 * [backup-simplify]: Simplify 4.0 into 4.0
1.478 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0
1.478 * [backup-simplify]: Simplify (+ 0 1) into 1
1.478 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* 0.5 (/ 0 z)))) into (/ 1 z)
1.479 * [backup-simplify]: Simplify (+ (* -4.0 (/ 1 z)) (* 0 0.5)) into (- (* 4.0 (/ 1 z)))
1.479 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
1.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
1.479 * [taylor]: Taking taylor expansion of 4.0 in z
1.479 * [backup-simplify]: Simplify 4.0 into 4.0
1.479 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.479 * [taylor]: Taking taylor expansion of z in z
1.479 * [backup-simplify]: Simplify 0 into 0
1.479 * [backup-simplify]: Simplify 1 into 1
1.479 * [backup-simplify]: Simplify (/ 1 1) into 1
1.480 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.480 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.481 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.481 * [backup-simplify]: Simplify -2.0 into -2.0
1.482 * [backup-simplify]: Simplify (+ -2.0 (+ (* (- 4.0) (* (/ 1 z) (* y 1))) (* 4.0 (* (/ 1 z) (* 1 x))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.482 * [backup-simplify]: Simplify (/ (* 4.0 (- (- (/ 1 x) (/ 1 y)) (* (/ 1 z) 0.5))) (/ 1 z)) into (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z))
1.482 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (x y z) around 0
1.482 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
1.482 * [taylor]: Taking taylor expansion of 4.0 in z
1.482 * [backup-simplify]: Simplify 4.0 into 4.0
1.482 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
1.482 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
1.482 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.482 * [taylor]: Taking taylor expansion of x in z
1.482 * [backup-simplify]: Simplify x into x
1.482 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.482 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
1.483 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.483 * [taylor]: Taking taylor expansion of 0.5 in z
1.483 * [backup-simplify]: Simplify 0.5 into 0.5
1.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.483 * [taylor]: Taking taylor expansion of z in z
1.483 * [backup-simplify]: Simplify 0 into 0
1.483 * [backup-simplify]: Simplify 1 into 1
1.483 * [backup-simplify]: Simplify (/ 1 1) into 1
1.483 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.483 * [taylor]: Taking taylor expansion of y in z
1.483 * [backup-simplify]: Simplify y into y
1.483 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.483 * [taylor]: Taking taylor expansion of z in z
1.483 * [backup-simplify]: Simplify 0 into 0
1.483 * [backup-simplify]: Simplify 1 into 1
1.483 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y
1.484 * [taylor]: Taking taylor expansion of 4.0 in y
1.484 * [backup-simplify]: Simplify 4.0 into 4.0
1.484 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y
1.484 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y
1.484 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.484 * [taylor]: Taking taylor expansion of x in y
1.484 * [backup-simplify]: Simplify x into x
1.484 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.484 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
1.484 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
1.484 * [taylor]: Taking taylor expansion of 0.5 in y
1.484 * [backup-simplify]: Simplify 0.5 into 0.5
1.484 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.484 * [taylor]: Taking taylor expansion of z in y
1.484 * [backup-simplify]: Simplify z into z
1.484 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.484 * [taylor]: Taking taylor expansion of y in y
1.484 * [backup-simplify]: Simplify 0 into 0
1.484 * [backup-simplify]: Simplify 1 into 1
1.485 * [backup-simplify]: Simplify (/ 1 1) into 1
1.485 * [taylor]: Taking taylor expansion of z in y
1.485 * [backup-simplify]: Simplify z into z
1.485 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
1.485 * [taylor]: Taking taylor expansion of 4.0 in x
1.485 * [backup-simplify]: Simplify 4.0 into 4.0
1.485 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
1.485 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.485 * [backup-simplify]: Simplify 0 into 0
1.485 * [backup-simplify]: Simplify 1 into 1
1.485 * [backup-simplify]: Simplify (/ 1 1) into 1
1.485 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
1.485 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
1.485 * [taylor]: Taking taylor expansion of 0.5 in x
1.486 * [backup-simplify]: Simplify 0.5 into 0.5
1.486 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.486 * [taylor]: Taking taylor expansion of z in x
1.486 * [backup-simplify]: Simplify z into z
1.486 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.486 * [taylor]: Taking taylor expansion of y in x
1.486 * [backup-simplify]: Simplify y into y
1.486 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.486 * [taylor]: Taking taylor expansion of z in x
1.486 * [backup-simplify]: Simplify z into z
1.486 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
1.486 * [taylor]: Taking taylor expansion of 4.0 in x
1.486 * [backup-simplify]: Simplify 4.0 into 4.0
1.486 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
1.486 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
1.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.486 * [taylor]: Taking taylor expansion of x in x
1.486 * [backup-simplify]: Simplify 0 into 0
1.486 * [backup-simplify]: Simplify 1 into 1
1.487 * [backup-simplify]: Simplify (/ 1 1) into 1
1.487 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
1.487 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
1.487 * [taylor]: Taking taylor expansion of 0.5 in x
1.487 * [backup-simplify]: Simplify 0.5 into 0.5
1.487 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.487 * [taylor]: Taking taylor expansion of z in x
1.487 * [backup-simplify]: Simplify z into z
1.487 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.487 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.487 * [taylor]: Taking taylor expansion of y in x
1.487 * [backup-simplify]: Simplify y into y
1.487 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.487 * [taylor]: Taking taylor expansion of z in x
1.487 * [backup-simplify]: Simplify z into z
1.488 * [backup-simplify]: Simplify (+ 1 0) into 1
1.488 * [backup-simplify]: Simplify (* 1 z) into z
1.488 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
1.488 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
1.488 * [taylor]: Taking taylor expansion of 4.0 in y
1.488 * [backup-simplify]: Simplify 4.0 into 4.0
1.488 * [taylor]: Taking taylor expansion of z in y
1.488 * [backup-simplify]: Simplify z into z
1.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.489 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
1.489 * [backup-simplify]: Simplify (+ (/ 0.5 z) (/ 1 y)) into (+ (/ 1 y) (* 0.5 (/ 1 z)))
1.489 * [backup-simplify]: Simplify (- (+ (/ 1 y) (* 0.5 (/ 1 z)))) into (- (+ (/ 1 y) (* 0.5 (/ 1 z))))
1.489 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 y) (* 0.5 (/ 1 z))))) into (- (+ (* 0.5 (/ 1 z)) (/ 1 y)))
1.490 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) into (- (+ (/ z y) 0.5))
1.490 * [backup-simplify]: Simplify (+ (* 4.0 (- (+ (/ z y) 0.5))) (* 0 z)) into (- (+ (* 4.0 (/ z y)) 2.0))
1.490 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
1.490 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
1.491 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
1.491 * [taylor]: Taking taylor expansion of 4.0 in y
1.491 * [backup-simplify]: Simplify 4.0 into 4.0
1.491 * [taylor]: Taking taylor expansion of (/ z y) in y
1.491 * [taylor]: Taking taylor expansion of z in y
1.491 * [backup-simplify]: Simplify z into z
1.491 * [taylor]: Taking taylor expansion of y in y
1.491 * [backup-simplify]: Simplify 0 into 0
1.491 * [backup-simplify]: Simplify 1 into 1
1.491 * [backup-simplify]: Simplify (/ z 1) into z
1.491 * [taylor]: Taking taylor expansion of 2.0 in y
1.491 * [backup-simplify]: Simplify 2.0 into 2.0
1.491 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
1.491 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z)
1.491 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
1.491 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
1.491 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
1.491 * [taylor]: Taking taylor expansion of 4.0 in z
1.491 * [backup-simplify]: Simplify 4.0 into 4.0
1.491 * [taylor]: Taking taylor expansion of z in z
1.491 * [backup-simplify]: Simplify 0 into 0
1.491 * [backup-simplify]: Simplify 1 into 1
1.491 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
1.491 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
1.491 * [taylor]: Taking taylor expansion of 4.0 in z
1.491 * [backup-simplify]: Simplify 4.0 into 4.0
1.491 * [taylor]: Taking taylor expansion of z in z
1.491 * [backup-simplify]: Simplify 0 into 0
1.492 * [backup-simplify]: Simplify 1 into 1
1.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.493 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
1.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.494 * [backup-simplify]: Simplify (+ 0 0) into 0
1.496 * [backup-simplify]: Simplify (- 0) into 0
1.497 * [backup-simplify]: Simplify (+ 0 0) into 0
1.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y))) 0) (* 0 z))) into 0
1.499 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (+ (/ z y) 0.5))) (* 0 z))) into 0
1.499 * [taylor]: Taking taylor expansion of 0 in y
1.499 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.500 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
1.501 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
1.501 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.501 * [taylor]: Taking taylor expansion of (- 2.0) in z
1.501 * [taylor]: Taking taylor expansion of 2.0 in z
1.501 * [backup-simplify]: Simplify 2.0 into 2.0
1.502 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
1.502 * [taylor]: Taking taylor expansion of 0 in z
1.502 * [backup-simplify]: Simplify 0 into 0
1.502 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.503 * [backup-simplify]: Simplify (- 0) into 0
1.503 * [backup-simplify]: Simplify 0 into 0
1.503 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.503 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.505 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
1.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.506 * [backup-simplify]: Simplify (+ 0 0) into 0
1.506 * [backup-simplify]: Simplify (- 0) into 0
1.507 * [backup-simplify]: Simplify (+ 0 0) into 0
1.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y))) 0) (+ (* 0 0) (* 0 z)))) into 0
1.509 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (+ (/ z y) 0.5))) (* 0 z)))) into 0
1.509 * [taylor]: Taking taylor expansion of 0 in y
1.509 * [backup-simplify]: Simplify 0 into 0
1.509 * [taylor]: Taking taylor expansion of 0 in z
1.509 * [backup-simplify]: Simplify 0 into 0
1.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.511 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0
1.511 * [backup-simplify]: Simplify (+ 0 0) into 0
1.512 * [backup-simplify]: Simplify (- 0) into 0
1.512 * [taylor]: Taking taylor expansion of 0 in z
1.512 * [backup-simplify]: Simplify 0 into 0
1.513 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0
1.513 * [taylor]: Taking taylor expansion of 0 in z
1.513 * [backup-simplify]: Simplify 0 into 0
1.513 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.514 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.514 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.516 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.516 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.518 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.518 * [backup-simplify]: Simplify 4.0 into 4.0
1.519 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* (- 4.0) (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.519 * [backup-simplify]: Simplify (/ (* 4.0 (- (- (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- z)) 0.5))) (/ 1 (- z))) into (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z))
1.519 * [approximate]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in (x y z) around 0
1.519 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in z
1.519 * [taylor]: Taking taylor expansion of -4.0 in z
1.520 * [backup-simplify]: Simplify -4.0 into -4.0
1.520 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in z
1.520 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
1.520 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
1.520 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.520 * [taylor]: Taking taylor expansion of 0.5 in z
1.520 * [backup-simplify]: Simplify 0.5 into 0.5
1.520 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.520 * [taylor]: Taking taylor expansion of z in z
1.520 * [backup-simplify]: Simplify 0 into 0
1.520 * [backup-simplify]: Simplify 1 into 1
1.520 * [backup-simplify]: Simplify (/ 1 1) into 1
1.520 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.520 * [taylor]: Taking taylor expansion of y in z
1.520 * [backup-simplify]: Simplify y into y
1.520 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.520 * [taylor]: Taking taylor expansion of x in z
1.521 * [backup-simplify]: Simplify x into x
1.521 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.521 * [taylor]: Taking taylor expansion of z in z
1.521 * [backup-simplify]: Simplify 0 into 0
1.521 * [backup-simplify]: Simplify 1 into 1
1.521 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in y
1.521 * [taylor]: Taking taylor expansion of -4.0 in y
1.521 * [backup-simplify]: Simplify -4.0 into -4.0
1.521 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in y
1.521 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y
1.521 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
1.521 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
1.521 * [taylor]: Taking taylor expansion of 0.5 in y
1.521 * [backup-simplify]: Simplify 0.5 into 0.5
1.521 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.521 * [taylor]: Taking taylor expansion of z in y
1.521 * [backup-simplify]: Simplify z into z
1.521 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.521 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.521 * [backup-simplify]: Simplify 0 into 0
1.521 * [backup-simplify]: Simplify 1 into 1
1.522 * [backup-simplify]: Simplify (/ 1 1) into 1
1.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.522 * [taylor]: Taking taylor expansion of x in y
1.522 * [backup-simplify]: Simplify x into x
1.522 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.522 * [taylor]: Taking taylor expansion of z in y
1.522 * [backup-simplify]: Simplify z into z
1.522 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in x
1.522 * [taylor]: Taking taylor expansion of -4.0 in x
1.522 * [backup-simplify]: Simplify -4.0 into -4.0
1.522 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in x
1.522 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
1.522 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
1.522 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
1.522 * [taylor]: Taking taylor expansion of 0.5 in x
1.522 * [backup-simplify]: Simplify 0.5 into 0.5
1.522 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.522 * [taylor]: Taking taylor expansion of z in x
1.522 * [backup-simplify]: Simplify z into z
1.522 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.522 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.522 * [taylor]: Taking taylor expansion of y in x
1.522 * [backup-simplify]: Simplify y into y
1.522 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.523 * [backup-simplify]: Simplify 0 into 0
1.523 * [backup-simplify]: Simplify 1 into 1
1.523 * [backup-simplify]: Simplify (/ 1 1) into 1
1.523 * [taylor]: Taking taylor expansion of z in x
1.523 * [backup-simplify]: Simplify z into z
1.523 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in x
1.523 * [taylor]: Taking taylor expansion of -4.0 in x
1.523 * [backup-simplify]: Simplify -4.0 into -4.0
1.523 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in x
1.523 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
1.523 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
1.523 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
1.523 * [taylor]: Taking taylor expansion of 0.5 in x
1.523 * [backup-simplify]: Simplify 0.5 into 0.5
1.523 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.523 * [taylor]: Taking taylor expansion of z in x
1.523 * [backup-simplify]: Simplify z into z
1.523 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.524 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.524 * [taylor]: Taking taylor expansion of y in x
1.524 * [backup-simplify]: Simplify y into y
1.524 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.524 * [taylor]: Taking taylor expansion of x in x
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 1 into 1
1.524 * [backup-simplify]: Simplify (/ 1 1) into 1
1.524 * [taylor]: Taking taylor expansion of z in x
1.524 * [backup-simplify]: Simplify z into z
1.525 * [backup-simplify]: Simplify (- 1) into -1
1.525 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.525 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
1.525 * [backup-simplify]: Simplify (* -4.0 (* -1 z)) into (* 4.0 z)
1.525 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
1.525 * [taylor]: Taking taylor expansion of 4.0 in y
1.525 * [backup-simplify]: Simplify 4.0 into 4.0
1.525 * [taylor]: Taking taylor expansion of z in y
1.525 * [backup-simplify]: Simplify z into z
1.525 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
1.526 * [backup-simplify]: Simplify (+ (/ 0.5 z) (/ 1 y)) into (+ (/ 1 y) (* 0.5 (/ 1 z)))
1.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.527 * [backup-simplify]: Simplify (- 0) into 0
1.527 * [backup-simplify]: Simplify (+ (+ (/ 1 y) (* 0.5 (/ 1 z))) 0) into (+ (/ 1 y) (* 0.5 (/ 1 z)))
1.528 * [backup-simplify]: Simplify (+ (* -1 0) (* (+ (/ 1 y) (* 0.5 (/ 1 z))) z)) into (+ (/ z y) 0.5)
1.528 * [backup-simplify]: Simplify (+ (* -4.0 (+ (/ z y) 0.5)) (* 0 (* -1 z))) into (- (+ (* 4.0 (/ z y)) 2.0))
1.528 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
1.528 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
1.528 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
1.528 * [taylor]: Taking taylor expansion of 4.0 in y
1.528 * [backup-simplify]: Simplify 4.0 into 4.0
1.528 * [taylor]: Taking taylor expansion of (/ z y) in y
1.528 * [taylor]: Taking taylor expansion of z in y
1.528 * [backup-simplify]: Simplify z into z
1.528 * [taylor]: Taking taylor expansion of y in y
1.528 * [backup-simplify]: Simplify 0 into 0
1.528 * [backup-simplify]: Simplify 1 into 1
1.528 * [backup-simplify]: Simplify (/ z 1) into z
1.528 * [taylor]: Taking taylor expansion of 2.0 in y
1.528 * [backup-simplify]: Simplify 2.0 into 2.0
1.528 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
1.528 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z)
1.529 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
1.529 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
1.529 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
1.529 * [taylor]: Taking taylor expansion of 4.0 in z
1.529 * [backup-simplify]: Simplify 4.0 into 4.0
1.529 * [taylor]: Taking taylor expansion of z in z
1.529 * [backup-simplify]: Simplify 0 into 0
1.529 * [backup-simplify]: Simplify 1 into 1
1.529 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
1.529 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
1.529 * [taylor]: Taking taylor expansion of 4.0 in z
1.529 * [backup-simplify]: Simplify 4.0 into 4.0
1.529 * [taylor]: Taking taylor expansion of z in z
1.529 * [backup-simplify]: Simplify 0 into 0
1.529 * [backup-simplify]: Simplify 1 into 1
1.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.530 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
1.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.530 * [backup-simplify]: Simplify (+ 0 0) into 0
1.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.532 * [backup-simplify]: Simplify (- 0) into 0
1.533 * [backup-simplify]: Simplify (+ 0 0) into 0
1.533 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (+ (/ 1 y) (* 0.5 (/ 1 z))) 0) (* 0 z))) into 0
1.534 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (+ (/ z y) 0.5)) (* 0 (* -1 z)))) into 0
1.534 * [taylor]: Taking taylor expansion of 0 in y
1.534 * [backup-simplify]: Simplify 0 into 0
1.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.535 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
1.536 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
1.536 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.536 * [taylor]: Taking taylor expansion of (- 2.0) in z
1.536 * [taylor]: Taking taylor expansion of 2.0 in z
1.536 * [backup-simplify]: Simplify 2.0 into 2.0
1.537 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
1.537 * [taylor]: Taking taylor expansion of 0 in z
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.538 * [backup-simplify]: Simplify (- 0) into 0
1.538 * [backup-simplify]: Simplify 0 into 0
1.538 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.538 * [backup-simplify]: Simplify 0 into 0
1.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.539 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
1.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.540 * [backup-simplify]: Simplify (+ 0 0) into 0
1.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.541 * [backup-simplify]: Simplify (- 0) into 0
1.542 * [backup-simplify]: Simplify (+ 0 0) into 0
1.543 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (+ (/ 1 y) (* 0.5 (/ 1 z))) 0) (+ (* 0 0) (* 0 z)))) into 0
1.544 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (+ (/ z y) 0.5)) (* 0 (* -1 z))))) into 0
1.544 * [taylor]: Taking taylor expansion of 0 in y
1.544 * [backup-simplify]: Simplify 0 into 0
1.544 * [taylor]: Taking taylor expansion of 0 in z
1.544 * [backup-simplify]: Simplify 0 into 0
1.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.547 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0
1.547 * [backup-simplify]: Simplify (+ 0 0) into 0
1.547 * [backup-simplify]: Simplify (- 0) into 0
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.547 * [backup-simplify]: Simplify 0 into 0
1.548 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0
1.548 * [taylor]: Taking taylor expansion of 0 in z
1.548 * [backup-simplify]: Simplify 0 into 0
1.549 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.549 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.549 * [backup-simplify]: Simplify 0 into 0
1.550 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.550 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.550 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.551 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.551 * [backup-simplify]: Simplify 4.0 into 4.0
1.552 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* (- 4.0) (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.552 * * * [progress]: simplifying candidates
1.553 * [simplify]: Simplifying:
  (expm1 (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (log1p (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (- (+ (log 4.0) (log (- (- x y) (* z 0.5)))) (log z))
  (- (log (* 4.0 (- (- x y) (* z 0.5)))) (log z))
  (log (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (exp (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (/ (* (* (* 4.0 4.0) 4.0) (* (* (- (- x y) (* z 0.5)) (- (- x y) (* z 0.5))) (- (- x y) (* z 0.5)))) (* (* z z) z))
  (/ (* (* (* 4.0 (- (- x y) (* z 0.5))) (* 4.0 (- (- x y) (* z 0.5)))) (* 4.0 (- (- x y) (* z 0.5)))) (* (* z z) z))
  (* (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)))
  (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (* (* (/ (* 4.0 (- (- x y) (* z 0.5))) z) (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (- (* 4.0 (- (- x y) (* z 0.5))))
  (- z)
  (/ 4.0 (* (cbrt z) (cbrt z)))
  (/ (- (- x y) (* z 0.5)) (cbrt z))
  (/ 4.0 (sqrt z))
  (/ (- (- x y) (* z 0.5)) (sqrt z))
  (/ 4.0 1)
  (/ (- (- x y) (* z 0.5)) z)
  (/ 1 z)
  (/ z (* 4.0 (- (- x y) (* z 0.5))))
  (/ (* 4.0 (- (- x y) (* z 0.5))) (* (cbrt z) (cbrt z)))
  (/ (* 4.0 (- (- x y) (* z 0.5))) (sqrt z))
  (/ (* 4.0 (- (- x y) (* z 0.5))) 1)
  (/ z (- (- x y) (* z 0.5)))
  (* z (+ (* (- x y) (- x y)) (+ (* (* z 0.5) (* z 0.5)) (* (- x y) (* z 0.5)))))
  (* z (+ (- x y) (* z 0.5)))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.553 * * [simplify]: iteration 0: 70 enodes
1.568 * * [simplify]: iteration 1: 201 enodes
1.646 * * [simplify]: iteration 2: 923 enodes
2.202 * * [simplify]: iteration complete: 5000 enodes
2.202 * * [simplify]: Extracting #0: cost 25 inf + 0
2.204 * * [simplify]: Extracting #1: cost 664 inf + 1
2.213 * * [simplify]: Extracting #2: cost 1674 inf + 95
2.236 * * [simplify]: Extracting #3: cost 1943 inf + 1632
2.252 * * [simplify]: Extracting #4: cost 767 inf + 14950
2.267 * * [simplify]: Extracting #5: cost 74 inf + 25809
2.282 * * [simplify]: Extracting #6: cost 0 inf + 27067
2.296 * [simplify]: Simplified to:
  (expm1 (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (log1p (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (log (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (log (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (log (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (pow (exp (/ 4.0 z)) (- x (fma 0.5 z y)))
  (pow (/ (- x (fma 0.5 z y)) (/ z 4.0)) 3)
  (pow (/ (- x (fma 0.5 z y)) (/ z 4.0)) 3)
  (* (cbrt (/ (- x (fma 0.5 z y)) (/ z 4.0))) (cbrt (/ (- x (fma 0.5 z y)) (/ z 4.0))))
  (cbrt (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (pow (/ (- x (fma 0.5 z y)) (/ z 4.0)) 3)
  (sqrt (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (sqrt (/ (- x (fma 0.5 z y)) (/ z 4.0)))
  (- (* (- x (fma 0.5 z y)) 4.0))
  (- z)
  (/ 4.0 (* (cbrt z) (cbrt z)))
  (/ (- x (fma 0.5 z y)) (cbrt z))
  (/ 4.0 (sqrt z))
  (/ (- x (fma 0.5 z y)) (sqrt z))
  4.0
  (/ (- x (fma 0.5 z y)) z)
  (/ 1 z)
  (/ (/ z 4.0) (- x (fma 0.5 z y)))
  (/ (* (/ 4.0 (cbrt z)) (- x (fma 0.5 z y))) (cbrt z))
  (* (/ 4.0 (sqrt z)) (- x (fma 0.5 z y)))
  (* (- x (fma 0.5 z y)) 4.0)
  (/ z (- x (fma 0.5 z y)))
  (* z (fma (- (fma 0.5 z x) y) (* z 0.5) (* (- x y) (- x y))))
  (* z (- (fma 0.5 z x) y))
  (fma 4.0 (/ (- x y) z) (- 2.0))
  (fma 4.0 (/ (- x y) z) (- 2.0))
  (fma 4.0 (/ (- x y) z) (- 2.0))
2.296 * * * [progress]: adding candidates to table
2.406 * * [progress]: iteration 2 / 4
2.406 * * * [progress]: picking best candidate
2.413 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 4.0 (/ (- x y) z) (- 2.0)))>
2.413 * * * [progress]: localizing error
2.431 * * * [progress]: generating rewritten candidates
2.431 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.460 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.463 * * * [progress]: generating series expansions
2.463 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.463 * [backup-simplify]: Simplify (/ (- x y) z) into (/ (- x y) z)
2.463 * [approximate]: Taking taylor expansion of (/ (- x y) z) in (x y z) around 0
2.463 * [taylor]: Taking taylor expansion of (/ (- x y) z) in z
2.463 * [taylor]: Taking taylor expansion of (- x y) in z
2.463 * [taylor]: Taking taylor expansion of x in z
2.463 * [backup-simplify]: Simplify x into x
2.463 * [taylor]: Taking taylor expansion of y in z
2.463 * [backup-simplify]: Simplify y into y
2.463 * [taylor]: Taking taylor expansion of z in z
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 1 into 1
2.463 * [backup-simplify]: Simplify (- y) into (- y)
2.463 * [backup-simplify]: Simplify (+ x (- y)) into (- x y)
2.463 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y)
2.463 * [taylor]: Taking taylor expansion of (/ (- x y) z) in y
2.464 * [taylor]: Taking taylor expansion of (- x y) in y
2.464 * [taylor]: Taking taylor expansion of x in y
2.464 * [backup-simplify]: Simplify x into x
2.464 * [taylor]: Taking taylor expansion of y in y
2.464 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify 1 into 1
2.464 * [taylor]: Taking taylor expansion of z in y
2.464 * [backup-simplify]: Simplify z into z
2.464 * [backup-simplify]: Simplify (- 0) into 0
2.465 * [backup-simplify]: Simplify (+ x 0) into x
2.465 * [backup-simplify]: Simplify (/ x z) into (/ x z)
2.465 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x
2.465 * [taylor]: Taking taylor expansion of (- x y) in x
2.465 * [taylor]: Taking taylor expansion of x in x
2.465 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify 1 into 1
2.465 * [taylor]: Taking taylor expansion of y in x
2.465 * [backup-simplify]: Simplify y into y
2.465 * [taylor]: Taking taylor expansion of z in x
2.465 * [backup-simplify]: Simplify z into z
2.465 * [backup-simplify]: Simplify (- y) into (- y)
2.465 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
2.465 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z))
2.465 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x
2.465 * [taylor]: Taking taylor expansion of (- x y) in x
2.465 * [taylor]: Taking taylor expansion of x in x
2.465 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify 1 into 1
2.465 * [taylor]: Taking taylor expansion of y in x
2.465 * [backup-simplify]: Simplify y into y
2.465 * [taylor]: Taking taylor expansion of z in x
2.465 * [backup-simplify]: Simplify z into z
2.465 * [backup-simplify]: Simplify (- y) into (- y)
2.465 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
2.466 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z))
2.466 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y
2.466 * [taylor]: Taking taylor expansion of -1 in y
2.466 * [backup-simplify]: Simplify -1 into -1
2.466 * [taylor]: Taking taylor expansion of (/ y z) in y
2.466 * [taylor]: Taking taylor expansion of y in y
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 1 into 1
2.466 * [taylor]: Taking taylor expansion of z in y
2.466 * [backup-simplify]: Simplify z into z
2.466 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.467 * [backup-simplify]: Simplify (- 0) into 0
2.467 * [backup-simplify]: Simplify (+ 1 0) into 1
2.468 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ y z)) (/ 0 z)))) into (/ 1 z)
2.468 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.468 * [taylor]: Taking taylor expansion of z in y
2.468 * [backup-simplify]: Simplify z into z
2.468 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.468 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.468 * [taylor]: Taking taylor expansion of z in z
2.468 * [backup-simplify]: Simplify 0 into 0
2.468 * [backup-simplify]: Simplify 1 into 1
2.469 * [backup-simplify]: Simplify (/ 1 1) into 1
2.469 * [backup-simplify]: Simplify 1 into 1
2.469 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
2.469 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.469 * [taylor]: Taking taylor expansion of -1 in z
2.469 * [backup-simplify]: Simplify -1 into -1
2.469 * [taylor]: Taking taylor expansion of z in z
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.470 * [backup-simplify]: Simplify (/ -1 1) into -1
2.470 * [backup-simplify]: Simplify -1 into -1
2.471 * [backup-simplify]: Simplify (- 0) into 0
2.471 * [backup-simplify]: Simplify (+ 0 0) into 0
2.471 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ y z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0
2.471 * [taylor]: Taking taylor expansion of 0 in y
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [taylor]: Taking taylor expansion of 0 in z
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.472 * [taylor]: Taking taylor expansion of 0 in z
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
2.473 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0
2.473 * [taylor]: Taking taylor expansion of 0 in z
2.473 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify (- 0) into 0
2.476 * [backup-simplify]: Simplify (+ 0 0) into 0
2.477 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ y z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.477 * [taylor]: Taking taylor expansion of 0 in y
2.477 * [backup-simplify]: Simplify 0 into 0
2.477 * [taylor]: Taking taylor expansion of 0 in z
2.477 * [backup-simplify]: Simplify 0 into 0
2.477 * [taylor]: Taking taylor expansion of 0 in z
2.477 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.477 * [taylor]: Taking taylor expansion of 0 in z
2.477 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.479 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
2.479 * [taylor]: Taking taylor expansion of 0 in z
2.479 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.481 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* y 1))) (* 1 (* (/ 1 z) (* 1 x)))) into (- (/ x z) (/ y z))
2.481 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (/ 1 z)) into (* z (- (/ 1 x) (/ 1 y)))
2.481 * [approximate]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in (x y z) around 0
2.481 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z
2.481 * [taylor]: Taking taylor expansion of z in z
2.482 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify 1 into 1
2.482 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
2.482 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.482 * [taylor]: Taking taylor expansion of x in z
2.482 * [backup-simplify]: Simplify x into x
2.482 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.482 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.482 * [taylor]: Taking taylor expansion of y in z
2.482 * [backup-simplify]: Simplify y into y
2.482 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.482 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
2.482 * [taylor]: Taking taylor expansion of z in y
2.482 * [backup-simplify]: Simplify z into z
2.482 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
2.482 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.482 * [taylor]: Taking taylor expansion of x in y
2.482 * [backup-simplify]: Simplify x into x
2.482 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.482 * [taylor]: Taking taylor expansion of y in y
2.482 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify 1 into 1
2.483 * [backup-simplify]: Simplify (/ 1 1) into 1
2.483 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x
2.483 * [taylor]: Taking taylor expansion of z in x
2.483 * [backup-simplify]: Simplify z into z
2.483 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
2.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.483 * [taylor]: Taking taylor expansion of x in x
2.483 * [backup-simplify]: Simplify 0 into 0
2.483 * [backup-simplify]: Simplify 1 into 1
2.484 * [backup-simplify]: Simplify (/ 1 1) into 1
2.484 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.484 * [taylor]: Taking taylor expansion of y in x
2.484 * [backup-simplify]: Simplify y into y
2.484 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.484 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x
2.484 * [taylor]: Taking taylor expansion of z in x
2.484 * [backup-simplify]: Simplify z into z
2.484 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
2.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.484 * [taylor]: Taking taylor expansion of x in x
2.484 * [backup-simplify]: Simplify 0 into 0
2.484 * [backup-simplify]: Simplify 1 into 1
2.485 * [backup-simplify]: Simplify (/ 1 1) into 1
2.485 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.485 * [taylor]: Taking taylor expansion of y in x
2.485 * [backup-simplify]: Simplify y into y
2.485 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.486 * [backup-simplify]: Simplify (+ 1 0) into 1
2.486 * [backup-simplify]: Simplify (* z 1) into z
2.486 * [taylor]: Taking taylor expansion of z in y
2.486 * [backup-simplify]: Simplify z into z
2.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.487 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.487 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
2.488 * [backup-simplify]: Simplify (+ (* z (- (/ 1 y))) (* 0 1)) into (- (/ z y))
2.488 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
2.488 * [taylor]: Taking taylor expansion of (/ z y) in y
2.488 * [taylor]: Taking taylor expansion of z in y
2.488 * [backup-simplify]: Simplify z into z
2.488 * [taylor]: Taking taylor expansion of y in y
2.488 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify (/ z 1) into z
2.489 * [backup-simplify]: Simplify (- z) into (- z)
2.489 * [taylor]: Taking taylor expansion of (- z) in z
2.489 * [taylor]: Taking taylor expansion of z in z
2.489 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify (- 0) into 0
2.489 * [backup-simplify]: Simplify 0 into 0
2.490 * [taylor]: Taking taylor expansion of z in z
2.490 * [backup-simplify]: Simplify 0 into 0
2.490 * [backup-simplify]: Simplify 1 into 1
2.490 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.492 * [backup-simplify]: Simplify (- 0) into 0
2.492 * [backup-simplify]: Simplify (+ 0 0) into 0
2.493 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
2.493 * [taylor]: Taking taylor expansion of 0 in y
2.493 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.494 * [backup-simplify]: Simplify (- 0) into 0
2.494 * [taylor]: Taking taylor expansion of 0 in z
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [taylor]: Taking taylor expansion of 0 in z
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify (- 1) into -1
2.495 * [backup-simplify]: Simplify -1 into -1
2.495 * [backup-simplify]: Simplify 1 into 1
2.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.497 * [backup-simplify]: Simplify (- 0) into 0
2.497 * [backup-simplify]: Simplify (+ 0 0) into 0
2.498 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
2.498 * [taylor]: Taking taylor expansion of 0 in y
2.498 * [backup-simplify]: Simplify 0 into 0
2.498 * [taylor]: Taking taylor expansion of 0 in z
2.498 * [backup-simplify]: Simplify 0 into 0
2.498 * [backup-simplify]: Simplify 0 into 0
2.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.501 * [backup-simplify]: Simplify (- 0) into 0
2.501 * [taylor]: Taking taylor expansion of 0 in z
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [taylor]: Taking taylor expansion of 0 in z
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify (- 0) into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1)))) into (- (/ x z) (/ y z))
2.502 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (* (- (/ 1 y) (/ 1 x)) z))
2.502 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in (x y z) around 0
2.502 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in z
2.502 * [taylor]: Taking taylor expansion of -1 in z
2.502 * [backup-simplify]: Simplify -1 into -1
2.502 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z
2.502 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
2.502 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.502 * [taylor]: Taking taylor expansion of y in z
2.502 * [backup-simplify]: Simplify y into y
2.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.502 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.503 * [taylor]: Taking taylor expansion of x in z
2.503 * [backup-simplify]: Simplify x into x
2.503 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.503 * [taylor]: Taking taylor expansion of z in z
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 1 into 1
2.503 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in y
2.503 * [taylor]: Taking taylor expansion of -1 in y
2.503 * [backup-simplify]: Simplify -1 into -1
2.503 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
2.503 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
2.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.503 * [taylor]: Taking taylor expansion of y in y
2.503 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify 1 into 1
2.503 * [backup-simplify]: Simplify (/ 1 1) into 1
2.504 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.504 * [taylor]: Taking taylor expansion of x in y
2.504 * [backup-simplify]: Simplify x into x
2.504 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.504 * [taylor]: Taking taylor expansion of z in y
2.504 * [backup-simplify]: Simplify z into z
2.504 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x
2.504 * [taylor]: Taking taylor expansion of -1 in x
2.504 * [backup-simplify]: Simplify -1 into -1
2.504 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x
2.504 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
2.504 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.504 * [taylor]: Taking taylor expansion of y in x
2.504 * [backup-simplify]: Simplify y into y
2.504 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.504 * [taylor]: Taking taylor expansion of x in x
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 1 into 1
2.505 * [backup-simplify]: Simplify (/ 1 1) into 1
2.505 * [taylor]: Taking taylor expansion of z in x
2.505 * [backup-simplify]: Simplify z into z
2.505 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x
2.505 * [taylor]: Taking taylor expansion of -1 in x
2.505 * [backup-simplify]: Simplify -1 into -1
2.505 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x
2.505 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
2.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.505 * [taylor]: Taking taylor expansion of y in x
2.505 * [backup-simplify]: Simplify y into y
2.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.505 * [taylor]: Taking taylor expansion of x in x
2.505 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify 1 into 1
2.506 * [backup-simplify]: Simplify (/ 1 1) into 1
2.506 * [taylor]: Taking taylor expansion of z in x
2.506 * [backup-simplify]: Simplify z into z
2.506 * [backup-simplify]: Simplify (- 1) into -1
2.507 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.507 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
2.507 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z
2.507 * [taylor]: Taking taylor expansion of z in y
2.507 * [backup-simplify]: Simplify z into z
2.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.509 * [backup-simplify]: Simplify (- 0) into 0
2.509 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.509 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) z)) into (/ z y)
2.510 * [backup-simplify]: Simplify (+ (* -1 (/ z y)) (* 0 (* -1 z))) into (- (/ z y))
2.510 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
2.510 * [taylor]: Taking taylor expansion of (/ z y) in y
2.510 * [taylor]: Taking taylor expansion of z in y
2.510 * [backup-simplify]: Simplify z into z
2.510 * [taylor]: Taking taylor expansion of y in y
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (/ z 1) into z
2.510 * [backup-simplify]: Simplify (- z) into (- z)
2.510 * [taylor]: Taking taylor expansion of (- z) in z
2.510 * [taylor]: Taking taylor expansion of z in z
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (- 0) into 0
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [taylor]: Taking taylor expansion of z in z
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify 1 into 1
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.512 * [backup-simplify]: Simplify (- 0) into 0
2.513 * [backup-simplify]: Simplify (+ 0 0) into 0
2.513 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 z))) into 0
2.514 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z y)) (* 0 (* -1 z)))) into 0
2.514 * [taylor]: Taking taylor expansion of 0 in y
2.514 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.516 * [backup-simplify]: Simplify (- 0) into 0
2.516 * [taylor]: Taking taylor expansion of 0 in z
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [taylor]: Taking taylor expansion of 0 in z
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (- 1) into -1
2.517 * [backup-simplify]: Simplify -1 into -1
2.517 * [backup-simplify]: Simplify 1 into 1
2.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.519 * [backup-simplify]: Simplify (- 0) into 0
2.519 * [backup-simplify]: Simplify (+ 0 0) into 0
2.527 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 z)))) into 0
2.528 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z y)) (* 0 (* -1 z))))) into 0
2.529 * [taylor]: Taking taylor expansion of 0 in y
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [taylor]: Taking taylor expansion of 0 in z
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.531 * [backup-simplify]: Simplify (- 0) into 0
2.531 * [taylor]: Taking taylor expansion of 0 in z
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [taylor]: Taking taylor expansion of 0 in z
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify (- 0) into 0
2.532 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1)))) into (- (/ x z) (/ y z))
2.533 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.533 * [backup-simplify]: Simplify (fma 4.0 (/ (- x y) z) (- 2.0)) into (fma 4.0 (/ (- x y) z) (- 2.0))
2.533 * [approximate]: Taking taylor expansion of (fma 4.0 (/ (- x y) z) (- 2.0)) in (x y z) around 0
2.533 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (- x y) z) (- 2.0)) in z
2.533 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (- x y) z)) (- 2.0))
2.533 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x y) z)) in z
2.533 * [taylor]: Taking taylor expansion of 4.0 in z
2.533 * [backup-simplify]: Simplify 4.0 into 4.0
2.533 * [taylor]: Taking taylor expansion of (/ (- x y) z) in z
2.533 * [taylor]: Taking taylor expansion of (- x y) in z
2.534 * [taylor]: Taking taylor expansion of x in z
2.534 * [backup-simplify]: Simplify x into x
2.534 * [taylor]: Taking taylor expansion of y in z
2.534 * [backup-simplify]: Simplify y into y
2.534 * [taylor]: Taking taylor expansion of z in z
2.534 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify 1 into 1
2.534 * [backup-simplify]: Simplify (- y) into (- y)
2.534 * [backup-simplify]: Simplify (+ x (- y)) into (- x y)
2.534 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y)
2.534 * [taylor]: Taking taylor expansion of (- 2.0) in z
2.534 * [taylor]: Taking taylor expansion of 2.0 in z
2.534 * [backup-simplify]: Simplify 2.0 into 2.0
2.534 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (- x y) z) (- 2.0)) in y
2.534 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (- x y) z)) (- 2.0))
2.534 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x y) z)) in y
2.534 * [taylor]: Taking taylor expansion of 4.0 in y
2.534 * [backup-simplify]: Simplify 4.0 into 4.0
2.534 * [taylor]: Taking taylor expansion of (/ (- x y) z) in y
2.534 * [taylor]: Taking taylor expansion of (- x y) in y
2.534 * [taylor]: Taking taylor expansion of x in y
2.534 * [backup-simplify]: Simplify x into x
2.534 * [taylor]: Taking taylor expansion of y in y
2.534 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify 1 into 1
2.534 * [taylor]: Taking taylor expansion of z in y
2.534 * [backup-simplify]: Simplify z into z
2.534 * [backup-simplify]: Simplify (- 0) into 0
2.535 * [backup-simplify]: Simplify (+ x 0) into x
2.535 * [backup-simplify]: Simplify (/ x z) into (/ x z)
2.535 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.535 * [taylor]: Taking taylor expansion of 2.0 in y
2.535 * [backup-simplify]: Simplify 2.0 into 2.0
2.535 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (- x y) z) (- 2.0)) in x
2.535 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (- x y) z)) (- 2.0))
2.535 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x y) z)) in x
2.535 * [taylor]: Taking taylor expansion of 4.0 in x
2.535 * [backup-simplify]: Simplify 4.0 into 4.0
2.535 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x
2.535 * [taylor]: Taking taylor expansion of (- x y) in x
2.535 * [taylor]: Taking taylor expansion of x in x
2.535 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify 1 into 1
2.535 * [taylor]: Taking taylor expansion of y in x
2.535 * [backup-simplify]: Simplify y into y
2.535 * [taylor]: Taking taylor expansion of z in x
2.535 * [backup-simplify]: Simplify z into z
2.535 * [backup-simplify]: Simplify (- y) into (- y)
2.535 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
2.535 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z))
2.535 * [taylor]: Taking taylor expansion of (- 2.0) in x
2.535 * [taylor]: Taking taylor expansion of 2.0 in x
2.535 * [backup-simplify]: Simplify 2.0 into 2.0
2.535 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (- x y) z) (- 2.0)) in x
2.535 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (- x y) z)) (- 2.0))
2.535 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x y) z)) in x
2.535 * [taylor]: Taking taylor expansion of 4.0 in x
2.535 * [backup-simplify]: Simplify 4.0 into 4.0
2.535 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x
2.535 * [taylor]: Taking taylor expansion of (- x y) in x
2.535 * [taylor]: Taking taylor expansion of x in x
2.535 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify 1 into 1
2.535 * [taylor]: Taking taylor expansion of y in x
2.535 * [backup-simplify]: Simplify y into y
2.535 * [taylor]: Taking taylor expansion of z in x
2.535 * [backup-simplify]: Simplify z into z
2.535 * [backup-simplify]: Simplify (- y) into (- y)
2.535 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
2.536 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z))
2.536 * [taylor]: Taking taylor expansion of (- 2.0) in x
2.536 * [taylor]: Taking taylor expansion of 2.0 in x
2.536 * [backup-simplify]: Simplify 2.0 into 2.0
2.536 * [backup-simplify]: Simplify (* 4.0 (* -1 (/ y z))) into (* -4.0 (/ y z))
2.536 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.536 * [backup-simplify]: Simplify (+ (* -4.0 (/ y z)) (- 2.0)) into (- (+ (* 4.0 (/ y z)) 2.0))
2.536 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y z)) 2.0)) in y
2.537 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y z)) 2.0) in y
2.537 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
2.537 * [taylor]: Taking taylor expansion of 4.0 in y
2.537 * [backup-simplify]: Simplify 4.0 into 4.0
2.537 * [taylor]: Taking taylor expansion of (/ y z) in y
2.537 * [taylor]: Taking taylor expansion of y in y
2.537 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify 1 into 1
2.537 * [taylor]: Taking taylor expansion of z in y
2.537 * [backup-simplify]: Simplify z into z
2.537 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.537 * [taylor]: Taking taylor expansion of 2.0 in y
2.537 * [backup-simplify]: Simplify 2.0 into 2.0
2.537 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.537 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.537 * [taylor]: Taking taylor expansion of (- 2.0) in z
2.537 * [taylor]: Taking taylor expansion of 2.0 in z
2.537 * [backup-simplify]: Simplify 2.0 into 2.0
2.538 * [backup-simplify]: Simplify (- 0) into 0
2.538 * [backup-simplify]: Simplify (+ 1 0) into 1
2.538 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ y z)) (/ 0 z)))) into (/ 1 z)
2.539 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 z)) (* 0 (* -1 (/ y z)))) into (* 4.0 (/ 1 z))
2.539 * [backup-simplify]: Simplify (- 0) into 0
2.539 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 z)) 0) into (* 4.0 (/ 1 z))
2.539 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in y
2.539 * [taylor]: Taking taylor expansion of 4.0 in y
2.539 * [backup-simplify]: Simplify 4.0 into 4.0
2.539 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.539 * [taylor]: Taking taylor expansion of z in y
2.539 * [backup-simplify]: Simplify z into z
2.539 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.539 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
2.539 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z
2.539 * [taylor]: Taking taylor expansion of 4.0 in z
2.539 * [backup-simplify]: Simplify 4.0 into 4.0
2.539 * [taylor]: Taking taylor expansion of z in z
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 1 into 1
2.540 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
2.540 * [backup-simplify]: Simplify 4.0 into 4.0
2.540 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
2.540 * [backup-simplify]: Simplify (+ (/ 4.0 z) 0) into (* 4.0 (/ 1 z))
2.540 * [backup-simplify]: Simplify (- (* 4.0 (/ 1 z))) into (- (* 4.0 (/ 1 z)))
2.540 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
2.540 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
2.540 * [taylor]: Taking taylor expansion of 4.0 in z
2.540 * [backup-simplify]: Simplify 4.0 into 4.0
2.540 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.540 * [taylor]: Taking taylor expansion of z in z
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify 1 into 1
2.540 * [backup-simplify]: Simplify (/ 1 1) into 1
2.541 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
2.541 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
2.541 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
2.541 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.542 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.542 * [backup-simplify]: Simplify (+ (- 2.0) (+ (* (- 4.0) (* (/ 1 z) (* y 1))) (* 4.0 (* (/ 1 z) (* 1 x))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
2.543 * [backup-simplify]: Simplify (fma 4.0 (/ (- (/ 1 x) (/ 1 y)) (/ 1 z)) (- 2.0)) into (fma 4.0 (* z (- (/ 1 x) (/ 1 y))) (- 2.0))
2.543 * [approximate]: Taking taylor expansion of (fma 4.0 (* z (- (/ 1 x) (/ 1 y))) (- 2.0)) in (x y z) around 0
2.543 * [taylor]: Taking taylor expansion of (fma 4.0 (* z (- (/ 1 x) (/ 1 y))) (- 2.0)) in z
2.543 * [taylor]: Rewrote expression to (+ (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) (- 2.0))
2.543 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) in z
2.543 * [taylor]: Taking taylor expansion of 4.0 in z
2.543 * [backup-simplify]: Simplify 4.0 into 4.0
2.543 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z
2.543 * [taylor]: Taking taylor expansion of z in z
2.543 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify 1 into 1
2.543 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
2.543 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.543 * [taylor]: Taking taylor expansion of x in z
2.543 * [backup-simplify]: Simplify x into x
2.543 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.543 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.543 * [taylor]: Taking taylor expansion of y in z
2.543 * [backup-simplify]: Simplify y into y
2.543 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.543 * [taylor]: Taking taylor expansion of (- 2.0) in z
2.543 * [taylor]: Taking taylor expansion of 2.0 in z
2.543 * [backup-simplify]: Simplify 2.0 into 2.0
2.543 * [taylor]: Taking taylor expansion of (fma 4.0 (* z (- (/ 1 x) (/ 1 y))) (- 2.0)) in y
2.543 * [taylor]: Rewrote expression to (+ (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) (- 2.0))
2.543 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) in y
2.543 * [taylor]: Taking taylor expansion of 4.0 in y
2.543 * [backup-simplify]: Simplify 4.0 into 4.0
2.543 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
2.544 * [taylor]: Taking taylor expansion of z in y
2.544 * [backup-simplify]: Simplify z into z
2.544 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
2.544 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.544 * [taylor]: Taking taylor expansion of x in y
2.544 * [backup-simplify]: Simplify x into x
2.544 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.544 * [taylor]: Taking taylor expansion of y in y
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 1 into 1
2.544 * [backup-simplify]: Simplify (/ 1 1) into 1
2.544 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.544 * [taylor]: Taking taylor expansion of 2.0 in y
2.544 * [backup-simplify]: Simplify 2.0 into 2.0
2.544 * [taylor]: Taking taylor expansion of (fma 4.0 (* z (- (/ 1 x) (/ 1 y))) (- 2.0)) in x
2.544 * [taylor]: Rewrote expression to (+ (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) (- 2.0))
2.544 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) in x
2.544 * [taylor]: Taking taylor expansion of 4.0 in x
2.544 * [backup-simplify]: Simplify 4.0 into 4.0
2.544 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x
2.544 * [taylor]: Taking taylor expansion of z in x
2.544 * [backup-simplify]: Simplify z into z
2.544 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
2.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.544 * [taylor]: Taking taylor expansion of x in x
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 1 into 1
2.545 * [backup-simplify]: Simplify (/ 1 1) into 1
2.545 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.545 * [taylor]: Taking taylor expansion of y in x
2.545 * [backup-simplify]: Simplify y into y
2.545 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.545 * [taylor]: Taking taylor expansion of (- 2.0) in x
2.545 * [taylor]: Taking taylor expansion of 2.0 in x
2.545 * [backup-simplify]: Simplify 2.0 into 2.0
2.545 * [taylor]: Taking taylor expansion of (fma 4.0 (* z (- (/ 1 x) (/ 1 y))) (- 2.0)) in x
2.545 * [taylor]: Rewrote expression to (+ (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) (- 2.0))
2.545 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (/ 1 y)))) in x
2.545 * [taylor]: Taking taylor expansion of 4.0 in x
2.545 * [backup-simplify]: Simplify 4.0 into 4.0
2.545 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x
2.545 * [taylor]: Taking taylor expansion of z in x
2.545 * [backup-simplify]: Simplify z into z
2.545 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
2.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.545 * [taylor]: Taking taylor expansion of x in x
2.545 * [backup-simplify]: Simplify 0 into 0
2.545 * [backup-simplify]: Simplify 1 into 1
2.546 * [backup-simplify]: Simplify (/ 1 1) into 1
2.546 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.546 * [taylor]: Taking taylor expansion of y in x
2.546 * [backup-simplify]: Simplify y into y
2.546 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.546 * [taylor]: Taking taylor expansion of (- 2.0) in x
2.546 * [taylor]: Taking taylor expansion of 2.0 in x
2.546 * [backup-simplify]: Simplify 2.0 into 2.0
2.546 * [backup-simplify]: Simplify (+ 1 0) into 1
2.546 * [backup-simplify]: Simplify (* z 1) into z
2.546 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
2.546 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z)
2.546 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
2.546 * [taylor]: Taking taylor expansion of 4.0 in y
2.546 * [backup-simplify]: Simplify 4.0 into 4.0
2.546 * [taylor]: Taking taylor expansion of z in y
2.546 * [backup-simplify]: Simplify z into z
2.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.547 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.547 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
2.548 * [backup-simplify]: Simplify (+ (* z (- (/ 1 y))) (* 0 1)) into (- (/ z y))
2.548 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ z y))) (* 0 z)) into (- (* 4.0 (/ z y)))
2.548 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.548 * [backup-simplify]: Simplify (+ (- (* 4.0 (/ z y))) (- 2.0)) into (- (+ (* 4.0 (/ z y)) 2.0))
2.548 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
2.548 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
2.548 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
2.548 * [taylor]: Taking taylor expansion of 4.0 in y
2.548 * [backup-simplify]: Simplify 4.0 into 4.0
2.548 * [taylor]: Taking taylor expansion of (/ z y) in y
2.548 * [taylor]: Taking taylor expansion of z in y
2.548 * [backup-simplify]: Simplify z into z
2.548 * [taylor]: Taking taylor expansion of y in y
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify 1 into 1
2.549 * [backup-simplify]: Simplify (/ z 1) into z
2.549 * [taylor]: Taking taylor expansion of 2.0 in y
2.549 * [backup-simplify]: Simplify 2.0 into 2.0
2.549 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
2.549 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z)
2.549 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
2.549 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
2.549 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
2.549 * [taylor]: Taking taylor expansion of 4.0 in z
2.549 * [backup-simplify]: Simplify 4.0 into 4.0
2.549 * [taylor]: Taking taylor expansion of z in z
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify 1 into 1
2.549 * [backup-simplify]: Simplify (* 4.0 0) into 0
2.550 * [backup-simplify]: Simplify (- 0) into 0
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
2.550 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
2.550 * [taylor]: Taking taylor expansion of 4.0 in z
2.550 * [backup-simplify]: Simplify 4.0 into 4.0
2.550 * [taylor]: Taking taylor expansion of z in z
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 1 into 1
2.550 * [backup-simplify]: Simplify (* 4.0 0) into 0
2.550 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.551 * [backup-simplify]: Simplify (- 0) into 0
2.551 * [backup-simplify]: Simplify (+ 0 0) into 0
2.552 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
2.552 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ z y))) (* 0 z))) into 0
2.552 * [backup-simplify]: Simplify (- 0) into 0
2.552 * [backup-simplify]: Simplify (+ 0 0) into 0
2.552 * [taylor]: Taking taylor expansion of 0 in y
2.553 * [backup-simplify]: Simplify 0 into 0
2.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.553 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
2.554 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.554 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.554 * [taylor]: Taking taylor expansion of (- 2.0) in z
2.554 * [taylor]: Taking taylor expansion of 2.0 in z
2.554 * [backup-simplify]: Simplify 2.0 into 2.0
2.554 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.554 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.555 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
2.555 * [taylor]: Taking taylor expansion of 0 in z
2.555 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
2.556 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
2.556 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
2.557 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
2.557 * [backup-simplify]: Simplify 4.0 into 4.0
2.558 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* (- 4.0) (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
2.559 * [backup-simplify]: Simplify (fma 4.0 (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (- 2.0)) into (fma 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z)) (- 2.0))
2.559 * [approximate]: Taking taylor expansion of (fma 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z)) (- 2.0)) in (x y z) around 0
2.559 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z)) (- 2.0)) in z
2.559 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) (- 2.0))
2.559 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) in z
2.559 * [taylor]: Taking taylor expansion of 4.0 in z
2.559 * [backup-simplify]: Simplify 4.0 into 4.0
2.559 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in z
2.559 * [taylor]: Taking taylor expansion of -1 in z
2.559 * [backup-simplify]: Simplify -1 into -1
2.559 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z
2.559 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.559 * [taylor]: Taking taylor expansion of y in z
2.559 * [backup-simplify]: Simplify y into y
2.559 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.559 * [taylor]: Taking taylor expansion of x in z
2.559 * [backup-simplify]: Simplify x into x
2.559 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.559 * [taylor]: Taking taylor expansion of z in z
2.559 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify 1 into 1
2.559 * [taylor]: Taking taylor expansion of (- 2.0) in z
2.559 * [taylor]: Taking taylor expansion of 2.0 in z
2.559 * [backup-simplify]: Simplify 2.0 into 2.0
2.559 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z)) (- 2.0)) in y
2.559 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) (- 2.0))
2.559 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) in y
2.559 * [taylor]: Taking taylor expansion of 4.0 in y
2.559 * [backup-simplify]: Simplify 4.0 into 4.0
2.559 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in y
2.559 * [taylor]: Taking taylor expansion of -1 in y
2.559 * [backup-simplify]: Simplify -1 into -1
2.559 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
2.559 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.559 * [taylor]: Taking taylor expansion of y in y
2.560 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify 1 into 1
2.560 * [backup-simplify]: Simplify (/ 1 1) into 1
2.560 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.560 * [taylor]: Taking taylor expansion of x in y
2.560 * [backup-simplify]: Simplify x into x
2.560 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.560 * [taylor]: Taking taylor expansion of z in y
2.560 * [backup-simplify]: Simplify z into z
2.560 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.560 * [taylor]: Taking taylor expansion of 2.0 in y
2.560 * [backup-simplify]: Simplify 2.0 into 2.0
2.560 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z)) (- 2.0)) in x
2.560 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) (- 2.0))
2.560 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) in x
2.560 * [taylor]: Taking taylor expansion of 4.0 in x
2.560 * [backup-simplify]: Simplify 4.0 into 4.0
2.560 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x
2.560 * [taylor]: Taking taylor expansion of -1 in x
2.560 * [backup-simplify]: Simplify -1 into -1
2.560 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x
2.560 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
2.560 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.560 * [taylor]: Taking taylor expansion of y in x
2.560 * [backup-simplify]: Simplify y into y
2.560 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.561 * [taylor]: Taking taylor expansion of x in x
2.561 * [backup-simplify]: Simplify 0 into 0
2.561 * [backup-simplify]: Simplify 1 into 1
2.561 * [backup-simplify]: Simplify (/ 1 1) into 1
2.561 * [taylor]: Taking taylor expansion of z in x
2.561 * [backup-simplify]: Simplify z into z
2.561 * [taylor]: Taking taylor expansion of (- 2.0) in x
2.561 * [taylor]: Taking taylor expansion of 2.0 in x
2.561 * [backup-simplify]: Simplify 2.0 into 2.0
2.561 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z)) (- 2.0)) in x
2.561 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) (- 2.0))
2.561 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (* (- (/ 1 y) (/ 1 x)) z))) in x
2.561 * [taylor]: Taking taylor expansion of 4.0 in x
2.561 * [backup-simplify]: Simplify 4.0 into 4.0
2.561 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x
2.561 * [taylor]: Taking taylor expansion of -1 in x
2.561 * [backup-simplify]: Simplify -1 into -1
2.561 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x
2.561 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
2.561 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.561 * [taylor]: Taking taylor expansion of y in x
2.561 * [backup-simplify]: Simplify y into y
2.561 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.561 * [taylor]: Taking taylor expansion of x in x
2.561 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify 1 into 1
2.562 * [backup-simplify]: Simplify (/ 1 1) into 1
2.562 * [taylor]: Taking taylor expansion of z in x
2.562 * [backup-simplify]: Simplify z into z
2.562 * [taylor]: Taking taylor expansion of (- 2.0) in x
2.562 * [taylor]: Taking taylor expansion of 2.0 in x
2.562 * [backup-simplify]: Simplify 2.0 into 2.0
2.562 * [backup-simplify]: Simplify (- 1) into -1
2.563 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.563 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
2.563 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z
2.563 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
2.563 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z)
2.563 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
2.563 * [taylor]: Taking taylor expansion of 4.0 in y
2.563 * [backup-simplify]: Simplify 4.0 into 4.0
2.563 * [taylor]: Taking taylor expansion of z in y
2.563 * [backup-simplify]: Simplify z into z
2.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.564 * [backup-simplify]: Simplify (- 0) into 0
2.564 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.564 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) z)) into (/ z y)
2.564 * [backup-simplify]: Simplify (+ (* -1 (/ z y)) (* 0 (* -1 z))) into (- (/ z y))
2.564 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ z y))) (* 0 z)) into (- (* 4.0 (/ z y)))
2.565 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.565 * [backup-simplify]: Simplify (+ (- (* 4.0 (/ z y))) (- 2.0)) into (- (+ (* 4.0 (/ z y)) 2.0))
2.565 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
2.565 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
2.565 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
2.565 * [taylor]: Taking taylor expansion of 4.0 in y
2.565 * [backup-simplify]: Simplify 4.0 into 4.0
2.565 * [taylor]: Taking taylor expansion of (/ z y) in y
2.565 * [taylor]: Taking taylor expansion of z in y
2.565 * [backup-simplify]: Simplify z into z
2.565 * [taylor]: Taking taylor expansion of y in y
2.565 * [backup-simplify]: Simplify 0 into 0
2.566 * [backup-simplify]: Simplify 1 into 1
2.566 * [backup-simplify]: Simplify (/ z 1) into z
2.566 * [taylor]: Taking taylor expansion of 2.0 in y
2.566 * [backup-simplify]: Simplify 2.0 into 2.0
2.566 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
2.566 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z)
2.566 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
2.566 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
2.566 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
2.566 * [taylor]: Taking taylor expansion of 4.0 in z
2.566 * [backup-simplify]: Simplify 4.0 into 4.0
2.566 * [taylor]: Taking taylor expansion of z in z
2.566 * [backup-simplify]: Simplify 0 into 0
2.566 * [backup-simplify]: Simplify 1 into 1
2.567 * [backup-simplify]: Simplify (* 4.0 0) into 0
2.567 * [backup-simplify]: Simplify (- 0) into 0
2.567 * [backup-simplify]: Simplify 0 into 0
2.567 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
2.567 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
2.567 * [taylor]: Taking taylor expansion of 4.0 in z
2.567 * [backup-simplify]: Simplify 4.0 into 4.0
2.567 * [taylor]: Taking taylor expansion of z in z
2.567 * [backup-simplify]: Simplify 0 into 0
2.567 * [backup-simplify]: Simplify 1 into 1
2.568 * [backup-simplify]: Simplify (* 4.0 0) into 0
2.568 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.570 * [backup-simplify]: Simplify (- 0) into 0
2.570 * [backup-simplify]: Simplify (+ 0 0) into 0
2.571 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 z))) into 0
2.572 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z y)) (* 0 (* -1 z)))) into 0
2.572 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ z y))) (* 0 z))) into 0
2.573 * [backup-simplify]: Simplify (- 0) into 0
2.573 * [backup-simplify]: Simplify (+ 0 0) into 0
2.573 * [taylor]: Taking taylor expansion of 0 in y
2.573 * [backup-simplify]: Simplify 0 into 0
2.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.575 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
2.576 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.576 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.576 * [taylor]: Taking taylor expansion of (- 2.0) in z
2.576 * [taylor]: Taking taylor expansion of 2.0 in z
2.576 * [backup-simplify]: Simplify 2.0 into 2.0
2.577 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.577 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.578 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
2.578 * [taylor]: Taking taylor expansion of 0 in z
2.578 * [backup-simplify]: Simplify 0 into 0
2.578 * [backup-simplify]: Simplify 0 into 0
2.579 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
2.580 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
2.580 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
2.582 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
2.582 * [backup-simplify]: Simplify 4.0 into 4.0
2.583 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* (- 4.0) (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
2.583 * * * [progress]: simplifying candidates
2.585 * [simplify]: Simplifying:
  (expm1 (/ (- x y) z))
  (log1p (/ (- x y) z))
  (- (log (- x y)) (log z))
  (log (/ (- x y) z))
  (exp (/ (- x y) z))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* z z) z))
  (* (cbrt (/ (- x y) z)) (cbrt (/ (- x y) z)))
  (cbrt (/ (- x y) z))
  (* (* (/ (- x y) z) (/ (- x y) z)) (/ (- x y) z))
  (sqrt (/ (- x y) z))
  (sqrt (/ (- x y) z))
  (- (- x y))
  (- z)
  (/ x z)
  (/ y z)
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (- x y)) (cbrt z))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt z))
  (/ (cbrt (- x y)) (sqrt z))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) z)
  (/ (sqrt (- x y)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- x y)) (cbrt z))
  (/ (sqrt (- x y)) (sqrt z))
  (/ (sqrt (- x y)) (sqrt z))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- x y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- x y) (sqrt z))
  (/ 1 1)
  (/ (- x y) z)
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt z) (cbrt z)))
  (/ (- (sqrt x) (sqrt y)) (cbrt z))
  (/ (+ (sqrt x) (sqrt y)) (sqrt z))
  (/ (- (sqrt x) (sqrt y)) (sqrt z))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- x y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- x y) (sqrt z))
  (/ 1 1)
  (/ (- x y) z)
  (/ 1 z)
  (/ z (- x y))
  (/ (- x y) (* (cbrt z) (cbrt z)))
  (/ (- x y) (sqrt z))
  (/ (- x y) 1)
  (/ z (cbrt (- x y)))
  (/ z (sqrt (- x y)))
  (/ z (- x y))
  (/ z (- (sqrt x) (sqrt y)))
  (/ z (- x y))
  (* z (+ (* x x) (+ (* y y) (* x y))))
  (* z (+ x y))
  (expm1 (fma 4.0 (/ (- x y) z) (- 2.0)))
  (log1p (fma 4.0 (/ (- x y) z) (- 2.0)))
  (* 4.0 (/ (- x y) z))
  (log (fma 4.0 (/ (- x y) z) (- 2.0)))
  (exp (fma 4.0 (/ (- x y) z) (- 2.0)))
  (* (cbrt (fma 4.0 (/ (- x y) z) (- 2.0))) (cbrt (fma 4.0 (/ (- x y) z) (- 2.0))))
  (cbrt (fma 4.0 (/ (- x y) z) (- 2.0)))
  (* (* (fma 4.0 (/ (- x y) z) (- 2.0)) (fma 4.0 (/ (- x y) z) (- 2.0))) (fma 4.0 (/ (- x y) z) (- 2.0)))
  (sqrt (fma 4.0 (/ (- x y) z) (- 2.0)))
  (sqrt (fma 4.0 (/ (- x y) z) (- 2.0)))
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
2.586 * * [simplify]: iteration 0: 93 enodes
2.603 * * [simplify]: iteration 1: 201 enodes
2.671 * * [simplify]: iteration 2: 649 enodes
3.286 * * [simplify]: iteration 3: 4139 enodes
4.968 * * [simplify]: iteration complete: 5000 enodes
4.968 * * [simplify]: Extracting #0: cost 54 inf + 0
4.971 * * [simplify]: Extracting #1: cost 553 inf + 1
4.981 * * [simplify]: Extracting #2: cost 1285 inf + 556
4.996 * * [simplify]: Extracting #3: cost 875 inf + 4059
5.011 * * [simplify]: Extracting #4: cost 83 inf + 11403
5.025 * * [simplify]: Extracting #5: cost 0 inf + 12092
5.044 * [simplify]: Simplified to:
  (expm1 (/ (- x y) z))
  (log1p (/ (- x y) z))
  (log (/ (- x y) z))
  (log (/ (- x y) z))
  (exp (/ (- x y) z))
  (pow (/ (- x y) z) 3)
  (* (cbrt (/ (- x y) z)) (cbrt (/ (- x y) z)))
  (cbrt (/ (- x y) z))
  (pow (/ (- x y) z) 3)
  (sqrt (/ (- x y) z))
  (sqrt (/ (- x y) z))
  (+ (- x) y)
  (- z)
  (/ x z)
  (/ y z)
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (- x y)) (cbrt z))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt z))
  (/ (cbrt (- x y)) (sqrt z))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) z)
  (/ (sqrt (- x y)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- x y)) (cbrt z))
  (/ (sqrt (- x y)) (sqrt z))
  (/ (sqrt (- x y)) (sqrt z))
  (sqrt (- x y))
  (/ (sqrt (- x y)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- x y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- x y) (sqrt z))
  1
  (/ (- x y) z)
  (/ (/ (+ (sqrt y) (sqrt x)) (cbrt z)) (cbrt z))
  (/ (- (sqrt x) (sqrt y)) (cbrt z))
  (/ (+ (sqrt y) (sqrt x)) (sqrt z))
  (/ (- (sqrt x) (sqrt y)) (sqrt z))
  (+ (sqrt y) (sqrt x))
  (/ (- (sqrt x) (sqrt y)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- x y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- x y) (sqrt z))
  1
  (/ (- x y) z)
  (/ 1 z)
  (/ z (- x y))
  (/ (- x y) (* (cbrt z) (cbrt z)))
  (/ (- x y) (sqrt z))
  (- x y)
  (/ z (cbrt (- x y)))
  (/ z (sqrt (- x y)))
  (/ z (- x y))
  (/ z (- (sqrt x) (sqrt y)))
  (/ z (- x y))
  (* (fma y (+ x y) (* x x)) z)
  (* z (+ x y))
  (expm1 (fma (/ 4.0 z) (- x y) (- 2.0)))
  (log1p (fma (/ 4.0 z) (- x y) (- 2.0)))
  (/ (- x y) (/ z 4.0))
  (log (fma (/ 4.0 z) (- x y) (- 2.0)))
  (exp (fma (/ 4.0 z) (- x y) (- 2.0)))
  (* (cbrt (fma (/ 4.0 z) (- x y) (- 2.0))) (cbrt (fma (/ 4.0 z) (- x y) (- 2.0))))
  (cbrt (fma (/ 4.0 z) (- x y) (- 2.0)))
  (pow (fma (/ 4.0 z) (- x y) (- 2.0)) 3)
  (sqrt (fma (/ 4.0 z) (- x y) (- 2.0)))
  (sqrt (fma (/ 4.0 z) (- x y) (- 2.0)))
  (/ (- x y) z)
  (/ (- x y) z)
  (/ (- x y) z)
  (fma (/ 4.0 z) (- x y) (- 2.0))
  (fma (/ 4.0 z) (- x y) (- 2.0))
  (fma (/ 4.0 z) (- x y) (- 2.0))
5.045 * * * [progress]: adding candidates to table
5.346 * * [progress]: iteration 3 / 4
5.346 * * * [progress]: picking best candidate
5.351 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (/ 4.0 z) (- x y) (- 2.0)))>
5.351 * * * [progress]: localizing error
5.364 * * * [progress]: generating rewritten candidates
5.364 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.364 * * * [progress]: generating series expansions
5.364 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.365 * [backup-simplify]: Simplify (fma (/ 4.0 z) (- x y) (- 2.0)) into (fma (/ 4.0 z) (- x y) (- 2.0))
5.365 * [approximate]: Taking taylor expansion of (fma (/ 4.0 z) (- x y) (- 2.0)) in (z x y) around 0
5.365 * [taylor]: Taking taylor expansion of (fma (/ 4.0 z) (- x y) (- 2.0)) in y
5.365 * [taylor]: Rewrote expression to (+ (* (/ 4.0 z) (- x y)) (- 2.0))
5.365 * [taylor]: Taking taylor expansion of (* (/ 4.0 z) (- x y)) in y
5.365 * [taylor]: Taking taylor expansion of (/ 4.0 z) in y
5.365 * [taylor]: Taking taylor expansion of 4.0 in y
5.365 * [backup-simplify]: Simplify 4.0 into 4.0
5.365 * [taylor]: Taking taylor expansion of z in y
5.365 * [backup-simplify]: Simplify z into z
5.365 * [backup-simplify]: Simplify (/ 4.0 z) into (/ 4.0 z)
5.365 * [taylor]: Taking taylor expansion of (- x y) in y
5.365 * [taylor]: Taking taylor expansion of x in y
5.365 * [backup-simplify]: Simplify x into x
5.365 * [taylor]: Taking taylor expansion of y in y
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify 1 into 1
5.365 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.365 * [taylor]: Taking taylor expansion of 2.0 in y
5.366 * [backup-simplify]: Simplify 2.0 into 2.0
5.366 * [taylor]: Taking taylor expansion of (fma (/ 4.0 z) (- x y) (- 2.0)) in x
5.366 * [taylor]: Rewrote expression to (+ (* (/ 4.0 z) (- x y)) (- 2.0))
5.366 * [taylor]: Taking taylor expansion of (* (/ 4.0 z) (- x y)) in x
5.366 * [taylor]: Taking taylor expansion of (/ 4.0 z) in x
5.366 * [taylor]: Taking taylor expansion of 4.0 in x
5.366 * [backup-simplify]: Simplify 4.0 into 4.0
5.366 * [taylor]: Taking taylor expansion of z in x
5.366 * [backup-simplify]: Simplify z into z
5.366 * [backup-simplify]: Simplify (/ 4.0 z) into (/ 4.0 z)
5.366 * [taylor]: Taking taylor expansion of (- x y) in x
5.366 * [taylor]: Taking taylor expansion of x in x
5.366 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify 1 into 1
5.366 * [taylor]: Taking taylor expansion of y in x
5.366 * [backup-simplify]: Simplify y into y
5.366 * [taylor]: Taking taylor expansion of (- 2.0) in x
5.366 * [taylor]: Taking taylor expansion of 2.0 in x
5.366 * [backup-simplify]: Simplify 2.0 into 2.0
5.366 * [taylor]: Taking taylor expansion of (fma (/ 4.0 z) (- x y) (- 2.0)) in z
5.366 * [taylor]: Rewrote expression to (+ (* (/ 4.0 z) (- x y)) (- 2.0))
5.366 * [taylor]: Taking taylor expansion of (* (/ 4.0 z) (- x y)) in z
5.366 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z
5.366 * [taylor]: Taking taylor expansion of 4.0 in z
5.366 * [backup-simplify]: Simplify 4.0 into 4.0
5.366 * [taylor]: Taking taylor expansion of z in z
5.366 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify 1 into 1
5.367 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.367 * [taylor]: Taking taylor expansion of (- x y) in z
5.367 * [taylor]: Taking taylor expansion of x in z
5.367 * [backup-simplify]: Simplify x into x
5.367 * [taylor]: Taking taylor expansion of y in z
5.367 * [backup-simplify]: Simplify y into y
5.367 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.367 * [taylor]: Taking taylor expansion of 2.0 in z
5.367 * [backup-simplify]: Simplify 2.0 into 2.0
5.367 * [taylor]: Taking taylor expansion of (fma (/ 4.0 z) (- x y) (- 2.0)) in z
5.367 * [taylor]: Rewrote expression to (+ (* (/ 4.0 z) (- x y)) (- 2.0))
5.367 * [taylor]: Taking taylor expansion of (* (/ 4.0 z) (- x y)) in z
5.367 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z
5.367 * [taylor]: Taking taylor expansion of 4.0 in z
5.367 * [backup-simplify]: Simplify 4.0 into 4.0
5.367 * [taylor]: Taking taylor expansion of z in z
5.367 * [backup-simplify]: Simplify 0 into 0
5.367 * [backup-simplify]: Simplify 1 into 1
5.367 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.368 * [taylor]: Taking taylor expansion of (- x y) in z
5.368 * [taylor]: Taking taylor expansion of x in z
5.368 * [backup-simplify]: Simplify x into x
5.368 * [taylor]: Taking taylor expansion of y in z
5.368 * [backup-simplify]: Simplify y into y
5.368 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.368 * [taylor]: Taking taylor expansion of 2.0 in z
5.368 * [backup-simplify]: Simplify 2.0 into 2.0
5.368 * [backup-simplify]: Simplify (- y) into (- y)
5.368 * [backup-simplify]: Simplify (+ x (- y)) into (- x y)
5.368 * [backup-simplify]: Simplify (* 4.0 (- x y)) into (* 4.0 (- x y))
5.368 * [backup-simplify]: Simplify (+ (* 4.0 (- x y)) 0) into (- (* 4.0 x) (* 4.0 y))
5.368 * [taylor]: Taking taylor expansion of (- (* 4.0 x) (* 4.0 y)) in x
5.368 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
5.368 * [taylor]: Taking taylor expansion of 4.0 in x
5.368 * [backup-simplify]: Simplify 4.0 into 4.0
5.368 * [taylor]: Taking taylor expansion of x in x
5.368 * [backup-simplify]: Simplify 0 into 0
5.368 * [backup-simplify]: Simplify 1 into 1
5.368 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
5.368 * [taylor]: Taking taylor expansion of 4.0 in x
5.368 * [backup-simplify]: Simplify 4.0 into 4.0
5.368 * [taylor]: Taking taylor expansion of y in x
5.368 * [backup-simplify]: Simplify y into y
5.368 * [backup-simplify]: Simplify (* 4.0 0) into 0
5.369 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
5.369 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
5.369 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y))
5.369 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y
5.369 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
5.369 * [taylor]: Taking taylor expansion of 4.0 in y
5.369 * [backup-simplify]: Simplify 4.0 into 4.0
5.369 * [taylor]: Taking taylor expansion of y in y
5.369 * [backup-simplify]: Simplify 0 into 0
5.369 * [backup-simplify]: Simplify 1 into 1
5.369 * [backup-simplify]: Simplify (* 4.0 0) into 0
5.369 * [backup-simplify]: Simplify (- 0) into 0
5.369 * [backup-simplify]: Simplify 0 into 0
5.370 * [backup-simplify]: Simplify (- 0) into 0
5.370 * [backup-simplify]: Simplify (+ 0 0) into 0
5.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
5.371 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (- x y))) into 0
5.371 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.371 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
5.372 * [taylor]: Taking taylor expansion of (- 2.0) in x
5.372 * [taylor]: Taking taylor expansion of 2.0 in x
5.372 * [backup-simplify]: Simplify 2.0 into 2.0
5.372 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.372 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.372 * [taylor]: Taking taylor expansion of 2.0 in y
5.372 * [backup-simplify]: Simplify 2.0 into 2.0
5.372 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.372 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.373 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
5.374 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
5.374 * [backup-simplify]: Simplify (- 0) into 0
5.374 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
5.374 * [taylor]: Taking taylor expansion of 4.0 in y
5.374 * [backup-simplify]: Simplify 4.0 into 4.0
5.374 * [backup-simplify]: Simplify 4.0 into 4.0
5.375 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
5.375 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
5.376 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
5.376 * [backup-simplify]: Simplify (+ (* (- 4.0) (* y (* 1 (/ 1 z)))) (+ (* 4.0 (* 1 (* x (/ 1 z)))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
5.377 * [backup-simplify]: Simplify (fma (/ 4.0 (/ 1 z)) (- (/ 1 x) (/ 1 y)) (- 2.0)) into (fma (* 4.0 z) (- (/ 1 x) (/ 1 y)) (- 2.0))
5.377 * [approximate]: Taking taylor expansion of (fma (* 4.0 z) (- (/ 1 x) (/ 1 y)) (- 2.0)) in (z x y) around 0
5.377 * [taylor]: Taking taylor expansion of (fma (* 4.0 z) (- (/ 1 x) (/ 1 y)) (- 2.0)) in y
5.377 * [taylor]: Rewrote expression to (+ (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) (- 2.0))
5.377 * [taylor]: Taking taylor expansion of (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) in y
5.377 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
5.377 * [taylor]: Taking taylor expansion of 4.0 in y
5.377 * [backup-simplify]: Simplify 4.0 into 4.0
5.377 * [taylor]: Taking taylor expansion of z in y
5.377 * [backup-simplify]: Simplify z into z
5.377 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.377 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.377 * [taylor]: Taking taylor expansion of x in y
5.377 * [backup-simplify]: Simplify x into x
5.377 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.377 * [taylor]: Taking taylor expansion of y in y
5.377 * [backup-simplify]: Simplify 0 into 0
5.377 * [backup-simplify]: Simplify 1 into 1
5.378 * [backup-simplify]: Simplify (/ 1 1) into 1
5.378 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.378 * [taylor]: Taking taylor expansion of 2.0 in y
5.378 * [backup-simplify]: Simplify 2.0 into 2.0
5.378 * [taylor]: Taking taylor expansion of (fma (* 4.0 z) (- (/ 1 x) (/ 1 y)) (- 2.0)) in x
5.378 * [taylor]: Rewrote expression to (+ (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) (- 2.0))
5.378 * [taylor]: Taking taylor expansion of (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) in x
5.378 * [taylor]: Taking taylor expansion of (* 4.0 z) in x
5.378 * [taylor]: Taking taylor expansion of 4.0 in x
5.378 * [backup-simplify]: Simplify 4.0 into 4.0
5.378 * [taylor]: Taking taylor expansion of z in x
5.378 * [backup-simplify]: Simplify z into z
5.378 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.378 * [taylor]: Taking taylor expansion of x in x
5.378 * [backup-simplify]: Simplify 0 into 0
5.378 * [backup-simplify]: Simplify 1 into 1
5.378 * [backup-simplify]: Simplify (/ 1 1) into 1
5.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.378 * [taylor]: Taking taylor expansion of y in x
5.378 * [backup-simplify]: Simplify y into y
5.378 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.378 * [taylor]: Taking taylor expansion of (- 2.0) in x
5.378 * [taylor]: Taking taylor expansion of 2.0 in x
5.378 * [backup-simplify]: Simplify 2.0 into 2.0
5.378 * [taylor]: Taking taylor expansion of (fma (* 4.0 z) (- (/ 1 x) (/ 1 y)) (- 2.0)) in z
5.378 * [taylor]: Rewrote expression to (+ (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) (- 2.0))
5.378 * [taylor]: Taking taylor expansion of (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) in z
5.379 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
5.379 * [taylor]: Taking taylor expansion of 4.0 in z
5.379 * [backup-simplify]: Simplify 4.0 into 4.0
5.379 * [taylor]: Taking taylor expansion of z in z
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
5.379 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.379 * [taylor]: Taking taylor expansion of x in z
5.379 * [backup-simplify]: Simplify x into x
5.379 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.379 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.379 * [taylor]: Taking taylor expansion of y in z
5.379 * [backup-simplify]: Simplify y into y
5.379 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.379 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.379 * [taylor]: Taking taylor expansion of 2.0 in z
5.379 * [backup-simplify]: Simplify 2.0 into 2.0
5.379 * [taylor]: Taking taylor expansion of (fma (* 4.0 z) (- (/ 1 x) (/ 1 y)) (- 2.0)) in z
5.379 * [taylor]: Rewrote expression to (+ (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) (- 2.0))
5.379 * [taylor]: Taking taylor expansion of (* (* 4.0 z) (- (/ 1 x) (/ 1 y))) in z
5.379 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
5.379 * [taylor]: Taking taylor expansion of 4.0 in z
5.379 * [backup-simplify]: Simplify 4.0 into 4.0
5.379 * [taylor]: Taking taylor expansion of z in z
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
5.379 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.379 * [taylor]: Taking taylor expansion of x in z
5.379 * [backup-simplify]: Simplify x into x
5.379 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.379 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.379 * [taylor]: Taking taylor expansion of y in z
5.379 * [backup-simplify]: Simplify y into y
5.379 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.379 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.379 * [taylor]: Taking taylor expansion of 2.0 in z
5.380 * [backup-simplify]: Simplify 2.0 into 2.0
5.380 * [backup-simplify]: Simplify (* 4.0 0) into 0
5.380 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.380 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
5.380 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 y))) into 0
5.381 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.381 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
5.381 * [taylor]: Taking taylor expansion of (- 2.0) in x
5.381 * [taylor]: Taking taylor expansion of 2.0 in x
5.381 * [backup-simplify]: Simplify 2.0 into 2.0
5.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.382 * [backup-simplify]: Simplify (- 0) into 0
5.382 * [backup-simplify]: Simplify (+ 0 0) into 0
5.383 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
5.383 * [backup-simplify]: Simplify (+ (* 0 0) (* 4.0 (- (/ 1 x) (/ 1 y)))) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y)))
5.383 * [backup-simplify]: Simplify (- 0) into 0
5.383 * [backup-simplify]: Simplify (+ (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) 0) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y)))
5.383 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
5.383 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.383 * [taylor]: Taking taylor expansion of 4.0 in x
5.384 * [backup-simplify]: Simplify 4.0 into 4.0
5.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.384 * [taylor]: Taking taylor expansion of x in x
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 1 into 1
5.384 * [backup-simplify]: Simplify (/ 1 1) into 1
5.384 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
5.384 * [taylor]: Taking taylor expansion of 4.0 in x
5.384 * [backup-simplify]: Simplify 4.0 into 4.0
5.384 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.384 * [taylor]: Taking taylor expansion of y in x
5.384 * [backup-simplify]: Simplify y into y
5.384 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.384 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
5.385 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
5.385 * [taylor]: Taking taylor expansion of 4.0 in y
5.385 * [backup-simplify]: Simplify 4.0 into 4.0
5.385 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.385 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.385 * [taylor]: Taking taylor expansion of 2.0 in y
5.385 * [backup-simplify]: Simplify 2.0 into 2.0
5.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.385 * [backup-simplify]: Simplify (- 0) into 0
5.386 * [backup-simplify]: Simplify (+ 0 0) into 0
5.386 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
5.387 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 4.0 0) (* 0 (- (/ 1 x) (/ 1 y))))) into 0
5.387 * [backup-simplify]: Simplify (- 0) into 0
5.387 * [backup-simplify]: Simplify (+ 0 0) into 0
5.387 * [taylor]: Taking taylor expansion of 0 in x
5.387 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.388 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
5.388 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
5.388 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
5.388 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y)))
5.389 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
5.389 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
5.389 * [taylor]: Taking taylor expansion of 4.0 in y
5.389 * [backup-simplify]: Simplify 4.0 into 4.0
5.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.389 * [taylor]: Taking taylor expansion of y in y
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify 1 into 1
5.389 * [backup-simplify]: Simplify (/ 1 1) into 1
5.389 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
5.390 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
5.390 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
5.390 * [backup-simplify]: Simplify (- 0) into 0
5.390 * [taylor]: Taking taylor expansion of 0 in y
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 4.0 into 4.0
5.390 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.391 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.391 * [backup-simplify]: Simplify (+ (- 2.0) (+ (* 4.0 (* 1 (* (/ 1 (/ 1 x)) (/ 1 z)))) (* (- 4.0) (* (/ 1 (/ 1 y)) (* 1 (/ 1 z)))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
5.392 * [backup-simplify]: Simplify (fma (/ 4.0 (/ 1 (- z))) (- (/ 1 (- x)) (/ 1 (- y))) (- 2.0)) into (fma (* -4.0 z) (- (/ 1 y) (/ 1 x)) (- 2.0))
5.392 * [approximate]: Taking taylor expansion of (fma (* -4.0 z) (- (/ 1 y) (/ 1 x)) (- 2.0)) in (z x y) around 0
5.392 * [taylor]: Taking taylor expansion of (fma (* -4.0 z) (- (/ 1 y) (/ 1 x)) (- 2.0)) in y
5.392 * [taylor]: Rewrote expression to (+ (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) (- 2.0))
5.392 * [taylor]: Taking taylor expansion of (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) in y
5.392 * [taylor]: Taking taylor expansion of (* -4.0 z) in y
5.392 * [taylor]: Taking taylor expansion of -4.0 in y
5.392 * [backup-simplify]: Simplify -4.0 into -4.0
5.392 * [taylor]: Taking taylor expansion of z in y
5.392 * [backup-simplify]: Simplify z into z
5.392 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.392 * [taylor]: Taking taylor expansion of y in y
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify 1 into 1
5.393 * [backup-simplify]: Simplify (/ 1 1) into 1
5.393 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.393 * [taylor]: Taking taylor expansion of x in y
5.393 * [backup-simplify]: Simplify x into x
5.393 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.393 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.393 * [taylor]: Taking taylor expansion of 2.0 in y
5.393 * [backup-simplify]: Simplify 2.0 into 2.0
5.393 * [taylor]: Taking taylor expansion of (fma (* -4.0 z) (- (/ 1 y) (/ 1 x)) (- 2.0)) in x
5.393 * [taylor]: Rewrote expression to (+ (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) (- 2.0))
5.393 * [taylor]: Taking taylor expansion of (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) in x
5.393 * [taylor]: Taking taylor expansion of (* -4.0 z) in x
5.393 * [taylor]: Taking taylor expansion of -4.0 in x
5.393 * [backup-simplify]: Simplify -4.0 into -4.0
5.393 * [taylor]: Taking taylor expansion of z in x
5.393 * [backup-simplify]: Simplify z into z
5.393 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.393 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.393 * [taylor]: Taking taylor expansion of y in x
5.393 * [backup-simplify]: Simplify y into y
5.393 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.393 * [taylor]: Taking taylor expansion of x in x
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 1 into 1
5.394 * [backup-simplify]: Simplify (/ 1 1) into 1
5.394 * [taylor]: Taking taylor expansion of (- 2.0) in x
5.394 * [taylor]: Taking taylor expansion of 2.0 in x
5.394 * [backup-simplify]: Simplify 2.0 into 2.0
5.394 * [taylor]: Taking taylor expansion of (fma (* -4.0 z) (- (/ 1 y) (/ 1 x)) (- 2.0)) in z
5.394 * [taylor]: Rewrote expression to (+ (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) (- 2.0))
5.394 * [taylor]: Taking taylor expansion of (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) in z
5.394 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
5.394 * [taylor]: Taking taylor expansion of -4.0 in z
5.394 * [backup-simplify]: Simplify -4.0 into -4.0
5.394 * [taylor]: Taking taylor expansion of z in z
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 1 into 1
5.394 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
5.394 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.394 * [taylor]: Taking taylor expansion of y in z
5.394 * [backup-simplify]: Simplify y into y
5.394 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.394 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.394 * [taylor]: Taking taylor expansion of x in z
5.394 * [backup-simplify]: Simplify x into x
5.394 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.394 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.394 * [taylor]: Taking taylor expansion of 2.0 in z
5.394 * [backup-simplify]: Simplify 2.0 into 2.0
5.394 * [taylor]: Taking taylor expansion of (fma (* -4.0 z) (- (/ 1 y) (/ 1 x)) (- 2.0)) in z
5.394 * [taylor]: Rewrote expression to (+ (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) (- 2.0))
5.394 * [taylor]: Taking taylor expansion of (* (* -4.0 z) (- (/ 1 y) (/ 1 x))) in z
5.394 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
5.394 * [taylor]: Taking taylor expansion of -4.0 in z
5.394 * [backup-simplify]: Simplify -4.0 into -4.0
5.394 * [taylor]: Taking taylor expansion of z in z
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 1 into 1
5.394 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
5.394 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.394 * [taylor]: Taking taylor expansion of y in z
5.394 * [backup-simplify]: Simplify y into y
5.395 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.395 * [taylor]: Taking taylor expansion of x in z
5.395 * [backup-simplify]: Simplify x into x
5.395 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.395 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.395 * [taylor]: Taking taylor expansion of 2.0 in z
5.395 * [backup-simplify]: Simplify 2.0 into 2.0
5.395 * [backup-simplify]: Simplify (* -4.0 0) into 0
5.395 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.395 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
5.396 * [backup-simplify]: Simplify (* 0 (- (/ 1 y) (/ 1 x))) into 0
5.396 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.396 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
5.397 * [taylor]: Taking taylor expansion of (- 2.0) in x
5.397 * [taylor]: Taking taylor expansion of 2.0 in x
5.397 * [backup-simplify]: Simplify 2.0 into 2.0
5.397 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.397 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.397 * [backup-simplify]: Simplify (- 0) into 0
5.397 * [backup-simplify]: Simplify (+ 0 0) into 0
5.398 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
5.399 * [backup-simplify]: Simplify (+ (* 0 0) (* (- 4.0) (- (/ 1 y) (/ 1 x)))) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y)))
5.399 * [backup-simplify]: Simplify (- 0) into 0
5.399 * [backup-simplify]: Simplify (+ (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) 0) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y)))
5.399 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
5.399 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.399 * [taylor]: Taking taylor expansion of 4.0 in x
5.399 * [backup-simplify]: Simplify 4.0 into 4.0
5.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.399 * [taylor]: Taking taylor expansion of x in x
5.399 * [backup-simplify]: Simplify 0 into 0
5.399 * [backup-simplify]: Simplify 1 into 1
5.400 * [backup-simplify]: Simplify (/ 1 1) into 1
5.400 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
5.400 * [taylor]: Taking taylor expansion of 4.0 in x
5.400 * [backup-simplify]: Simplify 4.0 into 4.0
5.400 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.400 * [taylor]: Taking taylor expansion of y in x
5.400 * [backup-simplify]: Simplify y into y
5.400 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.400 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
5.401 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
5.401 * [taylor]: Taking taylor expansion of 4.0 in y
5.401 * [backup-simplify]: Simplify 4.0 into 4.0
5.401 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.401 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.401 * [taylor]: Taking taylor expansion of 2.0 in y
5.401 * [backup-simplify]: Simplify 2.0 into 2.0
5.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.401 * [backup-simplify]: Simplify (- 0) into 0
5.402 * [backup-simplify]: Simplify (+ 0 0) into 0
5.402 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
5.403 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (- 4.0) 0) (* 0 (- (/ 1 y) (/ 1 x))))) into 0
5.403 * [backup-simplify]: Simplify (- 0) into 0
5.403 * [backup-simplify]: Simplify (+ 0 0) into 0
5.403 * [taylor]: Taking taylor expansion of 0 in x
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.404 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
5.405 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
5.405 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
5.405 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y)))
5.405 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
5.405 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
5.405 * [taylor]: Taking taylor expansion of 4.0 in y
5.405 * [backup-simplify]: Simplify 4.0 into 4.0
5.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.405 * [taylor]: Taking taylor expansion of y in y
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 1 into 1
5.406 * [backup-simplify]: Simplify (/ 1 1) into 1
5.406 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
5.406 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
5.407 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
5.407 * [backup-simplify]: Simplify (- 0) into 0
5.407 * [taylor]: Taking taylor expansion of 0 in y
5.407 * [backup-simplify]: Simplify 0 into 0
5.408 * [backup-simplify]: Simplify 4.0 into 4.0
5.408 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.409 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
5.410 * [backup-simplify]: Simplify (+ (- 2.0) (+ (* 4.0 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) (* (- 4.0) (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (- z))))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
5.411 * * * [progress]: simplifying candidates
5.411 * [simplify]: Simplifying:
  (expm1 (fma (/ 4.0 z) (- x y) (- 2.0)))
  (log1p (fma (/ 4.0 z) (- x y) (- 2.0)))
  (* (/ 4.0 z) (- x y))
  (log (fma (/ 4.0 z) (- x y) (- 2.0)))
  (exp (fma (/ 4.0 z) (- x y) (- 2.0)))
  (* (cbrt (fma (/ 4.0 z) (- x y) (- 2.0))) (cbrt (fma (/ 4.0 z) (- x y) (- 2.0))))
  (cbrt (fma (/ 4.0 z) (- x y) (- 2.0)))
  (* (* (fma (/ 4.0 z) (- x y) (- 2.0)) (fma (/ 4.0 z) (- x y) (- 2.0))) (fma (/ 4.0 z) (- x y) (- 2.0)))
  (sqrt (fma (/ 4.0 z) (- x y) (- 2.0)))
  (sqrt (fma (/ 4.0 z) (- x y) (- 2.0)))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
5.412 * * [simplify]: iteration 0: 25 enodes
5.419 * * [simplify]: iteration 1: 45 enodes
5.431 * * [simplify]: iteration 2: 102 enodes
5.454 * * [simplify]: iteration 3: 314 enodes
5.646 * * [simplify]: iteration 4: 2288 enodes
7.433 * * [simplify]: iteration complete: 5001 enodes
7.433 * * [simplify]: Extracting #0: cost 10 inf + 0
7.435 * * [simplify]: Extracting #1: cost 193 inf + 0
7.442 * * [simplify]: Extracting #2: cost 761 inf + 313
7.453 * * [simplify]: Extracting #3: cost 622 inf + 7948
7.464 * * [simplify]: Extracting #4: cost 72 inf + 17099
7.476 * * [simplify]: Extracting #5: cost 4 inf + 17744
7.488 * * [simplify]: Extracting #6: cost 0 inf + 17795
7.505 * [simplify]: Simplified to:
  (expm1 (fma (- x y) (/ 4.0 z) (- 2.0)))
  (log1p (fma (- x y) (/ 4.0 z) (- 2.0)))
  (* (/ 4.0 z) (- x y))
  (log (fma (- x y) (/ 4.0 z) (- 2.0)))
  (exp (- (* (/ 4.0 z) (- x y)) 2.0))
  (* (cbrt (fma (- x y) (/ 4.0 z) (- 2.0))) (cbrt (fma (- x y) (/ 4.0 z) (- 2.0))))
  (cbrt (fma (- x y) (/ 4.0 z) (- 2.0)))
  (pow (fma (- x y) (/ 4.0 z) (- 2.0)) 3)
  (sqrt (fma (- x y) (/ 4.0 z) (- 2.0)))
  (sqrt (fma (- x y) (/ 4.0 z) (- 2.0)))
  (fma (- x y) (/ 4.0 z) (- 2.0))
  (fma (- x y) (/ 4.0 z) (- 2.0))
  (fma (- x y) (/ 4.0 z) (- 2.0))
7.505 * * * [progress]: adding candidates to table
7.566 * [progress]: [Phase 3 of 3] Extracting.
7.566 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma (/ 4.0 z) (- x y) (- 2.0)))> #<alt (λ (x y z) (fma 4.0 (/ (- x y) z) (- 2.0)))>)
7.566 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) z y x)
7.566 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y z) (fma (/ 4.0 z) (- x y) (- 2.0)))> #<alt (λ (x y z) (fma 4.0 (/ (- x y) z) (- 2.0)))>)
7.616 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma (/ 4.0 z) (- x y) (- 2.0)))> #<alt (λ (x y z) (fma 4.0 (/ (- x y) z) (- 2.0)))>)
7.658 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma (/ 4.0 z) (- x y) (- 2.0)))> #<alt (λ (x y z) (fma 4.0 (/ (- x y) z) (- 2.0)))>)
7.704 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma (/ 4.0 z) (- x y) (- 2.0)))> #<alt (λ (x y z) (fma 4.0 (/ (- x y) z) (- 2.0)))>)
7.748 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
7.748 * [simplify]: Simplifying:
  (fma 4.0 (/ (- x y) z) (- 2.0))
7.749 * * [simplify]: iteration 0: 9 enodes
7.749 * * [simplify]: iteration complete: 9 enodes
7.749 * * [simplify]: Extracting #0: cost 1 inf + 0
7.750 * * [simplify]: Extracting #1: cost 4 inf + 0
7.750 * * [simplify]: Extracting #2: cost 6 inf + 1
7.750 * * [simplify]: Extracting #3: cost 5 inf + 5
7.750 * * [simplify]: Extracting #4: cost 0 inf + 24
7.750 * [simplify]: Simplified to:
  (fma 4.0 (/ (- x y) z) (- 2.0))
9.726 * [regime-testing]: Baseline error score: 0.008501062632829104
9.730 * [regime-testing]: Oracle error score: 0.005500687585948244
9.739 * [regime-testing]: End program error score: 0.008501062632829104
9.834 * [regime-testing]: Target error score: 0.009324285848321186