80.268 * [progress]: [Phase 1 of 3] Setting up.
0.008 * * * [progress]: [1/2] Preparing points
0.071 * * * [progress]: [2/2] Setting up program.
0.079 * [progress]: [Phase 2 of 3] Improving.
0.080 * [simplify]: Simplifying:
  (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.088 * * [simplify]: iteration 0: 8 enodes
0.094 * * [simplify]: iteration 1: 16 enodes
0.101 * * [simplify]: iteration 2: 33 enodes
0.119 * * [simplify]: iteration 3: 56 enodes
0.141 * * [simplify]: iteration 4: 71 enodes
0.159 * * [simplify]: iteration 5: 75 enodes
0.178 * * [simplify]: iteration complete: 75 enodes
0.178 * * [simplify]: Extracting #0: cost 1 inf + 0
0.178 * * [simplify]: Extracting #1: cost 14 inf + 0
0.178 * * [simplify]: Extracting #2: cost 7 inf + 88
0.179 * * [simplify]: Extracting #3: cost 0 inf + 709
0.180 * [simplify]: Simplified to:
  (fma z (* z 3) (* y x))
0.195 * * [progress]: iteration 1 / 4
0.196 * * * [progress]: picking best candidate
0.412 * * * * [pick]: Picked  #<alt (λ (x y z) (fma z (* z 3) (* y x)))>
0.412 * * * [progress]: localizing error
0.443 * * * [progress]: generating rewritten candidates
0.444 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.445 * * * [progress]: generating series expansions
0.445 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.445 * [backup-simplify]: Simplify (fma z (* z 3) (* y x)) into (fma z (* 3 z) (* x y))
0.445 * [approximate]: Taking taylor expansion of (fma z (* 3 z) (* x y)) in (z y x) around 0
0.445 * [taylor]: Taking taylor expansion of (fma z (* 3 z) (* x y)) in x
0.445 * [taylor]: Rewrote expression to (+ (* z (* 3 z)) (* x y))
0.445 * [taylor]: Taking taylor expansion of (* z (* 3 z)) in x
0.445 * [taylor]: Taking taylor expansion of z in x
0.445 * [backup-simplify]: Simplify z into z
0.445 * [taylor]: Taking taylor expansion of (* 3 z) in x
0.445 * [taylor]: Taking taylor expansion of 3 in x
0.445 * [backup-simplify]: Simplify 3 into 3
0.445 * [taylor]: Taking taylor expansion of z in x
0.445 * [backup-simplify]: Simplify z into z
0.445 * [taylor]: Taking taylor expansion of (* x y) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [backup-simplify]: Simplify 0 into 0
0.445 * [backup-simplify]: Simplify 1 into 1
0.450 * [taylor]: Taking taylor expansion of y in x
0.450 * [backup-simplify]: Simplify y into y
0.450 * [taylor]: Taking taylor expansion of (fma z (* 3 z) (* x y)) in y
0.450 * [taylor]: Rewrote expression to (+ (* z (* 3 z)) (* x y))
0.450 * [taylor]: Taking taylor expansion of (* z (* 3 z)) in y
0.450 * [taylor]: Taking taylor expansion of z in y
0.450 * [backup-simplify]: Simplify z into z
0.450 * [taylor]: Taking taylor expansion of (* 3 z) in y
0.450 * [taylor]: Taking taylor expansion of 3 in y
0.450 * [backup-simplify]: Simplify 3 into 3
0.450 * [taylor]: Taking taylor expansion of z in y
0.450 * [backup-simplify]: Simplify z into z
0.450 * [taylor]: Taking taylor expansion of (* x y) in y
0.450 * [taylor]: Taking taylor expansion of x in y
0.450 * [backup-simplify]: Simplify x into x
0.450 * [taylor]: Taking taylor expansion of y in y
0.450 * [backup-simplify]: Simplify 0 into 0
0.450 * [backup-simplify]: Simplify 1 into 1
0.450 * [taylor]: Taking taylor expansion of (fma z (* 3 z) (* x y)) in z
0.450 * [taylor]: Rewrote expression to (+ (* z (* 3 z)) (* x y))
0.450 * [taylor]: Taking taylor expansion of (* z (* 3 z)) in z
0.451 * [taylor]: Taking taylor expansion of z in z
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (* 3 z) in z
0.451 * [taylor]: Taking taylor expansion of 3 in z
0.451 * [backup-simplify]: Simplify 3 into 3
0.451 * [taylor]: Taking taylor expansion of z in z
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (* x y) in z
0.451 * [taylor]: Taking taylor expansion of x in z
0.451 * [backup-simplify]: Simplify x into x
0.451 * [taylor]: Taking taylor expansion of y in z
0.451 * [backup-simplify]: Simplify y into y
0.451 * [taylor]: Taking taylor expansion of (fma z (* 3 z) (* x y)) in z
0.451 * [taylor]: Rewrote expression to (+ (* z (* 3 z)) (* x y))
0.451 * [taylor]: Taking taylor expansion of (* z (* 3 z)) in z
0.451 * [taylor]: Taking taylor expansion of z in z
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (* 3 z) in z
0.451 * [taylor]: Taking taylor expansion of 3 in z
0.451 * [backup-simplify]: Simplify 3 into 3
0.451 * [taylor]: Taking taylor expansion of z in z
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (* x y) in z
0.451 * [taylor]: Taking taylor expansion of x in z
0.451 * [backup-simplify]: Simplify x into x
0.451 * [taylor]: Taking taylor expansion of y in z
0.451 * [backup-simplify]: Simplify y into y
0.452 * [backup-simplify]: Simplify (* 3 0) into 0
0.453 * [backup-simplify]: Simplify (* 0 0) into 0
0.453 * [backup-simplify]: Simplify (* x y) into (* x y)
0.453 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y)
0.453 * [taylor]: Taking taylor expansion of (* x y) in y
0.453 * [taylor]: Taking taylor expansion of x in y
0.453 * [backup-simplify]: Simplify x into x
0.453 * [taylor]: Taking taylor expansion of y in y
0.453 * [backup-simplify]: Simplify 0 into 0
0.453 * [backup-simplify]: Simplify 1 into 1
0.453 * [backup-simplify]: Simplify (* x 0) into 0
0.453 * [taylor]: Taking taylor expansion of 0 in x
0.453 * [backup-simplify]: Simplify 0 into 0
0.453 * [backup-simplify]: Simplify 0 into 0
0.458 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
0.459 * [backup-simplify]: Simplify (+ (* 0 3) (* 1 0)) into 0
0.459 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.459 * [backup-simplify]: Simplify (+ 0 0) into 0
0.459 * [taylor]: Taking taylor expansion of 0 in y
0.459 * [backup-simplify]: Simplify 0 into 0
0.459 * [taylor]: Taking taylor expansion of 0 in x
0.459 * [backup-simplify]: Simplify 0 into 0
0.459 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify 1 into 1
0.460 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify 0 into 0
0.478 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
0.479 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3) (* 0 0))) into 3
0.480 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.480 * [backup-simplify]: Simplify (+ 3 0) into 3
0.480 * [taylor]: Taking taylor expansion of 3 in y
0.480 * [backup-simplify]: Simplify 3 into 3
0.480 * [taylor]: Taking taylor expansion of 3 in x
0.480 * [backup-simplify]: Simplify 3 into 3
0.480 * [backup-simplify]: Simplify 3 into 3
0.486 * [taylor]: Taking taylor expansion of 0 in x
0.486 * [backup-simplify]: Simplify 0 into 0
0.486 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
0.487 * [taylor]: Taking taylor expansion of 0 in x
0.487 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify 1 into 1
0.488 * [backup-simplify]: Simplify 0 into 0
0.489 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.494 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3) (* 0 0)))) into 0
0.495 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.496 * [backup-simplify]: Simplify (+ 0 0) into 0
0.496 * [taylor]: Taking taylor expansion of 0 in y
0.496 * [backup-simplify]: Simplify 0 into 0
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [backup-simplify]: Simplify 0 into 0
0.496 * [backup-simplify]: Simplify 0 into 0
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [backup-simplify]: Simplify 0 into 0
0.496 * [backup-simplify]: Simplify 0 into 0
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [backup-simplify]: Simplify 0 into 0
0.496 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.497 * [taylor]: Taking taylor expansion of 0 in x
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (* 3 (pow (* 1 (* 1 z)) 2))) into (+ (* 3 (pow z 2)) (* x y))
0.499 * [backup-simplify]: Simplify (fma (/ 1 z) (* (/ 1 z) 3) (* (/ 1 y) (/ 1 x))) into (fma (/ 1 z) (/ 3 z) (/ 1 (* x y)))
0.499 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (/ 3 z) (/ 1 (* x y))) in (z y x) around 0
0.499 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 3 z) (/ 1 (* x y))) in x
0.500 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 3 z)) (/ 1 (* x y)))
0.500 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 3 z)) in x
0.500 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.500 * [taylor]: Taking taylor expansion of z in x
0.500 * [backup-simplify]: Simplify z into z
0.500 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.500 * [taylor]: Taking taylor expansion of (/ 3 z) in x
0.500 * [taylor]: Taking taylor expansion of 3 in x
0.500 * [backup-simplify]: Simplify 3 into 3
0.500 * [taylor]: Taking taylor expansion of z in x
0.500 * [backup-simplify]: Simplify z into z
0.500 * [backup-simplify]: Simplify (/ 3 z) into (/ 3 z)
0.500 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.501 * [taylor]: Taking taylor expansion of (* x y) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 1 into 1
0.501 * [taylor]: Taking taylor expansion of y in x
0.501 * [backup-simplify]: Simplify y into y
0.501 * [backup-simplify]: Simplify (* 0 y) into 0
0.501 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.501 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.501 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 3 z) (/ 1 (* x y))) in y
0.502 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 3 z)) (/ 1 (* x y)))
0.502 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 3 z)) in y
0.502 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.502 * [taylor]: Taking taylor expansion of z in y
0.502 * [backup-simplify]: Simplify z into z
0.502 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.502 * [taylor]: Taking taylor expansion of (/ 3 z) in y
0.502 * [taylor]: Taking taylor expansion of 3 in y
0.502 * [backup-simplify]: Simplify 3 into 3
0.502 * [taylor]: Taking taylor expansion of z in y
0.502 * [backup-simplify]: Simplify z into z
0.502 * [backup-simplify]: Simplify (/ 3 z) into (/ 3 z)
0.502 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.502 * [taylor]: Taking taylor expansion of (* x y) in y
0.502 * [taylor]: Taking taylor expansion of x in y
0.502 * [backup-simplify]: Simplify x into x
0.502 * [taylor]: Taking taylor expansion of y in y
0.502 * [backup-simplify]: Simplify 0 into 0
0.502 * [backup-simplify]: Simplify 1 into 1
0.502 * [backup-simplify]: Simplify (* x 0) into 0
0.503 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.503 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.503 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 3 z) (/ 1 (* x y))) in z
0.503 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 3 z)) (/ 1 (* x y)))
0.503 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 3 z)) in z
0.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.503 * [taylor]: Taking taylor expansion of z in z
0.503 * [backup-simplify]: Simplify 0 into 0
0.503 * [backup-simplify]: Simplify 1 into 1
0.504 * [backup-simplify]: Simplify (/ 1 1) into 1
0.504 * [taylor]: Taking taylor expansion of (/ 3 z) in z
0.504 * [taylor]: Taking taylor expansion of 3 in z
0.504 * [backup-simplify]: Simplify 3 into 3
0.504 * [taylor]: Taking taylor expansion of z in z
0.504 * [backup-simplify]: Simplify 0 into 0
0.504 * [backup-simplify]: Simplify 1 into 1
0.504 * [backup-simplify]: Simplify (/ 3 1) into 3
0.505 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.505 * [taylor]: Taking taylor expansion of (* x y) in z
0.505 * [taylor]: Taking taylor expansion of x in z
0.505 * [backup-simplify]: Simplify x into x
0.505 * [taylor]: Taking taylor expansion of y in z
0.505 * [backup-simplify]: Simplify y into y
0.505 * [backup-simplify]: Simplify (* x y) into (* x y)
0.505 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.505 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (/ 3 z) (/ 1 (* x y))) in z
0.505 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (/ 3 z)) (/ 1 (* x y)))
0.505 * [taylor]: Taking taylor expansion of (* (/ 1 z) (/ 3 z)) in z
0.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.505 * [taylor]: Taking taylor expansion of z in z
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 1 into 1
0.513 * [backup-simplify]: Simplify (/ 1 1) into 1
0.513 * [taylor]: Taking taylor expansion of (/ 3 z) in z
0.513 * [taylor]: Taking taylor expansion of 3 in z
0.513 * [backup-simplify]: Simplify 3 into 3
0.513 * [taylor]: Taking taylor expansion of z in z
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [backup-simplify]: Simplify (/ 3 1) into 3
0.513 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.514 * [taylor]: Taking taylor expansion of (* x y) in z
0.514 * [taylor]: Taking taylor expansion of x in z
0.514 * [backup-simplify]: Simplify x into x
0.514 * [taylor]: Taking taylor expansion of y in z
0.514 * [backup-simplify]: Simplify y into y
0.514 * [backup-simplify]: Simplify (* x y) into (* x y)
0.514 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.514 * [backup-simplify]: Simplify (* 1 3) into 3
0.515 * [backup-simplify]: Simplify (+ 3 0) into 3
0.515 * [taylor]: Taking taylor expansion of 3 in y
0.515 * [backup-simplify]: Simplify 3 into 3
0.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.516 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0
0.516 * [backup-simplify]: Simplify (+ 0 0) into 0
0.517 * [taylor]: Taking taylor expansion of 0 in y
0.517 * [backup-simplify]: Simplify 0 into 0
0.517 * [taylor]: Taking taylor expansion of 3 in x
0.517 * [backup-simplify]: Simplify 3 into 3
0.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3))) into 0
0.520 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.520 * [taylor]: Taking taylor expansion of (* x y) in y
0.520 * [taylor]: Taking taylor expansion of x in y
0.520 * [backup-simplify]: Simplify x into x
0.520 * [taylor]: Taking taylor expansion of y in y
0.520 * [backup-simplify]: Simplify 0 into 0
0.520 * [backup-simplify]: Simplify 1 into 1
0.520 * [backup-simplify]: Simplify (* x 0) into 0
0.521 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.521 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [backup-simplify]: Simplify 0 into 0
0.521 * [backup-simplify]: Simplify 1 into 1
0.521 * [backup-simplify]: Simplify (/ 1 1) into 1
0.521 * [backup-simplify]: Simplify 1 into 1
0.521 * [taylor]: Taking taylor expansion of 0 in x
0.521 * [backup-simplify]: Simplify 0 into 0
0.521 * [taylor]: Taking taylor expansion of 0 in x
0.521 * [backup-simplify]: Simplify 0 into 0
0.521 * [backup-simplify]: Simplify 3 into 3
0.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3)))) into 0
0.525 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
0.525 * [backup-simplify]: Simplify (+ 0 0) into 0
0.525 * [taylor]: Taking taylor expansion of 0 in y
0.525 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
0.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.526 * [taylor]: Taking taylor expansion of 0 in x
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [taylor]: Taking taylor expansion of 0 in x
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [taylor]: Taking taylor expansion of 0 in x
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 3))))) into 0
0.531 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.532 * [backup-simplify]: Simplify (+ 0 0) into 0
0.532 * [taylor]: Taking taylor expansion of 0 in y
0.532 * [backup-simplify]: Simplify 0 into 0
0.532 * [taylor]: Taking taylor expansion of 0 in x
0.532 * [backup-simplify]: Simplify 0 into 0
0.533 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.534 * [taylor]: Taking taylor expansion of 0 in x
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [taylor]: Taking taylor expansion of 0 in x
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [taylor]: Taking taylor expansion of 0 in x
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 z)))) 2)) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 3 (pow z 2)) (* x y))
0.535 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (* (/ 1 (- z)) 3) (* (/ 1 (- y)) (/ 1 (- x)))) into (fma (/ -1 z) (/ -3 z) (/ 1 (* x y)))
0.535 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (/ -3 z) (/ 1 (* x y))) in (z y x) around 0
0.535 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -3 z) (/ 1 (* x y))) in x
0.535 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -3 z)) (/ 1 (* x y)))
0.535 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -3 z)) in x
0.535 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.535 * [taylor]: Taking taylor expansion of -1 in x
0.535 * [backup-simplify]: Simplify -1 into -1
0.535 * [taylor]: Taking taylor expansion of z in x
0.535 * [backup-simplify]: Simplify z into z
0.535 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.535 * [taylor]: Taking taylor expansion of (/ -3 z) in x
0.535 * [taylor]: Taking taylor expansion of -3 in x
0.535 * [backup-simplify]: Simplify -3 into -3
0.535 * [taylor]: Taking taylor expansion of z in x
0.535 * [backup-simplify]: Simplify z into z
0.536 * [backup-simplify]: Simplify (/ -3 z) into (/ -3 z)
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.536 * [taylor]: Taking taylor expansion of (* x y) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [backup-simplify]: Simplify 0 into 0
0.536 * [backup-simplify]: Simplify 1 into 1
0.536 * [taylor]: Taking taylor expansion of y in x
0.536 * [backup-simplify]: Simplify y into y
0.536 * [backup-simplify]: Simplify (* 0 y) into 0
0.536 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.536 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.536 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -3 z) (/ 1 (* x y))) in y
0.537 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -3 z)) (/ 1 (* x y)))
0.537 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -3 z)) in y
0.537 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.537 * [taylor]: Taking taylor expansion of -1 in y
0.537 * [backup-simplify]: Simplify -1 into -1
0.537 * [taylor]: Taking taylor expansion of z in y
0.537 * [backup-simplify]: Simplify z into z
0.537 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.537 * [taylor]: Taking taylor expansion of (/ -3 z) in y
0.537 * [taylor]: Taking taylor expansion of -3 in y
0.537 * [backup-simplify]: Simplify -3 into -3
0.537 * [taylor]: Taking taylor expansion of z in y
0.537 * [backup-simplify]: Simplify z into z
0.537 * [backup-simplify]: Simplify (/ -3 z) into (/ -3 z)
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.537 * [taylor]: Taking taylor expansion of (* x y) in y
0.537 * [taylor]: Taking taylor expansion of x in y
0.537 * [backup-simplify]: Simplify x into x
0.537 * [taylor]: Taking taylor expansion of y in y
0.537 * [backup-simplify]: Simplify 0 into 0
0.537 * [backup-simplify]: Simplify 1 into 1
0.537 * [backup-simplify]: Simplify (* x 0) into 0
0.538 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.538 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.538 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -3 z) (/ 1 (* x y))) in z
0.538 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -3 z)) (/ 1 (* x y)))
0.538 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -3 z)) in z
0.538 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.538 * [taylor]: Taking taylor expansion of -1 in z
0.538 * [backup-simplify]: Simplify -1 into -1
0.538 * [taylor]: Taking taylor expansion of z in z
0.538 * [backup-simplify]: Simplify 0 into 0
0.538 * [backup-simplify]: Simplify 1 into 1
0.539 * [backup-simplify]: Simplify (/ -1 1) into -1
0.539 * [taylor]: Taking taylor expansion of (/ -3 z) in z
0.539 * [taylor]: Taking taylor expansion of -3 in z
0.539 * [backup-simplify]: Simplify -3 into -3
0.539 * [taylor]: Taking taylor expansion of z in z
0.539 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify 1 into 1
0.539 * [backup-simplify]: Simplify (/ -3 1) into -3
0.539 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.539 * [taylor]: Taking taylor expansion of (* x y) in z
0.539 * [taylor]: Taking taylor expansion of x in z
0.539 * [backup-simplify]: Simplify x into x
0.539 * [taylor]: Taking taylor expansion of y in z
0.539 * [backup-simplify]: Simplify y into y
0.540 * [backup-simplify]: Simplify (* x y) into (* x y)
0.540 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.540 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (/ -3 z) (/ 1 (* x y))) in z
0.540 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (/ -3 z)) (/ 1 (* x y)))
0.540 * [taylor]: Taking taylor expansion of (* (/ -1 z) (/ -3 z)) in z
0.540 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.540 * [taylor]: Taking taylor expansion of -1 in z
0.540 * [backup-simplify]: Simplify -1 into -1
0.540 * [taylor]: Taking taylor expansion of z in z
0.540 * [backup-simplify]: Simplify 0 into 0
0.540 * [backup-simplify]: Simplify 1 into 1
0.541 * [backup-simplify]: Simplify (/ -1 1) into -1
0.541 * [taylor]: Taking taylor expansion of (/ -3 z) in z
0.541 * [taylor]: Taking taylor expansion of -3 in z
0.541 * [backup-simplify]: Simplify -3 into -3
0.541 * [taylor]: Taking taylor expansion of z in z
0.541 * [backup-simplify]: Simplify 0 into 0
0.541 * [backup-simplify]: Simplify 1 into 1
0.541 * [backup-simplify]: Simplify (/ -3 1) into -3
0.541 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.541 * [taylor]: Taking taylor expansion of (* x y) in z
0.541 * [taylor]: Taking taylor expansion of x in z
0.541 * [backup-simplify]: Simplify x into x
0.541 * [taylor]: Taking taylor expansion of y in z
0.541 * [backup-simplify]: Simplify y into y
0.541 * [backup-simplify]: Simplify (* x y) into (* x y)
0.542 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.542 * [backup-simplify]: Simplify (* -1 -3) into 3
0.543 * [backup-simplify]: Simplify (+ 3 0) into 3
0.543 * [taylor]: Taking taylor expansion of 3 in y
0.543 * [backup-simplify]: Simplify 3 into 3
0.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
0.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.545 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -3)) into 0
0.546 * [backup-simplify]: Simplify (+ 0 0) into 0
0.546 * [taylor]: Taking taylor expansion of 0 in y
0.546 * [backup-simplify]: Simplify 0 into 0
0.546 * [taylor]: Taking taylor expansion of 3 in x
0.546 * [backup-simplify]: Simplify 3 into 3
0.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.548 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -3))) into 0
0.549 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
0.549 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.549 * [taylor]: Taking taylor expansion of (* x y) in y
0.549 * [taylor]: Taking taylor expansion of x in y
0.549 * [backup-simplify]: Simplify x into x
0.549 * [taylor]: Taking taylor expansion of y in y
0.549 * [backup-simplify]: Simplify 0 into 0
0.549 * [backup-simplify]: Simplify 1 into 1
0.549 * [backup-simplify]: Simplify (* x 0) into 0
0.549 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.549 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 1 into 1
0.550 * [backup-simplify]: Simplify (/ 1 1) into 1
0.550 * [backup-simplify]: Simplify 1 into 1
0.550 * [taylor]: Taking taylor expansion of 0 in x
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [taylor]: Taking taylor expansion of 0 in x
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 3 into 3
0.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.555 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -3)))) into 0
0.555 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
0.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
0.556 * [backup-simplify]: Simplify (+ 0 0) into 0
0.556 * [taylor]: Taking taylor expansion of 0 in y
0.556 * [backup-simplify]: Simplify 0 into 0
0.557 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
0.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.557 * [taylor]: Taking taylor expansion of 0 in x
0.557 * [backup-simplify]: Simplify 0 into 0
0.557 * [taylor]: Taking taylor expansion of 0 in x
0.557 * [backup-simplify]: Simplify 0 into 0
0.557 * [taylor]: Taking taylor expansion of 0 in x
0.557 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.558 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.562 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -3))))) into 0
0.563 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
0.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
0.563 * [backup-simplify]: Simplify (+ 0 0) into 0
0.563 * [taylor]: Taking taylor expansion of 0 in y
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [taylor]: Taking taylor expansion of 0 in x
0.563 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.564 * [taylor]: Taking taylor expansion of 0 in x
0.564 * [backup-simplify]: Simplify 0 into 0
0.565 * [taylor]: Taking taylor expansion of 0 in x
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [taylor]: Taking taylor expansion of 0 in x
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify 0 into 0
0.565 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 (- z))))) 2)) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 3 (pow z 2)) (* x y))
0.566 * * * [progress]: simplifying candidates
0.566 * [simplify]: Simplifying:
  (expm1 (fma z (* z 3) (* y x)))
  (log1p (fma z (* z 3) (* y x)))
  (* z (* z 3))
  (log (fma z (* z 3) (* y x)))
  (exp (fma z (* z 3) (* y x)))
  (* (cbrt (fma z (* z 3) (* y x))) (cbrt (fma z (* z 3) (* y x))))
  (cbrt (fma z (* z 3) (* y x)))
  (* (* (fma z (* z 3) (* y x)) (fma z (* z 3) (* y x))) (fma z (* z 3) (* y x)))
  (sqrt (fma z (* z 3) (* y x)))
  (sqrt (fma z (* z 3) (* y x)))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
