23.961 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying: (* (+ x y) (- 1.0 z)) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.025 * * [simplify]: Extracting # 1 : cost 0 0.026 * * [simplify]: Extracting # 2 : cost 0 0.026 * * [simplify]: Extracting # 3 : cost 0 0.026 * * [simplify]: Extracting # 4 : cost 0 0.026 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: Extracting # 1 : cost 0 0.029 * * [simplify]: Extracting # 2 : cost 0 0.029 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 0.035 * * [simplify]: Extracting # 0 : cost 0 0.035 * * [simplify]: Extracting # 1 : cost 0 0.035 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: iteration 3 : 62 enodes (cost 7 ) 0.067 * * [simplify]: Extracting # 0 : cost 0 0.067 * * [simplify]: Extracting # 1 : cost 0 0.068 * * [simplify]: Extracting # 2 : cost 0 0.068 * * [simplify]: iteration 4 : 161 enodes (cost 7 ) 0.144 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: Extracting # 1 : cost 0 0.145 * * [simplify]: Extracting # 2 : cost 0 0.145 * * [simplify]: iteration 5 : 283 enodes (cost 7 ) 0.257 * * [simplify]: Extracting # 0 : cost 0 0.257 * * [simplify]: Extracting # 1 : cost 0 0.257 * * [simplify]: Extracting # 2 : cost 0 0.258 * * [simplify]: iteration 6 : 397 enodes (cost 7 ) 0.398 * * [simplify]: Extracting # 0 : cost 0 0.398 * * [simplify]: Extracting # 1 : cost 0 0.399 * * [simplify]: Extracting # 2 : cost 0 0.399 * * [simplify]: Extracting # 3 : cost 0 0.400 * * [simplify]: iteration 7 : 559 enodes (cost 7 ) 0.692 * * [simplify]: Extracting # 0 : cost 0 0.693 * * [simplify]: Extracting # 1 : cost 0 0.694 * * [simplify]: Extracting # 2 : cost 0 0.694 * * [simplify]: iteration 8 : 736 enodes (cost 7 ) 1.429 * * [simplify]: Extracting # 0 : cost 0 1.431 * * [simplify]: Extracting # 1 : cost 0 1.432 * * [simplify]: Extracting # 2 : cost 0 1.432 * * [simplify]: iteration 9 : 1179 enodes (cost 7 ) 2.076 * * [simplify]: Extracting # 0 : cost 0 2.082 * * [simplify]: Extracting # 1 : cost 0 2.083 * * [simplify]: iteration 10 : 1379 enodes (cost 7 ) 2.617 * * [simplify]: Extracting # 0 : cost 0 2.618 * * [simplify]: iteration 11 : 1406 enodes (cost 7 ) 3.308 * * [simplify]: Extracting # 0 : cost 0 3.309 * * [simplify]: iteration done: 1406 enodes (cost 7 ) 3.309 * [simplify]: Simplified to: (* (+ x y) (- 1.0 z)) 3.310 * * [progress]: iteration 1 / 4 3.310 * * * [progress]: picking best candidate 3.313 * * * * [pick]: Picked # 3.313 * * * [progress]: localizing error 3.325 * * * [progress]: generating rewritten candidates 3.326 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.399 * * * [progress]: generating series expansions 3.399 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.399 * [backup-simplify]: Simplify (* (+ x y) (- 1.0 z)) into (* (- 1.0 z) (+ x y)) 3.399 * [approximate]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in (x y z) around 0 3.399 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in z 3.399 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 3.399 * [taylor]: Taking taylor expansion of 1.0 in z 3.399 * [backup-simplify]: Simplify 1.0 into 1.0 3.400 * [taylor]: Taking taylor expansion of z in z 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify 1 into 1 3.400 * [taylor]: Taking taylor expansion of (+ x y) in z 3.400 * [taylor]: Taking taylor expansion of x in z 3.400 * [backup-simplify]: Simplify x into x 3.400 * [taylor]: Taking taylor expansion of y in z 3.400 * [backup-simplify]: Simplify y into y 3.400 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in y 3.400 * [taylor]: Taking taylor expansion of (- 1.0 z) in y 3.400 * [taylor]: Taking taylor expansion of 1.0 in y 3.400 * [backup-simplify]: Simplify 1.0 into 1.0 3.400 * [taylor]: Taking taylor expansion of z in y 3.400 * [backup-simplify]: Simplify z into z 3.400 * [taylor]: Taking taylor expansion of (+ x y) in y 3.400 * [taylor]: Taking taylor expansion of x in y 3.400 * [backup-simplify]: Simplify x into x 3.400 * [taylor]: Taking taylor expansion of y in y 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify 1 into 1 3.400 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in x 3.400 * [taylor]: Taking taylor expansion of (- 1.0 z) in x 3.400 * [taylor]: Taking taylor expansion of 1.0 in x 3.400 * [backup-simplify]: Simplify 1.0 into 1.0 3.400 * [taylor]: Taking taylor expansion of z in x 3.400 * [backup-simplify]: Simplify z into z 3.400 * [taylor]: Taking taylor expansion of (+ x y) in x 3.400 * [taylor]: Taking taylor expansion of x in x 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify 1 into 1 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [backup-simplify]: Simplify y into y 3.400 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in x 3.400 * [taylor]: Taking taylor expansion of (- 1.0 z) in x 3.400 * [taylor]: Taking taylor expansion of 1.0 in x 3.400 * [backup-simplify]: Simplify 1.0 into 1.0 3.400 * [taylor]: Taking taylor expansion of z in x 3.400 * [backup-simplify]: Simplify z into z 3.400 * [taylor]: Taking taylor expansion of (+ x y) in x 3.400 * [taylor]: Taking taylor expansion of x in x 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify 1 into 1 3.400 * [taylor]: Taking taylor expansion of y in x 3.400 * [backup-simplify]: Simplify y into y 3.400 * [backup-simplify]: Simplify (- z) into (- z) 3.400 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z) 3.400 * [backup-simplify]: Simplify (+ 0 y) into y 3.400 * [backup-simplify]: Simplify (* (- 1.0 z) y) into (* y (- 1.0 z)) 3.400 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in y 3.400 * [taylor]: Taking taylor expansion of y in y 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify 1 into 1 3.401 * [taylor]: Taking taylor expansion of (- 1.0 z) in y 3.401 * [taylor]: Taking taylor expansion of 1.0 in y 3.401 * [backup-simplify]: Simplify 1.0 into 1.0 3.401 * [taylor]: Taking taylor expansion of z in y 3.401 * [backup-simplify]: Simplify z into z 3.401 * [backup-simplify]: Simplify (- z) into (- z) 3.401 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z) 3.401 * [backup-simplify]: Simplify (* 0 (- 1.0 z)) into 0 3.401 * [taylor]: Taking taylor expansion of 0 in z 3.401 * [backup-simplify]: Simplify 0 into 0 3.401 * [backup-simplify]: Simplify 0 into 0 3.401 * [backup-simplify]: Simplify (+ 1 0) into 1 3.401 * [backup-simplify]: Simplify (- 0) into 0 3.402 * [backup-simplify]: Simplify (+ 0 0) into 0 3.402 * [backup-simplify]: Simplify (+ (* (- 1.0 z) 1) (* 0 y)) into (- 1.0 z) 3.402 * [taylor]: Taking taylor expansion of (- 1.0 z) in y 3.402 * [taylor]: Taking taylor expansion of 1.0 in y 3.402 * [backup-simplify]: Simplify 1.0 into 1.0 3.402 * [taylor]: Taking taylor expansion of z in y 3.402 * [backup-simplify]: Simplify z into z 3.402 * [backup-simplify]: Simplify (- z) into (- z) 3.402 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z) 3.402 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 3.402 * [taylor]: Taking taylor expansion of 1.0 in z 3.402 * [backup-simplify]: Simplify 1.0 into 1.0 3.402 * [taylor]: Taking taylor expansion of z in z 3.402 * [backup-simplify]: Simplify 0 into 0 3.402 * [backup-simplify]: Simplify 1 into 1 3.402 * [backup-simplify]: Simplify (- 0) into 0 3.403 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.403 * [backup-simplify]: Simplify 1.0 into 1.0 3.403 * [backup-simplify]: Simplify (- 0) into 0 3.403 * [backup-simplify]: Simplify (+ 0 0) into 0 3.403 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 z))) into (- 1.0 z) 3.403 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 3.403 * [taylor]: Taking taylor expansion of 1.0 in z 3.404 * [backup-simplify]: Simplify 1.0 into 1.0 3.404 * [taylor]: Taking taylor expansion of z in z 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify 1 into 1 3.404 * [backup-simplify]: Simplify (- 0) into 0 3.404 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.404 * [backup-simplify]: Simplify 1.0 into 1.0 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify (+ 0 0) into 0 3.405 * [backup-simplify]: Simplify (- 0) into 0 3.405 * [backup-simplify]: Simplify (+ 0 0) into 0 3.406 * [backup-simplify]: Simplify (+ (* (- 1.0 z) 0) (+ (* 0 1) (* 0 y))) into 0 3.406 * [taylor]: Taking taylor expansion of 0 in y 3.406 * [backup-simplify]: Simplify 0 into 0 3.406 * [taylor]: Taking taylor expansion of 0 in z 3.406 * [backup-simplify]: Simplify 0 into 0 3.406 * [backup-simplify]: Simplify 0 into 0 3.406 * [backup-simplify]: Simplify (- 0) into 0 3.407 * [backup-simplify]: Simplify (+ 0 0) into 0 3.407 * [taylor]: Taking taylor expansion of 0 in z 3.407 * [backup-simplify]: Simplify 0 into 0 3.407 * [backup-simplify]: Simplify 0 into 0 3.407 * [backup-simplify]: Simplify (- 0) into 0 3.407 * [backup-simplify]: Simplify (+ 0 0) into 0 3.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 z)))) into 0 3.408 * [taylor]: Taking taylor expansion of 0 in z 3.408 * [backup-simplify]: Simplify 0 into 0 3.408 * [backup-simplify]: Simplify 0 into 0 3.409 * [backup-simplify]: Simplify (- 1) into -1 3.409 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.409 * [backup-simplify]: Simplify -1 into -1 3.409 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 x))) (+ (* 1.0 (* 1 (* y 1))) (* 1.0 (* 1 (* 1 x))))) into (- (+ (* 1.0 x) (* 1.0 y)) (* x z)) 3.410 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 z))) into (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) 3.410 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0 3.410 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in z 3.410 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.410 * [taylor]: Taking taylor expansion of 1.0 in z 3.410 * [backup-simplify]: Simplify 1.0 into 1.0 3.410 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.410 * [taylor]: Taking taylor expansion of z in z 3.410 * [backup-simplify]: Simplify 0 into 0 3.410 * [backup-simplify]: Simplify 1 into 1 3.410 * [backup-simplify]: Simplify (/ 1 1) into 1 3.410 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 3.410 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.410 * [taylor]: Taking taylor expansion of y in z 3.410 * [backup-simplify]: Simplify y into y 3.410 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.410 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.410 * [taylor]: Taking taylor expansion of x in z 3.411 * [backup-simplify]: Simplify x into x 3.411 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.411 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in y 3.411 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 3.411 * [taylor]: Taking taylor expansion of 1.0 in y 3.411 * [backup-simplify]: Simplify 1.0 into 1.0 3.411 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.411 * [taylor]: Taking taylor expansion of z in y 3.411 * [backup-simplify]: Simplify z into z 3.411 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.411 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.411 * [taylor]: Taking taylor expansion of y in y 3.411 * [backup-simplify]: Simplify 0 into 0 3.411 * [backup-simplify]: Simplify 1 into 1 3.411 * [backup-simplify]: Simplify (/ 1 1) into 1 3.411 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.411 * [taylor]: Taking taylor expansion of x in y 3.411 * [backup-simplify]: Simplify x into x 3.412 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.412 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in x 3.412 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 3.412 * [taylor]: Taking taylor expansion of 1.0 in x 3.412 * [backup-simplify]: Simplify 1.0 into 1.0 3.412 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.412 * [taylor]: Taking taylor expansion of z in x 3.412 * [backup-simplify]: Simplify z into z 3.412 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.412 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.412 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.412 * [taylor]: Taking taylor expansion of y in x 3.412 * [backup-simplify]: Simplify y into y 3.412 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.412 * [taylor]: Taking taylor expansion of x in x 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 1 into 1 3.412 * [backup-simplify]: Simplify (/ 1 1) into 1 3.412 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in x 3.412 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 3.412 * [taylor]: Taking taylor expansion of 1.0 in x 3.412 * [backup-simplify]: Simplify 1.0 into 1.0 3.412 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.413 * [taylor]: Taking taylor expansion of z in x 3.413 * [backup-simplify]: Simplify z into z 3.413 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.413 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.413 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.413 * [taylor]: Taking taylor expansion of y in x 3.413 * [backup-simplify]: Simplify y into y 3.413 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.413 * [taylor]: Taking taylor expansion of x in x 3.413 * [backup-simplify]: Simplify 0 into 0 3.413 * [backup-simplify]: Simplify 1 into 1 3.413 * [backup-simplify]: Simplify (/ 1 1) into 1 3.413 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.413 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z)) 3.413 * [backup-simplify]: Simplify (+ 0 1) into 1 3.414 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 z)) 1) into (- 1.0 (/ 1 z)) 3.414 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 3.414 * [taylor]: Taking taylor expansion of 1.0 in y 3.414 * [backup-simplify]: Simplify 1.0 into 1.0 3.414 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.414 * [taylor]: Taking taylor expansion of z in y 3.414 * [backup-simplify]: Simplify z into z 3.414 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.414 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.414 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.415 * [backup-simplify]: Simplify (- 0) into 0 3.415 * [backup-simplify]: Simplify (+ 0 0) into 0 3.415 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) (/ 1 y)) (* 0 1)) into (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) 3.415 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) in y 3.415 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.415 * [taylor]: Taking taylor expansion of 1.0 in y 3.415 * [backup-simplify]: Simplify 1.0 into 1.0 3.415 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.415 * [taylor]: Taking taylor expansion of y in y 3.415 * [backup-simplify]: Simplify 0 into 0 3.415 * [backup-simplify]: Simplify 1 into 1 3.416 * [backup-simplify]: Simplify (/ 1 1) into 1 3.416 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.416 * [taylor]: Taking taylor expansion of (* z y) in y 3.416 * [taylor]: Taking taylor expansion of z in y 3.416 * [backup-simplify]: Simplify z into z 3.416 * [taylor]: Taking taylor expansion of y in y 3.416 * [backup-simplify]: Simplify 0 into 0 3.416 * [backup-simplify]: Simplify 1 into 1 3.416 * [backup-simplify]: Simplify (* z 0) into 0 3.416 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 3.416 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.416 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.416 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.417 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z)) 3.417 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.417 * [taylor]: Taking taylor expansion of 1.0 in z 3.417 * [backup-simplify]: Simplify 1.0 into 1.0 3.417 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.417 * [taylor]: Taking taylor expansion of z in z 3.417 * [backup-simplify]: Simplify 0 into 0 3.417 * [backup-simplify]: Simplify 1 into 1 3.417 * [backup-simplify]: Simplify (/ 1 1) into 1 3.417 * [backup-simplify]: Simplify (- 1) into -1 3.417 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.417 * [backup-simplify]: Simplify -1 into -1 3.418 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.418 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z)) 3.418 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.418 * [taylor]: Taking taylor expansion of 1.0 in z 3.418 * [backup-simplify]: Simplify 1.0 into 1.0 3.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.418 * [taylor]: Taking taylor expansion of z in z 3.418 * [backup-simplify]: Simplify 0 into 0 3.418 * [backup-simplify]: Simplify 1 into 1 3.418 * [backup-simplify]: Simplify (/ 1 1) into 1 3.418 * [backup-simplify]: Simplify (- 1) into -1 3.419 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.419 * [backup-simplify]: Simplify -1 into -1 3.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.419 * [backup-simplify]: Simplify (+ 0 0) into 0 3.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.420 * [backup-simplify]: Simplify (- 0) into 0 3.420 * [backup-simplify]: Simplify (+ 0 0) into 0 3.420 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 3.420 * [taylor]: Taking taylor expansion of 0 in y 3.420 * [backup-simplify]: Simplify 0 into 0 3.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.421 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.422 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 3.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.422 * [backup-simplify]: Simplify (- 0) into 0 3.422 * [backup-simplify]: Simplify (+ 0 0) into 0 3.422 * [taylor]: Taking taylor expansion of 0 in z 3.422 * [backup-simplify]: Simplify 0 into 0 3.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.423 * [backup-simplify]: Simplify (- 0) into 0 3.423 * [backup-simplify]: Simplify (+ 0 0) into 0 3.423 * [taylor]: Taking taylor expansion of 0 in z 3.423 * [backup-simplify]: Simplify 0 into 0 3.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.424 * [backup-simplify]: Simplify (- 0) into 0 3.424 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.424 * [backup-simplify]: Simplify 1.0 into 1.0 3.424 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 y)) 1))) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (* 1.0 y) (+ (* x z) (* z y))) 3.425 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (- 1.0 (/ 1 (- z)))) into (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) 3.425 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in (x y z) around 0 3.425 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in z 3.425 * [taylor]: Taking taylor expansion of -1 in z 3.425 * [backup-simplify]: Simplify -1 into -1 3.425 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in z 3.425 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 3.425 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.425 * [taylor]: Taking taylor expansion of y in z 3.425 * [backup-simplify]: Simplify y into y 3.425 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.425 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.425 * [taylor]: Taking taylor expansion of x in z 3.425 * [backup-simplify]: Simplify x into x 3.425 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.425 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.425 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.425 * [taylor]: Taking taylor expansion of z in z 3.425 * [backup-simplify]: Simplify 0 into 0 3.425 * [backup-simplify]: Simplify 1 into 1 3.425 * [backup-simplify]: Simplify (/ 1 1) into 1 3.425 * [taylor]: Taking taylor expansion of 1.0 in z 3.425 * [backup-simplify]: Simplify 1.0 into 1.0 3.425 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in y 3.425 * [taylor]: Taking taylor expansion of -1 in y 3.425 * [backup-simplify]: Simplify -1 into -1 3.425 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in y 3.425 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.425 * [taylor]: Taking taylor expansion of y in y 3.425 * [backup-simplify]: Simplify 0 into 0 3.425 * [backup-simplify]: Simplify 1 into 1 3.426 * [backup-simplify]: Simplify (/ 1 1) into 1 3.426 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.426 * [taylor]: Taking taylor expansion of x in y 3.426 * [backup-simplify]: Simplify x into x 3.426 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.426 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 3.426 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.426 * [taylor]: Taking taylor expansion of z in y 3.426 * [backup-simplify]: Simplify z into z 3.426 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.426 * [taylor]: Taking taylor expansion of 1.0 in y 3.426 * [backup-simplify]: Simplify 1.0 into 1.0 3.426 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in x 3.426 * [taylor]: Taking taylor expansion of -1 in x 3.426 * [backup-simplify]: Simplify -1 into -1 3.426 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in x 3.426 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.426 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.426 * [taylor]: Taking taylor expansion of y in x 3.426 * [backup-simplify]: Simplify y into y 3.426 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.426 * [taylor]: Taking taylor expansion of x in x 3.426 * [backup-simplify]: Simplify 0 into 0 3.426 * [backup-simplify]: Simplify 1 into 1 3.426 * [backup-simplify]: Simplify (/ 1 1) into 1 3.426 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 3.426 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.426 * [taylor]: Taking taylor expansion of z in x 3.426 * [backup-simplify]: Simplify z into z 3.426 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.427 * [taylor]: Taking taylor expansion of 1.0 in x 3.427 * [backup-simplify]: Simplify 1.0 into 1.0 3.427 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in x 3.427 * [taylor]: Taking taylor expansion of -1 in x 3.427 * [backup-simplify]: Simplify -1 into -1 3.427 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in x 3.427 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.427 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.427 * [taylor]: Taking taylor expansion of y in x 3.427 * [backup-simplify]: Simplify y into y 3.427 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.427 * [taylor]: Taking taylor expansion of x in x 3.427 * [backup-simplify]: Simplify 0 into 0 3.427 * [backup-simplify]: Simplify 1 into 1 3.427 * [backup-simplify]: Simplify (/ 1 1) into 1 3.427 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 3.427 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.427 * [taylor]: Taking taylor expansion of z in x 3.427 * [backup-simplify]: Simplify z into z 3.427 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.427 * [taylor]: Taking taylor expansion of 1.0 in x 3.427 * [backup-simplify]: Simplify 1.0 into 1.0 3.428 * [backup-simplify]: Simplify (+ 0 1) into 1 3.428 * [backup-simplify]: Simplify (+ (/ 1 z) 1.0) into (+ (/ 1 z) 1.0) 3.428 * [backup-simplify]: Simplify (* 1 (+ (/ 1 z) 1.0)) into (+ (/ 1 z) 1.0) 3.428 * [backup-simplify]: Simplify (* -1 (+ (/ 1 z) 1.0)) into (* -1 (+ (/ 1 z) 1.0)) 3.428 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1.0)) in y 3.428 * [taylor]: Taking taylor expansion of -1 in y 3.428 * [backup-simplify]: Simplify -1 into -1 3.428 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 3.428 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.428 * [taylor]: Taking taylor expansion of z in y 3.428 * [backup-simplify]: Simplify z into z 3.428 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.428 * [taylor]: Taking taylor expansion of 1.0 in y 3.428 * [backup-simplify]: Simplify 1.0 into 1.0 3.428 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.428 * [backup-simplify]: Simplify (+ 0 0) into 0 3.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.429 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.429 * [backup-simplify]: Simplify (+ (* 1 0) (* (/ 1 y) (+ (/ 1 z) 1.0))) into (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) 3.429 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) (* 0 (+ (/ 1 z) 1.0))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) 3.429 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) in y 3.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) in y 3.429 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.429 * [taylor]: Taking taylor expansion of (* z y) in y 3.429 * [taylor]: Taking taylor expansion of z in y 3.430 * [backup-simplify]: Simplify z into z 3.430 * [taylor]: Taking taylor expansion of y in y 3.430 * [backup-simplify]: Simplify 0 into 0 3.430 * [backup-simplify]: Simplify 1 into 1 3.430 * [backup-simplify]: Simplify (* z 0) into 0 3.430 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 3.430 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.430 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.430 * [taylor]: Taking taylor expansion of 1.0 in y 3.430 * [backup-simplify]: Simplify 1.0 into 1.0 3.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.430 * [taylor]: Taking taylor expansion of y in y 3.430 * [backup-simplify]: Simplify 0 into 0 3.430 * [backup-simplify]: Simplify 1 into 1 3.430 * [backup-simplify]: Simplify (/ 1 1) into 1 3.431 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.431 * [backup-simplify]: Simplify (+ (/ 1 z) 1.0) into (+ (/ 1 z) 1.0) 3.431 * [backup-simplify]: Simplify (- (+ (/ 1 z) 1.0)) into (- (+ (/ 1 z) 1.0)) 3.431 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0)) in z 3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.431 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.431 * [taylor]: Taking taylor expansion of z in z 3.431 * [backup-simplify]: Simplify 0 into 0 3.431 * [backup-simplify]: Simplify 1 into 1 3.431 * [backup-simplify]: Simplify (/ 1 1) into 1 3.431 * [taylor]: Taking taylor expansion of 1.0 in z 3.431 * [backup-simplify]: Simplify 1.0 into 1.0 3.431 * [backup-simplify]: Simplify (+ 1 0) into 1 3.432 * [backup-simplify]: Simplify (- 1) into -1 3.432 * [backup-simplify]: Simplify -1 into -1 3.432 * [backup-simplify]: Simplify (+ (/ 1 z) 1.0) into (+ (/ 1 z) 1.0) 3.432 * [backup-simplify]: Simplify (* -1 (+ (/ 1 z) 1.0)) into (* -1 (+ (/ 1 z) 1.0)) 3.432 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1.0)) in z 3.432 * [taylor]: Taking taylor expansion of -1 in z 3.432 * [backup-simplify]: Simplify -1 into -1 3.432 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.432 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.432 * [taylor]: Taking taylor expansion of z in z 3.432 * [backup-simplify]: Simplify 0 into 0 3.432 * [backup-simplify]: Simplify 1 into 1 3.432 * [backup-simplify]: Simplify (/ 1 1) into 1 3.432 * [taylor]: Taking taylor expansion of 1.0 in z 3.432 * [backup-simplify]: Simplify 1.0 into 1.0 3.433 * [backup-simplify]: Simplify (+ 1 0) into 1 3.433 * [backup-simplify]: Simplify (* -1 1) into -1 3.433 * [backup-simplify]: Simplify -1 into -1 3.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.433 * [backup-simplify]: Simplify (+ 0 0) into 0 3.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.434 * [backup-simplify]: Simplify (+ 0 0) into 0 3.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (* 0 (+ (/ 1 z) 1.0)))) into 0 3.435 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) (* 0 (+ (/ 1 z) 1.0)))) into 0 3.435 * [taylor]: Taking taylor expansion of 0 in y 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 3.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.436 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.437 * [backup-simplify]: Simplify (+ 0 0) into 0 3.437 * [backup-simplify]: Simplify (- 0) into 0 3.437 * [taylor]: Taking taylor expansion of 0 in z 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.437 * [backup-simplify]: Simplify (+ 0 0) into 0 3.438 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 z) 1.0))) into 0 3.438 * [taylor]: Taking taylor expansion of 0 in z 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.438 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.439 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.439 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.440 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* (/ 1 (/ 1 (- y))) 1))) (+ (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (* 1.0 y) (+ (* x z) (* z y))) 3.440 * * * [progress]: simplifying candidates 3.441 * [simplify]: Simplifying: (expm1 (* (+ x y) (- 1.0 z))) (log1p (* (+ x y) (- 1.0 z))) (* (+ x y) (- 1.0 z)) (+ (log (+ x y)) (log (- 1.0 z))) (log (* (+ x y) (- 1.0 z))) (exp (* (+ x y) (- 1.0 z))) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (- 1.0 z) (- 1.0 z)) (- 1.0 z))) (* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z)))) (cbrt (* (+ x y) (- 1.0 z))) (* (* (* (+ x y) (- 1.0 z)) (* (+ x y) (- 1.0 z))) (* (+ x y) (- 1.0 z))) (sqrt (* (+ x y) (- 1.0 z))) (sqrt (* (+ x y) (- 1.0 z))) (* (+ (pow x 3) (pow y 3)) (- (pow 1.0 3) (pow z 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))) (* (+ (pow x 3) (pow y 3)) (- (* 1.0 1.0) (* z z))) (* (+ (* x x) (- (* y y) (* x y))) (+ 1.0 z)) (* (- (* x x) (* y y)) (- (pow 1.0 3) (pow z 3))) (* (- x y) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))) (* (- (* x x) (* y y)) (- (* 1.0 1.0) (* z z))) (* (- x y) (+ 1.0 z)) (* (sqrt (+ x y)) (sqrt (- 1.0 z))) (* (sqrt (+ x y)) (sqrt (- 1.0 z))) (* (+ x y) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* (+ x y) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* (+ x y) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt z) (sqrt z))))) (* (+ x y) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* (+ x y) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z 1)))) (* (+ x y) (fma (- z) 1 (* z 1))) (* (+ x y) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* (+ x y) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* (+ x y) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt z) (sqrt z))))) (* (+ x y) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* (+ x y) (fma (sqrt 1.0) (sqrt 1.0) (- (* z 1)))) (* (+ x y) (fma (- z) 1 (* z 1))) (* (+ x y) (fma 1 1.0 (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* (+ x y) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* (+ x y) (fma 1 1.0 (- (* (sqrt z) (sqrt z))))) (* (+ x y) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* (+ x y) (fma 1 1.0 (- (* z 1)))) (* (+ x y) (fma (- z) 1 (* z 1))) (* (+ x y) 1.0) (* (+ x y) (- z)) (* (+ x y) 1.0) (* (+ x y) (- z)) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (+ x y)) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (+ x y)) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt z) (sqrt z)))) (+ x y)) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (+ x y)) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z 1))) (+ x y)) (* (fma (- z) 1 (* z 1)) (+ x y)) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (+ x y)) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (+ x y)) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt z) (sqrt z)))) (+ x y)) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (+ x y)) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* z 1))) (+ x y)) (* (fma (- z) 1 (* z 1)) (+ x y)) (* (fma 1 1.0 (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (+ x y)) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (+ x y)) (* (fma 1 1.0 (- (* (sqrt z) (sqrt z)))) (+ x y)) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (+ x y)) (* (fma 1 1.0 (- (* z 1))) (+ x y)) (* (fma (- z) 1 (* z 1)) (+ x y)) (* 1.0 (+ x y)) (* (- z) (+ x y)) (* 1.0 (+ x y)) (* (- z) (+ x y)) (* (+ x y) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (* (+ x y) (sqrt (- 1.0 z))) (* (+ x y) 1) (* (+ x y) (+ (sqrt 1.0) (sqrt z))) (* (+ x y) 1) (* (cbrt (+ x y)) (- 1.0 z)) (* (sqrt (+ x y)) (- 1.0 z)) (* (+ x y) (- 1.0 z)) (* (+ x y) (- 1.0 z)) (* (+ x y) (- (pow 1.0 3) (pow z 3))) (* (+ x y) (- (* 1.0 1.0) (* z z))) (* (+ (pow x 3) (pow y 3)) (- 1.0 z)) (* (- (* x x) (* y y)) (- 1.0 z)) (- (+ (* 1.0 x) (* 1.0 y)) (* x z)) (- (* 1.0 y) (+ (* x z) (* z y))) (- (* 1.0 y) (+ (* x z) (* z y))) 3.444 * * [simplify]: Extracting # 0 : cost 0 3.444 * * [simplify]: Extracting # 1 : cost 0 3.444 * * [simplify]: Extracting # 2 : cost 0 3.445 * * [simplify]: Extracting # 3 : cost 0 3.445 * * [simplify]: Extracting # 4 : cost 0 3.445 * * [simplify]: Extracting # 5 : cost 0 3.446 * * [simplify]: Extracting # 6 : cost 0 3.446 * * [simplify]: Extracting # 7 : cost 0 3.447 * * [simplify]: Extracting # 8 : cost 0 3.447 * * [simplify]: Extracting # 9 : cost 0 3.447 * * [simplify]: iteration 0 : 134 enodes (cost 1028 ) 3.523 * * [simplify]: Extracting # 0 : cost 0 3.524 * * [simplify]: Extracting # 1 : cost 0 3.525 * * [simplify]: Extracting # 2 : cost 0 3.526 * * [simplify]: Extracting # 3 : cost 0 3.527 * * [simplify]: Extracting # 4 : cost 0 3.528 * * [simplify]: iteration 1 : 374 enodes (cost 845 ) 3.805 * * [simplify]: Extracting # 0 : cost 0 3.807 * * [simplify]: Extracting # 1 : cost 0 3.808 * * [simplify]: Extracting # 2 : cost 0 3.809 * * [simplify]: Extracting # 3 : cost 0 3.811 * * [simplify]: Extracting # 4 : cost 0 3.812 * * [simplify]: iteration 2 : 1178 enodes (cost 725 ) 4.778 * * [simplify]: Extracting # 0 : cost 0 4.790 * * [simplify]: Extracting # 1 : cost 0 4.808 * * [simplify]: Extracting # 2 : cost 0 4.815 * * [simplify]: Extracting # 3 : cost 0 4.821 * * [simplify]: Extracting # 4 : cost 0 4.828 * * [simplify]: iteration done: 5000 enodes (cost 700 ) 4.829 * [simplify]: Simplified to: (expm1 (* (+ x y) (- 1.0 z))) (log1p (* (+ x y) (- 1.0 z))) (* (- 1.0 z) (+ x y)) (log (* (+ x y) (- 1.0 z))) (log (* (+ x y) (- 1.0 z))) (exp (* (+ x y) (- 1.0 z))) (pow (* (- 1.0 z) (+ x y)) 3) (* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z)))) (cbrt (* (+ x y) (- 1.0 z))) (pow (* (- 1.0 z) (+ x y)) 3) (sqrt (* (+ x y) (- 1.0 z))) (sqrt (* (+ x y) (- 1.0 z))) (* (+ (pow x 3) (pow y 3)) (- (pow 1.0 3) (pow z 3))) (* (fma 1.0 1.0 (* z (+ 1.0 z))) (fma x x (* y (- y x)))) (* (+ (pow x 3) (pow y 3)) (- (* 1.0 1.0) (* z z))) (* (+ 1.0 z) (fma x x (* y (- y x)))) (* (- (* x x) (* y y)) (- (pow 1.0 3) (pow z 3))) (* (fma 1.0 1.0 (* z (+ 1.0 z))) (- x y)) (* (- (* x x) (* y y)) (- (* 1.0 1.0) (* z z))) (* (- x y) (+ 1.0 z)) (* (sqrt (+ x y)) (sqrt (- 1.0 z))) (* (sqrt (+ x y)) (sqrt (- 1.0 z))) (* (- (pow (cbrt 1.0) 3) z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- (pow (cbrt 1.0) 3) z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- (pow (cbrt 1.0) 3) z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* 1.0 (+ x y)) (* (+ x y) (- z)) (* 1.0 (+ x y)) (* (+ x y) (- z)) (* (- (pow (cbrt 1.0) 3) z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- (pow (cbrt 1.0) 3) z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- (pow (cbrt 1.0) 3) z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ (- z) z) (+ x y)) (* 1.0 (+ x y)) (* (+ x y) (- z)) (* 1.0 (+ x y)) (* (+ x y) (- z)) (* (+ x y) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (* (+ x y) (sqrt (- 1.0 z))) (+ x y) (* (+ x y) (+ (sqrt 1.0) (sqrt z))) (+ x y) (* (cbrt (+ x y)) (- 1.0 z)) (* (sqrt (+ x y)) (- 1.0 z)) (* (- 1.0 z) (+ x y)) (* (- 1.0 z) (+ x y)) (* (+ x y) (- (pow 1.0 3) (pow z 3))) (* (+ x y) (- (* 1.0 1.0) (* z z))) (* (+ (pow x 3) (pow y 3)) (- 1.0 z)) (* (- (* x x) (* y y)) (- 1.0 z)) (fma 1.0 y (* (- 1.0 z) x)) (fma 1.0 y (* (+ x y) (- z))) (fma 1.0 y (* (+ x y) (- z))) 4.830 * * * [progress]: adding candidates to table 4.964 * * [progress]: iteration 2 / 4 4.964 * * * [progress]: picking best candidate 4.966 * * * * [pick]: Picked # 4.966 * * * [progress]: localizing error 4.980 * * * [progress]: generating rewritten candidates 4.980 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.002 * * * [progress]: generating series expansions 5.002 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.002 * [backup-simplify]: Simplify (+ (* 1.0 (+ x y)) (* (+ x y) (- z))) into (- (+ (* 1.0 x) (* 1.0 y)) (+ (* x z) (* z y))) 5.002 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 x) (* 1.0 y)) (+ (* x z) (* z y))) in (x y z) around 0 5.002 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* 1.0 y)) (+ (* x z) (* z y))) in z 5.002 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 y)) in z 5.002 * [taylor]: Taking taylor expansion of (* 1.0 x) in z 5.003 * [taylor]: Taking taylor expansion of 1.0 in z 5.003 * [backup-simplify]: Simplify 1.0 into 1.0 5.003 * [taylor]: Taking taylor expansion of x in z 5.003 * [backup-simplify]: Simplify x into x 5.003 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 5.003 * [taylor]: Taking taylor expansion of 1.0 in z 5.003 * [backup-simplify]: Simplify 1.0 into 1.0 5.003 * [taylor]: Taking taylor expansion of y in z 5.003 * [backup-simplify]: Simplify y into y 5.003 * [taylor]: Taking taylor expansion of (+ (* x z) (* z y)) in z 5.003 * [taylor]: Taking taylor expansion of (* x z) in z 5.003 * [taylor]: Taking taylor expansion of x in z 5.003 * [backup-simplify]: Simplify x into x 5.003 * [taylor]: Taking taylor expansion of z in z 5.003 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify 1 into 1 5.003 * [taylor]: Taking taylor expansion of (* z y) in z 5.003 * [taylor]: Taking taylor expansion of z in z 5.003 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify 1 into 1 5.003 * [taylor]: Taking taylor expansion of y in z 5.003 * [backup-simplify]: Simplify y into y 5.003 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* 1.0 y)) (+ (* x z) (* z y))) in y 5.003 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 y)) in y 5.003 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 5.003 * [taylor]: Taking taylor expansion of 1.0 in y 5.003 * [backup-simplify]: Simplify 1.0 into 1.0 5.003 * [taylor]: Taking taylor expansion of x in y 5.003 * [backup-simplify]: Simplify x into x 5.003 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.003 * [taylor]: Taking taylor expansion of 1.0 in y 5.003 * [backup-simplify]: Simplify 1.0 into 1.0 5.003 * [taylor]: Taking taylor expansion of y in y 5.003 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify 1 into 1 5.003 * [taylor]: Taking taylor expansion of (+ (* x z) (* z y)) in y 5.003 * [taylor]: Taking taylor expansion of (* x z) in y 5.003 * [taylor]: Taking taylor expansion of x in y 5.003 * [backup-simplify]: Simplify x into x 5.003 * [taylor]: Taking taylor expansion of z in y 5.003 * [backup-simplify]: Simplify z into z 5.003 * [taylor]: Taking taylor expansion of (* z y) in y 5.003 * [taylor]: Taking taylor expansion of z in y 5.003 * [backup-simplify]: Simplify z into z 5.003 * [taylor]: Taking taylor expansion of y in y 5.003 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify 1 into 1 5.003 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* 1.0 y)) (+ (* x z) (* z y))) in x 5.003 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 y)) in x 5.003 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.003 * [taylor]: Taking taylor expansion of 1.0 in x 5.003 * [backup-simplify]: Simplify 1.0 into 1.0 5.003 * [taylor]: Taking taylor expansion of x in x 5.003 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify 1 into 1 5.003 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.003 * [taylor]: Taking taylor expansion of 1.0 in x 5.003 * [backup-simplify]: Simplify 1.0 into 1.0 5.003 * [taylor]: Taking taylor expansion of y in x 5.003 * [backup-simplify]: Simplify y into y 5.003 * [taylor]: Taking taylor expansion of (+ (* x z) (* z y)) in x 5.003 * [taylor]: Taking taylor expansion of (* x z) in x 5.003 * [taylor]: Taking taylor expansion of x in x 5.004 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify 1 into 1 5.004 * [taylor]: Taking taylor expansion of z in x 5.004 * [backup-simplify]: Simplify z into z 5.004 * [taylor]: Taking taylor expansion of (* z y) in x 5.004 * [taylor]: Taking taylor expansion of z in x 5.004 * [backup-simplify]: Simplify z into z 5.004 * [taylor]: Taking taylor expansion of y in x 5.004 * [backup-simplify]: Simplify y into y 5.004 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* 1.0 y)) (+ (* x z) (* z y))) in x 5.004 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 1.0 y)) in x 5.004 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.004 * [taylor]: Taking taylor expansion of 1.0 in x 5.004 * [backup-simplify]: Simplify 1.0 into 1.0 5.004 * [taylor]: Taking taylor expansion of x in x 5.004 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify 1 into 1 5.004 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.004 * [taylor]: Taking taylor expansion of 1.0 in x 5.004 * [backup-simplify]: Simplify 1.0 into 1.0 5.004 * [taylor]: Taking taylor expansion of y in x 5.004 * [backup-simplify]: Simplify y into y 5.004 * [taylor]: Taking taylor expansion of (+ (* x z) (* z y)) in x 5.004 * [taylor]: Taking taylor expansion of (* x z) in x 5.004 * [taylor]: Taking taylor expansion of x in x 5.004 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify 1 into 1 5.004 * [taylor]: Taking taylor expansion of z in x 5.004 * [backup-simplify]: Simplify z into z 5.004 * [taylor]: Taking taylor expansion of (* z y) in x 5.004 * [taylor]: Taking taylor expansion of z in x 5.004 * [backup-simplify]: Simplify z into z 5.004 * [taylor]: Taking taylor expansion of y in x 5.004 * [backup-simplify]: Simplify y into y 5.005 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.005 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 5.005 * [backup-simplify]: Simplify (+ 0 (* 1.0 y)) into (* 1.0 y) 5.005 * [backup-simplify]: Simplify (* 0 z) into 0 5.005 * [backup-simplify]: Simplify (* z y) into (* z y) 5.005 * [backup-simplify]: Simplify (+ 0 (* z y)) into (* z y) 5.005 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 5.005 * [backup-simplify]: Simplify (+ (* 1.0 y) (- (* z y))) into (- (* 1.0 y) (* z y)) 5.005 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (* z y)) in y 5.005 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.005 * [taylor]: Taking taylor expansion of 1.0 in y 5.005 * [backup-simplify]: Simplify 1.0 into 1.0 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [backup-simplify]: Simplify 0 into 0 5.006 * [backup-simplify]: Simplify 1 into 1 5.006 * [taylor]: Taking taylor expansion of (* z y) in y 5.006 * [taylor]: Taking taylor expansion of z in y 5.006 * [backup-simplify]: Simplify z into z 5.006 * [taylor]: Taking taylor expansion of y in y 5.006 * [backup-simplify]: Simplify 0 into 0 5.006 * [backup-simplify]: Simplify 1 into 1 5.006 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.006 * [backup-simplify]: Simplify (* z 0) into 0 5.007 * [backup-simplify]: Simplify (- 0) into 0 5.007 * [backup-simplify]: Simplify (+ 0 0) into 0 5.007 * [taylor]: Taking taylor expansion of 0 in z 5.007 * [backup-simplify]: Simplify 0 into 0 5.007 * [backup-simplify]: Simplify 0 into 0 5.008 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.009 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 5.009 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.009 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.010 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 5.010 * [backup-simplify]: Simplify (+ z 0) into z 5.010 * [backup-simplify]: Simplify (- z) into (- z) 5.010 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z) 5.010 * [taylor]: Taking taylor expansion of (- 1.0 z) in y 5.010 * [taylor]: Taking taylor expansion of 1.0 in y 5.010 * [backup-simplify]: Simplify 1.0 into 1.0 5.010 * [taylor]: Taking taylor expansion of z in y 5.010 * [backup-simplify]: Simplify z into z 5.010 * [backup-simplify]: Simplify (- z) into (- z) 5.010 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z) 5.010 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 5.010 * [taylor]: Taking taylor expansion of 1.0 in z 5.010 * [backup-simplify]: Simplify 1.0 into 1.0 5.010 * [taylor]: Taking taylor expansion of z in z 5.010 * [backup-simplify]: Simplify 0 into 0 5.010 * [backup-simplify]: Simplify 1 into 1 5.010 * [backup-simplify]: Simplify (- 0) into 0 5.011 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.011 * [backup-simplify]: Simplify 1.0 into 1.0 5.012 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.012 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 5.013 * [backup-simplify]: Simplify (- z) into (- z) 5.013 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z) 5.013 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 5.013 * [taylor]: Taking taylor expansion of 1.0 in z 5.013 * [backup-simplify]: Simplify 1.0 into 1.0 5.013 * [taylor]: Taking taylor expansion of z in z 5.013 * [backup-simplify]: Simplify 0 into 0 5.013 * [backup-simplify]: Simplify 1 into 1 5.013 * [backup-simplify]: Simplify (- 0) into 0 5.014 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.014 * [backup-simplify]: Simplify 1.0 into 1.0 5.014 * [backup-simplify]: Simplify 0 into 0 5.015 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.016 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 5.016 * [backup-simplify]: Simplify (+ 0 0) into 0 5.017 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.017 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 5.017 * [backup-simplify]: Simplify (+ 0 0) into 0 5.018 * [backup-simplify]: Simplify (- 0) into 0 5.018 * [backup-simplify]: Simplify (+ 0 0) into 0 5.018 * [taylor]: Taking taylor expansion of 0 in y 5.018 * [backup-simplify]: Simplify 0 into 0 5.018 * [taylor]: Taking taylor expansion of 0 in z 5.018 * [backup-simplify]: Simplify 0 into 0 5.018 * [backup-simplify]: Simplify 0 into 0 5.018 * [backup-simplify]: Simplify (- 0) into 0 5.019 * [backup-simplify]: Simplify (+ 0 0) into 0 5.019 * [taylor]: Taking taylor expansion of 0 in z 5.019 * [backup-simplify]: Simplify 0 into 0 5.019 * [backup-simplify]: Simplify 0 into 0 5.020 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.020 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 5.021 * [backup-simplify]: Simplify (- 0) into 0 5.021 * [backup-simplify]: Simplify (+ 0 0) into 0 5.021 * [taylor]: Taking taylor expansion of 0 in z 5.021 * [backup-simplify]: Simplify 0 into 0 5.021 * [backup-simplify]: Simplify 0 into 0 5.021 * [backup-simplify]: Simplify (- 1) into -1 5.022 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.022 * [backup-simplify]: Simplify -1 into -1 5.022 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 x))) (+ (* 1.0 (* 1 (* y 1))) (* 1.0 (* 1 (* 1 x))))) into (- (+ (* 1.0 x) (* 1.0 y)) (* x z)) 5.023 * [backup-simplify]: Simplify (+ (* 1.0 (+ (/ 1 x) (/ 1 y))) (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 z)))) into (- (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* x z)))) 5.023 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* x z)))) in (x y z) around 0 5.023 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* x z)))) in z 5.023 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in z 5.023 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 5.023 * [taylor]: Taking taylor expansion of 1.0 in z 5.023 * [backup-simplify]: Simplify 1.0 into 1.0 5.023 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.023 * [taylor]: Taking taylor expansion of y in z 5.023 * [backup-simplify]: Simplify y into y 5.023 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.023 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 5.023 * [taylor]: Taking taylor expansion of 1.0 in z 5.023 * [backup-simplify]: Simplify 1.0 into 1.0 5.023 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.023 * [taylor]: Taking taylor expansion of x in z 5.023 * [backup-simplify]: Simplify x into x 5.023 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.023 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x z))) in z 5.023 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.023 * [taylor]: Taking taylor expansion of (* z y) in z 5.023 * [taylor]: Taking taylor expansion of z in z 5.023 * [backup-simplify]: Simplify 0 into 0 5.023 * [backup-simplify]: Simplify 1 into 1 5.023 * [taylor]: Taking taylor expansion of y in z 5.023 * [backup-simplify]: Simplify y into y 5.023 * [backup-simplify]: Simplify (* 0 y) into 0 5.024 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.024 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.024 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.024 * [taylor]: Taking taylor expansion of (* x z) in z 5.024 * [taylor]: Taking taylor expansion of x in z 5.024 * [backup-simplify]: Simplify x into x 5.024 * [taylor]: Taking taylor expansion of z in z 5.024 * [backup-simplify]: Simplify 0 into 0 5.024 * [backup-simplify]: Simplify 1 into 1 5.024 * [backup-simplify]: Simplify (* x 0) into 0 5.024 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.025 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.025 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* x z)))) in y 5.025 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in y 5.025 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.025 * [taylor]: Taking taylor expansion of 1.0 in y 5.025 * [backup-simplify]: Simplify 1.0 into 1.0 5.025 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.025 * [taylor]: Taking taylor expansion of y in y 5.025 * [backup-simplify]: Simplify 0 into 0 5.025 * [backup-simplify]: Simplify 1 into 1 5.025 * [backup-simplify]: Simplify (/ 1 1) into 1 5.025 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 5.025 * [taylor]: Taking taylor expansion of 1.0 in y 5.025 * [backup-simplify]: Simplify 1.0 into 1.0 5.025 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.025 * [taylor]: Taking taylor expansion of x in y 5.025 * [backup-simplify]: Simplify x into x 5.025 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.025 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x z))) in y 5.025 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.025 * [taylor]: Taking taylor expansion of (* z y) in y 5.026 * [taylor]: Taking taylor expansion of z in y 5.026 * [backup-simplify]: Simplify z into z 5.026 * [taylor]: Taking taylor expansion of y in y 5.026 * [backup-simplify]: Simplify 0 into 0 5.026 * [backup-simplify]: Simplify 1 into 1 5.026 * [backup-simplify]: Simplify (* z 0) into 0 5.026 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 5.026 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.026 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.026 * [taylor]: Taking taylor expansion of (* x z) in y 5.026 * [taylor]: Taking taylor expansion of x in y 5.026 * [backup-simplify]: Simplify x into x 5.026 * [taylor]: Taking taylor expansion of z in y 5.026 * [backup-simplify]: Simplify z into z 5.026 * [backup-simplify]: Simplify (* x z) into (* x z) 5.026 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 5.026 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* x z)))) in x 5.026 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in x 5.026 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.027 * [taylor]: Taking taylor expansion of 1.0 in x 5.027 * [backup-simplify]: Simplify 1.0 into 1.0 5.027 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.027 * [taylor]: Taking taylor expansion of y in x 5.027 * [backup-simplify]: Simplify y into y 5.027 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.027 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.027 * [taylor]: Taking taylor expansion of 1.0 in x 5.027 * [backup-simplify]: Simplify 1.0 into 1.0 5.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.027 * [taylor]: Taking taylor expansion of x in x 5.027 * [backup-simplify]: Simplify 0 into 0 5.027 * [backup-simplify]: Simplify 1 into 1 5.027 * [backup-simplify]: Simplify (/ 1 1) into 1 5.027 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x z))) in x 5.027 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.027 * [taylor]: Taking taylor expansion of (* z y) in x 5.027 * [taylor]: Taking taylor expansion of z in x 5.027 * [backup-simplify]: Simplify z into z 5.027 * [taylor]: Taking taylor expansion of y in x 5.027 * [backup-simplify]: Simplify y into y 5.027 * [backup-simplify]: Simplify (* z y) into (* z y) 5.028 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 5.028 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.028 * [taylor]: Taking taylor expansion of (* x z) in x 5.028 * [taylor]: Taking taylor expansion of x in x 5.028 * [backup-simplify]: Simplify 0 into 0 5.028 * [backup-simplify]: Simplify 1 into 1 5.028 * [taylor]: Taking taylor expansion of z in x 5.028 * [backup-simplify]: Simplify z into z 5.028 * [backup-simplify]: Simplify (* 0 z) into 0 5.028 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.028 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.028 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* x z)))) in x 5.028 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in x 5.028 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.028 * [taylor]: Taking taylor expansion of 1.0 in x 5.028 * [backup-simplify]: Simplify 1.0 into 1.0 5.028 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.028 * [taylor]: Taking taylor expansion of y in x 5.028 * [backup-simplify]: Simplify y into y 5.029 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.029 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.029 * [taylor]: Taking taylor expansion of 1.0 in x 5.029 * [backup-simplify]: Simplify 1.0 into 1.0 5.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.029 * [taylor]: Taking taylor expansion of x in x 5.029 * [backup-simplify]: Simplify 0 into 0 5.029 * [backup-simplify]: Simplify 1 into 1 5.029 * [backup-simplify]: Simplify (/ 1 1) into 1 5.029 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x z))) in x 5.029 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.029 * [taylor]: Taking taylor expansion of (* z y) in x 5.029 * [taylor]: Taking taylor expansion of z in x 5.029 * [backup-simplify]: Simplify z into z 5.029 * [taylor]: Taking taylor expansion of y in x 5.029 * [backup-simplify]: Simplify y into y 5.029 * [backup-simplify]: Simplify (* z y) into (* z y) 5.029 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 5.029 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.030 * [taylor]: Taking taylor expansion of (* x z) in x 5.030 * [taylor]: Taking taylor expansion of x in x 5.030 * [backup-simplify]: Simplify 0 into 0 5.030 * [backup-simplify]: Simplify 1 into 1 5.030 * [taylor]: Taking taylor expansion of z in x 5.030 * [backup-simplify]: Simplify z into z 5.030 * [backup-simplify]: Simplify (* 0 z) into 0 5.030 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.030 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.031 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.031 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.031 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 5.031 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.031 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z)) 5.031 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 5.031 * [taylor]: Taking taylor expansion of 1.0 in y 5.031 * [backup-simplify]: Simplify 1.0 into 1.0 5.031 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.031 * [taylor]: Taking taylor expansion of z in y 5.031 * [backup-simplify]: Simplify z into z 5.032 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.032 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 5.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.033 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.033 * [backup-simplify]: Simplify (+ (/ 1.0 y) 0) into (* 1.0 (/ 1 y)) 5.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.034 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y)) 5.034 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 5.034 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 y)) (- (/ 1 (* z y)))) into (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) 5.034 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) in y 5.034 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.034 * [taylor]: Taking taylor expansion of 1.0 in y 5.034 * [backup-simplify]: Simplify 1.0 into 1.0 5.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.034 * [taylor]: Taking taylor expansion of y in y 5.034 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify 1 into 1 5.035 * [backup-simplify]: Simplify (/ 1 1) into 1 5.035 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.035 * [taylor]: Taking taylor expansion of (* z y) in y 5.035 * [taylor]: Taking taylor expansion of z in y 5.035 * [backup-simplify]: Simplify z into z 5.035 * [taylor]: Taking taylor expansion of y in y 5.035 * [backup-simplify]: Simplify 0 into 0 5.035 * [backup-simplify]: Simplify 1 into 1 5.035 * [backup-simplify]: Simplify (* z 0) into 0 5.036 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 5.036 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.036 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.036 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.036 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z)) 5.036 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 5.036 * [taylor]: Taking taylor expansion of 1.0 in z 5.037 * [backup-simplify]: Simplify 1.0 into 1.0 5.037 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.037 * [taylor]: Taking taylor expansion of z in z 5.037 * [backup-simplify]: Simplify 0 into 0 5.037 * [backup-simplify]: Simplify 1 into 1 5.037 * [backup-simplify]: Simplify (/ 1 1) into 1 5.037 * [backup-simplify]: Simplify (- 1) into -1 5.038 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.038 * [backup-simplify]: Simplify -1 into -1 5.038 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 5.038 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z)) 5.038 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 5.038 * [taylor]: Taking taylor expansion of 1.0 in z 5.038 * [backup-simplify]: Simplify 1.0 into 1.0 5.038 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.038 * [taylor]: Taking taylor expansion of z in z 5.038 * [backup-simplify]: Simplify 0 into 0 5.038 * [backup-simplify]: Simplify 1 into 1 5.038 * [backup-simplify]: Simplify (/ 1 1) into 1 5.039 * [backup-simplify]: Simplify (- 1) into -1 5.039 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.039 * [backup-simplify]: Simplify -1 into -1 5.039 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.040 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 5.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.041 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 5.042 * [backup-simplify]: Simplify (+ 0 0) into 0 5.042 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 5.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 5.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 5.043 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.044 * [backup-simplify]: Simplify (+ 0 0) into 0 5.044 * [backup-simplify]: Simplify (- 0) into 0 5.044 * [backup-simplify]: Simplify (+ 0 0) into 0 5.044 * [taylor]: Taking taylor expansion of 0 in y 5.044 * [backup-simplify]: Simplify 0 into 0 5.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.046 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.046 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 5.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.047 * [backup-simplify]: Simplify (- 0) into 0 5.047 * [backup-simplify]: Simplify (+ 0 0) into 0 5.047 * [taylor]: Taking taylor expansion of 0 in z 5.047 * [backup-simplify]: Simplify 0 into 0 5.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.048 * [backup-simplify]: Simplify (- 0) into 0 5.048 * [backup-simplify]: Simplify (+ 0 0) into 0 5.048 * [taylor]: Taking taylor expansion of 0 in z 5.048 * [backup-simplify]: Simplify 0 into 0 5.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.049 * [backup-simplify]: Simplify (- 0) into 0 5.049 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.049 * [backup-simplify]: Simplify 1.0 into 1.0 5.050 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 y)) 1))) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (* 1.0 y) (+ (* x z) (* z y))) 5.051 * [backup-simplify]: Simplify (+ (* 1.0 (+ (/ 1 (- x)) (/ 1 (- y)))) (* (+ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- z))))) into (- (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))))) 5.051 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))))) in (x y z) around 0 5.051 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))))) in z 5.051 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))))) in z 5.051 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.051 * [taylor]: Taking taylor expansion of (* z y) in z 5.051 * [taylor]: Taking taylor expansion of z in z 5.051 * [backup-simplify]: Simplify 0 into 0 5.051 * [backup-simplify]: Simplify 1 into 1 5.051 * [taylor]: Taking taylor expansion of y in z 5.051 * [backup-simplify]: Simplify y into y 5.051 * [backup-simplify]: Simplify (* 0 y) into 0 5.052 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.052 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.052 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))) in z 5.052 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.052 * [taylor]: Taking taylor expansion of (* x z) in z 5.052 * [taylor]: Taking taylor expansion of x in z 5.052 * [backup-simplify]: Simplify x into x 5.052 * [taylor]: Taking taylor expansion of z in z 5.052 * [backup-simplify]: Simplify 0 into 0 5.052 * [backup-simplify]: Simplify 1 into 1 5.052 * [backup-simplify]: Simplify (* x 0) into 0 5.052 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.052 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.052 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in z 5.052 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 5.052 * [taylor]: Taking taylor expansion of 1.0 in z 5.053 * [backup-simplify]: Simplify 1.0 into 1.0 5.053 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.053 * [taylor]: Taking taylor expansion of y in z 5.053 * [backup-simplify]: Simplify y into y 5.053 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.053 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 5.053 * [taylor]: Taking taylor expansion of 1.0 in z 5.053 * [backup-simplify]: Simplify 1.0 into 1.0 5.053 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.053 * [taylor]: Taking taylor expansion of x in z 5.053 * [backup-simplify]: Simplify x into x 5.053 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.053 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))))) in y 5.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))))) in y 5.053 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.053 * [taylor]: Taking taylor expansion of (* z y) in y 5.053 * [taylor]: Taking taylor expansion of z in y 5.053 * [backup-simplify]: Simplify z into z 5.053 * [taylor]: Taking taylor expansion of y in y 5.053 * [backup-simplify]: Simplify 0 into 0 5.053 * [backup-simplify]: Simplify 1 into 1 5.053 * [backup-simplify]: Simplify (* z 0) into 0 5.054 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 5.054 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.054 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))) in y 5.054 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.054 * [taylor]: Taking taylor expansion of (* x z) in y 5.054 * [taylor]: Taking taylor expansion of x in y 5.054 * [backup-simplify]: Simplify x into x 5.054 * [taylor]: Taking taylor expansion of z in y 5.054 * [backup-simplify]: Simplify z into z 5.054 * [backup-simplify]: Simplify (* x z) into (* x z) 5.054 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 5.054 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in y 5.054 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.054 * [taylor]: Taking taylor expansion of 1.0 in y 5.054 * [backup-simplify]: Simplify 1.0 into 1.0 5.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.054 * [taylor]: Taking taylor expansion of y in y 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify 1 into 1 5.054 * [backup-simplify]: Simplify (/ 1 1) into 1 5.054 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 5.054 * [taylor]: Taking taylor expansion of 1.0 in y 5.054 * [backup-simplify]: Simplify 1.0 into 1.0 5.054 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.055 * [taylor]: Taking taylor expansion of x in y 5.055 * [backup-simplify]: Simplify x into x 5.055 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.055 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))))) in x 5.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))))) in x 5.055 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.055 * [taylor]: Taking taylor expansion of (* z y) in x 5.055 * [taylor]: Taking taylor expansion of z in x 5.055 * [backup-simplify]: Simplify z into z 5.055 * [taylor]: Taking taylor expansion of y in x 5.055 * [backup-simplify]: Simplify y into y 5.055 * [backup-simplify]: Simplify (* z y) into (* z y) 5.055 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 5.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 5.055 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.055 * [taylor]: Taking taylor expansion of (* x z) in x 5.055 * [taylor]: Taking taylor expansion of x in x 5.055 * [backup-simplify]: Simplify 0 into 0 5.055 * [backup-simplify]: Simplify 1 into 1 5.055 * [taylor]: Taking taylor expansion of z in x 5.055 * [backup-simplify]: Simplify z into z 5.055 * [backup-simplify]: Simplify (* 0 z) into 0 5.055 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.055 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.055 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in x 5.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.055 * [taylor]: Taking taylor expansion of 1.0 in x 5.055 * [backup-simplify]: Simplify 1.0 into 1.0 5.055 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.055 * [taylor]: Taking taylor expansion of y in x 5.055 * [backup-simplify]: Simplify y into y 5.055 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.056 * [taylor]: Taking taylor expansion of 1.0 in x 5.056 * [backup-simplify]: Simplify 1.0 into 1.0 5.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.056 * [taylor]: Taking taylor expansion of x in x 5.056 * [backup-simplify]: Simplify 0 into 0 5.056 * [backup-simplify]: Simplify 1 into 1 5.056 * [backup-simplify]: Simplify (/ 1 1) into 1 5.056 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))))) in x 5.056 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))))) in x 5.056 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.056 * [taylor]: Taking taylor expansion of (* z y) in x 5.056 * [taylor]: Taking taylor expansion of z in x 5.056 * [backup-simplify]: Simplify z into z 5.056 * [taylor]: Taking taylor expansion of y in x 5.056 * [backup-simplify]: Simplify y into y 5.056 * [backup-simplify]: Simplify (* z y) into (* z y) 5.056 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 5.056 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x)))) in x 5.056 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.056 * [taylor]: Taking taylor expansion of (* x z) in x 5.056 * [taylor]: Taking taylor expansion of x in x 5.056 * [backup-simplify]: Simplify 0 into 0 5.056 * [backup-simplify]: Simplify 1 into 1 5.056 * [taylor]: Taking taylor expansion of z in x 5.056 * [backup-simplify]: Simplify z into z 5.056 * [backup-simplify]: Simplify (* 0 z) into 0 5.057 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.057 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.057 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (/ 1 x))) in x 5.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.057 * [taylor]: Taking taylor expansion of 1.0 in x 5.057 * [backup-simplify]: Simplify 1.0 into 1.0 5.057 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.057 * [taylor]: Taking taylor expansion of y in x 5.057 * [backup-simplify]: Simplify y into y 5.057 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.057 * [taylor]: Taking taylor expansion of 1.0 in x 5.057 * [backup-simplify]: Simplify 1.0 into 1.0 5.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.057 * [taylor]: Taking taylor expansion of x in x 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify 1 into 1 5.057 * [backup-simplify]: Simplify (/ 1 1) into 1 5.062 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.063 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.063 * [backup-simplify]: Simplify (+ (/ 1 z) 1.0) into (+ (/ 1 z) 1.0) 5.063 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) 1.0)) into (+ (/ 1 z) 1.0) 5.063 * [backup-simplify]: Simplify (- (+ (/ 1 z) 1.0)) into (- (+ (/ 1 z) 1.0)) 5.063 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0)) in y 5.063 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 5.063 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.063 * [taylor]: Taking taylor expansion of z in y 5.063 * [backup-simplify]: Simplify z into z 5.063 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.063 * [taylor]: Taking taylor expansion of 1.0 in y 5.063 * [backup-simplify]: Simplify 1.0 into 1.0 5.064 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.064 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.064 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 5.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.065 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.065 * [backup-simplify]: Simplify (+ (/ 1.0 y) 0) into (* 1.0 (/ 1 y)) 5.065 * [backup-simplify]: Simplify (+ 0 (* 1.0 (/ 1 y))) into (* 1.0 (/ 1 y)) 5.065 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) into (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) 5.065 * [backup-simplify]: Simplify (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) 5.065 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) in y 5.065 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) in y 5.065 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.065 * [taylor]: Taking taylor expansion of (* z y) in y 5.065 * [taylor]: Taking taylor expansion of z in y 5.065 * [backup-simplify]: Simplify z into z 5.065 * [taylor]: Taking taylor expansion of y in y 5.066 * [backup-simplify]: Simplify 0 into 0 5.066 * [backup-simplify]: Simplify 1 into 1 5.066 * [backup-simplify]: Simplify (* z 0) into 0 5.066 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 5.066 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.066 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.066 * [taylor]: Taking taylor expansion of 1.0 in y 5.066 * [backup-simplify]: Simplify 1.0 into 1.0 5.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.066 * [taylor]: Taking taylor expansion of y in y 5.066 * [backup-simplify]: Simplify 0 into 0 5.066 * [backup-simplify]: Simplify 1 into 1 5.067 * [backup-simplify]: Simplify (/ 1 1) into 1 5.067 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.067 * [backup-simplify]: Simplify (+ (/ 1 z) 1.0) into (+ (/ 1 z) 1.0) 5.067 * [backup-simplify]: Simplify (- (+ (/ 1 z) 1.0)) into (- (+ (/ 1 z) 1.0)) 5.067 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0)) in z 5.067 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 5.067 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.067 * [taylor]: Taking taylor expansion of z in z 5.067 * [backup-simplify]: Simplify 0 into 0 5.067 * [backup-simplify]: Simplify 1 into 1 5.068 * [backup-simplify]: Simplify (/ 1 1) into 1 5.068 * [taylor]: Taking taylor expansion of 1.0 in z 5.068 * [backup-simplify]: Simplify 1.0 into 1.0 5.068 * [backup-simplify]: Simplify (+ 1 0) into 1 5.069 * [backup-simplify]: Simplify (- 1) into -1 5.069 * [backup-simplify]: Simplify -1 into -1 5.069 * [backup-simplify]: Simplify (+ (/ 1 z) 1.0) into (+ (/ 1 z) 1.0) 5.069 * [backup-simplify]: Simplify (- (+ (/ 1 z) 1.0)) into (- (+ (/ 1 z) 1.0)) 5.069 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0)) in z 5.069 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 5.069 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.069 * [taylor]: Taking taylor expansion of z in z 5.069 * [backup-simplify]: Simplify 0 into 0 5.069 * [backup-simplify]: Simplify 1 into 1 5.069 * [backup-simplify]: Simplify (/ 1 1) into 1 5.069 * [taylor]: Taking taylor expansion of 1.0 in z 5.069 * [backup-simplify]: Simplify 1.0 into 1.0 5.070 * [backup-simplify]: Simplify (+ 1 0) into 1 5.070 * [backup-simplify]: Simplify (- 1) into -1 5.070 * [backup-simplify]: Simplify -1 into -1 5.070 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 5.070 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 5.072 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 5.072 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.072 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.073 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 y))) into 0 5.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.074 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 5.075 * [backup-simplify]: Simplify (+ 0 0) into 0 5.075 * [backup-simplify]: Simplify (+ 0 0) into 0 5.075 * [backup-simplify]: Simplify (+ 0 0) into 0 5.076 * [backup-simplify]: Simplify (- 0) into 0 5.076 * [taylor]: Taking taylor expansion of 0 in y 5.076 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 5.076 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.078 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.078 * [backup-simplify]: Simplify (+ 0 0) into 0 5.078 * [backup-simplify]: Simplify (- 0) into 0 5.078 * [taylor]: Taking taylor expansion of 0 in z 5.078 * [backup-simplify]: Simplify 0 into 0 5.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.079 * [backup-simplify]: Simplify (+ 0 0) into 0 5.079 * [backup-simplify]: Simplify (- 0) into 0 5.079 * [taylor]: Taking taylor expansion of 0 in z 5.079 * [backup-simplify]: Simplify 0 into 0 5.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.080 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.080 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.081 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.082 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* (/ 1 (/ 1 (- y))) 1))) (+ (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (* 1.0 y) (+ (* x z) (* z y))) 5.082 * * * [progress]: simplifying candidates 5.082 * [simplify]: Simplifying: (expm1 (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (log1p (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (* (exp (* 1.0 (+ x y))) (exp (* (+ x y) (- z)))) (log (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (exp (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (* (cbrt (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (cbrt (+ (* 1.0 (+ x y)) (* (+ x y) (- z))))) (cbrt (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (* (* (+ (* 1.0 (+ x y)) (* (+ x y) (- z))) (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (sqrt (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (sqrt (+ (* 1.0 (+ x y)) (* (+ x y) (- z)))) (+ (* (* 1.0 (+ (pow x 3) (pow y 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* x x) (- (* y y) (* x y))) (* (+ (pow x 3) (pow y 3)) (- z)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))) (+ (* (* 1.0 (+ (pow x 3) (pow y 3))) (- x y)) (* (+ (* x x) (- (* y y) (* x y))) (* (- (* x x) (* y y)) (- z)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y)) (+ (* (* 1.0 (- (* x x) (* y y))) (+ (* x x) (- (* y y) (* x y)))) (* (- x y) (* (+ (pow x 3) (pow y 3)) (- z)))) (* (- x y) (+ (* x x) (- (* y y) (* x y)))) (+ (* (* 1.0 (- (* x x) (* y y))) (- x y)) (* (- x y) (* (- (* x x) (* y y)) (- z)))) (* (- x y) (- x y)) (+ (pow (* 1.0 (+ x y)) 3) (pow (* (+ x y) (- z)) 3)) (+ (* (* 1.0 (+ x y)) (* 1.0 (+ x y))) (- (* (* (+ x y) (- z)) (* (+ x y) (- z))) (* (* 1.0 (+ x y)) (* (+ x y) (- z))))) (- (* (* 1.0 (+ x y)) (* 1.0 (+ x y))) (* (* (+ x y) (- z)) (* (+ x y) (- z)))) (- (* 1.0 (+ x y)) (* (+ x y) (- z))) (+ (* 1.0 y) (* (+ x y) (- z))) (+ (* y 1.0) (* (+ x y) (- z))) (- (+ (* 1.0 x) (* 1.0 y)) (* x z)) (- (* 1.0 y) (+ (* x z) (* z y))) (- (* 1.0 y) (+ (* x z) (* z y))) 5.084 * * [simplify]: Extracting # 0 : cost 0 5.084 * * [simplify]: Extracting # 1 : cost 0 5.084 * * [simplify]: Extracting # 2 : cost 0 5.084 * * [simplify]: Extracting # 3 : cost 0 5.084 * * [simplify]: Extracting # 4 : cost 0 5.085 * * [simplify]: Extracting # 5 : cost 0 5.085 * * [simplify]: Extracting # 6 : cost 0 5.085 * * [simplify]: Extracting # 7 : cost 0 5.085 * * [simplify]: Extracting # 8 : cost 0 5.085 * * [simplify]: iteration 0 : 73 enodes (cost 518 ) 5.116 * * [simplify]: Extracting # 0 : cost 0 5.116 * * [simplify]: Extracting # 1 : cost 0 5.117 * * [simplify]: Extracting # 2 : cost 0 5.117 * * [simplify]: Extracting # 3 : cost 0 5.118 * * [simplify]: Extracting # 4 : cost 0 5.118 * * [simplify]: iteration 1 : 264 enodes (cost 461 ) 5.243 * * [simplify]: Extracting # 0 : cost 0 5.244 * * [simplify]: Extracting # 1 : cost 0 5.246 * * [simplify]: Extracting # 2 : cost 0 5.247 * * [simplify]: Extracting # 3 : cost 0 5.249 * * [simplify]: Extracting # 4 : cost 0 5.254 * * [simplify]: iteration 2 : 1169 enodes (cost 378 ) 5.802 * * [simplify]: Extracting # 0 : cost 0 5.807 * * [simplify]: Extracting # 1 : cost 0 5.814 * * [simplify]: Extracting # 2 : cost 0 5.821 * * [simplify]: Extracting # 3 : cost 0 5.830 * * [simplify]: Extracting # 4 : cost 0 5.843 * * [simplify]: iteration done: 5001 enodes (cost 358 ) 5.843 * [simplify]: Simplified to: (expm1 (* (+ x y) (+ (- z) 1.0))) (log1p (* (+ x y) (+ (- z) 1.0))) (exp (* (+ x y) (+ (- z) 1.0))) (log (* (+ x y) (+ (- z) 1.0))) (exp (* (+ x y) (+ (- z) 1.0))) (* (cbrt (* (+ x y) (+ (- z) 1.0))) (cbrt (* (+ x y) (+ (- z) 1.0)))) (cbrt (* (+ x y) (+ (- z) 1.0))) (pow (* (+ x y) (+ (- z) 1.0)) 3) (sqrt (* (+ x y) (+ (- z) 1.0))) (sqrt (* (+ x y) (+ (- z) 1.0))) (* (* (+ (pow x 3) (pow y 3)) (fma x x (* y (- y x)))) (+ 1.0 (- z))) (* (fma x x (* y (- y x))) (fma x x (* y (- y x)))) (fma (* 1.0 (+ (pow x 3) (pow y 3))) (- x y) (* (fma x x (* y (- y x))) (* (- (* x x) (* y y)) (- z)))) (* (- x y) (fma x x (* y (- y x)))) (fma (* 1.0 (- (* x x) (* y y))) (fma x x (* y (- y x))) (* (- x y) (* (+ (pow x 3) (pow y 3)) (- z)))) (* (- x y) (fma x x (* y (- y x)))) (* (* (- x y) (- (* x x) (* y y))) (+ (- z) 1.0)) (* (- x y) (- x y)) (+ (pow (* 1.0 (+ x y)) 3) (pow (* (+ x y) (- z)) 3)) (fma (* (* z z) (+ x y)) (+ x y) (* (* 1.0 (+ x y)) (* (+ x y) (+ 1.0 z)))) (* (* (+ x y) (+ x y)) (+ (* 1.0 1.0) (* z (- z)))) (* (+ x y) (+ 1.0 z)) (- (* 1.0 y) (* (+ x y) z)) (- (* 1.0 y) (* (+ x y) z)) (- (* 1.0 (+ x y)) (* x z)) (- (* 1.0 y) (* (+ x y) z)) (- (* 1.0 y) (* (+ x y) z)) 5.844 * * * [progress]: adding candidates to table 5.915 * [progress]: [Phase 3 of 3] Extracting. 5.915 * * [regime]: Finding splitpoints for: (# #) 5.916 * * * [regime-changes]: Trying 6 branch expressions: ((- 1.0 z) (+ x y) (* (+ x y) (- 1.0 z)) z y x) 5.916 * * * * [regimes]: Trying to branch on (- 1.0 z) from (# #) 5.935 * * * * [regimes]: Trying to branch on (+ x y) from (# #) 5.953 * * * * [regimes]: Trying to branch on (* (+ x y) (- 1.0 z)) from (# #) 5.977 * * * * [regimes]: Trying to branch on z from (# #) 5.990 * * * * [regimes]: Trying to branch on y from (# #) 6.004 * * * * [regimes]: Trying to branch on x from (# #) 6.029 * * * [regime]: Found split indices: #