38.081 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.057 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying:
  (- (- (+ (* x y) (* y y)) (* y z)) (* y y))
0.057 * * [simplify]: iteration 0: 9 enodes
0.060 * * [simplify]: iteration 1: 23 enodes
0.068 * * [simplify]: iteration 2: 75 enodes
0.101 * * [simplify]: iteration 3: 217 enodes
0.232 * * [simplify]: iteration 4: 741 enodes
1.471 * * [simplify]: iteration 5: 4705 enodes
4.371 * * [simplify]: iteration complete: 5000 enodes
4.371 * * [simplify]: Extracting #0: cost 1 inf + 0
4.372 * * [simplify]: Extracting #1: cost 508 inf + 0
4.377 * * [simplify]: Extracting #2: cost 1182 inf + 857
4.388 * * [simplify]: Extracting #3: cost 47 inf + 7331
4.392 * * [simplify]: Extracting #4: cost 0 inf + 7718
4.396 * [simplify]: Simplified to:
  (* y (- x z))
4.401 * * [progress]: iteration 1 / 4
4.401 * * * [progress]: picking best candidate
4.407 * * * * [pick]: Picked  #<alt (λ (x y z) (* y (- x z)))>
4.407 * * * [progress]: localizing error
4.416 * * * [progress]: generating rewritten candidates
4.416 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.446 * * * [progress]: generating series expansions
4.446 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.446 * [backup-simplify]: Simplify (* y (- x z)) into (* (- x z) y)
4.446 * [approximate]: Taking taylor expansion of (* (- x z) y) in (y x z) around 0
4.447 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
4.447 * [taylor]: Taking taylor expansion of (- x z) in z
4.447 * [taylor]: Taking taylor expansion of x in z
4.447 * [backup-simplify]: Simplify x into x
4.447 * [taylor]: Taking taylor expansion of z in z
4.447 * [backup-simplify]: Simplify 0 into 0
4.447 * [backup-simplify]: Simplify 1 into 1
4.447 * [taylor]: Taking taylor expansion of y in z
4.447 * [backup-simplify]: Simplify y into y
4.447 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
4.447 * [taylor]: Taking taylor expansion of (- x z) in x
4.447 * [taylor]: Taking taylor expansion of x in x
4.447 * [backup-simplify]: Simplify 0 into 0
4.447 * [backup-simplify]: Simplify 1 into 1
4.447 * [taylor]: Taking taylor expansion of z in x
4.447 * [backup-simplify]: Simplify z into z
4.447 * [taylor]: Taking taylor expansion of y in x
4.447 * [backup-simplify]: Simplify y into y
4.447 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
4.447 * [taylor]: Taking taylor expansion of (- x z) in y
4.447 * [taylor]: Taking taylor expansion of x in y
4.447 * [backup-simplify]: Simplify x into x
4.447 * [taylor]: Taking taylor expansion of z in y
4.447 * [backup-simplify]: Simplify z into z
4.447 * [taylor]: Taking taylor expansion of y in y
4.447 * [backup-simplify]: Simplify 0 into 0
4.447 * [backup-simplify]: Simplify 1 into 1
4.447 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
4.447 * [taylor]: Taking taylor expansion of (- x z) in y
4.447 * [taylor]: Taking taylor expansion of x in y
4.447 * [backup-simplify]: Simplify x into x
4.447 * [taylor]: Taking taylor expansion of z in y
4.447 * [backup-simplify]: Simplify z into z
4.447 * [taylor]: Taking taylor expansion of y in y
4.447 * [backup-simplify]: Simplify 0 into 0
4.447 * [backup-simplify]: Simplify 1 into 1
4.447 * [backup-simplify]: Simplify (- z) into (- z)
4.447 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
4.447 * [backup-simplify]: Simplify (* (- x z) 0) into 0
4.447 * [taylor]: Taking taylor expansion of 0 in x
4.448 * [backup-simplify]: Simplify 0 into 0
4.448 * [taylor]: Taking taylor expansion of 0 in z
4.448 * [backup-simplify]: Simplify 0 into 0
4.448 * [backup-simplify]: Simplify 0 into 0
4.448 * [backup-simplify]: Simplify (- 0) into 0
4.449 * [backup-simplify]: Simplify (+ 0 0) into 0
4.449 * [backup-simplify]: Simplify (+ (* (- x z) 1) (* 0 0)) into (- x z)
4.449 * [taylor]: Taking taylor expansion of (- x z) in x
4.449 * [taylor]: Taking taylor expansion of x in x
4.449 * [backup-simplify]: Simplify 0 into 0
4.449 * [backup-simplify]: Simplify 1 into 1
4.449 * [taylor]: Taking taylor expansion of z in x
4.449 * [backup-simplify]: Simplify z into z
4.449 * [backup-simplify]: Simplify (- z) into (- z)
4.449 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.449 * [taylor]: Taking taylor expansion of (- z) in z
4.449 * [taylor]: Taking taylor expansion of z in z
4.449 * [backup-simplify]: Simplify 0 into 0
4.449 * [backup-simplify]: Simplify 1 into 1
4.450 * [backup-simplify]: Simplify (- 0) into 0
4.450 * [backup-simplify]: Simplify 0 into 0
4.450 * [taylor]: Taking taylor expansion of 0 in z
4.450 * [backup-simplify]: Simplify 0 into 0
4.450 * [backup-simplify]: Simplify 0 into 0
4.450 * [backup-simplify]: Simplify 0 into 0
4.450 * [backup-simplify]: Simplify (- 0) into 0
4.450 * [backup-simplify]: Simplify (+ 0 0) into 0
4.451 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 1) (* 0 0))) into 0
4.451 * [taylor]: Taking taylor expansion of 0 in x
4.451 * [backup-simplify]: Simplify 0 into 0
4.451 * [taylor]: Taking taylor expansion of 0 in z
4.451 * [backup-simplify]: Simplify 0 into 0
4.451 * [backup-simplify]: Simplify 0 into 0
4.451 * [backup-simplify]: Simplify (- 0) into 0
4.452 * [backup-simplify]: Simplify (+ 1 0) into 1
4.452 * [taylor]: Taking taylor expansion of 1 in z
4.452 * [backup-simplify]: Simplify 1 into 1
4.452 * [backup-simplify]: Simplify 1 into 1
4.452 * [taylor]: Taking taylor expansion of 0 in z
4.452 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify (- 1) into -1
4.452 * [backup-simplify]: Simplify -1 into -1
4.452 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify 0 into 0
4.453 * [backup-simplify]: Simplify (- 0) into 0
4.453 * [backup-simplify]: Simplify (+ 0 0) into 0
4.454 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.454 * [taylor]: Taking taylor expansion of 0 in x
4.454 * [backup-simplify]: Simplify 0 into 0
4.454 * [taylor]: Taking taylor expansion of 0 in z
4.454 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify 0 into 0
4.454 * [taylor]: Taking taylor expansion of 0 in z
4.454 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify (- 0) into 0
4.455 * [backup-simplify]: Simplify (+ 0 0) into 0
4.455 * [taylor]: Taking taylor expansion of 0 in z
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [taylor]: Taking taylor expansion of 0 in z
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y))
4.455 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 x) (/ 1 z))) into (/ (- (/ 1 x) (/ 1 z)) y)
4.455 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
4.455 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
4.455 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.455 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.455 * [taylor]: Taking taylor expansion of x in z
4.455 * [backup-simplify]: Simplify x into x
4.455 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.455 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.455 * [taylor]: Taking taylor expansion of z in z
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [backup-simplify]: Simplify 1 into 1
4.456 * [backup-simplify]: Simplify (/ 1 1) into 1
4.456 * [taylor]: Taking taylor expansion of y in z
4.456 * [backup-simplify]: Simplify y into y
4.456 * [backup-simplify]: Simplify (- 1) into -1
4.456 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.456 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
4.456 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.457 * [taylor]: Taking taylor expansion of x in x
4.457 * [backup-simplify]: Simplify 0 into 0
4.457 * [backup-simplify]: Simplify 1 into 1
4.457 * [backup-simplify]: Simplify (/ 1 1) into 1
4.457 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.457 * [taylor]: Taking taylor expansion of z in x
4.457 * [backup-simplify]: Simplify z into z
4.457 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.457 * [taylor]: Taking taylor expansion of y in x
4.457 * [backup-simplify]: Simplify y into y
4.457 * [backup-simplify]: Simplify (+ 1 0) into 1
4.458 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.458 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
4.458 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.458 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.458 * [taylor]: Taking taylor expansion of x in y
4.458 * [backup-simplify]: Simplify x into x
4.458 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.458 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.458 * [taylor]: Taking taylor expansion of z in y
4.458 * [backup-simplify]: Simplify z into z
4.458 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.458 * [taylor]: Taking taylor expansion of y in y
4.458 * [backup-simplify]: Simplify 0 into 0
4.458 * [backup-simplify]: Simplify 1 into 1
4.458 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.458 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
4.458 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
4.458 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
4.458 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.458 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.458 * [taylor]: Taking taylor expansion of x in y
4.458 * [backup-simplify]: Simplify x into x
4.458 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.458 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.458 * [taylor]: Taking taylor expansion of z in y
4.458 * [backup-simplify]: Simplify z into z
4.458 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.458 * [taylor]: Taking taylor expansion of y in y
4.458 * [backup-simplify]: Simplify 0 into 0
4.458 * [backup-simplify]: Simplify 1 into 1
4.459 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.459 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
4.459 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
4.459 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.459 * [taylor]: Taking taylor expansion of x in x
4.459 * [backup-simplify]: Simplify 0 into 0
4.459 * [backup-simplify]: Simplify 1 into 1
4.459 * [backup-simplify]: Simplify (/ 1 1) into 1
4.459 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.459 * [taylor]: Taking taylor expansion of z in x
4.459 * [backup-simplify]: Simplify z into z
4.459 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.460 * [backup-simplify]: Simplify (+ 1 0) into 1
4.460 * [taylor]: Taking taylor expansion of 1 in z
4.460 * [backup-simplify]: Simplify 1 into 1
4.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.460 * [backup-simplify]: Simplify (- 0) into 0
4.461 * [backup-simplify]: Simplify (+ 0 0) into 0
4.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
4.461 * [taylor]: Taking taylor expansion of 0 in x
4.461 * [backup-simplify]: Simplify 0 into 0
4.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.462 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.462 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
4.462 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.462 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.462 * [taylor]: Taking taylor expansion of z in z
4.462 * [backup-simplify]: Simplify 0 into 0
4.462 * [backup-simplify]: Simplify 1 into 1
4.463 * [backup-simplify]: Simplify (/ 1 1) into 1
4.463 * [backup-simplify]: Simplify (- 1) into -1
4.463 * [backup-simplify]: Simplify -1 into -1
4.463 * [backup-simplify]: Simplify 1 into 1
4.463 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.463 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.464 * [backup-simplify]: Simplify (- 0) into 0
4.464 * [backup-simplify]: Simplify (+ 0 0) into 0
4.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.465 * [taylor]: Taking taylor expansion of 0 in x
4.465 * [backup-simplify]: Simplify 0 into 0
4.465 * [taylor]: Taking taylor expansion of 0 in z
4.465 * [backup-simplify]: Simplify 0 into 0
4.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.466 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.466 * [backup-simplify]: Simplify (- 0) into 0
4.467 * [backup-simplify]: Simplify (+ 0 0) into 0
4.467 * [taylor]: Taking taylor expansion of 0 in z
4.467 * [backup-simplify]: Simplify 0 into 0
4.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.468 * [backup-simplify]: Simplify (- 0) into 0
4.468 * [backup-simplify]: Simplify 0 into 0
4.468 * [backup-simplify]: Simplify 0 into 0
4.468 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.468 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.469 * [backup-simplify]: Simplify (- 0) into 0
4.469 * [backup-simplify]: Simplify (+ 0 0) into 0
4.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.471 * [taylor]: Taking taylor expansion of 0 in x
4.471 * [backup-simplify]: Simplify 0 into 0
4.471 * [taylor]: Taking taylor expansion of 0 in z
4.471 * [backup-simplify]: Simplify 0 into 0
4.471 * [taylor]: Taking taylor expansion of 0 in z
4.471 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.472 * [backup-simplify]: Simplify (- 0) into 0
4.472 * [backup-simplify]: Simplify (+ 0 0) into 0
4.472 * [taylor]: Taking taylor expansion of 0 in z
4.472 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify 0 into 0
4.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.474 * [backup-simplify]: Simplify (- 0) into 0
4.474 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y))
4.474 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
4.474 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0
4.474 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
4.474 * [taylor]: Taking taylor expansion of -1 in z
4.474 * [backup-simplify]: Simplify -1 into -1
4.474 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
4.474 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.474 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.474 * [taylor]: Taking taylor expansion of z in z
4.474 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify 1 into 1
4.475 * [backup-simplify]: Simplify (/ 1 1) into 1
4.475 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.475 * [taylor]: Taking taylor expansion of x in z
4.475 * [backup-simplify]: Simplify x into x
4.475 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.475 * [taylor]: Taking taylor expansion of y in z
4.475 * [backup-simplify]: Simplify y into y
4.480 * [backup-simplify]: Simplify (+ 1 0) into 1
4.480 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.480 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
4.480 * [taylor]: Taking taylor expansion of -1 in x
4.480 * [backup-simplify]: Simplify -1 into -1
4.480 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
4.480 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.480 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.480 * [taylor]: Taking taylor expansion of z in x
4.480 * [backup-simplify]: Simplify z into z
4.480 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.480 * [taylor]: Taking taylor expansion of x in x
4.480 * [backup-simplify]: Simplify 0 into 0
4.480 * [backup-simplify]: Simplify 1 into 1
4.480 * [backup-simplify]: Simplify (/ 1 1) into 1
4.481 * [taylor]: Taking taylor expansion of y in x
4.481 * [backup-simplify]: Simplify y into y
4.481 * [backup-simplify]: Simplify (- 1) into -1
4.481 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.481 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.481 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
4.481 * [taylor]: Taking taylor expansion of -1 in y
4.481 * [backup-simplify]: Simplify -1 into -1
4.481 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
4.481 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.481 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.481 * [taylor]: Taking taylor expansion of z in y
4.481 * [backup-simplify]: Simplify z into z
4.481 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.481 * [taylor]: Taking taylor expansion of x in y
4.481 * [backup-simplify]: Simplify x into x
4.481 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.481 * [taylor]: Taking taylor expansion of y in y
4.481 * [backup-simplify]: Simplify 0 into 0
4.481 * [backup-simplify]: Simplify 1 into 1
4.481 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.481 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.482 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
4.482 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
4.482 * [taylor]: Taking taylor expansion of -1 in y
4.482 * [backup-simplify]: Simplify -1 into -1
4.482 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
4.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.482 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.482 * [taylor]: Taking taylor expansion of z in y
4.482 * [backup-simplify]: Simplify z into z
4.482 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.482 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.482 * [taylor]: Taking taylor expansion of x in y
4.482 * [backup-simplify]: Simplify x into x
4.482 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.482 * [taylor]: Taking taylor expansion of y in y
4.482 * [backup-simplify]: Simplify 0 into 0
4.482 * [backup-simplify]: Simplify 1 into 1
4.482 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.482 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.482 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
4.482 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 x))) into (* -1 (- (/ 1 z) (/ 1 x)))
4.482 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
4.482 * [taylor]: Taking taylor expansion of -1 in x
4.482 * [backup-simplify]: Simplify -1 into -1
4.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.482 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.482 * [taylor]: Taking taylor expansion of z in x
4.482 * [backup-simplify]: Simplify z into z
4.482 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.482 * [taylor]: Taking taylor expansion of x in x
4.482 * [backup-simplify]: Simplify 0 into 0
4.482 * [backup-simplify]: Simplify 1 into 1
4.483 * [backup-simplify]: Simplify (/ 1 1) into 1
4.483 * [backup-simplify]: Simplify (- 1) into -1
4.483 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.483 * [backup-simplify]: Simplify (* -1 -1) into 1
4.483 * [taylor]: Taking taylor expansion of 1 in z
4.483 * [backup-simplify]: Simplify 1 into 1
4.483 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.484 * [backup-simplify]: Simplify (- 0) into 0
4.484 * [backup-simplify]: Simplify (+ 0 0) into 0
4.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0
4.485 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
4.485 * [taylor]: Taking taylor expansion of 0 in x
4.485 * [backup-simplify]: Simplify 0 into 0
4.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.486 * [backup-simplify]: Simplify (- 0) into 0
4.486 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
4.486 * [backup-simplify]: Simplify (+ (* -1 (/ 1 z)) (* 0 -1)) into (- (/ 1 z))
4.486 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.486 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.486 * [taylor]: Taking taylor expansion of z in z
4.486 * [backup-simplify]: Simplify 0 into 0
4.486 * [backup-simplify]: Simplify 1 into 1
4.486 * [backup-simplify]: Simplify (/ 1 1) into 1
4.487 * [backup-simplify]: Simplify (- 1) into -1
4.487 * [backup-simplify]: Simplify -1 into -1
4.487 * [backup-simplify]: Simplify 1 into 1
4.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.487 * [backup-simplify]: Simplify (- 0) into 0
4.487 * [backup-simplify]: Simplify (+ 0 0) into 0
4.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.489 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
4.489 * [taylor]: Taking taylor expansion of 0 in x
4.489 * [backup-simplify]: Simplify 0 into 0
4.489 * [taylor]: Taking taylor expansion of 0 in z
4.489 * [backup-simplify]: Simplify 0 into 0
4.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.490 * [backup-simplify]: Simplify (- 0) into 0
4.490 * [backup-simplify]: Simplify (+ 0 0) into 0
4.491 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
4.491 * [taylor]: Taking taylor expansion of 0 in z
4.491 * [backup-simplify]: Simplify 0 into 0
4.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.491 * [backup-simplify]: Simplify (- 0) into 0
4.491 * [backup-simplify]: Simplify 0 into 0
4.491 * [backup-simplify]: Simplify 0 into 0
4.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.492 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.492 * [backup-simplify]: Simplify (- 0) into 0
4.492 * [backup-simplify]: Simplify (+ 0 0) into 0
4.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.494 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
4.494 * [taylor]: Taking taylor expansion of 0 in x
4.494 * [backup-simplify]: Simplify 0 into 0
4.494 * [taylor]: Taking taylor expansion of 0 in z
4.494 * [backup-simplify]: Simplify 0 into 0
4.494 * [taylor]: Taking taylor expansion of 0 in z
4.494 * [backup-simplify]: Simplify 0 into 0
4.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.495 * [backup-simplify]: Simplify (- 0) into 0
4.495 * [backup-simplify]: Simplify (+ 0 0) into 0
4.496 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
4.496 * [taylor]: Taking taylor expansion of 0 in z
4.496 * [backup-simplify]: Simplify 0 into 0
4.496 * [backup-simplify]: Simplify 0 into 0
4.496 * [backup-simplify]: Simplify 0 into 0
4.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.497 * [backup-simplify]: Simplify (- 0) into 0
4.497 * [backup-simplify]: Simplify 0 into 0
4.497 * [backup-simplify]: Simplify 0 into 0
4.497 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* x y) (* z y))
4.497 * * * [progress]: simplifying candidates
4.498 * [simplify]: Simplifying:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (+ (log y) (log (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (sqrt x) (sqrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma 1 x (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma 1 x (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (sqrt x) (sqrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma 1 x (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma 1 x (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt z)))
  (* y 1)
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
4.499 * * [simplify]: iteration 0: 102 enodes
4.525 * * [simplify]: iteration 1: 235 enodes
4.595 * * [simplify]: iteration 2: 835 enodes
4.949 * * [simplify]: iteration complete: 5000 enodes
4.949 * * [simplify]: Extracting #0: cost 25 inf + 0
4.950 * * [simplify]: Extracting #1: cost 762 inf + 1
4.958 * * [simplify]: Extracting #2: cost 2136 inf + 380
4.972 * * [simplify]: Extracting #3: cost 1289 inf + 6244
4.995 * * [simplify]: Extracting #4: cost 147 inf + 16160
5.006 * * [simplify]: Extracting #5: cost 30 inf + 17194
5.014 * * [simplify]: Extracting #6: cost 4 inf + 17318
5.022 * * [simplify]: Extracting #7: cost 0 inf + 17338
5.029 * [simplify]: Simplified to:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (pow (exp (- x z)) y)
  (pow (* y (- x z)) 3)
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y x)
  (* (- y) z)
  (* y x)
  (* (- y) z)
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- (pow (cbrt x) 3) z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y (- x z))
  (* y (+ (- z) z))
  (* y x)
  (* (- y) z)
  (* y x)
  (* (- y) z)
  (* (cbrt (- x z)) (* (cbrt (- x z)) y))
  (* (sqrt (- x z)) y)
  y
  (* y (+ (sqrt z) (sqrt x)))
  y
  (* (- x z) (cbrt y))
  (* (- x z) (sqrt y))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* (* y (+ z x)) (- x z))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
5.030 * * * [progress]: adding candidates to table
5.150 * * [progress]: iteration 2 / 4
5.151 * * * [progress]: picking best candidate
5.154 * * * * [pick]: Picked  #<alt (λ (x y z) (cbrt (pow (* y (- x z)) 3)))>
5.154 * * * [progress]: localizing error
5.167 * * * [progress]: generating rewritten candidates
5.167 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
5.170 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
5.178 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
5.219 * * * [progress]: generating series expansions
5.219 * * * * [progress]: [ 1 / 3 ] generating series at (2)
5.219 * [backup-simplify]: Simplify (cbrt (pow (* y (- x z)) 3)) into (* (- x z) y)
5.219 * [approximate]: Taking taylor expansion of (* (- x z) y) in (y x z) around 0
5.219 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
5.219 * [taylor]: Taking taylor expansion of (- x z) in z
5.219 * [taylor]: Taking taylor expansion of x in z
5.219 * [backup-simplify]: Simplify x into x
5.219 * [taylor]: Taking taylor expansion of z in z
5.219 * [backup-simplify]: Simplify 0 into 0
5.219 * [backup-simplify]: Simplify 1 into 1
5.220 * [taylor]: Taking taylor expansion of y in z
5.220 * [backup-simplify]: Simplify y into y
5.220 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
5.220 * [taylor]: Taking taylor expansion of (- x z) in x
5.220 * [taylor]: Taking taylor expansion of x in x
5.220 * [backup-simplify]: Simplify 0 into 0
5.220 * [backup-simplify]: Simplify 1 into 1
5.220 * [taylor]: Taking taylor expansion of z in x
5.220 * [backup-simplify]: Simplify z into z
5.220 * [taylor]: Taking taylor expansion of y in x
5.220 * [backup-simplify]: Simplify y into y
5.220 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.220 * [taylor]: Taking taylor expansion of (- x z) in y
5.220 * [taylor]: Taking taylor expansion of x in y
5.220 * [backup-simplify]: Simplify x into x
5.220 * [taylor]: Taking taylor expansion of z in y
5.220 * [backup-simplify]: Simplify z into z
5.220 * [taylor]: Taking taylor expansion of y in y
5.220 * [backup-simplify]: Simplify 0 into 0
5.220 * [backup-simplify]: Simplify 1 into 1
5.220 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.220 * [taylor]: Taking taylor expansion of (- x z) in y
5.220 * [taylor]: Taking taylor expansion of x in y
5.220 * [backup-simplify]: Simplify x into x
5.220 * [taylor]: Taking taylor expansion of z in y
5.220 * [backup-simplify]: Simplify z into z
5.220 * [taylor]: Taking taylor expansion of y in y
5.220 * [backup-simplify]: Simplify 0 into 0
5.220 * [backup-simplify]: Simplify 1 into 1
5.220 * [backup-simplify]: Simplify (- z) into (- z)
5.220 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.220 * [backup-simplify]: Simplify (* (- x z) 0) into 0
5.221 * [taylor]: Taking taylor expansion of 0 in x
5.221 * [backup-simplify]: Simplify 0 into 0
5.221 * [taylor]: Taking taylor expansion of 0 in z
5.221 * [backup-simplify]: Simplify 0 into 0
5.221 * [backup-simplify]: Simplify 0 into 0
5.221 * [backup-simplify]: Simplify (- 0) into 0
5.222 * [backup-simplify]: Simplify (+ 0 0) into 0
5.222 * [backup-simplify]: Simplify (+ (* (- x z) 1) (* 0 0)) into (- x z)
5.222 * [taylor]: Taking taylor expansion of (- x z) in x
5.222 * [taylor]: Taking taylor expansion of x in x
5.222 * [backup-simplify]: Simplify 0 into 0
5.222 * [backup-simplify]: Simplify 1 into 1
5.222 * [taylor]: Taking taylor expansion of z in x
5.222 * [backup-simplify]: Simplify z into z
5.223 * [backup-simplify]: Simplify (- z) into (- z)
5.223 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.223 * [taylor]: Taking taylor expansion of (- z) in z
5.223 * [taylor]: Taking taylor expansion of z in z
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify 1 into 1
5.223 * [backup-simplify]: Simplify (- 0) into 0
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [taylor]: Taking taylor expansion of 0 in z
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify 0 into 0
5.224 * [backup-simplify]: Simplify (- 0) into 0
5.224 * [backup-simplify]: Simplify (+ 0 0) into 0
5.225 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 1) (* 0 0))) into 0
5.225 * [taylor]: Taking taylor expansion of 0 in x
5.225 * [backup-simplify]: Simplify 0 into 0
5.225 * [taylor]: Taking taylor expansion of 0 in z
5.225 * [backup-simplify]: Simplify 0 into 0
5.225 * [backup-simplify]: Simplify 0 into 0
5.225 * [backup-simplify]: Simplify (- 0) into 0
5.226 * [backup-simplify]: Simplify (+ 1 0) into 1
5.226 * [taylor]: Taking taylor expansion of 1 in z
5.226 * [backup-simplify]: Simplify 1 into 1
5.226 * [backup-simplify]: Simplify 1 into 1
5.226 * [taylor]: Taking taylor expansion of 0 in z
5.226 * [backup-simplify]: Simplify 0 into 0
5.226 * [backup-simplify]: Simplify 0 into 0
5.226 * [backup-simplify]: Simplify (- 1) into -1
5.226 * [backup-simplify]: Simplify -1 into -1
5.226 * [backup-simplify]: Simplify 0 into 0
5.226 * [backup-simplify]: Simplify 0 into 0
5.227 * [backup-simplify]: Simplify (- 0) into 0
5.227 * [backup-simplify]: Simplify (+ 0 0) into 0
5.228 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.228 * [taylor]: Taking taylor expansion of 0 in x
5.228 * [backup-simplify]: Simplify 0 into 0
5.228 * [taylor]: Taking taylor expansion of 0 in z
5.228 * [backup-simplify]: Simplify 0 into 0
5.228 * [backup-simplify]: Simplify 0 into 0
5.228 * [taylor]: Taking taylor expansion of 0 in z
5.228 * [backup-simplify]: Simplify 0 into 0
5.228 * [backup-simplify]: Simplify 0 into 0
5.229 * [backup-simplify]: Simplify (- 0) into 0
5.229 * [backup-simplify]: Simplify (+ 0 0) into 0
5.229 * [taylor]: Taking taylor expansion of 0 in z
5.229 * [backup-simplify]: Simplify 0 into 0
5.229 * [backup-simplify]: Simplify 0 into 0
5.229 * [taylor]: Taking taylor expansion of 0 in z
5.229 * [backup-simplify]: Simplify 0 into 0
5.229 * [backup-simplify]: Simplify 0 into 0
5.229 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y))
5.230 * [backup-simplify]: Simplify (cbrt (pow (* (/ 1 y) (- (/ 1 x) (/ 1 z))) 3)) into (/ (- (/ 1 x) (/ 1 z)) y)
5.230 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
5.230 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
5.230 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.230 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.230 * [taylor]: Taking taylor expansion of x in z
5.230 * [backup-simplify]: Simplify x into x
5.230 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.230 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.230 * [taylor]: Taking taylor expansion of z in z
5.230 * [backup-simplify]: Simplify 0 into 0
5.230 * [backup-simplify]: Simplify 1 into 1
5.230 * [backup-simplify]: Simplify (/ 1 1) into 1
5.231 * [taylor]: Taking taylor expansion of y in z
5.231 * [backup-simplify]: Simplify y into y
5.231 * [backup-simplify]: Simplify (- 1) into -1
5.231 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.231 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.231 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.232 * [taylor]: Taking taylor expansion of x in x
5.232 * [backup-simplify]: Simplify 0 into 0
5.232 * [backup-simplify]: Simplify 1 into 1
5.232 * [backup-simplify]: Simplify (/ 1 1) into 1
5.232 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.232 * [taylor]: Taking taylor expansion of z in x
5.232 * [backup-simplify]: Simplify z into z
5.232 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.232 * [taylor]: Taking taylor expansion of y in x
5.232 * [backup-simplify]: Simplify y into y
5.233 * [backup-simplify]: Simplify (+ 1 0) into 1
5.233 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.233 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.233 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.233 * [taylor]: Taking taylor expansion of x in y
5.233 * [backup-simplify]: Simplify x into x
5.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.233 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.233 * [taylor]: Taking taylor expansion of z in y
5.233 * [backup-simplify]: Simplify z into z
5.233 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.233 * [taylor]: Taking taylor expansion of y in y
5.233 * [backup-simplify]: Simplify 0 into 0
5.233 * [backup-simplify]: Simplify 1 into 1
5.233 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.233 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.233 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.233 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.233 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.233 * [taylor]: Taking taylor expansion of x in y
5.234 * [backup-simplify]: Simplify x into x
5.234 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.234 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.234 * [taylor]: Taking taylor expansion of z in y
5.234 * [backup-simplify]: Simplify z into z
5.234 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.234 * [taylor]: Taking taylor expansion of y in y
5.234 * [backup-simplify]: Simplify 0 into 0
5.234 * [backup-simplify]: Simplify 1 into 1
5.234 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.234 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.234 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.234 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.234 * [taylor]: Taking taylor expansion of x in x
5.234 * [backup-simplify]: Simplify 0 into 0
5.234 * [backup-simplify]: Simplify 1 into 1
5.235 * [backup-simplify]: Simplify (/ 1 1) into 1
5.235 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.235 * [taylor]: Taking taylor expansion of z in x
5.235 * [backup-simplify]: Simplify z into z
5.235 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.235 * [backup-simplify]: Simplify (+ 1 0) into 1
5.235 * [taylor]: Taking taylor expansion of 1 in z
5.235 * [backup-simplify]: Simplify 1 into 1
5.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.236 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.236 * [backup-simplify]: Simplify (- 0) into 0
5.236 * [backup-simplify]: Simplify (+ 0 0) into 0
5.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
5.237 * [taylor]: Taking taylor expansion of 0 in x
5.237 * [backup-simplify]: Simplify 0 into 0
5.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.238 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.238 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
5.238 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.238 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.238 * [taylor]: Taking taylor expansion of z in z
5.238 * [backup-simplify]: Simplify 0 into 0
5.238 * [backup-simplify]: Simplify 1 into 1
5.239 * [backup-simplify]: Simplify (/ 1 1) into 1
5.239 * [backup-simplify]: Simplify (- 1) into -1
5.239 * [backup-simplify]: Simplify -1 into -1
5.239 * [backup-simplify]: Simplify 1 into 1
5.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.240 * [backup-simplify]: Simplify (- 0) into 0
5.240 * [backup-simplify]: Simplify (+ 0 0) into 0
5.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.242 * [taylor]: Taking taylor expansion of 0 in x
5.242 * [backup-simplify]: Simplify 0 into 0
5.242 * [taylor]: Taking taylor expansion of 0 in z
5.242 * [backup-simplify]: Simplify 0 into 0
5.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.243 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.243 * [backup-simplify]: Simplify (- 0) into 0
5.243 * [backup-simplify]: Simplify (+ 0 0) into 0
5.243 * [taylor]: Taking taylor expansion of 0 in z
5.244 * [backup-simplify]: Simplify 0 into 0
5.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.245 * [backup-simplify]: Simplify (- 0) into 0
5.245 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.245 * [backup-simplify]: Simplify (- 0) into 0
5.246 * [backup-simplify]: Simplify (+ 0 0) into 0
5.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.248 * [taylor]: Taking taylor expansion of 0 in x
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [taylor]: Taking taylor expansion of 0 in z
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [taylor]: Taking taylor expansion of 0 in z
5.248 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.249 * [backup-simplify]: Simplify (- 0) into 0
5.250 * [backup-simplify]: Simplify (+ 0 0) into 0
5.250 * [taylor]: Taking taylor expansion of 0 in z
5.250 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify 0 into 0
5.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.251 * [backup-simplify]: Simplify (- 0) into 0
5.251 * [backup-simplify]: Simplify 0 into 0
5.251 * [backup-simplify]: Simplify 0 into 0
5.251 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y))
5.252 * [backup-simplify]: Simplify (cbrt (pow (* (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) 3)) into (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y)
5.252 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in (y x z) around 0
5.252 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in z
5.252 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in z
5.252 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.252 * [taylor]: Taking taylor expansion of -1 in z
5.252 * [backup-simplify]: Simplify -1 into -1
5.253 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.253 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.253 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.253 * [taylor]: Taking taylor expansion of z in z
5.253 * [backup-simplify]: Simplify 0 into 0
5.254 * [backup-simplify]: Simplify 1 into 1
5.254 * [backup-simplify]: Simplify (/ 1 1) into 1
5.254 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.254 * [taylor]: Taking taylor expansion of x in z
5.254 * [backup-simplify]: Simplify x into x
5.254 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.254 * [taylor]: Taking taylor expansion of y in z
5.254 * [backup-simplify]: Simplify y into y
5.254 * [backup-simplify]: Simplify (+ 1 0) into 1
5.255 * [backup-simplify]: Simplify (* (cbrt -1) 1) into (cbrt -1)
5.256 * [backup-simplify]: Simplify (/ (cbrt -1) y) into (/ (cbrt -1) y)
5.256 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in x
5.256 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x
5.256 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.256 * [taylor]: Taking taylor expansion of -1 in x
5.256 * [backup-simplify]: Simplify -1 into -1
5.257 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.257 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.257 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.257 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.257 * [taylor]: Taking taylor expansion of z in x
5.257 * [backup-simplify]: Simplify z into z
5.257 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.258 * [taylor]: Taking taylor expansion of x in x
5.258 * [backup-simplify]: Simplify 0 into 0
5.258 * [backup-simplify]: Simplify 1 into 1
5.258 * [backup-simplify]: Simplify (/ 1 1) into 1
5.258 * [taylor]: Taking taylor expansion of y in x
5.258 * [backup-simplify]: Simplify y into y
5.258 * [backup-simplify]: Simplify (- 1) into -1
5.259 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.260 * [backup-simplify]: Simplify (* (cbrt -1) -1) into (* -1 (cbrt -1))
5.261 * [backup-simplify]: Simplify (/ (* -1 (cbrt -1)) y) into (* -1 (/ (cbrt -1) y))
5.261 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in y
5.261 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in y
5.261 * [taylor]: Taking taylor expansion of (cbrt -1) in y
5.261 * [taylor]: Taking taylor expansion of -1 in y
5.261 * [backup-simplify]: Simplify -1 into -1
5.261 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.262 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.262 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.262 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.262 * [taylor]: Taking taylor expansion of z in y
5.262 * [backup-simplify]: Simplify z into z
5.262 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.262 * [taylor]: Taking taylor expansion of x in y
5.262 * [backup-simplify]: Simplify x into x
5.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.262 * [taylor]: Taking taylor expansion of y in y
5.262 * [backup-simplify]: Simplify 0 into 0
5.262 * [backup-simplify]: Simplify 1 into 1
5.262 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.262 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.263 * [backup-simplify]: Simplify (* (cbrt -1) (- (/ 1 z) (/ 1 x))) into (* (cbrt -1) (- (/ 1 z) (/ 1 x)))
5.264 * [backup-simplify]: Simplify (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) 1) into (* (cbrt -1) (- (/ 1 z) (/ 1 x)))
5.264 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) y) in y
5.264 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in y
5.264 * [taylor]: Taking taylor expansion of (cbrt -1) in y
5.264 * [taylor]: Taking taylor expansion of -1 in y
5.264 * [backup-simplify]: Simplify -1 into -1
5.264 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.265 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.265 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.265 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.265 * [taylor]: Taking taylor expansion of z in y
5.265 * [backup-simplify]: Simplify z into z
5.265 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.265 * [taylor]: Taking taylor expansion of x in y
5.265 * [backup-simplify]: Simplify x into x
5.265 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.265 * [taylor]: Taking taylor expansion of y in y
5.265 * [backup-simplify]: Simplify 0 into 0
5.265 * [backup-simplify]: Simplify 1 into 1
5.265 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.265 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.266 * [backup-simplify]: Simplify (* (cbrt -1) (- (/ 1 z) (/ 1 x))) into (* (cbrt -1) (- (/ 1 z) (/ 1 x)))
5.267 * [backup-simplify]: Simplify (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) 1) into (* (cbrt -1) (- (/ 1 z) (/ 1 x)))
5.267 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x
5.267 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.267 * [taylor]: Taking taylor expansion of -1 in x
5.267 * [backup-simplify]: Simplify -1 into -1
5.267 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.268 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.268 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.268 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.268 * [taylor]: Taking taylor expansion of z in x
5.268 * [backup-simplify]: Simplify z into z
5.268 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.268 * [taylor]: Taking taylor expansion of x in x
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.269 * [backup-simplify]: Simplify (/ 1 1) into 1
5.269 * [backup-simplify]: Simplify (- 1) into -1
5.269 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.270 * [backup-simplify]: Simplify (* (cbrt -1) -1) into (* -1 (cbrt -1))
5.270 * [taylor]: Taking taylor expansion of (* -1 (cbrt -1)) in z
5.270 * [taylor]: Taking taylor expansion of -1 in z
5.270 * [backup-simplify]: Simplify -1 into -1
5.270 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.270 * [taylor]: Taking taylor expansion of -1 in z
5.270 * [backup-simplify]: Simplify -1 into -1
5.271 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.272 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.272 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.272 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.272 * [backup-simplify]: Simplify (- 0) into 0
5.273 * [backup-simplify]: Simplify (+ 0 0) into 0
5.273 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
5.275 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (cbrt -1) (- (/ 1 z) (/ 1 x))) (/ 0 1)))) into 0
5.275 * [taylor]: Taking taylor expansion of 0 in x
5.275 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.276 * [backup-simplify]: Simplify (- 0) into 0
5.276 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
5.277 * [backup-simplify]: Simplify (+ (* (cbrt -1) (/ 1 z)) (* 0 -1)) into (/ (cbrt -1) z)
5.277 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z
5.277 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.277 * [taylor]: Taking taylor expansion of -1 in z
5.277 * [backup-simplify]: Simplify -1 into -1
5.278 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.278 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.278 * [taylor]: Taking taylor expansion of z in z
5.278 * [backup-simplify]: Simplify 0 into 0
5.278 * [backup-simplify]: Simplify 1 into 1
5.279 * [backup-simplify]: Simplify (/ (cbrt -1) 1) into (cbrt -1)
5.280 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.281 * [backup-simplify]: Simplify (* -1 (cbrt -1)) into (* -1 (cbrt -1))
5.282 * [backup-simplify]: Simplify (* -1 (cbrt -1)) into (* -1 (cbrt -1))
5.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.283 * [backup-simplify]: Simplify (- 0) into 0
5.283 * [backup-simplify]: Simplify (+ 0 0) into 0
5.284 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
5.285 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
5.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (cbrt -1) (- (/ 1 z) (/ 1 x))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.287 * [taylor]: Taking taylor expansion of 0 in x
5.287 * [backup-simplify]: Simplify 0 into 0
5.287 * [taylor]: Taking taylor expansion of 0 in z
5.287 * [backup-simplify]: Simplify 0 into 0
5.287 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.288 * [backup-simplify]: Simplify (- 0) into 0
5.288 * [backup-simplify]: Simplify (+ 0 0) into 0
5.289 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
5.290 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
5.290 * [taylor]: Taking taylor expansion of 0 in z
5.290 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)))) into 0
5.291 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt -1))) into 0
5.291 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.292 * [backup-simplify]: Simplify (- 0) into 0
5.292 * [backup-simplify]: Simplify (+ 0 0) into 0
5.293 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
5.294 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
5.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (cbrt -1) (- (/ 1 z) (/ 1 x))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.295 * [taylor]: Taking taylor expansion of 0 in x
5.295 * [backup-simplify]: Simplify 0 into 0
5.295 * [taylor]: Taking taylor expansion of 0 in z
5.295 * [backup-simplify]: Simplify 0 into 0
5.296 * [taylor]: Taking taylor expansion of 0 in z
5.296 * [backup-simplify]: Simplify 0 into 0
5.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.297 * [backup-simplify]: Simplify (- 0) into 0
5.297 * [backup-simplify]: Simplify (+ 0 0) into 0
5.299 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
5.300 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
5.300 * [taylor]: Taking taylor expansion of 0 in z
5.300 * [backup-simplify]: Simplify 0 into 0
5.300 * [backup-simplify]: Simplify 0 into 0
5.300 * [backup-simplify]: Simplify 0 into 0
5.301 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
5.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.303 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
5.305 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt -1)))) into 0
5.305 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify (+ (* (* -1 (cbrt -1)) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* (cbrt -1) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* (cbrt -1) (* y z)) (* x (* (cbrt -1) y)))
5.307 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
5.307 * [backup-simplify]: Simplify (pow (* y (- x z)) 3) into (pow (* (- x z) y) 3)
5.307 * [approximate]: Taking taylor expansion of (pow (* (- x z) y) 3) in (y x z) around 0
5.307 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 3) in z
5.307 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
5.307 * [taylor]: Taking taylor expansion of (- x z) in z
5.307 * [taylor]: Taking taylor expansion of x in z
5.307 * [backup-simplify]: Simplify x into x
5.307 * [taylor]: Taking taylor expansion of z in z
5.307 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify 1 into 1
5.308 * [taylor]: Taking taylor expansion of y in z
5.308 * [backup-simplify]: Simplify y into y
5.308 * [backup-simplify]: Simplify (- 0) into 0
5.308 * [backup-simplify]: Simplify (+ x 0) into x
5.308 * [backup-simplify]: Simplify (* x y) into (* x y)
5.308 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 3) in x
5.308 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
5.308 * [taylor]: Taking taylor expansion of (- x z) in x
5.308 * [taylor]: Taking taylor expansion of x in x
5.308 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify 1 into 1
5.308 * [taylor]: Taking taylor expansion of z in x
5.308 * [backup-simplify]: Simplify z into z
5.308 * [taylor]: Taking taylor expansion of y in x
5.308 * [backup-simplify]: Simplify y into y
5.309 * [backup-simplify]: Simplify (- z) into (- z)
5.309 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.309 * [backup-simplify]: Simplify (* (- z) y) into (* -1 (* z y))
5.309 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 3) in y
5.309 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.309 * [taylor]: Taking taylor expansion of (- x z) in y
5.309 * [taylor]: Taking taylor expansion of x in y
5.309 * [backup-simplify]: Simplify x into x
5.309 * [taylor]: Taking taylor expansion of z in y
5.309 * [backup-simplify]: Simplify z into z
5.309 * [taylor]: Taking taylor expansion of y in y
5.309 * [backup-simplify]: Simplify 0 into 0
5.309 * [backup-simplify]: Simplify 1 into 1
5.309 * [backup-simplify]: Simplify (- z) into (- z)
5.309 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.309 * [backup-simplify]: Simplify (* (- x z) 0) into 0
5.310 * [backup-simplify]: Simplify (- 0) into 0
5.310 * [backup-simplify]: Simplify (+ 0 0) into 0
5.310 * [backup-simplify]: Simplify (+ (* (- x z) 1) (* 0 0)) into (- x z)
5.310 * [taylor]: Taking taylor expansion of (pow (* (- x z) y) 3) in y
5.310 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.310 * [taylor]: Taking taylor expansion of (- x z) in y
5.310 * [taylor]: Taking taylor expansion of x in y
5.310 * [backup-simplify]: Simplify x into x
5.310 * [taylor]: Taking taylor expansion of z in y
5.310 * [backup-simplify]: Simplify z into z
5.311 * [taylor]: Taking taylor expansion of y in y
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify 1 into 1
5.311 * [backup-simplify]: Simplify (- z) into (- z)
5.311 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.311 * [backup-simplify]: Simplify (* (- x z) 0) into 0
5.311 * [backup-simplify]: Simplify (- 0) into 0
5.311 * [backup-simplify]: Simplify (+ 0 0) into 0
5.312 * [backup-simplify]: Simplify (+ (* (- x z) 1) (* 0 0)) into (- x z)
5.312 * [backup-simplify]: Simplify (* (- x z) (- x z)) into (pow (- x z) 2)
5.312 * [backup-simplify]: Simplify (* (- x z) (pow (- x z) 2)) into (pow (- x z) 3)
5.312 * [taylor]: Taking taylor expansion of (pow (- x z) 3) in x
5.312 * [taylor]: Taking taylor expansion of (- x z) in x
5.312 * [taylor]: Taking taylor expansion of x in x
5.312 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify 1 into 1
5.312 * [taylor]: Taking taylor expansion of z in x
5.312 * [backup-simplify]: Simplify z into z
5.313 * [backup-simplify]: Simplify (- z) into (- z)
5.313 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.313 * [backup-simplify]: Simplify (* (- z) (- z)) into (pow z 2)
5.313 * [backup-simplify]: Simplify (* (- z) (pow z 2)) into (* -1 (pow z 3))
5.313 * [taylor]: Taking taylor expansion of (* -1 (pow z 3)) in z
5.313 * [taylor]: Taking taylor expansion of -1 in z
5.313 * [backup-simplify]: Simplify -1 into -1
5.313 * [taylor]: Taking taylor expansion of (pow z 3) in z
5.313 * [taylor]: Taking taylor expansion of z in z
5.313 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify 1 into 1
5.313 * [backup-simplify]: Simplify (- 0) into 0
5.314 * [backup-simplify]: Simplify (+ 0 0) into 0
5.314 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 1) (* 0 0))) into 0
5.315 * [backup-simplify]: Simplify (+ (* (- x z) 0) (* 0 (- x z))) into 0
5.315 * [backup-simplify]: Simplify (+ (* (- x z) 0) (* 0 (pow (- x z) 2))) into 0
5.315 * [taylor]: Taking taylor expansion of 0 in x
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [taylor]: Taking taylor expansion of 0 in z
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [backup-simplify]: Simplify (- 0) into 0
5.316 * [backup-simplify]: Simplify (+ 1 0) into 1
5.316 * [backup-simplify]: Simplify (+ (* (- z) 1) (* 1 (- z))) into (- (* 2 z))
5.316 * [backup-simplify]: Simplify (+ (* (- z) (- (* 2 z))) (* 1 (pow z 2))) into (* 3 (pow z 2))
5.316 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
5.316 * [taylor]: Taking taylor expansion of 3 in z
5.316 * [backup-simplify]: Simplify 3 into 3
5.316 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.316 * [taylor]: Taking taylor expansion of z in z
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.317 * [backup-simplify]: Simplify (- 0) into 0
5.317 * [backup-simplify]: Simplify (+ 0 0) into 0
5.318 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.318 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (* 0 (- x z)))) into 0
5.319 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (* 0 (pow (- x z) 2)))) into 0
5.319 * [taylor]: Taking taylor expansion of 0 in x
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [taylor]: Taking taylor expansion of 0 in z
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [taylor]: Taking taylor expansion of 0 in z
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify (- 0) into 0
5.320 * [backup-simplify]: Simplify (+ 0 0) into 0
5.320 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 1) (* 0 (- z)))) into 1
5.321 * [backup-simplify]: Simplify (+ (* (- z) 1) (+ (* 1 (- (* 2 z))) (* 0 (pow z 2)))) into (- (* 3 z))
5.321 * [taylor]: Taking taylor expansion of (- (* 3 z)) in z
5.321 * [taylor]: Taking taylor expansion of (* 3 z) in z
5.321 * [taylor]: Taking taylor expansion of 3 in z
5.321 * [backup-simplify]: Simplify 3 into 3
5.321 * [taylor]: Taking taylor expansion of z in z
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 1 into 1
5.321 * [backup-simplify]: Simplify (* 3 0) into 0
5.322 * [backup-simplify]: Simplify (- 0) into 0
5.322 * [backup-simplify]: Simplify 0 into 0
5.322 * [backup-simplify]: Simplify 0 into 0
5.322 * [backup-simplify]: Simplify (- 0) into 0
5.322 * [backup-simplify]: Simplify (+ 0 0) into 0
5.323 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.324 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- x z))))) into 0
5.324 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- x z) 2))))) into 0
5.324 * [taylor]: Taking taylor expansion of 0 in x
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [taylor]: Taking taylor expansion of 0 in z
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify (pow (* (/ 1 y) (- (/ 1 x) (/ 1 z))) 3) into (pow (/ (- (/ 1 x) (/ 1 z)) y) 3)
5.325 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in (y x z) around 0
5.325 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in z
5.325 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
5.325 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.325 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.325 * [taylor]: Taking taylor expansion of x in z
5.325 * [backup-simplify]: Simplify x into x
5.325 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.325 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.325 * [taylor]: Taking taylor expansion of z in z
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify 1 into 1
5.325 * [backup-simplify]: Simplify (/ 1 1) into 1
5.325 * [taylor]: Taking taylor expansion of y in z
5.325 * [backup-simplify]: Simplify y into y
5.325 * [backup-simplify]: Simplify (- 1) into -1
5.326 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.326 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.326 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in x
5.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.326 * [taylor]: Taking taylor expansion of x in x
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [backup-simplify]: Simplify (/ 1 1) into 1
5.326 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.326 * [taylor]: Taking taylor expansion of z in x
5.326 * [backup-simplify]: Simplify z into z
5.326 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.326 * [taylor]: Taking taylor expansion of y in x
5.326 * [backup-simplify]: Simplify y into y
5.326 * [backup-simplify]: Simplify (+ 1 0) into 1
5.326 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.326 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in y
5.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.326 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.326 * [taylor]: Taking taylor expansion of x in y
5.326 * [backup-simplify]: Simplify x into x
5.327 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.327 * [taylor]: Taking taylor expansion of z in y
5.327 * [backup-simplify]: Simplify z into z
5.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.327 * [taylor]: Taking taylor expansion of y in y
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 1 into 1
5.327 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.327 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.327 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.327 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) y) 3) in y
5.327 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.327 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.327 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.327 * [taylor]: Taking taylor expansion of x in y
5.327 * [backup-simplify]: Simplify x into x
5.327 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.327 * [taylor]: Taking taylor expansion of z in y
5.327 * [backup-simplify]: Simplify z into z
5.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.327 * [taylor]: Taking taylor expansion of y in y
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 1 into 1
5.327 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.327 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.327 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.327 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (- (/ 1 x) (/ 1 z))) into (pow (- (/ 1 x) (/ 1 z)) 2)
5.328 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (pow (- (/ 1 x) (/ 1 z)) 2)) into (pow (- (/ 1 x) (/ 1 z)) 3)
5.328 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 3) in x
5.328 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.328 * [taylor]: Taking taylor expansion of x in x
5.328 * [backup-simplify]: Simplify 0 into 0
5.328 * [backup-simplify]: Simplify 1 into 1
5.328 * [backup-simplify]: Simplify (/ 1 1) into 1
5.328 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.328 * [taylor]: Taking taylor expansion of z in x
5.328 * [backup-simplify]: Simplify z into z
5.328 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.328 * [backup-simplify]: Simplify (+ 1 0) into 1
5.329 * [backup-simplify]: Simplify (* 1 1) into 1
5.329 * [backup-simplify]: Simplify (* 1 1) into 1
5.329 * [taylor]: Taking taylor expansion of 1 in z
5.329 * [backup-simplify]: Simplify 1 into 1
5.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.329 * [backup-simplify]: Simplify (- 0) into 0
5.329 * [backup-simplify]: Simplify (+ 0 0) into 0
5.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
5.330 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0
5.330 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (* 0 (pow (- (/ 1 x) (/ 1 z)) 2))) into 0
5.330 * [taylor]: Taking taylor expansion of 0 in x
5.330 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.331 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.331 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
5.331 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 z))) (* (- (/ 1 z)) 1)) into (- (* 2 (/ 1 z)))
5.331 * [backup-simplify]: Simplify (+ (* 1 (- (* 2 (/ 1 z)))) (* (- (/ 1 z)) 1)) into (- (* 3 (/ 1 z)))
5.331 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 z))) in z
5.331 * [taylor]: Taking taylor expansion of (* 3 (/ 1 z)) in z
5.331 * [taylor]: Taking taylor expansion of 3 in z
5.331 * [backup-simplify]: Simplify 3 into 3
5.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.331 * [taylor]: Taking taylor expansion of z in z
5.331 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify 1 into 1
5.332 * [backup-simplify]: Simplify (/ 1 1) into 1
5.332 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.332 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.332 * [backup-simplify]: Simplify (- 0) into 0
5.332 * [backup-simplify]: Simplify (+ 0 0) into 0
5.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.338 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
5.339 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 0) (* 0 (pow (- (/ 1 x) (/ 1 z)) 2)))) into 0
5.339 * [taylor]: Taking taylor expansion of 0 in x
5.339 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.340 * [backup-simplify]: Simplify (- 0) into 0
5.340 * [backup-simplify]: Simplify (+ 0 0) into 0
5.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) (- (/ 1 z))) (* 0 1))) into (/ 1 (pow z 2))
5.341 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow z 2))) (+ (* (- (/ 1 z)) (- (* 2 (/ 1 z)))) (* 0 1))) into (* 3 (/ 1 (pow z 2)))
5.341 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
5.341 * [taylor]: Taking taylor expansion of 3 in z
5.341 * [backup-simplify]: Simplify 3 into 3
5.341 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.341 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.341 * [taylor]: Taking taylor expansion of z in z
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify 1 into 1
5.342 * [backup-simplify]: Simplify (* 1 1) into 1
5.342 * [backup-simplify]: Simplify (/ 1 1) into 1
5.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.343 * [backup-simplify]: Simplify (- 0) into 0
5.343 * [backup-simplify]: Simplify (+ 0 0) into 0
5.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.345 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
5.345 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (/ 1 x) (/ 1 z)) 2))))) into 0
5.345 * [taylor]: Taking taylor expansion of 0 in x
5.345 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.346 * [backup-simplify]: Simplify (- 0) into 0
5.346 * [backup-simplify]: Simplify (+ 0 0) into 0
5.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (+ (* 0 (- (/ 1 z))) (* 0 1)))) into 0
5.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) (/ 1 (pow z 2))) (+ (* 0 (- (* 2 (/ 1 z)))) (* 0 1)))) into (- (/ 1 (pow z 3)))
5.348 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3))) in z
5.348 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
5.348 * [taylor]: Taking taylor expansion of (pow z 3) in z
5.348 * [taylor]: Taking taylor expansion of z in z
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 1 into 1
5.348 * [backup-simplify]: Simplify (* 1 1) into 1
5.348 * [backup-simplify]: Simplify (* 1 1) into 1
5.349 * [backup-simplify]: Simplify (/ 1 1) into 1
5.349 * [backup-simplify]: Simplify (- 1) into -1
5.349 * [backup-simplify]: Simplify -1 into -1
5.349 * [backup-simplify]: Simplify (* 3 1) into 3
5.349 * [backup-simplify]: Simplify 3 into 3
5.349 * [backup-simplify]: Simplify (* 3 1) into 3
5.350 * [backup-simplify]: Simplify (- 3) into -3
5.350 * [backup-simplify]: Simplify -3 into -3
5.351 * [backup-simplify]: Simplify (+ (* -3 (* (/ 1 (/ 1 z)) (* (pow (/ 1 x) -2) (pow (/ 1 y) -3)))) (+ (* 3 (* (pow (/ 1 z) -2) (* (/ 1 (/ 1 x)) (pow (/ 1 y) -3)))) (* -1 (pow (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))) 3)))) into (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* 3 (* (pow x 2) (* z (pow y 3)))) (* (pow z 3) (pow y 3))))
5.351 * [backup-simplify]: Simplify (pow (* (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) 3) into (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3)
5.351 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in (y x z) around 0
5.351 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in z
5.351 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
5.351 * [taylor]: Taking taylor expansion of -1 in z
5.351 * [backup-simplify]: Simplify -1 into -1
5.351 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
5.351 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.351 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.351 * [taylor]: Taking taylor expansion of z in z
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify 1 into 1
5.351 * [backup-simplify]: Simplify (/ 1 1) into 1
5.351 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.351 * [taylor]: Taking taylor expansion of x in z
5.351 * [backup-simplify]: Simplify x into x
5.351 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.351 * [taylor]: Taking taylor expansion of y in z
5.351 * [backup-simplify]: Simplify y into y
5.352 * [backup-simplify]: Simplify (+ 1 0) into 1
5.352 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.352 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
5.352 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in x
5.352 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
5.352 * [taylor]: Taking taylor expansion of -1 in x
5.352 * [backup-simplify]: Simplify -1 into -1
5.352 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
5.352 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.352 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.352 * [taylor]: Taking taylor expansion of z in x
5.352 * [backup-simplify]: Simplify z into z
5.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.352 * [taylor]: Taking taylor expansion of x in x
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 1 into 1
5.352 * [backup-simplify]: Simplify (/ 1 1) into 1
5.352 * [taylor]: Taking taylor expansion of y in x
5.352 * [backup-simplify]: Simplify y into y
5.352 * [backup-simplify]: Simplify (- 1) into -1
5.353 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.353 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.353 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
5.353 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in y
5.353 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.353 * [taylor]: Taking taylor expansion of -1 in y
5.353 * [backup-simplify]: Simplify -1 into -1
5.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.353 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.353 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.353 * [taylor]: Taking taylor expansion of z in y
5.353 * [backup-simplify]: Simplify z into z
5.353 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.353 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.353 * [taylor]: Taking taylor expansion of x in y
5.353 * [backup-simplify]: Simplify x into x
5.353 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.353 * [taylor]: Taking taylor expansion of y in y
5.353 * [backup-simplify]: Simplify 0 into 0
5.353 * [backup-simplify]: Simplify 1 into 1
5.353 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.353 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.353 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.353 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 x))) into (* -1 (- (/ 1 z) (/ 1 x)))
5.353 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 3) in y
5.353 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.353 * [taylor]: Taking taylor expansion of -1 in y
5.353 * [backup-simplify]: Simplify -1 into -1
5.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.353 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.353 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.353 * [taylor]: Taking taylor expansion of z in y
5.353 * [backup-simplify]: Simplify z into z
5.354 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.354 * [taylor]: Taking taylor expansion of x in y
5.354 * [backup-simplify]: Simplify x into x
5.354 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.354 * [taylor]: Taking taylor expansion of y in y
5.354 * [backup-simplify]: Simplify 0 into 0
5.354 * [backup-simplify]: Simplify 1 into 1
5.354 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.354 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.354 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.354 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 x))) into (* -1 (- (/ 1 z) (/ 1 x)))
5.354 * [backup-simplify]: Simplify (* (* -1 (- (/ 1 z) (/ 1 x))) (* -1 (- (/ 1 z) (/ 1 x)))) into (pow (- (/ 1 z) (/ 1 x)) 2)
5.354 * [backup-simplify]: Simplify (* (* -1 (- (/ 1 z) (/ 1 x))) (pow (- (/ 1 z) (/ 1 x)) 2)) into (* -1 (pow (- (/ 1 z) (/ 1 x)) 3))
5.354 * [taylor]: Taking taylor expansion of (* -1 (pow (- (/ 1 z) (/ 1 x)) 3)) in x
5.354 * [taylor]: Taking taylor expansion of -1 in x
5.354 * [backup-simplify]: Simplify -1 into -1
5.354 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in x
5.354 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.354 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.354 * [taylor]: Taking taylor expansion of z in x
5.354 * [backup-simplify]: Simplify z into z
5.354 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.354 * [taylor]: Taking taylor expansion of x in x
5.354 * [backup-simplify]: Simplify 0 into 0
5.354 * [backup-simplify]: Simplify 1 into 1
5.355 * [backup-simplify]: Simplify (/ 1 1) into 1
5.355 * [backup-simplify]: Simplify (- 1) into -1
5.355 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.356 * [backup-simplify]: Simplify (* -1 -1) into 1
5.356 * [backup-simplify]: Simplify (* -1 1) into -1
5.356 * [backup-simplify]: Simplify (* -1 -1) into 1
5.356 * [taylor]: Taking taylor expansion of 1 in z
5.356 * [backup-simplify]: Simplify 1 into 1
5.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.357 * [backup-simplify]: Simplify (- 0) into 0
5.357 * [backup-simplify]: Simplify (+ 0 0) into 0
5.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0
5.358 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
5.358 * [backup-simplify]: Simplify (+ (* (* -1 (- (/ 1 z) (/ 1 x))) 0) (* 0 (* -1 (- (/ 1 z) (/ 1 x))))) into 0
5.358 * [backup-simplify]: Simplify (+ (* (* -1 (- (/ 1 z) (/ 1 x))) 0) (* 0 (pow (- (/ 1 z) (/ 1 x)) 2))) into 0
5.358 * [taylor]: Taking taylor expansion of 0 in x
5.358 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.359 * [backup-simplify]: Simplify (- 0) into 0
5.359 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
5.360 * [backup-simplify]: Simplify (+ (* -1 (/ 1 z)) (* (/ 1 z) -1)) into (- (* 2 (/ 1 z)))
5.360 * [backup-simplify]: Simplify (+ (* -1 (- (* 2 (/ 1 z)))) (* (/ 1 z) 1)) into (* 3 (/ 1 z))
5.360 * [backup-simplify]: Simplify (+ (* -1 (* 3 (/ 1 z))) (* 0 -1)) into (- (* 3 (/ 1 z)))
5.360 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 z))) in z
5.360 * [taylor]: Taking taylor expansion of (* 3 (/ 1 z)) in z
5.360 * [taylor]: Taking taylor expansion of 3 in z
5.360 * [backup-simplify]: Simplify 3 into 3
5.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.360 * [taylor]: Taking taylor expansion of z in z
5.360 * [backup-simplify]: Simplify 0 into 0
5.361 * [backup-simplify]: Simplify 1 into 1
5.361 * [backup-simplify]: Simplify (/ 1 1) into 1
5.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.362 * [backup-simplify]: Simplify (- 0) into 0
5.362 * [backup-simplify]: Simplify (+ 0 0) into 0
5.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.364 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
5.365 * [backup-simplify]: Simplify (+ (* (* -1 (- (/ 1 z) (/ 1 x))) 0) (+ (* 0 0) (* 0 (* -1 (- (/ 1 z) (/ 1 x)))))) into 0
5.366 * [backup-simplify]: Simplify (+ (* (* -1 (- (/ 1 z) (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (- (/ 1 z) (/ 1 x)) 2)))) into 0
5.366 * [taylor]: Taking taylor expansion of 0 in x
5.366 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.367 * [backup-simplify]: Simplify (- 0) into 0
5.367 * [backup-simplify]: Simplify (+ 0 0) into 0
5.367 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 z) (/ 1 z)) (* 0 -1))) into (/ 1 (pow z 2))
5.368 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow z 2))) (+ (* (/ 1 z) (- (* 2 (/ 1 z)))) (* 0 1))) into (- (* 3 (/ 1 (pow z 2))))
5.368 * [backup-simplify]: Simplify (+ (* -1 (- (* 3 (/ 1 (pow z 2))))) (+ (* 0 (* 3 (/ 1 z))) (* 0 -1))) into (* 3 (/ 1 (pow z 2)))
5.368 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
5.368 * [taylor]: Taking taylor expansion of 3 in z
5.368 * [backup-simplify]: Simplify 3 into 3
5.368 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.368 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.369 * [taylor]: Taking taylor expansion of z in z
5.369 * [backup-simplify]: Simplify 0 into 0
5.369 * [backup-simplify]: Simplify 1 into 1
5.369 * [backup-simplify]: Simplify (* 1 1) into 1
5.369 * [backup-simplify]: Simplify (/ 1 1) into 1
5.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.370 * [backup-simplify]: Simplify (- 0) into 0
5.370 * [backup-simplify]: Simplify (+ 0 0) into 0
5.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.372 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
5.372 * [backup-simplify]: Simplify (+ (* (* -1 (- (/ 1 z) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* -1 (- (/ 1 z) (/ 1 x))))))) into 0
5.373 * [backup-simplify]: Simplify (+ (* (* -1 (- (/ 1 z) (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (/ 1 z) (/ 1 x)) 2))))) into 0
5.373 * [taylor]: Taking taylor expansion of 0 in x
5.373 * [backup-simplify]: Simplify 0 into 0
5.373 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.374 * [backup-simplify]: Simplify (- 0) into 0
5.374 * [backup-simplify]: Simplify (+ 0 0) into 0
5.375 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 z) 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
5.376 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 z) (/ 1 (pow z 2))) (+ (* 0 (- (* 2 (/ 1 z)))) (* 0 1)))) into (/ 1 (pow z 3))
5.376 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow z 3))) (+ (* 0 (- (* 3 (/ 1 (pow z 2))))) (+ (* 0 (* 3 (/ 1 z))) (* 0 -1)))) into (- (/ 1 (pow z 3)))
5.376 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3))) in z
5.376 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
5.376 * [taylor]: Taking taylor expansion of (pow z 3) in z
5.376 * [taylor]: Taking taylor expansion of z in z
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.377 * [backup-simplify]: Simplify (* 1 1) into 1
5.377 * [backup-simplify]: Simplify (* 1 1) into 1
5.377 * [backup-simplify]: Simplify (/ 1 1) into 1
5.377 * [backup-simplify]: Simplify (- 1) into -1
5.377 * [backup-simplify]: Simplify -1 into -1
5.378 * [backup-simplify]: Simplify (* 3 1) into 3
5.378 * [backup-simplify]: Simplify 3 into 3
5.378 * [backup-simplify]: Simplify (* 3 1) into 3
5.378 * [backup-simplify]: Simplify (- 3) into -3
5.378 * [backup-simplify]: Simplify -3 into -3
5.379 * [backup-simplify]: Simplify (+ (* -3 (* (/ 1 (/ 1 (- z))) (* (pow (/ 1 (- x)) -2) (pow (/ 1 (- y)) -3)))) (+ (* 3 (* (pow (/ 1 (- z)) -2) (* (/ 1 (/ 1 (- x))) (pow (/ 1 (- y)) -3)))) (* -1 (pow (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))) 3)))) into (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* 3 (* (pow x 2) (* z (pow y 3)))) (* (pow z 3) (pow y 3))))
5.379 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
5.379 * [backup-simplify]: Simplify (* y (- x z)) into (* (- x z) y)
5.379 * [approximate]: Taking taylor expansion of (* (- x z) y) in (y x z) around 0
5.379 * [taylor]: Taking taylor expansion of (* (- x z) y) in z
5.379 * [taylor]: Taking taylor expansion of (- x z) in z
5.379 * [taylor]: Taking taylor expansion of x in z
5.379 * [backup-simplify]: Simplify x into x
5.379 * [taylor]: Taking taylor expansion of z in z
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [taylor]: Taking taylor expansion of y in z
5.379 * [backup-simplify]: Simplify y into y
5.379 * [taylor]: Taking taylor expansion of (* (- x z) y) in x
5.379 * [taylor]: Taking taylor expansion of (- x z) in x
5.379 * [taylor]: Taking taylor expansion of x in x
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [taylor]: Taking taylor expansion of z in x
5.380 * [backup-simplify]: Simplify z into z
5.380 * [taylor]: Taking taylor expansion of y in x
5.380 * [backup-simplify]: Simplify y into y
5.380 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.380 * [taylor]: Taking taylor expansion of (- x z) in y
5.380 * [taylor]: Taking taylor expansion of x in y
5.380 * [backup-simplify]: Simplify x into x
5.380 * [taylor]: Taking taylor expansion of z in y
5.380 * [backup-simplify]: Simplify z into z
5.380 * [taylor]: Taking taylor expansion of y in y
5.380 * [backup-simplify]: Simplify 0 into 0
5.380 * [backup-simplify]: Simplify 1 into 1
5.380 * [taylor]: Taking taylor expansion of (* (- x z) y) in y
5.380 * [taylor]: Taking taylor expansion of (- x z) in y
5.380 * [taylor]: Taking taylor expansion of x in y
5.380 * [backup-simplify]: Simplify x into x
5.380 * [taylor]: Taking taylor expansion of z in y
5.380 * [backup-simplify]: Simplify z into z
5.380 * [taylor]: Taking taylor expansion of y in y
5.380 * [backup-simplify]: Simplify 0 into 0
5.380 * [backup-simplify]: Simplify 1 into 1
5.380 * [backup-simplify]: Simplify (- z) into (- z)
5.380 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.380 * [backup-simplify]: Simplify (* (- x z) 0) into 0
5.380 * [taylor]: Taking taylor expansion of 0 in x
5.380 * [backup-simplify]: Simplify 0 into 0
5.380 * [taylor]: Taking taylor expansion of 0 in z
5.380 * [backup-simplify]: Simplify 0 into 0
5.380 * [backup-simplify]: Simplify 0 into 0
5.380 * [backup-simplify]: Simplify (- 0) into 0
5.380 * [backup-simplify]: Simplify (+ 0 0) into 0
5.381 * [backup-simplify]: Simplify (+ (* (- x z) 1) (* 0 0)) into (- x z)
5.381 * [taylor]: Taking taylor expansion of (- x z) in x
5.381 * [taylor]: Taking taylor expansion of x in x
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify 1 into 1
5.381 * [taylor]: Taking taylor expansion of z in x
5.381 * [backup-simplify]: Simplify z into z
5.381 * [backup-simplify]: Simplify (- z) into (- z)
5.381 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.381 * [taylor]: Taking taylor expansion of (- z) in z
5.381 * [taylor]: Taking taylor expansion of z in z
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify 1 into 1
5.381 * [backup-simplify]: Simplify (- 0) into 0
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [taylor]: Taking taylor expansion of 0 in z
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify 0 into 0
5.382 * [backup-simplify]: Simplify (- 0) into 0
5.382 * [backup-simplify]: Simplify (+ 0 0) into 0
5.382 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 1) (* 0 0))) into 0
5.382 * [taylor]: Taking taylor expansion of 0 in x
5.382 * [backup-simplify]: Simplify 0 into 0
5.382 * [taylor]: Taking taylor expansion of 0 in z
5.382 * [backup-simplify]: Simplify 0 into 0
5.382 * [backup-simplify]: Simplify 0 into 0
5.383 * [backup-simplify]: Simplify (- 0) into 0
5.383 * [backup-simplify]: Simplify (+ 1 0) into 1
5.383 * [taylor]: Taking taylor expansion of 1 in z
5.383 * [backup-simplify]: Simplify 1 into 1
5.383 * [backup-simplify]: Simplify 1 into 1
5.383 * [taylor]: Taking taylor expansion of 0 in z
5.383 * [backup-simplify]: Simplify 0 into 0
5.383 * [backup-simplify]: Simplify 0 into 0
5.383 * [backup-simplify]: Simplify (- 1) into -1
5.383 * [backup-simplify]: Simplify -1 into -1
5.383 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify (- 0) into 0
5.384 * [backup-simplify]: Simplify (+ 0 0) into 0
5.385 * [backup-simplify]: Simplify (+ (* (- x z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.385 * [taylor]: Taking taylor expansion of 0 in x
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [taylor]: Taking taylor expansion of 0 in z
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [taylor]: Taking taylor expansion of 0 in z
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify (- 0) into 0
5.385 * [backup-simplify]: Simplify (+ 0 0) into 0
5.385 * [taylor]: Taking taylor expansion of 0 in z
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [taylor]: Taking taylor expansion of 0 in z
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 y))) (* 1 (* 1 (* x y)))) into (- (* x y) (* z y))
5.386 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 x) (/ 1 z))) into (/ (- (/ 1 x) (/ 1 z)) y)
5.386 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
5.386 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
5.386 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
5.386 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.386 * [taylor]: Taking taylor expansion of x in z
5.386 * [backup-simplify]: Simplify x into x
5.386 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.386 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.386 * [taylor]: Taking taylor expansion of z in z
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 1 into 1
5.386 * [backup-simplify]: Simplify (/ 1 1) into 1
5.386 * [taylor]: Taking taylor expansion of y in z
5.386 * [backup-simplify]: Simplify y into y
5.386 * [backup-simplify]: Simplify (- 1) into -1
5.386 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.387 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.387 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
5.387 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.387 * [taylor]: Taking taylor expansion of x in x
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 1 into 1
5.387 * [backup-simplify]: Simplify (/ 1 1) into 1
5.387 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.387 * [taylor]: Taking taylor expansion of z in x
5.387 * [backup-simplify]: Simplify z into z
5.387 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.387 * [taylor]: Taking taylor expansion of y in x
5.387 * [backup-simplify]: Simplify y into y
5.387 * [backup-simplify]: Simplify (+ 1 0) into 1
5.387 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.387 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.387 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.387 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.387 * [taylor]: Taking taylor expansion of x in y
5.387 * [backup-simplify]: Simplify x into x
5.387 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.387 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.387 * [taylor]: Taking taylor expansion of z in y
5.387 * [backup-simplify]: Simplify z into z
5.388 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.388 * [taylor]: Taking taylor expansion of y in y
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 1 into 1
5.388 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.388 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.388 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.388 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
5.388 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
5.388 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.388 * [taylor]: Taking taylor expansion of x in y
5.388 * [backup-simplify]: Simplify x into x
5.388 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.388 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.388 * [taylor]: Taking taylor expansion of z in y
5.388 * [backup-simplify]: Simplify z into z
5.388 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.388 * [taylor]: Taking taylor expansion of y in y
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 1 into 1
5.388 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.388 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
5.388 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
5.388 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
5.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.388 * [taylor]: Taking taylor expansion of x in x
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 1 into 1
5.389 * [backup-simplify]: Simplify (/ 1 1) into 1
5.389 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.389 * [taylor]: Taking taylor expansion of z in x
5.389 * [backup-simplify]: Simplify z into z
5.389 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.389 * [backup-simplify]: Simplify (+ 1 0) into 1
5.389 * [taylor]: Taking taylor expansion of 1 in z
5.389 * [backup-simplify]: Simplify 1 into 1
5.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.389 * [backup-simplify]: Simplify (- 0) into 0
5.390 * [backup-simplify]: Simplify (+ 0 0) into 0
5.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
5.390 * [taylor]: Taking taylor expansion of 0 in x
5.390 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.391 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.391 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
5.391 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.391 * [taylor]: Taking taylor expansion of z in z
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 1 into 1
5.392 * [backup-simplify]: Simplify (/ 1 1) into 1
5.392 * [backup-simplify]: Simplify (- 1) into -1
5.392 * [backup-simplify]: Simplify -1 into -1
5.392 * [backup-simplify]: Simplify 1 into 1
5.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.393 * [backup-simplify]: Simplify (- 0) into 0
5.393 * [backup-simplify]: Simplify (+ 0 0) into 0
5.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.395 * [taylor]: Taking taylor expansion of 0 in x
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [taylor]: Taking taylor expansion of 0 in z
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.396 * [backup-simplify]: Simplify (- 0) into 0
5.396 * [backup-simplify]: Simplify (+ 0 0) into 0
5.396 * [taylor]: Taking taylor expansion of 0 in z
5.396 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.397 * [backup-simplify]: Simplify (- 0) into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.398 * [backup-simplify]: Simplify (- 0) into 0
5.399 * [backup-simplify]: Simplify (+ 0 0) into 0
5.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.401 * [taylor]: Taking taylor expansion of 0 in x
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [taylor]: Taking taylor expansion of 0 in z
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [taylor]: Taking taylor expansion of 0 in z
5.401 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.402 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.402 * [backup-simplify]: Simplify (- 0) into 0
5.403 * [backup-simplify]: Simplify (+ 0 0) into 0
5.403 * [taylor]: Taking taylor expansion of 0 in z
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.404 * [backup-simplify]: Simplify (- 0) into 0
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) into (- (* x y) (* z y))
5.405 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y))
5.405 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0
5.405 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
5.405 * [taylor]: Taking taylor expansion of -1 in z
5.405 * [backup-simplify]: Simplify -1 into -1
5.405 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
5.405 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.405 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.405 * [taylor]: Taking taylor expansion of z in z
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 1 into 1
5.405 * [backup-simplify]: Simplify (/ 1 1) into 1
5.405 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.405 * [taylor]: Taking taylor expansion of x in z
5.405 * [backup-simplify]: Simplify x into x
5.405 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.405 * [taylor]: Taking taylor expansion of y in z
5.405 * [backup-simplify]: Simplify y into y
5.406 * [backup-simplify]: Simplify (+ 1 0) into 1
5.406 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.406 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
5.406 * [taylor]: Taking taylor expansion of -1 in x
5.406 * [backup-simplify]: Simplify -1 into -1
5.406 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
5.406 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.406 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.406 * [taylor]: Taking taylor expansion of z in x
5.406 * [backup-simplify]: Simplify z into z
5.406 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.406 * [taylor]: Taking taylor expansion of x in x
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 1 into 1
5.407 * [backup-simplify]: Simplify (/ 1 1) into 1
5.407 * [taylor]: Taking taylor expansion of y in x
5.407 * [backup-simplify]: Simplify y into y
5.407 * [backup-simplify]: Simplify (- 1) into -1
5.407 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.408 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.408 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.408 * [taylor]: Taking taylor expansion of -1 in y
5.408 * [backup-simplify]: Simplify -1 into -1
5.408 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.408 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.408 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.408 * [taylor]: Taking taylor expansion of z in y
5.408 * [backup-simplify]: Simplify z into z
5.408 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.408 * [taylor]: Taking taylor expansion of x in y
5.408 * [backup-simplify]: Simplify x into x
5.408 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.408 * [taylor]: Taking taylor expansion of y in y
5.408 * [backup-simplify]: Simplify 0 into 0
5.408 * [backup-simplify]: Simplify 1 into 1
5.408 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.408 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.408 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.408 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
5.408 * [taylor]: Taking taylor expansion of -1 in y
5.408 * [backup-simplify]: Simplify -1 into -1
5.408 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
5.409 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.409 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.409 * [taylor]: Taking taylor expansion of z in y
5.409 * [backup-simplify]: Simplify z into z
5.409 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.409 * [taylor]: Taking taylor expansion of x in y
5.409 * [backup-simplify]: Simplify x into x
5.409 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.409 * [taylor]: Taking taylor expansion of y in y
5.409 * [backup-simplify]: Simplify 0 into 0
5.409 * [backup-simplify]: Simplify 1 into 1
5.409 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.409 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
5.409 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
5.409 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 x))) into (* -1 (- (/ 1 z) (/ 1 x)))
5.409 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
5.409 * [taylor]: Taking taylor expansion of -1 in x
5.410 * [backup-simplify]: Simplify -1 into -1
5.410 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.410 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.410 * [taylor]: Taking taylor expansion of z in x
5.410 * [backup-simplify]: Simplify z into z
5.410 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.410 * [taylor]: Taking taylor expansion of x in x
5.410 * [backup-simplify]: Simplify 0 into 0
5.410 * [backup-simplify]: Simplify 1 into 1
5.410 * [backup-simplify]: Simplify (/ 1 1) into 1
5.411 * [backup-simplify]: Simplify (- 1) into -1
5.411 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.411 * [backup-simplify]: Simplify (* -1 -1) into 1
5.411 * [taylor]: Taking taylor expansion of 1 in z
5.412 * [backup-simplify]: Simplify 1 into 1
5.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.412 * [backup-simplify]: Simplify (- 0) into 0
5.413 * [backup-simplify]: Simplify (+ 0 0) into 0
5.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0
5.414 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
5.414 * [taylor]: Taking taylor expansion of 0 in x
5.414 * [backup-simplify]: Simplify 0 into 0
5.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.415 * [backup-simplify]: Simplify (- 0) into 0
5.415 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
5.416 * [backup-simplify]: Simplify (+ (* -1 (/ 1 z)) (* 0 -1)) into (- (/ 1 z))
5.416 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.416 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.416 * [taylor]: Taking taylor expansion of z in z
5.416 * [backup-simplify]: Simplify 0 into 0
5.416 * [backup-simplify]: Simplify 1 into 1
5.416 * [backup-simplify]: Simplify (/ 1 1) into 1
5.417 * [backup-simplify]: Simplify (- 1) into -1
5.417 * [backup-simplify]: Simplify -1 into -1
5.417 * [backup-simplify]: Simplify 1 into 1
5.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.417 * [backup-simplify]: Simplify (- 0) into 0
5.418 * [backup-simplify]: Simplify (+ 0 0) into 0
5.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.420 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
5.420 * [taylor]: Taking taylor expansion of 0 in x
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [taylor]: Taking taylor expansion of 0 in z
5.420 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.421 * [backup-simplify]: Simplify (- 0) into 0
5.422 * [backup-simplify]: Simplify (+ 0 0) into 0
5.423 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
5.423 * [taylor]: Taking taylor expansion of 0 in z
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.423 * [backup-simplify]: Simplify (- 0) into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.424 * [backup-simplify]: Simplify (- 0) into 0
5.424 * [backup-simplify]: Simplify (+ 0 0) into 0
5.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.426 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
5.426 * [taylor]: Taking taylor expansion of 0 in x
5.426 * [backup-simplify]: Simplify 0 into 0
5.426 * [taylor]: Taking taylor expansion of 0 in z
5.426 * [backup-simplify]: Simplify 0 into 0
5.426 * [taylor]: Taking taylor expansion of 0 in z
5.426 * [backup-simplify]: Simplify 0 into 0
5.426 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.427 * [backup-simplify]: Simplify (- 0) into 0
5.428 * [backup-simplify]: Simplify (+ 0 0) into 0
5.429 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
5.429 * [taylor]: Taking taylor expansion of 0 in z
5.429 * [backup-simplify]: Simplify 0 into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.430 * [backup-simplify]: Simplify (- 0) into 0
5.430 * [backup-simplify]: Simplify 0 into 0
5.430 * [backup-simplify]: Simplify 0 into 0
5.431 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* x y) (* z y))
5.431 * * * [progress]: simplifying candidates
5.433 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (* y (- x z)) 3)))
  (log1p (cbrt (pow (* y (- x z)) 3)))
  (log (cbrt (pow (* y (- x z)) 3)))
  (exp (cbrt (pow (* y (- x z)) 3)))
  (cbrt (pow y 3))
  (cbrt (pow (- x z) 3))
  (cbrt (* (* y (- x z)) (* y (- x z))))
  (cbrt (* y (- x z)))
  (cbrt (* (cbrt (pow (* y (- x z)) 3)) (cbrt (pow (* y (- x z)) 3))))
  (cbrt (cbrt (pow (* y (- x z)) 3)))
  (cbrt (pow y 3))
  (cbrt (pow (- x z) 3))
  (cbrt (* y (- x z)))
  (cbrt (* (* y (- x z)) (* y (- x z))))
  (cbrt (sqrt (pow (* y (- x z)) 3)))
  (cbrt (sqrt (pow (* y (- x z)) 3)))
  (cbrt 1)
  (cbrt (pow (* y (- x z)) 3))
  (cbrt (pow (* y (- x z)) (/ 3 2)))
  (cbrt (pow (* y (- x z)) (/ 3 2)))
  (cbrt (pow (* y (- (pow x 3) (pow z 3))) 3))
  (cbrt (pow (+ (* x x) (+ (* z z) (* x z))) 3))
  (cbrt (pow (* y (- (* x x) (* z z))) 3))
  (cbrt (pow (+ x z) 3))
  (* (cbrt (cbrt (pow (* y (- x z)) 3))) (cbrt (cbrt (pow (* y (- x z)) 3))))
  (cbrt (cbrt (pow (* y (- x z)) 3)))
  (* (* (cbrt (pow (* y (- x z)) 3)) (cbrt (pow (* y (- x z)) 3))) (cbrt (pow (* y (- x z)) 3)))
  (sqrt (cbrt (pow (* y (- x z)) 3)))
  (sqrt (cbrt (pow (* y (- x z)) 3)))
  (expm1 (pow (* y (- x z)) 3))
  (log1p (pow (* y (- x z)) 3))
  (* (+ (log y) (log (- x z))) 3)
  (* (log (* y (- x z))) 3)
  (* (log (* y (- x z))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* y (- x z)) (* (cbrt 3) (cbrt 3)))
  (pow (* y (- x z)) (sqrt 3))
  (pow (* y (- x z)) 1)
  (pow y 3)
  (pow (- x z) 3)
  (* (* y (- x z)) (* y (- x z)))
  (log (pow (* y (- x z)) 3))
  (exp (pow (* y (- x z)) 3))
  (* (cbrt (pow (* y (- x z)) 3)) (cbrt (pow (* y (- x z)) 3)))
  (cbrt (pow (* y (- x z)) 3))
  (* (* (pow (* y (- x z)) 3) (pow (* y (- x z)) 3)) (pow (* y (- x z)) 3))
  (pow y 3)
  (pow (- x z) 3)
  (pow (* y (- (pow x 3) (pow z 3))) 3)
  (pow (+ (* x x) (+ (* z z) (* x z))) 3)
  (pow (* y (- (* x x) (* z z))) 3)
  (pow (+ x z) 3)
  (* (* y (- x z)) (* y (- x z)))
  (sqrt (pow (* y (- x z)) 3))
  (sqrt (pow (* y (- x z)) 3))
  (pow (* y (- x z)) (/ 3 2))
  (pow (* y (- x z)) (/ 3 2))
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (+ (log y) (log (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (sqrt x) (sqrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma 1 x (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma 1 x (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (sqrt x) (sqrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma 1 x (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma 1 x (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt z)))
  (* y 1)
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* (cbrt -1) (* y z)) (* x (* (cbrt -1) y)))
  0
  (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* 3 (* (pow x 2) (* z (pow y 3)))) (* (pow z 3) (pow y 3))))
  (- (* 3 (* x (* (pow z 2) (pow y 3)))) (+ (* 3 (* (pow x 2) (* z (pow y 3)))) (* (pow z 3) (pow y 3))))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
5.436 * * [simplify]: iteration 0: 172 enodes
5.510 * * [simplify]: iteration 1: 449 enodes
5.695 * * [simplify]: iteration 2: 2234 enodes
6.591 * * [simplify]: iteration complete: 5000 enodes
6.591 * * [simplify]: Extracting #0: cost 51 inf + 0
6.592 * * [simplify]: Extracting #1: cost 848 inf + 4
6.597 * * [simplify]: Extracting #2: cost 1345 inf + 651
6.606 * * [simplify]: Extracting #3: cost 1098 inf + 5146
6.611 * * [simplify]: Extracting #4: cost 254 inf + 13660
6.617 * * [simplify]: Extracting #5: cost 44 inf + 15021
6.622 * * [simplify]: Extracting #6: cost 5 inf + 15194
6.627 * * [simplify]: Extracting #7: cost 0 inf + 15219
6.633 * [simplify]: Simplified to:
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (log (* y (- x z)))
  (pow (exp y) (- x z))
  y
  (- x z)
  (cbrt (pow (* y (- x z)) 2))
  (cbrt (* y (- x z)))
  (cbrt (pow (* y (- x z)) 2))
  (cbrt (* y (- x z)))
  y
  (- x z)
  (cbrt (* y (- x z)))
  (cbrt (pow (* y (- x z)) 2))
  (cbrt (sqrt (pow (* y (- x z)) 3)))
  (cbrt (sqrt (pow (* y (- x z)) 3)))
  1
  (* y (- x z))
  (cbrt (pow (* y (- x z)) 3/2))
  (cbrt (pow (* y (- x z)) 3/2))
  (* (- (pow x 3) (pow z 3)) y)
  (fma x x (* (+ x z) z))
  (* (+ x z) (* (- x z) y))
  (+ z x)
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (expm1 (pow (* y (- x z)) 3))
  (log1p (pow (* y (- x z)) 3))
  (* 3 (log (* y (- x z))))
  (* 3 (log (* y (- x z))))
  (* 3 (log (* y (- x z))))
  3
  3
  (pow (* y (- x z)) (* (cbrt 3) (cbrt 3)))
  (pow (* y (- x z)) (sqrt 3))
  (* y (- x z))
  (pow y 3)
  (pow (- x z) 3)
  (pow (* y (- x z)) 2)
  (* 3 (log (* y (- x z))))
  (exp (pow (* y (- x z)) 3))
  (pow (* y (- x z)) 2)
  (* y (- x z))
  (pow (pow (* y (- x z)) 3) 3)
  (pow y 3)
  (pow (- x z) 3)
  (pow (* (- (pow x 3) (pow z 3)) y) 3)
  (pow (fma x x (* (+ x z) z)) 3)
  (pow (* (+ x z) (* (- x z) y)) 3)
  (pow (+ z x) 3)
  (pow (* y (- x z)) 2)
  (sqrt (pow (* y (- x z)) 3))
  (sqrt (pow (* y (- x z)) 3))
  (pow (* y (- x z)) 3/2)
  (pow (* y (- x z)) 3/2)
  (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (pow (exp y) (- x z))
  (pow (* y (- x z)) 3)
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (- (pow (cbrt x) 3) z) y)
  (* (fma -1 z z) y)
  (* (- (pow (cbrt x) 3) z) y)
  (* (fma -1 z z) y)
  (* (- (pow (cbrt x) 3) z) y)
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* x y)
  (- (* z y))
  (* x y)
  (- (* z y))
  (* (- (pow (cbrt x) 3) z) y)
  (* (fma -1 z z) y)
  (* (- (pow (cbrt x) 3) z) y)
  (* (fma -1 z z) y)
  (* (- (pow (cbrt x) 3) z) y)
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* y (- x z))
  (* (fma -1 z z) y)
  (* x y)
  (- (* z y))
  (* x y)
  (- (* z y))
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  y
  (* (+ (sqrt z) (sqrt x)) y)
  y
  (* (cbrt y) (- x z))
  (* (- x z) (sqrt y))
  (* y (- x z))
  (* (- (pow x 3) (pow z 3)) y)
  (* (+ x z) (* (- x z) y))
  (* y (- x z))
  (* y (- x z))
  (fma z (* y (cbrt -1)) (* (* x (cbrt -1)) (- y)))
  0
  (- (* 3 (- (* x (* (pow y 3) (* z z))) (* (* x x) (* (pow y 3) z)))) (* (pow y 3) (pow z 3)))
  (- (* 3 (- (* x (* (pow y 3) (* z z))) (* (* x x) (* (pow y 3) z)))) (* (pow y 3) (pow z 3)))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
