20.631 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) 0.030 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.031 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.034 * * [simplify]: iteration 2 : 63 enodes (cost 11 ) 0.044 * * [simplify]: iteration 3 : 155 enodes (cost 9 ) 0.077 * * [simplify]: iteration 4 : 300 enodes (cost 7 ) 0.181 * * [simplify]: iteration 5 : 551 enodes (cost 5 ) 0.516 * * [simplify]: iteration 6 : 1431 enodes (cost 5 ) 2.797 * * [simplify]: iteration 7 : 4712 enodes (cost 5 ) 7.317 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 7.317 * [simplify]: Simplified to: (* y (- x z)) 7.320 * * [progress]: iteration 1 / 4 7.320 * * * [progress]: picking best candidate 7.321 * * * * [pick]: Picked # 7.322 * * * [progress]: localizing error 7.326 * * * [progress]: generating rewritten candidates 7.326 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.336 * * * [progress]: generating series expansions 7.336 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.336 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0 7.336 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 7.336 * [taylor]: Taking taylor expansion of y in z 7.336 * [taylor]: Taking taylor expansion of (- x z) in z 7.336 * [taylor]: Taking taylor expansion of x in z 7.336 * [taylor]: Taking taylor expansion of z in z 7.336 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 7.336 * [taylor]: Taking taylor expansion of y in x 7.336 * [taylor]: Taking taylor expansion of (- x z) in x 7.336 * [taylor]: Taking taylor expansion of x in x 7.336 * [taylor]: Taking taylor expansion of z in x 7.336 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 7.336 * [taylor]: Taking taylor expansion of y in y 7.336 * [taylor]: Taking taylor expansion of (- x z) in y 7.336 * [taylor]: Taking taylor expansion of x in y 7.336 * [taylor]: Taking taylor expansion of z in y 7.336 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 7.336 * [taylor]: Taking taylor expansion of y in y 7.336 * [taylor]: Taking taylor expansion of (- x z) in y 7.337 * [taylor]: Taking taylor expansion of x in y 7.337 * [taylor]: Taking taylor expansion of z in y 7.337 * [taylor]: Taking taylor expansion of 0 in x 7.337 * [taylor]: Taking taylor expansion of 0 in z 7.338 * [taylor]: Taking taylor expansion of (- x z) in x 7.338 * [taylor]: Taking taylor expansion of x in x 7.338 * [taylor]: Taking taylor expansion of z in x 7.338 * [taylor]: Taking taylor expansion of (- z) in z 7.338 * [taylor]: Taking taylor expansion of z in z 7.338 * [taylor]: Taking taylor expansion of 0 in z 7.339 * [taylor]: Taking taylor expansion of 0 in x 7.339 * [taylor]: Taking taylor expansion of 0 in z 7.340 * [taylor]: Taking taylor expansion of 1 in z 7.340 * [taylor]: Taking taylor expansion of 0 in z 7.341 * [taylor]: Taking taylor expansion of 0 in x 7.341 * [taylor]: Taking taylor expansion of 0 in z 7.341 * [taylor]: Taking taylor expansion of 0 in z 7.342 * [taylor]: Taking taylor expansion of 0 in z 7.342 * [taylor]: Taking taylor expansion of 0 in z 7.342 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0 7.342 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 7.342 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.342 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.342 * [taylor]: Taking taylor expansion of x in z 7.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.342 * [taylor]: Taking taylor expansion of z in z 7.342 * [taylor]: Taking taylor expansion of y in z 7.343 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 7.343 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.343 * [taylor]: Taking taylor expansion of x in x 7.343 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.343 * [taylor]: Taking taylor expansion of z in x 7.343 * [taylor]: Taking taylor expansion of y in x 7.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 7.344 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.344 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.344 * [taylor]: Taking taylor expansion of x in y 7.344 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.344 * [taylor]: Taking taylor expansion of z in y 7.344 * [taylor]: Taking taylor expansion of y in y 7.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 7.344 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.344 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.344 * [taylor]: Taking taylor expansion of x in y 7.344 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.344 * [taylor]: Taking taylor expansion of z in y 7.344 * [taylor]: Taking taylor expansion of y in y 7.345 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.345 * [taylor]: Taking taylor expansion of x in x 7.345 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.345 * [taylor]: Taking taylor expansion of z in x 7.345 * [taylor]: Taking taylor expansion of 1 in z 7.346 * [taylor]: Taking taylor expansion of 0 in x 7.347 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.347 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.347 * [taylor]: Taking taylor expansion of z in z 7.349 * [taylor]: Taking taylor expansion of 0 in x 7.349 * [taylor]: Taking taylor expansion of 0 in z 7.350 * [taylor]: Taking taylor expansion of 0 in z 7.353 * [taylor]: Taking taylor expansion of 0 in x 7.353 * [taylor]: Taking taylor expansion of 0 in z 7.353 * [taylor]: Taking taylor expansion of 0 in z 7.354 * [taylor]: Taking taylor expansion of 0 in z 7.355 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0 7.355 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 7.355 * [taylor]: Taking taylor expansion of -1 in z 7.355 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 7.355 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.355 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.355 * [taylor]: Taking taylor expansion of z in z 7.355 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.355 * [taylor]: Taking taylor expansion of x in z 7.355 * [taylor]: Taking taylor expansion of y in z 7.356 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 7.356 * [taylor]: Taking taylor expansion of -1 in x 7.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 7.356 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.356 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.356 * [taylor]: Taking taylor expansion of z in x 7.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.356 * [taylor]: Taking taylor expansion of x in x 7.356 * [taylor]: Taking taylor expansion of y in x 7.356 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 7.356 * [taylor]: Taking taylor expansion of -1 in y 7.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 7.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.357 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.357 * [taylor]: Taking taylor expansion of z in y 7.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.357 * [taylor]: Taking taylor expansion of x in y 7.357 * [taylor]: Taking taylor expansion of y in y 7.357 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 7.357 * [taylor]: Taking taylor expansion of -1 in y 7.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 7.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.357 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.357 * [taylor]: Taking taylor expansion of z in y 7.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.357 * [taylor]: Taking taylor expansion of x in y 7.357 * [taylor]: Taking taylor expansion of y in y 7.357 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x 7.357 * [taylor]: Taking taylor expansion of -1 in x 7.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.357 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.357 * [taylor]: Taking taylor expansion of z in x 7.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.357 * [taylor]: Taking taylor expansion of x in x 7.358 * [taylor]: Taking taylor expansion of 1 in z 7.360 * [taylor]: Taking taylor expansion of 0 in x 7.361 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.361 * [taylor]: Taking taylor expansion of z in z 7.368 * [taylor]: Taking taylor expansion of 0 in x 7.369 * [taylor]: Taking taylor expansion of 0 in z 7.370 * [taylor]: Taking taylor expansion of 0 in z 7.374 * [taylor]: Taking taylor expansion of 0 in x 7.374 * [taylor]: Taking taylor expansion of 0 in z 7.374 * [taylor]: Taking taylor expansion of 0 in z 7.376 * [taylor]: Taking taylor expansion of 0 in z 7.377 * * * [progress]: simplifying candidates 7.377 * [simplify]: Simplifying using # : (* 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 x) (* y (- z)) (* y x) (* y (- z)) (* 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)) 7.379 * * [simplify]: iteration 0 : 52 enodes (cost 217 ) 7.389 * * [simplify]: iteration 1 : 112 enodes (cost 206 ) 7.405 * * [simplify]: iteration 2 : 278 enodes (cost 186 ) 7.464 * * [simplify]: iteration 3 : 786 enodes (cost 186 ) 7.732 * * [simplify]: iteration 4 : 2099 enodes (cost 186 ) 8.631 * * [simplify]: iteration done : 5000 enodes (cost 186 ) 8.632 * [simplify]: Simplified to: (* y (- x z)) (log (* y (- x z))) (log (* y (- x z))) (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))) (* x y) (* (- z) y) (* x y) (* (- z) y) (* x y) (* (- z) y) (* x y) (* (- z) y) (* y (* (cbrt (- x z)) (cbrt (- x z)))) (* y (sqrt (- x z))) y (* y (+ (sqrt x) (sqrt z))) y (* (cbrt y) (- x z)) (* (sqrt y) (- x z)) (* y (- x z)) (* y (- (pow x 3) (pow z 3))) (* y (- (* x x) (* z z))) (* y (- x z)) (* y (- x z)) (* y (- x z)) 8.632 * * * [progress]: adding candidates to table 8.673 * * [progress]: iteration 2 / 4 8.673 * * * [progress]: picking best candidate 8.674 * * * * [pick]: Picked # 8.674 * * * [progress]: localizing error 8.680 * * * [progress]: generating rewritten candidates 8.680 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.683 * * * [progress]: generating series expansions 8.683 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.683 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 8.683 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 8.683 * [taylor]: Taking taylor expansion of (* x y) in z 8.683 * [taylor]: Taking taylor expansion of x in z 8.683 * [taylor]: Taking taylor expansion of y in z 8.683 * [taylor]: Taking taylor expansion of (* z y) in z 8.683 * [taylor]: Taking taylor expansion of z in z 8.683 * [taylor]: Taking taylor expansion of y in z 8.683 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 8.683 * [taylor]: Taking taylor expansion of (* x y) in y 8.683 * [taylor]: Taking taylor expansion of x in y 8.684 * [taylor]: Taking taylor expansion of y in y 8.684 * [taylor]: Taking taylor expansion of (* z y) in y 8.684 * [taylor]: Taking taylor expansion of z in y 8.684 * [taylor]: Taking taylor expansion of y in y 8.684 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 8.684 * [taylor]: Taking taylor expansion of (* x y) in x 8.684 * [taylor]: Taking taylor expansion of x in x 8.684 * [taylor]: Taking taylor expansion of y in x 8.684 * [taylor]: Taking taylor expansion of (* z y) in x 8.684 * [taylor]: Taking taylor expansion of z in x 8.684 * [taylor]: Taking taylor expansion of y in x 8.684 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 8.684 * [taylor]: Taking taylor expansion of (* x y) in x 8.684 * [taylor]: Taking taylor expansion of x in x 8.684 * [taylor]: Taking taylor expansion of y in x 8.684 * [taylor]: Taking taylor expansion of (* z y) in x 8.684 * [taylor]: Taking taylor expansion of z in x 8.684 * [taylor]: Taking taylor expansion of y in x 8.684 * [taylor]: Taking taylor expansion of (- (* z y)) in y 8.684 * [taylor]: Taking taylor expansion of (* z y) in y 8.684 * [taylor]: Taking taylor expansion of z in y 8.684 * [taylor]: Taking taylor expansion of y in y 8.684 * [taylor]: Taking taylor expansion of 0 in z 8.685 * [taylor]: Taking taylor expansion of y in y 8.685 * [taylor]: Taking taylor expansion of 0 in z 8.685 * [taylor]: Taking taylor expansion of (- z) in z 8.685 * [taylor]: Taking taylor expansion of z in z 8.687 * [taylor]: Taking taylor expansion of 0 in y 8.687 * [taylor]: Taking taylor expansion of 0 in z 8.687 * [taylor]: Taking taylor expansion of 1 in z 8.688 * [taylor]: Taking taylor expansion of 0 in z 8.690 * [taylor]: Taking taylor expansion of 0 in y 8.690 * [taylor]: Taking taylor expansion of 0 in z 8.690 * [taylor]: Taking taylor expansion of 0 in z 8.690 * [taylor]: Taking taylor expansion of 0 in z 8.691 * [taylor]: Taking taylor expansion of 0 in z 8.691 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 8.691 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 8.691 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 8.691 * [taylor]: Taking taylor expansion of (* x y) in z 8.691 * [taylor]: Taking taylor expansion of x in z 8.691 * [taylor]: Taking taylor expansion of y in z 8.691 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 8.691 * [taylor]: Taking taylor expansion of (* z y) in z 8.691 * [taylor]: Taking taylor expansion of z in z 8.691 * [taylor]: Taking taylor expansion of y in z 8.691 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 8.691 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.691 * [taylor]: Taking taylor expansion of (* x y) in y 8.691 * [taylor]: Taking taylor expansion of x in y 8.691 * [taylor]: Taking taylor expansion of y in y 8.692 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.692 * [taylor]: Taking taylor expansion of (* z y) in y 8.692 * [taylor]: Taking taylor expansion of z in y 8.692 * [taylor]: Taking taylor expansion of y in y 8.692 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 8.692 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.692 * [taylor]: Taking taylor expansion of (* x y) in x 8.692 * [taylor]: Taking taylor expansion of x in x 8.692 * [taylor]: Taking taylor expansion of y in x 8.693 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.693 * [taylor]: Taking taylor expansion of (* z y) in x 8.693 * [taylor]: Taking taylor expansion of z in x 8.693 * [taylor]: Taking taylor expansion of y in x 8.693 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 8.693 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.693 * [taylor]: Taking taylor expansion of (* x y) in x 8.693 * [taylor]: Taking taylor expansion of x in x 8.693 * [taylor]: Taking taylor expansion of y in x 8.693 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.693 * [taylor]: Taking taylor expansion of (* z y) in x 8.693 * [taylor]: Taking taylor expansion of z in x 8.693 * [taylor]: Taking taylor expansion of y in x 8.693 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.693 * [taylor]: Taking taylor expansion of y in y 8.694 * [taylor]: Taking taylor expansion of 1 in z 8.694 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 8.694 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.694 * [taylor]: Taking taylor expansion of (* z y) in y 8.694 * [taylor]: Taking taylor expansion of z in y 8.694 * [taylor]: Taking taylor expansion of y in y 8.695 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.695 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.695 * [taylor]: Taking taylor expansion of z in z 8.696 * [taylor]: Taking taylor expansion of 0 in z 8.697 * [taylor]: Taking taylor expansion of 0 in y 8.698 * [taylor]: Taking taylor expansion of 0 in z 8.698 * [taylor]: Taking taylor expansion of 0 in z 8.701 * [taylor]: Taking taylor expansion of 0 in y 8.701 * [taylor]: Taking taylor expansion of 0 in z 8.701 * [taylor]: Taking taylor expansion of 0 in z 8.702 * [taylor]: Taking taylor expansion of 0 in z 8.703 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 8.703 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 8.703 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 8.703 * [taylor]: Taking taylor expansion of (* x y) in z 8.703 * [taylor]: Taking taylor expansion of x in z 8.703 * [taylor]: Taking taylor expansion of y in z 8.703 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 8.703 * [taylor]: Taking taylor expansion of (* z y) in z 8.703 * [taylor]: Taking taylor expansion of z in z 8.703 * [taylor]: Taking taylor expansion of y in z 8.704 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 8.704 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.704 * [taylor]: Taking taylor expansion of (* x y) in y 8.704 * [taylor]: Taking taylor expansion of x in y 8.704 * [taylor]: Taking taylor expansion of y in y 8.704 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.704 * [taylor]: Taking taylor expansion of (* z y) in y 8.704 * [taylor]: Taking taylor expansion of z in y 8.704 * [taylor]: Taking taylor expansion of y in y 8.705 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 8.705 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.705 * [taylor]: Taking taylor expansion of (* x y) in x 8.705 * [taylor]: Taking taylor expansion of x in x 8.705 * [taylor]: Taking taylor expansion of y in x 8.705 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.705 * [taylor]: Taking taylor expansion of (* z y) in x 8.705 * [taylor]: Taking taylor expansion of z in x 8.705 * [taylor]: Taking taylor expansion of y in x 8.705 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 8.705 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.705 * [taylor]: Taking taylor expansion of (* x y) in x 8.705 * [taylor]: Taking taylor expansion of x in x 8.705 * [taylor]: Taking taylor expansion of y in x 8.705 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.705 * [taylor]: Taking taylor expansion of (* z y) in x 8.705 * [taylor]: Taking taylor expansion of z in x 8.705 * [taylor]: Taking taylor expansion of y in x 8.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.706 * [taylor]: Taking taylor expansion of y in y 8.706 * [taylor]: Taking taylor expansion of 1 in z 8.707 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 8.707 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.707 * [taylor]: Taking taylor expansion of (* z y) in y 8.707 * [taylor]: Taking taylor expansion of z in y 8.707 * [taylor]: Taking taylor expansion of y in y 8.707 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.707 * [taylor]: Taking taylor expansion of z in z 8.708 * [taylor]: Taking taylor expansion of 0 in z 8.709 * [taylor]: Taking taylor expansion of 0 in y 8.710 * [taylor]: Taking taylor expansion of 0 in z 8.711 * [taylor]: Taking taylor expansion of 0 in z 8.716 * [taylor]: Taking taylor expansion of 0 in y 8.716 * [taylor]: Taking taylor expansion of 0 in z 8.717 * [taylor]: Taking taylor expansion of 0 in z 8.717 * [taylor]: Taking taylor expansion of 0 in z 8.718 * * * [progress]: simplifying candidates 8.719 * [simplify]: Simplifying using # : (* (exp (* x y)) (exp (* (- z) y))) (log (+ (* x y) (* (- z) y))) (exp (+ (* x y) (* (- z) y))) (* (cbrt (+ (* x y) (* (- z) y))) (cbrt (+ (* x y) (* (- z) y)))) (cbrt (+ (* x y) (* (- z) y))) (* (* (+ (* x y) (* (- z) y)) (+ (* x y) (* (- z) y))) (+ (* x y) (* (- z) y))) (sqrt (+ (* x y) (* (- z) y))) (sqrt (+ (* x y) (* (- z) y))) (+ (pow (* x y) 3) (pow (* (- z) y) 3)) (+ (* (* x y) (* x y)) (- (* (* (- z) y) (* (- z) y)) (* (* x y) (* (- z) y)))) (- (* (* x y) (* x y)) (* (* (- z) y) (* (- z) y))) (- (* x y) (* (- z) y)) (+ x (- z)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 8.720 * * [simplify]: iteration 0 : 31 enodes (cost 188 ) 8.725 * * [simplify]: iteration 1 : 106 enodes (cost 135 ) 8.748 * * [simplify]: iteration 2 : 394 enodes (cost 122 ) 8.915 * * [simplify]: iteration 3 : 1452 enodes (cost 118 ) 10.183 * * [simplify]: iteration 4 : 4621 enodes (cost 116 ) 13.031 * * [simplify]: iteration done : 5000 enodes (cost 116 ) 13.031 * [simplify]: Simplified to: (exp (* y (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (* (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))) (* (- (pow x 3) (pow z 3)) (pow y 3)) (* y (+ (* (* z y) (+ z x)) (* (* x x) y))) (* (* y y) (- (* x x) (* z z))) (* y (+ z x)) (- x z) (* y (- x z)) (* y (- x z)) (* y (- x z)) 13.031 * * * [progress]: adding candidates to table 13.057 * [progress]: [Phase 3 of 3] Extracting. 13.057 * * [regime]: Finding splitpoints for: (# #) 13.058 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 13.058 * * * * [regimes]: Trying to branch on z from (# #) 13.073 * * * * [regimes]: Trying to branch on y from (# #) 13.085 * * * * [regimes]: Trying to branch on x from (# #) 13.097 * * * [regime]: Found split indices: #