0.570 * * [simplify]: iteration 0: 22 enodes
0.586 * * [simplify]: iteration 1: 35 enodes
0.605 * * [simplify]: iteration 2: 63 enodes
0.632 * * [simplify]: iteration 3: 122 enodes
0.761 * * [simplify]: iteration 4: 380 enodes
1.851 * * [simplify]: iteration 5: 1561 enodes
10.097 * * [simplify]: iteration complete: 5000 enodes
10.098 * * [simplify]: Extracting #0: cost 10 inf + 0
10.100 * * [simplify]: Extracting #1: cost 209 inf + 0
10.115 * * [simplify]: Extracting #2: cost 980 inf + 171
10.130 * * [simplify]: Extracting #3: cost 1123 inf + 26779
10.224 * * [simplify]: Extracting #4: cost 350 inf + 207350
10.380 * * [simplify]: Extracting #5: cost 31 inf + 300864
10.541 * * [simplify]: Extracting #6: cost 2 inf + 313711
10.702 * * [simplify]: Extracting #7: cost 0 inf + 314493
10.890 * [simplify]: Simplified to:
  (expm1 (fma x y (* z (* z 3))))
  (log1p (fma x y (* z (* z 3))))
  (* z (* z 3))
  (log (fma x y (* z (* z 3))))
  (exp (fma x y (* z (* z 3))))
  (* (cbrt (fma x y (* z (* z 3)))) (cbrt (fma x y (* z (* z 3)))))
  (cbrt (fma x y (* z (* z 3))))
  (* (* (fma x y (* z (* z 3))) (fma x y (* z (* z 3)))) (fma x y (* z (* z 3))))
  (sqrt (fma x y (* z (* z 3))))
  (sqrt (fma x y (* z (* z 3))))
  (fma x y (* z (* z 3)))
  (fma x y (* z (* z 3)))
  (fma x y (* z (* z 3)))