6.634 * * * [progress]: adding candidates to table
6.976 * [progress]: [Phase 3 of 3] Extracting.
6.976 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (cbrt (pow (* y (- x z)) 3)))>)
6.976 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
6.976 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (cbrt (pow (* y (- x z)) 3)))>)
7.365 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (cbrt (pow (* y (- x z)) 3)))>)
7.412 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (cbrt (pow (* y (- x z)) 3)))>)
7.466 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.466 * [simplify]: Simplifying:
  (* y (- x z))
7.466 * * [simplify]: iteration 0: 5 enodes
7.467 * * [simplify]: iteration 1: 6 enodes
7.467 * * [simplify]: iteration complete: 6 enodes
7.467 * * [simplify]: Extracting #0: cost 1 inf + 0
7.467 * * [simplify]: Extracting #1: cost 3 inf + 0
7.467 * * [simplify]: Extracting #2: cost 4 inf + 1
7.467 * * [simplify]: Extracting #3: cost 0 inf + 11
7.467 * [simplify]: Simplified to:
  (* (- x z) y)
10.049 * [regime-testing]: Baseline error score: 0.009626203275409426
10.067 * [regime-testing]: Oracle error score: 0.008126015751968996
10.102 * [regime-testing]: End program error score: 0.009626203275409426
10.214 * [regime-testing]: Target error score: 0.009626203275409426