10.893 * * * [progress]: adding candidates to table
11.122 * * [progress]: iteration 2 / 4
11.126 * * * [progress]: picking best candidate
11.151 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* z (* z 3))))>
11.151 * * * [progress]: localizing error
11.175 * * * [progress]: generating rewritten candidates
11.175 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
11.346 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
11.357 * * * [progress]: generating series expansions
11.357 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
11.359 * [backup-simplify]: Simplify (* z (* z 3)) into (* 3 (pow z 2))
11.359 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
11.359 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
11.361 * [taylor]: Taking taylor expansion of 3 in z
11.361 * [backup-simplify]: Simplify 3 into 3
11.361 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.361 * [taylor]: Taking taylor expansion of z in z
11.361 * [backup-simplify]: Simplify 0 into 0
11.361 * [backup-simplify]: Simplify 1 into 1
11.361 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
11.361 * [taylor]: Taking taylor expansion of 3 in z
11.362 * [backup-simplify]: Simplify 3 into 3
11.362 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.362 * [taylor]: Taking taylor expansion of z in z
11.362 * [backup-simplify]: Simplify 0 into 0
11.362 * [backup-simplify]: Simplify 1 into 1
11.367 * [backup-simplify]: Simplify (* 1 1) into 1
11.368 * [backup-simplify]: Simplify (* 3 1) into 3
11.368 * [backup-simplify]: Simplify 3 into 3
11.369 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.370 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
11.370 * [backup-simplify]: Simplify 0 into 0
11.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.372 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
11.372 * [backup-simplify]: Simplify 0 into 0
11.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.374 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.374 * [backup-simplify]: Simplify 0 into 0
11.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.377 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.377 * [backup-simplify]: Simplify 0 into 0
11.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.386 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.387 * [backup-simplify]: Simplify 0 into 0
11.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.389 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.389 * [backup-simplify]: Simplify 0 into 0
11.398 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
11.398 * [backup-simplify]: Simplify (* (/ 1 z) (* (/ 1 z) 3)) into (/ 3 (pow z 2))
11.398 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
11.398 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.398 * [taylor]: Taking taylor expansion of 3 in z
11.398 * [backup-simplify]: Simplify 3 into 3
11.398 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.398 * [taylor]: Taking taylor expansion of z in z
11.398 * [backup-simplify]: Simplify 0 into 0
11.398 * [backup-simplify]: Simplify 1 into 1
11.399 * [backup-simplify]: Simplify (* 1 1) into 1
11.399 * [backup-simplify]: Simplify (/ 3 1) into 3
11.399 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.399 * [taylor]: Taking taylor expansion of 3 in z
11.399 * [backup-simplify]: Simplify 3 into 3
11.399 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.399 * [taylor]: Taking taylor expansion of z in z
11.399 * [backup-simplify]: Simplify 0 into 0
11.400 * [backup-simplify]: Simplify 1 into 1
11.400 * [backup-simplify]: Simplify (* 1 1) into 1
11.400 * [backup-simplify]: Simplify (/ 3 1) into 3
11.400 * [backup-simplify]: Simplify 3 into 3
11.401 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
11.402 * [backup-simplify]: Simplify 0 into 0
11.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.404 * [backup-simplify]: Simplify 0 into 0
11.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.406 * [backup-simplify]: Simplify 0 into 0
11.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.408 * [backup-simplify]: Simplify 0 into 0
11.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.411 * [backup-simplify]: Simplify 0 into 0
11.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.414 * [backup-simplify]: Simplify 0 into 0
11.414 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
11.414 * [backup-simplify]: Simplify (* (/ 1 (- z)) (* (/ 1 (- z)) 3)) into (/ 3 (pow z 2))
11.414 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
11.414 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.414 * [taylor]: Taking taylor expansion of 3 in z
11.414 * [backup-simplify]: Simplify 3 into 3
11.414 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.414 * [taylor]: Taking taylor expansion of z in z
11.414 * [backup-simplify]: Simplify 0 into 0
11.414 * [backup-simplify]: Simplify 1 into 1
11.415 * [backup-simplify]: Simplify (* 1 1) into 1
11.415 * [backup-simplify]: Simplify (/ 3 1) into 3
11.415 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.415 * [taylor]: Taking taylor expansion of 3 in z
11.415 * [backup-simplify]: Simplify 3 into 3
11.415 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.415 * [taylor]: Taking taylor expansion of z in z
11.415 * [backup-simplify]: Simplify 0 into 0
11.415 * [backup-simplify]: Simplify 1 into 1
11.416 * [backup-simplify]: Simplify (* 1 1) into 1
11.416 * [backup-simplify]: Simplify (/ 3 1) into 3
11.416 * [backup-simplify]: Simplify 3 into 3
11.417 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
11.418 * [backup-simplify]: Simplify 0 into 0
11.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.420 * [backup-simplify]: Simplify 0 into 0
11.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.422 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.422 * [backup-simplify]: Simplify 0 into 0
11.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.424 * [backup-simplify]: Simplify 0 into 0
11.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.426 * [backup-simplify]: Simplify 0 into 0
11.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.430 * [backup-simplify]: Simplify 0 into 0
11.431 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
11.431 * * * * [progress]: [ 2 / 2 ] generating series at (2)
11.431 * [backup-simplify]: Simplify (fma x y (* z (* z 3))) into (fma x y (* 3 (pow z 2)))
11.431 * [approximate]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in (x y z) around 0
11.431 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in z
11.434 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
11.434 * [taylor]: Taking taylor expansion of (* x y) in z
11.434 * [taylor]: Taking taylor expansion of x in z
11.434 * [backup-simplify]: Simplify x into x
11.434 * [taylor]: Taking taylor expansion of y in z
11.434 * [backup-simplify]: Simplify y into y
11.434 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
11.434 * [taylor]: Taking taylor expansion of 3 in z
11.434 * [backup-simplify]: Simplify 3 into 3
11.434 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.434 * [taylor]: Taking taylor expansion of z in z
11.434 * [backup-simplify]: Simplify 0 into 0
11.434 * [backup-simplify]: Simplify 1 into 1
11.434 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in y
11.434 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
11.434 * [taylor]: Taking taylor expansion of (* x y) in y
11.434 * [taylor]: Taking taylor expansion of x in y
11.434 * [backup-simplify]: Simplify x into x
11.434 * [taylor]: Taking taylor expansion of y in y
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 1 into 1
11.435 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
11.435 * [taylor]: Taking taylor expansion of 3 in y
11.435 * [backup-simplify]: Simplify 3 into 3
11.435 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.435 * [taylor]: Taking taylor expansion of z in y
11.435 * [backup-simplify]: Simplify z into z
11.435 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in x
11.435 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
11.435 * [taylor]: Taking taylor expansion of (* x y) in x
11.435 * [taylor]: Taking taylor expansion of x in x
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 1 into 1
11.435 * [taylor]: Taking taylor expansion of y in x
11.435 * [backup-simplify]: Simplify y into y
11.435 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
11.435 * [taylor]: Taking taylor expansion of 3 in x
11.435 * [backup-simplify]: Simplify 3 into 3
11.435 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.435 * [taylor]: Taking taylor expansion of z in x
11.435 * [backup-simplify]: Simplify z into z
11.435 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in x
11.435 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
11.436 * [taylor]: Taking taylor expansion of (* x y) in x
11.436 * [taylor]: Taking taylor expansion of x in x
11.436 * [backup-simplify]: Simplify 0 into 0
11.436 * [backup-simplify]: Simplify 1 into 1
11.436 * [taylor]: Taking taylor expansion of y in x
11.436 * [backup-simplify]: Simplify y into y
11.436 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
11.436 * [taylor]: Taking taylor expansion of 3 in x
11.436 * [backup-simplify]: Simplify 3 into 3
11.436 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.436 * [taylor]: Taking taylor expansion of z in x
11.436 * [backup-simplify]: Simplify z into z
11.436 * [backup-simplify]: Simplify (* 0 y) into 0
11.436 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.436 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
11.437 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2))
11.437 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
11.437 * [taylor]: Taking taylor expansion of 3 in y
11.437 * [backup-simplify]: Simplify 3 into 3
11.437 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.437 * [taylor]: Taking taylor expansion of z in y
11.437 * [backup-simplify]: Simplify z into z
11.437 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.437 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
11.437 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
11.437 * [taylor]: Taking taylor expansion of 3 in z
11.437 * [backup-simplify]: Simplify 3 into 3
11.437 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.437 * [taylor]: Taking taylor expansion of z in z
11.437 * [backup-simplify]: Simplify 0 into 0
11.437 * [backup-simplify]: Simplify 1 into 1
11.438 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.438 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
11.439 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
11.439 * [backup-simplify]: Simplify (+ y 0) into y
11.439 * [taylor]: Taking taylor expansion of y in y
11.439 * [backup-simplify]: Simplify 0 into 0
11.439 * [backup-simplify]: Simplify 1 into 1
11.439 * [taylor]: Taking taylor expansion of 0 in z
11.439 * [backup-simplify]: Simplify 0 into 0
11.439 * [backup-simplify]: Simplify 0 into 0
11.439 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
11.440 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
11.440 * [taylor]: Taking taylor expansion of 0 in z
11.440 * [backup-simplify]: Simplify 0 into 0
11.440 * [backup-simplify]: Simplify 0 into 0
11.441 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
11.441 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
11.442 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
11.443 * [backup-simplify]: Simplify (+ 0 0) into 0
11.443 * [taylor]: Taking taylor expansion of 0 in y
11.443 * [backup-simplify]: Simplify 0 into 0
11.443 * [taylor]: Taking taylor expansion of 0 in z
11.443 * [backup-simplify]: Simplify 0 into 0
11.443 * [backup-simplify]: Simplify 0 into 0
11.443 * [taylor]: Taking taylor expansion of 1 in z
11.443 * [backup-simplify]: Simplify 1 into 1
11.443 * [backup-simplify]: Simplify 1 into 1
11.444 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
11.445 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
11.445 * [taylor]: Taking taylor expansion of 0 in z
11.445 * [backup-simplify]: Simplify 0 into 0
11.445 * [backup-simplify]: Simplify 0 into 0
11.445 * [backup-simplify]: Simplify 0 into 0
11.445 * [backup-simplify]: Simplify 0 into 0
11.445 * [backup-simplify]: Simplify (* 1 1) into 1
11.446 * [backup-simplify]: Simplify (* 3 1) into 3
11.446 * [backup-simplify]: Simplify 3 into 3
11.447 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
11.448 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
11.450 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
11.450 * [backup-simplify]: Simplify (+ 0 0) into 0
11.450 * [taylor]: Taking taylor expansion of 0 in y
11.450 * [backup-simplify]: Simplify 0 into 0
11.450 * [taylor]: Taking taylor expansion of 0 in z
11.450 * [backup-simplify]: Simplify 0 into 0
11.450 * [backup-simplify]: Simplify 0 into 0
11.451 * [taylor]: Taking taylor expansion of 0 in z
11.451 * [backup-simplify]: Simplify 0 into 0
11.451 * [backup-simplify]: Simplify 0 into 0
11.451 * [taylor]: Taking taylor expansion of 0 in z
11.451 * [backup-simplify]: Simplify 0 into 0
11.451 * [backup-simplify]: Simplify 0 into 0
11.452 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
11.453 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
11.453 * [taylor]: Taking taylor expansion of 0 in z
11.453 * [backup-simplify]: Simplify 0 into 0
11.453 * [backup-simplify]: Simplify 0 into 0
11.453 * [backup-simplify]: Simplify 0 into 0
11.453 * [backup-simplify]: Simplify 0 into 0
11.454 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* y x)))) into (+ (* 3 (pow z 2)) (* x y))
11.454 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (* (/ 1 z) (* (/ 1 z) 3))) into (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2)))
11.454 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in (x y z) around 0
11.454 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in z
11.454 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
11.454 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
11.454 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.455 * [taylor]: Taking taylor expansion of x in z
11.455 * [backup-simplify]: Simplify x into x
11.455 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.455 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.455 * [taylor]: Taking taylor expansion of y in z
11.455 * [backup-simplify]: Simplify y into y
11.455 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.455 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.455 * [taylor]: Taking taylor expansion of 3 in z
11.455 * [backup-simplify]: Simplify 3 into 3
11.455 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.455 * [taylor]: Taking taylor expansion of z in z
11.455 * [backup-simplify]: Simplify 0 into 0
11.455 * [backup-simplify]: Simplify 1 into 1
11.455 * [backup-simplify]: Simplify (* 1 1) into 1
11.456 * [backup-simplify]: Simplify (/ 3 1) into 3
11.456 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in y
11.456 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
11.456 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
11.456 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.456 * [taylor]: Taking taylor expansion of x in y
11.456 * [backup-simplify]: Simplify x into x
11.456 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.456 * [taylor]: Taking taylor expansion of y in y
11.456 * [backup-simplify]: Simplify 0 into 0
11.456 * [backup-simplify]: Simplify 1 into 1
11.457 * [backup-simplify]: Simplify (/ 1 1) into 1
11.457 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
11.457 * [taylor]: Taking taylor expansion of 3 in y
11.457 * [backup-simplify]: Simplify 3 into 3
11.457 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.457 * [taylor]: Taking taylor expansion of z in y
11.457 * [backup-simplify]: Simplify z into z
11.457 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.457 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
11.457 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in x
11.457 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
11.457 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
11.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.457 * [taylor]: Taking taylor expansion of x in x
11.457 * [backup-simplify]: Simplify 0 into 0
11.457 * [backup-simplify]: Simplify 1 into 1
11.458 * [backup-simplify]: Simplify (/ 1 1) into 1
11.458 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.458 * [taylor]: Taking taylor expansion of y in x
11.458 * [backup-simplify]: Simplify y into y
11.458 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.458 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
11.458 * [taylor]: Taking taylor expansion of 3 in x
11.458 * [backup-simplify]: Simplify 3 into 3
11.458 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.458 * [taylor]: Taking taylor expansion of z in x
11.458 * [backup-simplify]: Simplify z into z
11.458 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.458 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
11.458 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in x
11.459 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
11.459 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
11.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.459 * [taylor]: Taking taylor expansion of x in x
11.459 * [backup-simplify]: Simplify 0 into 0
11.459 * [backup-simplify]: Simplify 1 into 1
11.459 * [backup-simplify]: Simplify (/ 1 1) into 1
11.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.459 * [taylor]: Taking taylor expansion of y in x
11.459 * [backup-simplify]: Simplify y into y
11.459 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.459 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
11.459 * [taylor]: Taking taylor expansion of 3 in x
11.459 * [backup-simplify]: Simplify 3 into 3
11.459 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.459 * [taylor]: Taking taylor expansion of z in x
11.459 * [backup-simplify]: Simplify z into z
11.459 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.460 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
11.460 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
11.460 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
11.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.460 * [taylor]: Taking taylor expansion of y in y
11.460 * [backup-simplify]: Simplify 0 into 0
11.460 * [backup-simplify]: Simplify 1 into 1
11.460 * [backup-simplify]: Simplify (/ 1 1) into 1
11.460 * [taylor]: Taking taylor expansion of 1 in z
11.460 * [backup-simplify]: Simplify 1 into 1
11.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.462 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0
11.462 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
11.462 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
11.462 * [taylor]: Taking taylor expansion of 3 in y
11.462 * [backup-simplify]: Simplify 3 into 3
11.462 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
11.462 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.462 * [taylor]: Taking taylor expansion of z in y
11.462 * [backup-simplify]: Simplify z into z
11.462 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.462 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
11.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.463 * [taylor]: Taking taylor expansion of 0 in z
11.463 * [backup-simplify]: Simplify 0 into 0
11.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
11.465 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
11.466 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
11.467 * [backup-simplify]: Simplify (+ 0 0) into 0
11.467 * [taylor]: Taking taylor expansion of 0 in y
11.467 * [backup-simplify]: Simplify 0 into 0
11.467 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
11.467 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.467 * [taylor]: Taking taylor expansion of 3 in z
11.467 * [backup-simplify]: Simplify 3 into 3
11.467 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.467 * [taylor]: Taking taylor expansion of z in z
11.467 * [backup-simplify]: Simplify 0 into 0
11.467 * [backup-simplify]: Simplify 1 into 1
11.468 * [backup-simplify]: Simplify (* 1 1) into 1
11.468 * [backup-simplify]: Simplify (/ 3 1) into 3
11.468 * [backup-simplify]: Simplify 3 into 3
11.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.469 * [taylor]: Taking taylor expansion of 0 in z
11.469 * [backup-simplify]: Simplify 0 into 0
11.469 * [backup-simplify]: Simplify 1 into 1
11.469 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
11.471 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
11.472 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
11.472 * [backup-simplify]: Simplify (+ 0 0) into 0
11.472 * [taylor]: Taking taylor expansion of 0 in y
11.472 * [backup-simplify]: Simplify 0 into 0
11.473 * [taylor]: Taking taylor expansion of 0 in z
11.473 * [backup-simplify]: Simplify 0 into 0
11.473 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
11.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
11.474 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
11.474 * [taylor]: Taking taylor expansion of 0 in z
11.474 * [backup-simplify]: Simplify 0 into 0
11.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.477 * [taylor]: Taking taylor expansion of 0 in z
11.477 * [backup-simplify]: Simplify 0 into 0
11.478 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
11.479 * [backup-simplify]: Simplify 0 into 0
11.479 * [backup-simplify]: Simplify 0 into 0
11.479 * [backup-simplify]: Simplify 0 into 0
11.479 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0
11.499 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
11.500 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
11.502 * [backup-simplify]: Simplify (+ 0 0) into 0
11.502 * [taylor]: Taking taylor expansion of 0 in y
11.502 * [backup-simplify]: Simplify 0 into 0
11.502 * [taylor]: Taking taylor expansion of 0 in z
11.502 * [backup-simplify]: Simplify 0 into 0
11.502 * [taylor]: Taking taylor expansion of 0 in z
11.502 * [backup-simplify]: Simplify 0 into 0
11.505 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
11.505 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
11.514 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
11.514 * [taylor]: Taking taylor expansion of 0 in z
11.514 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.515 * [taylor]: Taking taylor expansion of 0 in z
11.515 * [backup-simplify]: Simplify 0 into 0
11.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.518 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
11.519 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (* (/ 1 (- z)) (* (/ 1 (- z)) 3))) into (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2)))
11.519 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in (x y z) around 0
11.519 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in z
11.519 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
11.519 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
11.519 * [taylor]: Taking taylor expansion of (/ -1 x) in z
11.519 * [taylor]: Taking taylor expansion of -1 in z
11.519 * [backup-simplify]: Simplify -1 into -1
11.519 * [taylor]: Taking taylor expansion of x in z
11.519 * [backup-simplify]: Simplify x into x
11.519 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
11.519 * [taylor]: Taking taylor expansion of (/ -1 y) in z
11.519 * [taylor]: Taking taylor expansion of -1 in z
11.519 * [backup-simplify]: Simplify -1 into -1
11.519 * [taylor]: Taking taylor expansion of y in z
11.519 * [backup-simplify]: Simplify y into y
11.519 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
11.519 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.519 * [taylor]: Taking taylor expansion of 3 in z
11.520 * [backup-simplify]: Simplify 3 into 3
11.520 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.520 * [taylor]: Taking taylor expansion of z in z
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify 1 into 1
11.520 * [backup-simplify]: Simplify (* 1 1) into 1
11.521 * [backup-simplify]: Simplify (/ 3 1) into 3
11.521 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in y
11.522 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
11.522 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
11.522 * [taylor]: Taking taylor expansion of (/ -1 x) in y
11.522 * [taylor]: Taking taylor expansion of -1 in y
11.522 * [backup-simplify]: Simplify -1 into -1
11.522 * [taylor]: Taking taylor expansion of x in y
11.522 * [backup-simplify]: Simplify x into x
11.522 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
11.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.522 * [taylor]: Taking taylor expansion of -1 in y
11.522 * [backup-simplify]: Simplify -1 into -1
11.522 * [taylor]: Taking taylor expansion of y in y
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify 1 into 1
11.523 * [backup-simplify]: Simplify (/ -1 1) into -1
11.523 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
11.523 * [taylor]: Taking taylor expansion of 3 in y
11.523 * [backup-simplify]: Simplify 3 into 3
11.523 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.523 * [taylor]: Taking taylor expansion of z in y
11.523 * [backup-simplify]: Simplify z into z
11.523 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.523 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
11.523 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in x
11.523 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
11.523 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
11.523 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.523 * [taylor]: Taking taylor expansion of -1 in x
11.523 * [backup-simplify]: Simplify -1 into -1
11.523 * [taylor]: Taking taylor expansion of x in x
11.523 * [backup-simplify]: Simplify 0 into 0
11.523 * [backup-simplify]: Simplify 1 into 1
11.524 * [backup-simplify]: Simplify (/ -1 1) into -1
11.524 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.524 * [taylor]: Taking taylor expansion of -1 in x
11.524 * [backup-simplify]: Simplify -1 into -1
11.524 * [taylor]: Taking taylor expansion of y in x
11.524 * [backup-simplify]: Simplify y into y
11.524 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
11.524 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
11.524 * [taylor]: Taking taylor expansion of 3 in x
11.524 * [backup-simplify]: Simplify 3 into 3
11.524 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.524 * [taylor]: Taking taylor expansion of z in x
11.524 * [backup-simplify]: Simplify z into z
11.524 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.524 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
11.524 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in x
11.524 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
11.525 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
11.525 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.525 * [taylor]: Taking taylor expansion of -1 in x
11.525 * [backup-simplify]: Simplify -1 into -1
11.525 * [taylor]: Taking taylor expansion of x in x
11.525 * [backup-simplify]: Simplify 0 into 0
11.525 * [backup-simplify]: Simplify 1 into 1
11.525 * [backup-simplify]: Simplify (/ -1 1) into -1
11.525 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.525 * [taylor]: Taking taylor expansion of -1 in x
11.525 * [backup-simplify]: Simplify -1 into -1
11.525 * [taylor]: Taking taylor expansion of y in x
11.525 * [backup-simplify]: Simplify y into y
11.525 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
11.525 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
11.525 * [taylor]: Taking taylor expansion of 3 in x
11.525 * [backup-simplify]: Simplify 3 into 3
11.525 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.526 * [taylor]: Taking taylor expansion of z in x
11.526 * [backup-simplify]: Simplify z into z
11.526 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.526 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
11.526 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
11.526 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
11.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.526 * [taylor]: Taking taylor expansion of y in y
11.526 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify 1 into 1
11.527 * [backup-simplify]: Simplify (/ 1 1) into 1
11.527 * [taylor]: Taking taylor expansion of 1 in z
11.527 * [backup-simplify]: Simplify 1 into 1
11.527 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
11.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
11.528 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0
11.528 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
11.528 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
11.528 * [taylor]: Taking taylor expansion of 3 in y
11.528 * [backup-simplify]: Simplify 3 into 3
11.528 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
11.528 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.528 * [taylor]: Taking taylor expansion of z in y
11.529 * [backup-simplify]: Simplify z into z
11.529 * [backup-simplify]: Simplify (* z z) into (pow z 2)
11.529 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
11.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.530 * [taylor]: Taking taylor expansion of 0 in z
11.530 * [backup-simplify]: Simplify 0 into 0
11.530 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.532 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
11.532 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
11.532 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
11.533 * [backup-simplify]: Simplify (+ 0 0) into 0
11.533 * [taylor]: Taking taylor expansion of 0 in y
11.533 * [backup-simplify]: Simplify 0 into 0
11.533 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
11.533 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
11.533 * [taylor]: Taking taylor expansion of 3 in z
11.533 * [backup-simplify]: Simplify 3 into 3
11.533 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.533 * [taylor]: Taking taylor expansion of z in z
11.533 * [backup-simplify]: Simplify 0 into 0
11.533 * [backup-simplify]: Simplify 1 into 1
11.534 * [backup-simplify]: Simplify (* 1 1) into 1
11.534 * [backup-simplify]: Simplify (/ 3 1) into 3
11.534 * [backup-simplify]: Simplify 3 into 3
11.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.535 * [taylor]: Taking taylor expansion of 0 in z
11.535 * [backup-simplify]: Simplify 0 into 0
11.535 * [backup-simplify]: Simplify 1 into 1
11.535 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.537 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
11.600 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
11.602 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
11.622 * [backup-simplify]: Simplify (+ 0 0) into 0
11.622 * [taylor]: Taking taylor expansion of 0 in y
11.622 * [backup-simplify]: Simplify 0 into 0
11.623 * [taylor]: Taking taylor expansion of 0 in z
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
11.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
11.624 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
11.624 * [taylor]: Taking taylor expansion of 0 in z
11.624 * [backup-simplify]: Simplify 0 into 0
11.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.625 * [taylor]: Taking taylor expansion of 0 in z
11.625 * [backup-simplify]: Simplify 0 into 0
11.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
11.627 * [backup-simplify]: Simplify 0 into 0
11.627 * [backup-simplify]: Simplify 0 into 0
11.627 * [backup-simplify]: Simplify 0 into 0
11.627 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.630 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0
11.631 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
11.632 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
11.632 * [backup-simplify]: Simplify (+ 0 0) into 0
11.632 * [taylor]: Taking taylor expansion of 0 in y
11.632 * [backup-simplify]: Simplify 0 into 0
11.632 * [taylor]: Taking taylor expansion of 0 in z
11.632 * [backup-simplify]: Simplify 0 into 0
11.633 * [taylor]: Taking taylor expansion of 0 in z
11.633 * [backup-simplify]: Simplify 0 into 0
11.633 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
11.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
11.634 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
11.635 * [taylor]: Taking taylor expansion of 0 in z
11.635 * [backup-simplify]: Simplify 0 into 0
11.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.635 * [taylor]: Taking taylor expansion of 0 in z
11.636 * [backup-simplify]: Simplify 0 into 0
11.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.637 * [backup-simplify]: Simplify 0 into 0
11.637 * [backup-simplify]: Simplify 0 into 0
11.638 * [backup-simplify]: Simplify 0 into 0
11.638 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
11.646 * * * [progress]: simplifying candidates
11.659 * [simplify]: Simplifying:
  (expm1 (* z (* z 3)))
  (log1p (* z (* z 3)))
  (* z (* z 3))
  (* z (* z 3))
  (+ (log z) (+ (log z) (log 3)))
  (+ (log z) (log (* z 3)))
  (log (* z (* z 3)))
  (exp (* z (* z 3)))
  (* (* (* z z) z) (* (* (* z z) z) (* (* 3 3) 3)))
  (* (* (* z z) z) (* (* (* z 3) (* z 3)) (* z 3)))
  (* (cbrt (* z (* z 3))) (cbrt (* z (* z 3))))
  (cbrt (* z (* z 3)))
  (* (* (* z (* z 3)) (* z (* z 3))) (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (* z z)
  (* (cbrt z) (* z 3))
  (* (sqrt z) (* z 3))
  (* z (* z 3))
  (expm1 (fma x y (* z (* z 3))))
  (log1p (fma x y (* z (* z 3))))
  (* x y)
  (log (fma x y (* z (* z 3))))
  (exp (fma x y (* z (* z 3))))
  (* (cbrt (fma x y (* z (* z 3)))) (cbrt (fma x y (* z (* z 3)))))
  (cbrt (fma x y (* z (* z 3))))
  (* (* (fma x y (* z (* z 3))) (fma x y (* z (* z 3)))) (fma x y (* z (* z 3))))
  (sqrt (fma x y (* z (* z 3))))
  (sqrt (fma x y (* z (* z 3))))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
11.666 * * [simplify]: iteration 0: 49 enodes
11.704 * * [simplify]: iteration 1: 108 enodes
11.776 * * [simplify]: iteration 2: 327 enodes
14.473 * * [simplify]: iteration 3: 1688 enodes
17.173 * * [simplify]: iteration complete: 5021 enodes
17.173 * * [simplify]: Extracting #0: cost 22 inf + 0
17.174 * * [simplify]: Extracting #1: cost 409 inf + 0
17.183 * * [simplify]: Extracting #2: cost 1672 inf + 8475
17.219 * * [simplify]: Extracting #3: cost 1431 inf + 116476
17.589 * * [simplify]: Extracting #4: cost 209 inf + 300751
17.886 * * [simplify]: Extracting #5: cost 0 inf + 347114
18.004 * [simplify]: Simplified to:
  (expm1 (* (* 3 z) z))
  (log1p (* (* 3 z) z))
  (* (* 3 z) z)
  (* (* 3 z) z)
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (exp (* (* 3 z) z))
  (* (* z (* z z)) (* 27 (* z (* z z))))
  (* (* z (* z z)) (* 27 (* z (* z z))))
  (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z)))
  (cbrt (* (* 3 z) z))
  (* (* z (* z z)) (* 27 (* z (* z z))))
  (sqrt (* (* 3 z) z))
  (sqrt (* (* 3 z) z))
  (* z z)
  (* (* z 3) (cbrt z))
  (* (* 3 z) (sqrt z))
  (* (* 3 z) z)
  (expm1 (fma (* 3 z) z (* y x)))
  (log1p (fma (* 3 z) z (* y x)))
  (* y x)
  (log (fma (* 3 z) z (* y x)))
  (exp (fma (* 3 z) z (* y x)))
  (* (cbrt (fma (* 3 z) z (* y x))) (cbrt (fma (* 3 z) z (* y x))))
  (cbrt (fma (* 3 z) z (* y x)))
  (* (fma (* 3 z) z (* y x)) (* (fma (* 3 z) z (* y x)) (fma (* 3 z) z (* y x))))
  (sqrt (fma (* 3 z) z (* y x)))
  (sqrt (fma (* 3 z) z (* y x)))
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (fma (* 3 z) z (* y x))
  (fma (* 3 z) z (* y x))
  (fma (* 3 z) z (* y x))
18.006 * * * [progress]: adding candidates to table
18.237 * * [progress]: iteration 3 / 4
18.237 * * * [progress]: picking best candidate
18.262 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* (* z z) 3)))>
18.262 * * * [progress]: localizing error
18.283 * * * [progress]: generating rewritten candidates
18.283 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
18.318 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
18.320 * * * [progress]: generating series expansions
18.320 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
18.320 * [backup-simplify]: Simplify (* (* z z) 3) into (* 3 (pow z 2))
18.320 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
18.320 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
18.320 * [taylor]: Taking taylor expansion of 3 in z
18.320 * [backup-simplify]: Simplify 3 into 3
18.320 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.320 * [taylor]: Taking taylor expansion of z in z
18.320 * [backup-simplify]: Simplify 0 into 0
18.320 * [backup-simplify]: Simplify 1 into 1
18.321 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
18.321 * [taylor]: Taking taylor expansion of 3 in z
18.321 * [backup-simplify]: Simplify 3 into 3
18.321 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.321 * [taylor]: Taking taylor expansion of z in z
18.321 * [backup-simplify]: Simplify 0 into 0
18.321 * [backup-simplify]: Simplify 1 into 1
18.322 * [backup-simplify]: Simplify (* 1 1) into 1
18.322 * [backup-simplify]: Simplify (* 3 1) into 3
18.322 * [backup-simplify]: Simplify 3 into 3
18.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.324 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
18.324 * [backup-simplify]: Simplify 0 into 0
18.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.326 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
18.326 * [backup-simplify]: Simplify 0 into 0
18.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.329 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.329 * [backup-simplify]: Simplify 0 into 0
18.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.333 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.333 * [backup-simplify]: Simplify 0 into 0
18.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.336 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.336 * [backup-simplify]: Simplify 0 into 0
18.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.339 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.340 * [backup-simplify]: Simplify 0 into 0
18.340 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
18.340 * [backup-simplify]: Simplify (* (* (/ 1 z) (/ 1 z)) 3) into (/ 3 (pow z 2))
18.340 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
18.340 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.340 * [taylor]: Taking taylor expansion of 3 in z
18.340 * [backup-simplify]: Simplify 3 into 3
18.340 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.340 * [taylor]: Taking taylor expansion of z in z
18.340 * [backup-simplify]: Simplify 0 into 0
18.340 * [backup-simplify]: Simplify 1 into 1
18.341 * [backup-simplify]: Simplify (* 1 1) into 1
18.341 * [backup-simplify]: Simplify (/ 3 1) into 3
18.341 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.341 * [taylor]: Taking taylor expansion of 3 in z
18.342 * [backup-simplify]: Simplify 3 into 3
18.342 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.342 * [taylor]: Taking taylor expansion of z in z
18.342 * [backup-simplify]: Simplify 0 into 0
18.342 * [backup-simplify]: Simplify 1 into 1
18.342 * [backup-simplify]: Simplify (* 1 1) into 1
18.342 * [backup-simplify]: Simplify (/ 3 1) into 3
18.343 * [backup-simplify]: Simplify 3 into 3
18.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
18.344 * [backup-simplify]: Simplify 0 into 0
18.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.347 * [backup-simplify]: Simplify 0 into 0
18.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.356 * [backup-simplify]: Simplify 0 into 0
18.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.358 * [backup-simplify]: Simplify 0 into 0
18.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.361 * [backup-simplify]: Simplify 0 into 0
18.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.363 * [backup-simplify]: Simplify 0 into 0
18.364 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
18.364 * [backup-simplify]: Simplify (* (* (/ 1 (- z)) (/ 1 (- z))) 3) into (/ 3 (pow z 2))
18.364 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
18.364 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.364 * [taylor]: Taking taylor expansion of 3 in z
18.364 * [backup-simplify]: Simplify 3 into 3
18.364 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.364 * [taylor]: Taking taylor expansion of z in z
18.364 * [backup-simplify]: Simplify 0 into 0
18.364 * [backup-simplify]: Simplify 1 into 1
18.364 * [backup-simplify]: Simplify (* 1 1) into 1
18.365 * [backup-simplify]: Simplify (/ 3 1) into 3
18.365 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.365 * [taylor]: Taking taylor expansion of 3 in z
18.365 * [backup-simplify]: Simplify 3 into 3
18.365 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.365 * [taylor]: Taking taylor expansion of z in z
18.365 * [backup-simplify]: Simplify 0 into 0
18.365 * [backup-simplify]: Simplify 1 into 1
18.365 * [backup-simplify]: Simplify (* 1 1) into 1
18.366 * [backup-simplify]: Simplify (/ 3 1) into 3
18.366 * [backup-simplify]: Simplify 3 into 3
18.367 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
18.368 * [backup-simplify]: Simplify 0 into 0
18.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.370 * [backup-simplify]: Simplify 0 into 0
18.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.372 * [backup-simplify]: Simplify 0 into 0
18.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.375 * [backup-simplify]: Simplify 0 into 0
18.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.377 * [backup-simplify]: Simplify 0 into 0
18.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.380 * [backup-simplify]: Simplify 0 into 0
18.380 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
18.380 * * * * [progress]: [ 2 / 2 ] generating series at (2)
18.380 * [backup-simplify]: Simplify (fma x y (* (* z z) 3)) into (fma x y (* 3 (pow z 2)))
18.381 * [approximate]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in (x y z) around 0
18.381 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in z
18.381 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
18.381 * [taylor]: Taking taylor expansion of (* x y) in z
18.381 * [taylor]: Taking taylor expansion of x in z
18.381 * [backup-simplify]: Simplify x into x
18.381 * [taylor]: Taking taylor expansion of y in z
18.381 * [backup-simplify]: Simplify y into y
18.381 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
18.381 * [taylor]: Taking taylor expansion of 3 in z
18.381 * [backup-simplify]: Simplify 3 into 3
18.381 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.381 * [taylor]: Taking taylor expansion of z in z
18.381 * [backup-simplify]: Simplify 0 into 0
18.381 * [backup-simplify]: Simplify 1 into 1
18.381 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in y
18.381 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
18.381 * [taylor]: Taking taylor expansion of (* x y) in y
18.381 * [taylor]: Taking taylor expansion of x in y
18.381 * [backup-simplify]: Simplify x into x
18.381 * [taylor]: Taking taylor expansion of y in y
18.382 * [backup-simplify]: Simplify 0 into 0
18.382 * [backup-simplify]: Simplify 1 into 1
18.382 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
18.382 * [taylor]: Taking taylor expansion of 3 in y
18.382 * [backup-simplify]: Simplify 3 into 3
18.382 * [taylor]: Taking taylor expansion of (pow z 2) in y
18.382 * [taylor]: Taking taylor expansion of z in y
18.382 * [backup-simplify]: Simplify z into z
18.382 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in x
18.382 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
18.382 * [taylor]: Taking taylor expansion of (* x y) in x
18.382 * [taylor]: Taking taylor expansion of x in x
18.382 * [backup-simplify]: Simplify 0 into 0
18.382 * [backup-simplify]: Simplify 1 into 1
18.382 * [taylor]: Taking taylor expansion of y in x
18.382 * [backup-simplify]: Simplify y into y
18.382 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
18.382 * [taylor]: Taking taylor expansion of 3 in x
18.382 * [backup-simplify]: Simplify 3 into 3
18.382 * [taylor]: Taking taylor expansion of (pow z 2) in x
18.382 * [taylor]: Taking taylor expansion of z in x
18.382 * [backup-simplify]: Simplify z into z
18.382 * [taylor]: Taking taylor expansion of (fma x y (* 3 (pow z 2))) in x
18.382 * [taylor]: Rewrote expression to (+ (* x y) (* 3 (pow z 2)))
18.382 * [taylor]: Taking taylor expansion of (* x y) in x
18.382 * [taylor]: Taking taylor expansion of x in x
18.383 * [backup-simplify]: Simplify 0 into 0
18.383 * [backup-simplify]: Simplify 1 into 1
18.383 * [taylor]: Taking taylor expansion of y in x
18.383 * [backup-simplify]: Simplify y into y
18.383 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
18.383 * [taylor]: Taking taylor expansion of 3 in x
18.383 * [backup-simplify]: Simplify 3 into 3
18.383 * [taylor]: Taking taylor expansion of (pow z 2) in x
18.383 * [taylor]: Taking taylor expansion of z in x
18.383 * [backup-simplify]: Simplify z into z
18.383 * [backup-simplify]: Simplify (* 0 y) into 0
18.383 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.383 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
18.383 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2))
18.383 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
18.383 * [taylor]: Taking taylor expansion of 3 in y
18.383 * [backup-simplify]: Simplify 3 into 3
18.383 * [taylor]: Taking taylor expansion of (pow z 2) in y
18.384 * [taylor]: Taking taylor expansion of z in y
18.384 * [backup-simplify]: Simplify z into z
18.384 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.384 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
18.384 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
18.384 * [taylor]: Taking taylor expansion of 3 in z
18.384 * [backup-simplify]: Simplify 3 into 3
18.384 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.384 * [taylor]: Taking taylor expansion of z in z
18.384 * [backup-simplify]: Simplify 0 into 0
18.384 * [backup-simplify]: Simplify 1 into 1
18.385 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
18.385 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
18.385 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
18.385 * [backup-simplify]: Simplify (+ y 0) into y
18.385 * [taylor]: Taking taylor expansion of y in y
18.385 * [backup-simplify]: Simplify 0 into 0
18.385 * [backup-simplify]: Simplify 1 into 1
18.385 * [taylor]: Taking taylor expansion of 0 in z
18.386 * [backup-simplify]: Simplify 0 into 0
18.386 * [backup-simplify]: Simplify 0 into 0
18.386 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
18.386 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
18.386 * [taylor]: Taking taylor expansion of 0 in z
18.386 * [backup-simplify]: Simplify 0 into 0
18.386 * [backup-simplify]: Simplify 0 into 0
18.387 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
18.388 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
18.389 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
18.389 * [backup-simplify]: Simplify (+ 0 0) into 0
18.389 * [taylor]: Taking taylor expansion of 0 in y
18.389 * [backup-simplify]: Simplify 0 into 0
18.389 * [taylor]: Taking taylor expansion of 0 in z
18.389 * [backup-simplify]: Simplify 0 into 0
18.389 * [backup-simplify]: Simplify 0 into 0
18.389 * [taylor]: Taking taylor expansion of 1 in z
18.389 * [backup-simplify]: Simplify 1 into 1
18.389 * [backup-simplify]: Simplify 1 into 1
18.390 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
18.391 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
18.391 * [taylor]: Taking taylor expansion of 0 in z
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [backup-simplify]: Simplify 0 into 0
18.391 * [backup-simplify]: Simplify (* 1 1) into 1
18.392 * [backup-simplify]: Simplify (* 3 1) into 3
18.392 * [backup-simplify]: Simplify 3 into 3
18.392 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
18.393 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
18.394 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
18.394 * [backup-simplify]: Simplify (+ 0 0) into 0
18.394 * [taylor]: Taking taylor expansion of 0 in y
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [taylor]: Taking taylor expansion of 0 in z
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [taylor]: Taking taylor expansion of 0 in z
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [taylor]: Taking taylor expansion of 0 in z
18.394 * [backup-simplify]: Simplify 0 into 0
18.394 * [backup-simplify]: Simplify 0 into 0
18.395 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
18.396 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
18.396 * [taylor]: Taking taylor expansion of 0 in z
18.396 * [backup-simplify]: Simplify 0 into 0
18.396 * [backup-simplify]: Simplify 0 into 0
18.396 * [backup-simplify]: Simplify 0 into 0
18.397 * [backup-simplify]: Simplify 0 into 0
18.397 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* y x)))) into (+ (* 3 (pow z 2)) (* x y))
18.398 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (* (* (/ 1 z) (/ 1 z)) 3)) into (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2)))
18.398 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in (x y z) around 0
18.398 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in z
18.398 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
18.398 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
18.398 * [taylor]: Taking taylor expansion of (/ 1 x) in z
18.398 * [taylor]: Taking taylor expansion of x in z
18.398 * [backup-simplify]: Simplify x into x
18.398 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.398 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.398 * [taylor]: Taking taylor expansion of y in z
18.398 * [backup-simplify]: Simplify y into y
18.398 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.398 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.398 * [taylor]: Taking taylor expansion of 3 in z
18.398 * [backup-simplify]: Simplify 3 into 3
18.398 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.398 * [taylor]: Taking taylor expansion of z in z
18.398 * [backup-simplify]: Simplify 0 into 0
18.398 * [backup-simplify]: Simplify 1 into 1
18.399 * [backup-simplify]: Simplify (* 1 1) into 1
18.399 * [backup-simplify]: Simplify (/ 3 1) into 3
18.399 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in y
18.399 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
18.399 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
18.399 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.400 * [taylor]: Taking taylor expansion of x in y
18.400 * [backup-simplify]: Simplify x into x
18.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.400 * [taylor]: Taking taylor expansion of y in y
18.400 * [backup-simplify]: Simplify 0 into 0
18.400 * [backup-simplify]: Simplify 1 into 1
18.400 * [backup-simplify]: Simplify (/ 1 1) into 1
18.400 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
18.400 * [taylor]: Taking taylor expansion of 3 in y
18.400 * [backup-simplify]: Simplify 3 into 3
18.400 * [taylor]: Taking taylor expansion of (pow z 2) in y
18.400 * [taylor]: Taking taylor expansion of z in y
18.400 * [backup-simplify]: Simplify z into z
18.400 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.401 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
18.401 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in x
18.401 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
18.401 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
18.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.401 * [taylor]: Taking taylor expansion of x in x
18.401 * [backup-simplify]: Simplify 0 into 0
18.401 * [backup-simplify]: Simplify 1 into 1
18.401 * [backup-simplify]: Simplify (/ 1 1) into 1
18.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.401 * [taylor]: Taking taylor expansion of y in x
18.401 * [backup-simplify]: Simplify y into y
18.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.401 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
18.402 * [taylor]: Taking taylor expansion of 3 in x
18.402 * [backup-simplify]: Simplify 3 into 3
18.402 * [taylor]: Taking taylor expansion of (pow z 2) in x
18.402 * [taylor]: Taking taylor expansion of z in x
18.402 * [backup-simplify]: Simplify z into z
18.402 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.402 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
18.402 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 3 (pow z 2))) in x
18.402 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 3 (pow z 2)))
18.402 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
18.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.402 * [taylor]: Taking taylor expansion of x in x
18.402 * [backup-simplify]: Simplify 0 into 0
18.402 * [backup-simplify]: Simplify 1 into 1
18.403 * [backup-simplify]: Simplify (/ 1 1) into 1
18.403 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.403 * [taylor]: Taking taylor expansion of y in x
18.403 * [backup-simplify]: Simplify y into y
18.403 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.403 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
18.403 * [taylor]: Taking taylor expansion of 3 in x
18.403 * [backup-simplify]: Simplify 3 into 3
18.403 * [taylor]: Taking taylor expansion of (pow z 2) in x
18.403 * [taylor]: Taking taylor expansion of z in x
18.403 * [backup-simplify]: Simplify z into z
18.403 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.403 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
18.403 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
18.403 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
18.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.404 * [taylor]: Taking taylor expansion of y in y
18.404 * [backup-simplify]: Simplify 0 into 0
18.404 * [backup-simplify]: Simplify 1 into 1
18.404 * [backup-simplify]: Simplify (/ 1 1) into 1
18.404 * [taylor]: Taking taylor expansion of 1 in z
18.404 * [backup-simplify]: Simplify 1 into 1
18.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
18.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.406 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0
18.406 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
18.406 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
18.406 * [taylor]: Taking taylor expansion of 3 in y
18.406 * [backup-simplify]: Simplify 3 into 3
18.406 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
18.406 * [taylor]: Taking taylor expansion of (pow z 2) in y
18.406 * [taylor]: Taking taylor expansion of z in y
18.406 * [backup-simplify]: Simplify z into z
18.406 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.406 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
18.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.407 * [taylor]: Taking taylor expansion of 0 in z
18.407 * [backup-simplify]: Simplify 0 into 0
18.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
18.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
18.409 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
18.410 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
18.410 * [backup-simplify]: Simplify (+ 0 0) into 0
18.410 * [taylor]: Taking taylor expansion of 0 in y
18.410 * [backup-simplify]: Simplify 0 into 0
18.410 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
18.410 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.410 * [taylor]: Taking taylor expansion of 3 in z
18.410 * [backup-simplify]: Simplify 3 into 3
18.410 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.410 * [taylor]: Taking taylor expansion of z in z
18.410 * [backup-simplify]: Simplify 0 into 0
18.410 * [backup-simplify]: Simplify 1 into 1
18.411 * [backup-simplify]: Simplify (* 1 1) into 1
18.411 * [backup-simplify]: Simplify (/ 3 1) into 3
18.411 * [backup-simplify]: Simplify 3 into 3
18.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.413 * [taylor]: Taking taylor expansion of 0 in z
18.413 * [backup-simplify]: Simplify 0 into 0
18.413 * [backup-simplify]: Simplify 1 into 1
18.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
18.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
18.416 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
18.416 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
18.417 * [backup-simplify]: Simplify (+ 0 0) into 0
18.417 * [taylor]: Taking taylor expansion of 0 in y
18.417 * [backup-simplify]: Simplify 0 into 0
18.417 * [taylor]: Taking taylor expansion of 0 in z
18.417 * [backup-simplify]: Simplify 0 into 0
18.417 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
18.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
18.418 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
18.418 * [taylor]: Taking taylor expansion of 0 in z
18.418 * [backup-simplify]: Simplify 0 into 0
18.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.419 * [taylor]: Taking taylor expansion of 0 in z
18.419 * [backup-simplify]: Simplify 0 into 0
18.420 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
18.421 * [backup-simplify]: Simplify 0 into 0
18.421 * [backup-simplify]: Simplify 0 into 0
18.421 * [backup-simplify]: Simplify 0 into 0
18.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
18.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0
18.424 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
18.425 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
18.426 * [backup-simplify]: Simplify (+ 0 0) into 0
18.426 * [taylor]: Taking taylor expansion of 0 in y
18.426 * [backup-simplify]: Simplify 0 into 0
18.426 * [taylor]: Taking taylor expansion of 0 in z
18.426 * [backup-simplify]: Simplify 0 into 0
18.426 * [taylor]: Taking taylor expansion of 0 in z
18.426 * [backup-simplify]: Simplify 0 into 0
18.426 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
18.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
18.428 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
18.428 * [taylor]: Taking taylor expansion of 0 in z
18.428 * [backup-simplify]: Simplify 0 into 0
18.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.429 * [taylor]: Taking taylor expansion of 0 in z
18.429 * [backup-simplify]: Simplify 0 into 0
18.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.431 * [backup-simplify]: Simplify 0 into 0
18.431 * [backup-simplify]: Simplify 0 into 0
18.431 * [backup-simplify]: Simplify 0 into 0
18.432 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
18.432 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (* (* (/ 1 (- z)) (/ 1 (- z))) 3)) into (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2)))
18.432 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in (x y z) around 0
18.432 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in z
18.433 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
18.433 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
18.433 * [taylor]: Taking taylor expansion of (/ -1 x) in z
18.433 * [taylor]: Taking taylor expansion of -1 in z
18.433 * [backup-simplify]: Simplify -1 into -1
18.433 * [taylor]: Taking taylor expansion of x in z
18.433 * [backup-simplify]: Simplify x into x
18.433 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
18.433 * [taylor]: Taking taylor expansion of (/ -1 y) in z
18.433 * [taylor]: Taking taylor expansion of -1 in z
18.433 * [backup-simplify]: Simplify -1 into -1
18.433 * [taylor]: Taking taylor expansion of y in z
18.433 * [backup-simplify]: Simplify y into y
18.433 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.433 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.433 * [taylor]: Taking taylor expansion of 3 in z
18.433 * [backup-simplify]: Simplify 3 into 3
18.433 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.433 * [taylor]: Taking taylor expansion of z in z
18.433 * [backup-simplify]: Simplify 0 into 0
18.433 * [backup-simplify]: Simplify 1 into 1
18.434 * [backup-simplify]: Simplify (* 1 1) into 1
18.434 * [backup-simplify]: Simplify (/ 3 1) into 3
18.434 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in y
18.434 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
18.435 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
18.435 * [taylor]: Taking taylor expansion of (/ -1 x) in y
18.435 * [taylor]: Taking taylor expansion of -1 in y
18.435 * [backup-simplify]: Simplify -1 into -1
18.435 * [taylor]: Taking taylor expansion of x in y
18.435 * [backup-simplify]: Simplify x into x
18.435 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
18.435 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.435 * [taylor]: Taking taylor expansion of -1 in y
18.435 * [backup-simplify]: Simplify -1 into -1
18.435 * [taylor]: Taking taylor expansion of y in y
18.435 * [backup-simplify]: Simplify 0 into 0
18.435 * [backup-simplify]: Simplify 1 into 1
18.435 * [backup-simplify]: Simplify (/ -1 1) into -1
18.435 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y
18.435 * [taylor]: Taking taylor expansion of 3 in y
18.435 * [backup-simplify]: Simplify 3 into 3
18.436 * [taylor]: Taking taylor expansion of (pow z 2) in y
18.436 * [taylor]: Taking taylor expansion of z in y
18.436 * [backup-simplify]: Simplify z into z
18.436 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.436 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
18.436 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in x
18.436 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
18.436 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
18.436 * [taylor]: Taking taylor expansion of (/ -1 x) in x
18.436 * [taylor]: Taking taylor expansion of -1 in x
18.436 * [backup-simplify]: Simplify -1 into -1
18.436 * [taylor]: Taking taylor expansion of x in x
18.436 * [backup-simplify]: Simplify 0 into 0
18.436 * [backup-simplify]: Simplify 1 into 1
18.437 * [backup-simplify]: Simplify (/ -1 1) into -1
18.437 * [taylor]: Taking taylor expansion of (/ -1 y) in x
18.437 * [taylor]: Taking taylor expansion of -1 in x
18.437 * [backup-simplify]: Simplify -1 into -1
18.437 * [taylor]: Taking taylor expansion of y in x
18.437 * [backup-simplify]: Simplify y into y
18.437 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.437 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
18.437 * [taylor]: Taking taylor expansion of 3 in x
18.437 * [backup-simplify]: Simplify 3 into 3
18.437 * [taylor]: Taking taylor expansion of (pow z 2) in x
18.437 * [taylor]: Taking taylor expansion of z in x
18.437 * [backup-simplify]: Simplify z into z
18.437 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.437 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
18.437 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ 3 (pow z 2))) in x
18.437 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ 3 (pow z 2)))
18.438 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
18.438 * [taylor]: Taking taylor expansion of (/ -1 x) in x
18.438 * [taylor]: Taking taylor expansion of -1 in x
18.438 * [backup-simplify]: Simplify -1 into -1
18.438 * [taylor]: Taking taylor expansion of x in x
18.438 * [backup-simplify]: Simplify 0 into 0
18.438 * [backup-simplify]: Simplify 1 into 1
18.438 * [backup-simplify]: Simplify (/ -1 1) into -1
18.438 * [taylor]: Taking taylor expansion of (/ -1 y) in x
18.438 * [taylor]: Taking taylor expansion of -1 in x
18.438 * [backup-simplify]: Simplify -1 into -1
18.438 * [taylor]: Taking taylor expansion of y in x
18.438 * [backup-simplify]: Simplify y into y
18.438 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.438 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x
18.438 * [taylor]: Taking taylor expansion of 3 in x
18.439 * [backup-simplify]: Simplify 3 into 3
18.439 * [taylor]: Taking taylor expansion of (pow z 2) in x
18.439 * [taylor]: Taking taylor expansion of z in x
18.439 * [backup-simplify]: Simplify z into z
18.439 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.439 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2))
18.439 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
18.439 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
18.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.439 * [taylor]: Taking taylor expansion of y in y
18.439 * [backup-simplify]: Simplify 0 into 0
18.439 * [backup-simplify]: Simplify 1 into 1
18.440 * [backup-simplify]: Simplify (/ 1 1) into 1
18.440 * [taylor]: Taking taylor expansion of 1 in z
18.440 * [backup-simplify]: Simplify 1 into 1
18.440 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
18.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
18.441 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0
18.441 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2)))
18.441 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
18.441 * [taylor]: Taking taylor expansion of 3 in y
18.441 * [backup-simplify]: Simplify 3 into 3
18.441 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
18.441 * [taylor]: Taking taylor expansion of (pow z 2) in y
18.441 * [taylor]: Taking taylor expansion of z in y
18.441 * [backup-simplify]: Simplify z into z
18.441 * [backup-simplify]: Simplify (* z z) into (pow z 2)
18.441 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
18.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.442 * [taylor]: Taking taylor expansion of 0 in z
18.442 * [backup-simplify]: Simplify 0 into 0
18.442 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
18.443 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.444 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
18.444 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
18.445 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0
18.445 * [backup-simplify]: Simplify (+ 0 0) into 0
18.445 * [taylor]: Taking taylor expansion of 0 in y
18.445 * [backup-simplify]: Simplify 0 into 0
18.446 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
18.446 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
18.446 * [taylor]: Taking taylor expansion of 3 in z
18.446 * [backup-simplify]: Simplify 3 into 3
18.446 * [taylor]: Taking taylor expansion of (pow z 2) in z
18.446 * [taylor]: Taking taylor expansion of z in z
18.446 * [backup-simplify]: Simplify 0 into 0
18.446 * [backup-simplify]: Simplify 1 into 1
18.446 * [backup-simplify]: Simplify (* 1 1) into 1
18.447 * [backup-simplify]: Simplify (/ 3 1) into 3
18.447 * [backup-simplify]: Simplify 3 into 3
18.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.448 * [taylor]: Taking taylor expansion of 0 in z
18.448 * [backup-simplify]: Simplify 0 into 0
18.448 * [backup-simplify]: Simplify 1 into 1
18.448 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
18.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.451 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
18.451 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
18.452 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
18.453 * [backup-simplify]: Simplify (+ 0 0) into 0
18.453 * [taylor]: Taking taylor expansion of 0 in y
18.453 * [backup-simplify]: Simplify 0 into 0
18.453 * [taylor]: Taking taylor expansion of 0 in z
18.453 * [backup-simplify]: Simplify 0 into 0
18.453 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
18.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
18.454 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
18.454 * [taylor]: Taking taylor expansion of 0 in z
18.454 * [backup-simplify]: Simplify 0 into 0
18.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.455 * [taylor]: Taking taylor expansion of 0 in z
18.455 * [backup-simplify]: Simplify 0 into 0
18.456 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
18.457 * [backup-simplify]: Simplify 0 into 0
18.457 * [backup-simplify]: Simplify 0 into 0
18.457 * [backup-simplify]: Simplify 0 into 0
18.458 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
18.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.461 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0
18.462 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
18.462 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
18.463 * [backup-simplify]: Simplify (+ 0 0) into 0
18.463 * [taylor]: Taking taylor expansion of 0 in y
18.463 * [backup-simplify]: Simplify 0 into 0
18.463 * [taylor]: Taking taylor expansion of 0 in z
18.463 * [backup-simplify]: Simplify 0 into 0
18.463 * [taylor]: Taking taylor expansion of 0 in z
18.463 * [backup-simplify]: Simplify 0 into 0
18.464 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
18.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
18.465 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
18.465 * [taylor]: Taking taylor expansion of 0 in z
18.465 * [backup-simplify]: Simplify 0 into 0
18.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.465 * [taylor]: Taking taylor expansion of 0 in z
18.466 * [backup-simplify]: Simplify 0 into 0
18.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.468 * [backup-simplify]: Simplify 0 into 0
18.468 * [backup-simplify]: Simplify 0 into 0
18.468 * [backup-simplify]: Simplify 0 into 0
18.469 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
18.470 * * * [progress]: simplifying candidates
18.471 * [simplify]: Simplifying:
  (expm1 (* (* z z) 3))
  (log1p (* (* z z) 3))
  (* (* z z) 3)
  (* (* z z) 3)
  (+ (+ (log z) (log z)) (log 3))
  (+ (log (* z z)) (log 3))
  (log (* (* z z) 3))
  (exp (* (* z z) 3))
  (* (* (* (* z z) z) (* (* z z) z)) (* (* 3 3) 3))
  (* (* (* (* z z) (* z z)) (* z z)) (* (* 3 3) 3))
  (* (cbrt (* (* z z) 3)) (cbrt (* (* z z) 3)))
  (cbrt (* (* z z) 3))
  (* (* (* (* z z) 3) (* (* z z) 3)) (* (* z z) 3))
  (sqrt (* (* z z) 3))
  (sqrt (* (* z z) 3))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (* z z) (* (cbrt 3) (cbrt 3)))
  (* (* z z) (sqrt 3))
  (* (* z z) 1)
  (* z 3)
  (expm1 (fma x y (* (* z z) 3)))
  (log1p (fma x y (* (* z z) 3)))
  (* x y)
  (log (fma x y (* (* z z) 3)))
  (exp (fma x y (* (* z z) 3)))
  (* (cbrt (fma x y (* (* z z) 3))) (cbrt (fma x y (* (* z z) 3))))
  (cbrt (fma x y (* (* z z) 3)))
  (* (* (fma x y (* (* z z) 3)) (fma x y (* (* z z) 3))) (fma x y (* (* z z) 3)))
  (sqrt (fma x y (* (* z z) 3)))
  (sqrt (fma x y (* (* z z) 3)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
18.473 * * [simplify]: iteration 0: 53 enodes
18.494 * * [simplify]: iteration 1: 120 enodes
18.584 * * [simplify]: iteration 2: 362 enodes
19.652 * * [simplify]: iteration 3: 1180 enodes
31.921 * * [simplify]: iteration 4: 4916 enodes
41.767 * * [simplify]: iteration complete: 5000 enodes
41.768 * * [simplify]: Extracting #0: cost 24 inf + 0
41.769 * * [simplify]: Extracting #1: cost 339 inf + 0
41.782 * * [simplify]: Extracting #2: cost 1095 inf + 8484
41.816 * * [simplify]: Extracting #3: cost 523 inf + 96361
41.903 * * [simplify]: Extracting #4: cost 26 inf + 171478
41.984 * * [simplify]: Extracting #5: cost 1 inf + 174701
42.063 * * [simplify]: Extracting #6: cost 0 inf + 174822
42.164 * [simplify]: Simplified to:
  (expm1 (* z (* z 3)))
  (log1p (* z (* z 3)))
  (* z (* z 3))
  (* z (* z 3))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (exp (* z (* z 3)))
  (* (* (* z z) 27) (* (* z z) (* z z)))
  (* (* (* z z) 27) (* (* z z) (* z z)))
  (* (cbrt (* z (* z 3))) (cbrt (* z (* z 3))))
  (cbrt (* z (* z 3)))
  (* (* (* z z) 27) (* (* z z) (* z z)))
  (sqrt (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (* (cbrt 3) z) (* (cbrt 3) z))
  (* z (* z (sqrt 3)))
  (* z z)
  (* z 3)
  (expm1 (fma (* z z) 3 (* y x)))
  (log1p (fma (* z z) 3 (* y x)))
  (* y x)
  (log (fma (* z z) 3 (* y x)))
  (exp (fma (* z z) 3 (* y x)))
  (* (cbrt (fma (* z z) 3 (* y x))) (cbrt (fma (* z z) 3 (* y x))))
  (cbrt (fma (* z z) 3 (* y x)))
  (* (fma (* z z) 3 (* y x)) (* (fma (* z z) 3 (* y x)) (fma (* z z) 3 (* y x))))
  (sqrt (fma (* z z) 3 (* y x)))
  (sqrt (fma (* z z) 3 (* y x)))
  (* z (* z 3))
  (* z (* z 3))
  (* z (* z 3))
  (fma (* z z) 3 (* y x))
  (fma (* z z) 3 (* y x))
  (fma (* z z) 3 (* y x))
42.166 * * * [progress]: adding candidates to table
42.526 * * [progress]: iteration 4 / 4
42.526 * * * [progress]: picking best candidate
42.551 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (* z z) 3 (* y x)))>
42.551 * * * [progress]: localizing error
42.571 * * * [progress]: generating rewritten candidates
42.571 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
42.573 * * * [progress]: generating series expansions
42.573 * * * * [progress]: [ 1 / 1 ] generating series at (2)
42.573 * [backup-simplify]: Simplify (fma (* z z) 3 (* y x)) into (fma (pow z 2) 3 (* x y))
42.573 * [approximate]: Taking taylor expansion of (fma (pow z 2) 3 (* x y)) in (z y x) around 0
42.573 * [taylor]: Taking taylor expansion of (fma (pow z 2) 3 (* x y)) in x
42.574 * [taylor]: Rewrote expression to (+ (* (pow z 2) 3) (* x y))
42.574 * [taylor]: Taking taylor expansion of (* (pow z 2) 3) in x
42.574 * [taylor]: Taking taylor expansion of (pow z 2) in x
42.574 * [taylor]: Taking taylor expansion of z in x
42.574 * [backup-simplify]: Simplify z into z
42.574 * [taylor]: Taking taylor expansion of 3 in x
42.574 * [backup-simplify]: Simplify 3 into 3
42.574 * [taylor]: Taking taylor expansion of (* x y) in x
42.574 * [taylor]: Taking taylor expansion of x in x
42.574 * [backup-simplify]: Simplify 0 into 0
42.574 * [backup-simplify]: Simplify 1 into 1
42.574 * [taylor]: Taking taylor expansion of y in x
42.574 * [backup-simplify]: Simplify y into y
42.574 * [taylor]: Taking taylor expansion of (fma (pow z 2) 3 (* x y)) in y
42.574 * [taylor]: Rewrote expression to (+ (* (pow z 2) 3) (* x y))
42.574 * [taylor]: Taking taylor expansion of (* (pow z 2) 3) in y
42.574 * [taylor]: Taking taylor expansion of (pow z 2) in y
42.574 * [taylor]: Taking taylor expansion of z in y
42.574 * [backup-simplify]: Simplify z into z
42.574 * [taylor]: Taking taylor expansion of 3 in y
42.574 * [backup-simplify]: Simplify 3 into 3
42.574 * [taylor]: Taking taylor expansion of (* x y) in y
42.574 * [taylor]: Taking taylor expansion of x in y
42.574 * [backup-simplify]: Simplify x into x
42.574 * [taylor]: Taking taylor expansion of y in y
42.574 * [backup-simplify]: Simplify 0 into 0
42.574 * [backup-simplify]: Simplify 1 into 1
42.575 * [taylor]: Taking taylor expansion of (fma (pow z 2) 3 (* x y)) in z
42.575 * [taylor]: Rewrote expression to (+ (* (pow z 2) 3) (* x y))
42.575 * [taylor]: Taking taylor expansion of (* (pow z 2) 3) in z
42.575 * [taylor]: Taking taylor expansion of (pow z 2) in z
42.575 * [taylor]: Taking taylor expansion of z in z
42.575 * [backup-simplify]: Simplify 0 into 0
42.575 * [backup-simplify]: Simplify 1 into 1
42.575 * [taylor]: Taking taylor expansion of 3 in z
42.575 * [backup-simplify]: Simplify 3 into 3
42.575 * [taylor]: Taking taylor expansion of (* x y) in z
42.575 * [taylor]: Taking taylor expansion of x in z
42.575 * [backup-simplify]: Simplify x into x
42.575 * [taylor]: Taking taylor expansion of y in z
42.575 * [backup-simplify]: Simplify y into y
42.575 * [taylor]: Taking taylor expansion of (fma (pow z 2) 3 (* x y)) in z
42.575 * [taylor]: Rewrote expression to (+ (* (pow z 2) 3) (* x y))
42.575 * [taylor]: Taking taylor expansion of (* (pow z 2) 3) in z
42.575 * [taylor]: Taking taylor expansion of (pow z 2) in z
42.575 * [taylor]: Taking taylor expansion of z in z
42.575 * [backup-simplify]: Simplify 0 into 0
42.575 * [backup-simplify]: Simplify 1 into 1
42.575 * [taylor]: Taking taylor expansion of 3 in z
42.575 * [backup-simplify]: Simplify 3 into 3
42.575 * [taylor]: Taking taylor expansion of (* x y) in z
42.575 * [taylor]: Taking taylor expansion of x in z
42.576 * [backup-simplify]: Simplify x into x
42.576 * [taylor]: Taking taylor expansion of y in z
42.576 * [backup-simplify]: Simplify y into y
42.576 * [backup-simplify]: Simplify (* x y) into (* x y)
42.576 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y)
42.576 * [taylor]: Taking taylor expansion of (* x y) in y
42.576 * [taylor]: Taking taylor expansion of x in y
42.576 * [backup-simplify]: Simplify x into x
42.576 * [taylor]: Taking taylor expansion of y in y
42.576 * [backup-simplify]: Simplify 0 into 0
42.576 * [backup-simplify]: Simplify 1 into 1
42.576 * [backup-simplify]: Simplify (* x 0) into 0
42.576 * [taylor]: Taking taylor expansion of 0 in x
42.576 * [backup-simplify]: Simplify 0 into 0
42.576 * [backup-simplify]: Simplify 0 into 0
42.576 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
42.577 * [backup-simplify]: Simplify (+ 0 0) into 0
42.577 * [taylor]: Taking taylor expansion of 0 in y
42.577 * [backup-simplify]: Simplify 0 into 0
42.577 * [taylor]: Taking taylor expansion of 0 in x
42.577 * [backup-simplify]: Simplify 0 into 0
42.577 * [backup-simplify]: Simplify 0 into 0
42.578 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
42.578 * [taylor]: Taking taylor expansion of x in x
42.578 * [backup-simplify]: Simplify 0 into 0
42.578 * [backup-simplify]: Simplify 1 into 1
42.578 * [backup-simplify]: Simplify 0 into 0
42.578 * [backup-simplify]: Simplify 0 into 0
42.578 * [backup-simplify]: Simplify (* 1 1) into 1
42.579 * [backup-simplify]: Simplify (* 1 3) into 3
42.579 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
42.580 * [backup-simplify]: Simplify (+ 3 0) into 3
42.580 * [taylor]: Taking taylor expansion of 3 in y
42.580 * [backup-simplify]: Simplify 3 into 3
42.580 * [taylor]: Taking taylor expansion of 3 in x
42.580 * [backup-simplify]: Simplify 3 into 3
42.580 * [backup-simplify]: Simplify 3 into 3
42.580 * [taylor]: Taking taylor expansion of 0 in x
42.580 * [backup-simplify]: Simplify 0 into 0
42.580 * [backup-simplify]: Simplify 0 into 0
42.581 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
42.581 * [taylor]: Taking taylor expansion of 0 in x
42.581 * [backup-simplify]: Simplify 0 into 0
42.581 * [backup-simplify]: Simplify 0 into 0
42.581 * [backup-simplify]: Simplify 0 into 0
42.581 * [backup-simplify]: Simplify 1 into 1
42.581 * [backup-simplify]: Simplify 0 into 0
42.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
42.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0
42.584 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
42.584 * [backup-simplify]: Simplify (+ 0 0) into 0
42.584 * [taylor]: Taking taylor expansion of 0 in y
42.584 * [backup-simplify]: Simplify 0 into 0
42.584 * [taylor]: Taking taylor expansion of 0 in x
42.584 * [backup-simplify]: Simplify 0 into 0
42.584 * [backup-simplify]: Simplify 0 into 0
42.584 * [taylor]: Taking taylor expansion of 0 in x
42.584 * [backup-simplify]: Simplify 0 into 0
42.584 * [backup-simplify]: Simplify 0 into 0
42.585 * [taylor]: Taking taylor expansion of 0 in x
42.585 * [backup-simplify]: Simplify 0 into 0
42.585 * [backup-simplify]: Simplify 0 into 0
42.586 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
42.586 * [taylor]: Taking taylor expansion of 0 in x
42.586 * [backup-simplify]: Simplify 0 into 0
42.586 * [backup-simplify]: Simplify 0 into 0
42.586 * [backup-simplify]: Simplify 0 into 0
42.586 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (* 3 (pow (* 1 (* 1 z)) 2))) into (+ (* 3 (pow z 2)) (* x y))
42.587 * [backup-simplify]: Simplify (fma (* (/ 1 z) (/ 1 z)) 3 (* (/ 1 y) (/ 1 x))) into (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y)))
42.587 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in (z y x) around 0
42.587 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in x
42.587 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.587 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in x
42.587 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
42.587 * [taylor]: Taking taylor expansion of (pow z 2) in x
42.587 * [taylor]: Taking taylor expansion of z in x
42.587 * [backup-simplify]: Simplify z into z
42.587 * [backup-simplify]: Simplify (* z z) into (pow z 2)
42.588 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
42.588 * [taylor]: Taking taylor expansion of 3 in x
42.588 * [backup-simplify]: Simplify 3 into 3
42.588 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
42.588 * [taylor]: Taking taylor expansion of (* x y) in x
42.588 * [taylor]: Taking taylor expansion of x in x
42.588 * [backup-simplify]: Simplify 0 into 0
42.588 * [backup-simplify]: Simplify 1 into 1
42.588 * [taylor]: Taking taylor expansion of y in x
42.588 * [backup-simplify]: Simplify y into y
42.588 * [backup-simplify]: Simplify (* 0 y) into 0
42.589 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
42.589 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
42.589 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in y
42.589 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.589 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in y
42.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
42.589 * [taylor]: Taking taylor expansion of (pow z 2) in y
42.589 * [taylor]: Taking taylor expansion of z in y
42.589 * [backup-simplify]: Simplify z into z
42.589 * [backup-simplify]: Simplify (* z z) into (pow z 2)
42.589 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
42.589 * [taylor]: Taking taylor expansion of 3 in y
42.589 * [backup-simplify]: Simplify 3 into 3
42.589 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
42.589 * [taylor]: Taking taylor expansion of (* x y) in y
42.589 * [taylor]: Taking taylor expansion of x in y
42.589 * [backup-simplify]: Simplify x into x
42.589 * [taylor]: Taking taylor expansion of y in y
42.590 * [backup-simplify]: Simplify 0 into 0
42.590 * [backup-simplify]: Simplify 1 into 1
42.590 * [backup-simplify]: Simplify (* x 0) into 0
42.590 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
42.590 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
42.590 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in z
42.591 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.591 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in z
42.591 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
42.591 * [taylor]: Taking taylor expansion of (pow z 2) in z
42.591 * [taylor]: Taking taylor expansion of z in z
42.591 * [backup-simplify]: Simplify 0 into 0
42.591 * [backup-simplify]: Simplify 1 into 1
42.591 * [backup-simplify]: Simplify (* 1 1) into 1
42.592 * [backup-simplify]: Simplify (/ 1 1) into 1
42.592 * [taylor]: Taking taylor expansion of 3 in z
42.592 * [backup-simplify]: Simplify 3 into 3
42.592 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
42.592 * [taylor]: Taking taylor expansion of (* x y) in z
42.592 * [taylor]: Taking taylor expansion of x in z
42.592 * [backup-simplify]: Simplify x into x
42.592 * [taylor]: Taking taylor expansion of y in z
42.592 * [backup-simplify]: Simplify y into y
42.592 * [backup-simplify]: Simplify (* x y) into (* x y)
42.592 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
42.592 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in z
42.593 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.593 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in z
42.593 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
42.593 * [taylor]: Taking taylor expansion of (pow z 2) in z
42.593 * [taylor]: Taking taylor expansion of z in z
42.593 * [backup-simplify]: Simplify 0 into 0
42.593 * [backup-simplify]: Simplify 1 into 1
42.593 * [backup-simplify]: Simplify (* 1 1) into 1
42.594 * [backup-simplify]: Simplify (/ 1 1) into 1
42.594 * [taylor]: Taking taylor expansion of 3 in z
42.594 * [backup-simplify]: Simplify 3 into 3
42.594 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
42.594 * [taylor]: Taking taylor expansion of (* x y) in z
42.594 * [taylor]: Taking taylor expansion of x in z
42.594 * [backup-simplify]: Simplify x into x
42.594 * [taylor]: Taking taylor expansion of y in z
42.594 * [backup-simplify]: Simplify y into y
42.594 * [backup-simplify]: Simplify (* x y) into (* x y)
42.594 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
42.595 * [backup-simplify]: Simplify (* 1 3) into 3
42.596 * [backup-simplify]: Simplify (+ 3 0) into 3
42.596 * [taylor]: Taking taylor expansion of 3 in y
42.596 * [backup-simplify]: Simplify 3 into 3
42.596 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
42.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
42.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0
42.599 * [backup-simplify]: Simplify (+ 0 0) into 0
42.599 * [taylor]: Taking taylor expansion of 0 in y
42.599 * [backup-simplify]: Simplify 0 into 0
42.599 * [taylor]: Taking taylor expansion of 3 in x
42.599 * [backup-simplify]: Simplify 3 into 3
42.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
42.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3))) into 0
42.602 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
42.603 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
42.603 * [taylor]: Taking taylor expansion of (* x y) in y
42.603 * [taylor]: Taking taylor expansion of x in y
42.603 * [backup-simplify]: Simplify x into x
42.603 * [taylor]: Taking taylor expansion of y in y
42.603 * [backup-simplify]: Simplify 0 into 0
42.603 * [backup-simplify]: Simplify 1 into 1
42.603 * [backup-simplify]: Simplify (* x 0) into 0
42.603 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
42.604 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
42.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
42.604 * [taylor]: Taking taylor expansion of x in x
42.604 * [backup-simplify]: Simplify 0 into 0
42.604 * [backup-simplify]: Simplify 1 into 1
42.604 * [backup-simplify]: Simplify (/ 1 1) into 1
42.604 * [backup-simplify]: Simplify 1 into 1
42.604 * [taylor]: Taking taylor expansion of 0 in x
42.604 * [backup-simplify]: Simplify 0 into 0
42.604 * [taylor]: Taking taylor expansion of 0 in x
42.604 * [backup-simplify]: Simplify 0 into 0
42.604 * [backup-simplify]: Simplify 3 into 3
42.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
42.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3)))) into 0
42.608 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
42.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
42.609 * [backup-simplify]: Simplify (+ 0 0) into 0
42.609 * [taylor]: Taking taylor expansion of 0 in y
42.609 * [backup-simplify]: Simplify 0 into 0
42.610 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
42.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
42.610 * [taylor]: Taking taylor expansion of 0 in x
42.610 * [backup-simplify]: Simplify 0 into 0
42.610 * [taylor]: Taking taylor expansion of 0 in x
42.610 * [backup-simplify]: Simplify 0 into 0
42.610 * [taylor]: Taking taylor expansion of 0 in x
42.610 * [backup-simplify]: Simplify 0 into 0
42.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
42.611 * [backup-simplify]: Simplify 0 into 0
42.611 * [backup-simplify]: Simplify 0 into 0
42.611 * [backup-simplify]: Simplify 0 into 0
42.611 * [backup-simplify]: Simplify 0 into 0
42.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
42.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 3))))) into 0
42.615 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
42.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
42.616 * [backup-simplify]: Simplify (+ 0 0) into 0
42.616 * [taylor]: Taking taylor expansion of 0 in y
42.616 * [backup-simplify]: Simplify 0 into 0
42.616 * [taylor]: Taking taylor expansion of 0 in x
42.616 * [backup-simplify]: Simplify 0 into 0
42.617 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
42.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
42.617 * [taylor]: Taking taylor expansion of 0 in x
42.617 * [backup-simplify]: Simplify 0 into 0
42.617 * [taylor]: Taking taylor expansion of 0 in x
42.617 * [backup-simplify]: Simplify 0 into 0
42.617 * [taylor]: Taking taylor expansion of 0 in x
42.617 * [backup-simplify]: Simplify 0 into 0
42.617 * [backup-simplify]: Simplify 0 into 0
42.618 * [backup-simplify]: Simplify 0 into 0
42.618 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 z)))) 2)) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 3 (pow z 2)) (* x y))
42.619 * [backup-simplify]: Simplify (fma (* (/ 1 (- z)) (/ 1 (- z))) 3 (* (/ 1 (- y)) (/ 1 (- x)))) into (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y)))
42.619 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in (z y x) around 0
42.619 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in x
42.619 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.619 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in x
42.619 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
42.619 * [taylor]: Taking taylor expansion of (pow z 2) in x
42.619 * [taylor]: Taking taylor expansion of z in x
42.619 * [backup-simplify]: Simplify z into z
42.619 * [backup-simplify]: Simplify (* z z) into (pow z 2)
42.619 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
42.619 * [taylor]: Taking taylor expansion of 3 in x
42.619 * [backup-simplify]: Simplify 3 into 3
42.619 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
42.620 * [taylor]: Taking taylor expansion of (* x y) in x
42.620 * [taylor]: Taking taylor expansion of x in x
42.620 * [backup-simplify]: Simplify 0 into 0
42.620 * [backup-simplify]: Simplify 1 into 1
42.620 * [taylor]: Taking taylor expansion of y in x
42.620 * [backup-simplify]: Simplify y into y
42.620 * [backup-simplify]: Simplify (* 0 y) into 0
42.621 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
42.621 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
42.621 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in y
42.621 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.621 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in y
42.621 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
42.621 * [taylor]: Taking taylor expansion of (pow z 2) in y
42.621 * [taylor]: Taking taylor expansion of z in y
42.621 * [backup-simplify]: Simplify z into z
42.621 * [backup-simplify]: Simplify (* z z) into (pow z 2)
42.622 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
42.622 * [taylor]: Taking taylor expansion of 3 in y
42.622 * [backup-simplify]: Simplify 3 into 3
42.622 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
42.622 * [taylor]: Taking taylor expansion of (* x y) in y
42.622 * [taylor]: Taking taylor expansion of x in y
42.622 * [backup-simplify]: Simplify x into x
42.622 * [taylor]: Taking taylor expansion of y in y
42.622 * [backup-simplify]: Simplify 0 into 0
42.622 * [backup-simplify]: Simplify 1 into 1
42.622 * [backup-simplify]: Simplify (* x 0) into 0
42.623 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
42.623 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
42.623 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in z
42.623 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.623 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in z
42.624 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
42.624 * [taylor]: Taking taylor expansion of (pow z 2) in z
42.624 * [taylor]: Taking taylor expansion of z in z
42.624 * [backup-simplify]: Simplify 0 into 0
42.624 * [backup-simplify]: Simplify 1 into 1
42.624 * [backup-simplify]: Simplify (* 1 1) into 1
42.625 * [backup-simplify]: Simplify (/ 1 1) into 1
42.625 * [taylor]: Taking taylor expansion of 3 in z
42.625 * [backup-simplify]: Simplify 3 into 3
42.625 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
42.625 * [taylor]: Taking taylor expansion of (* x y) in z
42.625 * [taylor]: Taking taylor expansion of x in z
42.625 * [backup-simplify]: Simplify x into x
42.625 * [taylor]: Taking taylor expansion of y in z
42.625 * [backup-simplify]: Simplify y into y
42.625 * [backup-simplify]: Simplify (* x y) into (* x y)
42.625 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
42.625 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow z 2)) 3 (/ 1 (* x y))) in z
42.626 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow z 2)) 3) (/ 1 (* x y)))
42.626 * [taylor]: Taking taylor expansion of (* (/ 1 (pow z 2)) 3) in z
42.626 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
42.626 * [taylor]: Taking taylor expansion of (pow z 2) in z
42.626 * [taylor]: Taking taylor expansion of z in z
42.626 * [backup-simplify]: Simplify 0 into 0
42.626 * [backup-simplify]: Simplify 1 into 1
42.626 * [backup-simplify]: Simplify (* 1 1) into 1
42.627 * [backup-simplify]: Simplify (/ 1 1) into 1
42.627 * [taylor]: Taking taylor expansion of 3 in z
42.627 * [backup-simplify]: Simplify 3 into 3
42.627 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
42.627 * [taylor]: Taking taylor expansion of (* x y) in z
42.627 * [taylor]: Taking taylor expansion of x in z
42.627 * [backup-simplify]: Simplify x into x
42.627 * [taylor]: Taking taylor expansion of y in z
42.627 * [backup-simplify]: Simplify y into y
42.627 * [backup-simplify]: Simplify (* x y) into (* x y)
42.627 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
42.628 * [backup-simplify]: Simplify (* 1 3) into 3
42.628 * [backup-simplify]: Simplify (+ 3 0) into 3
42.628 * [taylor]: Taking taylor expansion of 3 in y
42.628 * [backup-simplify]: Simplify 3 into 3
42.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
42.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
42.631 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0
42.631 * [backup-simplify]: Simplify (+ 0 0) into 0
42.631 * [taylor]: Taking taylor expansion of 0 in y
42.631 * [backup-simplify]: Simplify 0 into 0
42.631 * [taylor]: Taking taylor expansion of 3 in x
42.631 * [backup-simplify]: Simplify 3 into 3
42.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
42.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3))) into 0
42.634 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
42.634 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
42.634 * [taylor]: Taking taylor expansion of (* x y) in y
42.634 * [taylor]: Taking taylor expansion of x in y
42.634 * [backup-simplify]: Simplify x into x
42.635 * [taylor]: Taking taylor expansion of y in y
42.635 * [backup-simplify]: Simplify 0 into 0
42.635 * [backup-simplify]: Simplify 1 into 1
42.635 * [backup-simplify]: Simplify (* x 0) into 0
42.635 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
42.635 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
42.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
42.635 * [taylor]: Taking taylor expansion of x in x
42.635 * [backup-simplify]: Simplify 0 into 0
42.635 * [backup-simplify]: Simplify 1 into 1
42.636 * [backup-simplify]: Simplify (/ 1 1) into 1
42.636 * [backup-simplify]: Simplify 1 into 1
42.636 * [taylor]: Taking taylor expansion of 0 in x
42.636 * [backup-simplify]: Simplify 0 into 0
42.636 * [taylor]: Taking taylor expansion of 0 in x
42.636 * [backup-simplify]: Simplify 0 into 0
42.636 * [backup-simplify]: Simplify 3 into 3
42.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
42.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3)))) into 0
42.641 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
42.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
42.642 * [backup-simplify]: Simplify (+ 0 0) into 0
42.642 * [taylor]: Taking taylor expansion of 0 in y
42.642 * [backup-simplify]: Simplify 0 into 0
42.643 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
42.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
42.643 * [taylor]: Taking taylor expansion of 0 in x
42.643 * [backup-simplify]: Simplify 0 into 0
42.643 * [taylor]: Taking taylor expansion of 0 in x
42.644 * [backup-simplify]: Simplify 0 into 0
42.644 * [taylor]: Taking taylor expansion of 0 in x
42.644 * [backup-simplify]: Simplify 0 into 0
42.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
42.645 * [backup-simplify]: Simplify 0 into 0
42.645 * [backup-simplify]: Simplify 0 into 0
42.645 * [backup-simplify]: Simplify 0 into 0
42.645 * [backup-simplify]: Simplify 0 into 0
42.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
42.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 3))))) into 0
42.964 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
42.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
42.964 * [backup-simplify]: Simplify (+ 0 0) into 0
42.964 * [taylor]: Taking taylor expansion of 0 in y
42.964 * [backup-simplify]: Simplify 0 into 0
42.966 * [taylor]: Taking taylor expansion of 0 in x
42.966 * [backup-simplify]: Simplify 0 into 0
42.967 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
42.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
42.967 * [taylor]: Taking taylor expansion of 0 in x
42.967 * [backup-simplify]: Simplify 0 into 0
42.967 * [taylor]: Taking taylor expansion of 0 in x
42.967 * [backup-simplify]: Simplify 0 into 0
42.967 * [taylor]: Taking taylor expansion of 0 in x
42.967 * [backup-simplify]: Simplify 0 into 0
42.967 * [backup-simplify]: Simplify 0 into 0
42.967 * [backup-simplify]: Simplify 0 into 0
42.968 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 (- z))))) 2)) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 3 (pow z 2)) (* x y))
42.978 * * * [progress]: simplifying candidates
42.982 * [simplify]: Simplifying:
  (expm1 (fma (* z z) 3 (* y x)))
  (log1p (fma (* z z) 3 (* y x)))
  (* (* z z) 3)
  (log (fma (* z z) 3 (* y x)))
  (exp (fma (* z z) 3 (* y x)))
  (* (cbrt (fma (* z z) 3 (* y x))) (cbrt (fma (* z z) 3 (* y x))))
  (cbrt (fma (* z z) 3 (* y x)))
  (* (* (fma (* z z) 3 (* y x)) (fma (* z z) 3 (* y x))) (fma (* z z) 3 (* y x)))
  (sqrt (fma (* z z) 3 (* y x)))
  (sqrt (fma (* z z) 3 (* y x)))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
42.983 * * [simplify]: iteration 0: 22 enodes
42.996 * * [simplify]: iteration 1: 34 enodes
43.035 * * [simplify]: iteration 2: 60 enodes
43.058 * * [simplify]: iteration 3: 118 enodes
43.132 * * [simplify]: iteration 4: 396 enodes
44.003 * * [simplify]: iteration 5: 1428 enodes
55.244 * * [simplify]: iteration complete: 5011 enodes
55.245 * * [simplify]: Extracting #0: cost 10 inf + 0
55.246 * * [simplify]: Extracting #1: cost 198 inf + 0
55.254 * * [simplify]: Extracting #2: cost 1215 inf + 514
55.278 * * [simplify]: Extracting #3: cost 1142 inf + 50006
55.430 * * [simplify]: Extracting #4: cost 329 inf + 264944
55.618 * * [simplify]: Extracting #5: cost 17 inf + 371698
55.849 * * [simplify]: Extracting #6: cost 2 inf + 376395
56.126 * * [simplify]: Extracting #7: cost 0 inf + 377177
56.308 * [simplify]: Simplified to:
  (expm1 (fma 3 (* z z) (* x y)))
  (log1p (fma 3 (* z z) (* x y)))
  (* 3 (* z z))
  (log (fma 3 (* z z) (* x y)))
  (exp (fma 3 (* z z) (* x y)))
  (* (cbrt (fma 3 (* z z) (* x y))) (cbrt (fma 3 (* z z) (* x y))))
  (cbrt (fma 3 (* z z) (* x y)))
  (* (* (fma 3 (* z z) (* x y)) (fma 3 (* z z) (* x y))) (fma 3 (* z z) (* x y)))
  (sqrt (fma 3 (* z z) (* x y)))
  (sqrt (fma 3 (* z z) (* x y)))
  (fma 3 (* z z) (* x y))
  (fma 3 (* z z) (* x y))
  (fma 3 (* z z) (* x y))
56.310 * * * [progress]: adding candidates to table
56.609 * [progress]: [Phase 3 of 3] Extracting.
56.609 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma x y (* (* z z) 3)))> #<alt (λ (x y z) (fma (* z z) 3 (* y x)))> #<alt (λ (x y z) (fma x y (* z (* z 3))))> #<alt (λ (x y z) (fma x y (cbrt (* (* (* z z) 27) (* (* z z) (* z z))))))> #<alt (λ (x y z) (fma x y (* (* (* z z) (sqrt 3)) (sqrt 3))))>)
56.610 * * * [regime-changes]: Trying 4 branch expressions: ((* z z) z y x)
56.610 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (fma x y (* (* z z) 3)))> #<alt (λ (x y z) (fma (* z z) 3 (* y x)))> #<alt (λ (x y z) (fma x y (* z (* z 3))))> #<alt (λ (x y z) (fma x y (cbrt (* (* (* z z) 27) (* (* z z) (* z z))))))> #<alt (λ (x y z) (fma x y (* (* (* z z) (sqrt 3)) (sqrt 3))))>)
56.694 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (fma x y (* (* z z) 3)))> #<alt (λ (x y z) (fma (* z z) 3 (* y x)))> #<alt (λ (x y z) (fma x y (cbrt (* (* (* z z) 27) (* (* z z) (* z z))))))> #<alt (λ (x y z) (fma x y (* (* (* z z) (sqrt 3)) (sqrt 3))))>)
56.774 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma x y (* (* z z) 3)))> #<alt (λ (x y z) (fma (* z z) 3 (* y x)))> #<alt (λ (x y z) (fma x y (* z (* z 3))))> #<alt (λ (x y z) (fma x y (cbrt (* (* (* z z) 27) (* (* z z) (* z z))))))> #<alt (λ (x y z) (fma x y (* (* (* z z) (sqrt 3)) (sqrt 3))))>)
56.876 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma x y (* (* z z) 3)))> #<alt (λ (x y z) (fma (* z z) 3 (* y x)))> #<alt (λ (x y z) (fma x y (* z (* z 3))))> #<alt (λ (x y z) (fma x y (cbrt (* (* (* z z) 27) (* (* z z) (* z z))))))> #<alt (λ (x y z) (fma x y (* (* (* z z) (sqrt 3)) (sqrt 3))))>)
56.969 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma x y (* (* z z) 3)))> #<alt (λ (x y z) (fma (* z z) 3 (* y x)))> #<alt (λ (x y z) (fma x y (* z (* z 3))))> #<alt (λ (x y z) (fma x y (cbrt (* (* (* z z) 27) (* (* z z) (* z z))))))> #<alt (λ (x y z) (fma x y (* (* (* z z) (sqrt 3)) (sqrt 3))))>)
57.112 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
57.113 * [simplify]: Simplifying:
  (fma x y (* z (* z 3)))
57.113 * * [simplify]: iteration 0: 7 enodes
57.118 * * [simplify]: iteration 1: 9 enodes
57.119 * * [simplify]: iteration complete: 9 enodes
57.119 * * [simplify]: Extracting #0: cost 1 inf + 0
57.119 * * [simplify]: Extracting #1: cost 4 inf + 0
57.119 * * [simplify]: Extracting #2: cost 4 inf + 2
57.119 * * [simplify]: Extracting #3: cost 4 inf + 3
57.119 * * [simplify]: Extracting #4: cost 0 inf + 267
57.119 * [simplify]: Simplified to:
  (fma x y (* (* z 3) z))
61.152 * [regime-testing]: Baseline error score: 0.10501312664083011
61.177 * [regime-testing]: Oracle error score: 0.016377047130891362
61.231 * [regime-testing]: End program error score: 0.10501312664083011
61.421 * [regime-testing]: Target error score: 0.10908675615710979