897.580 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.105 * * * [progress]: [2/2] Setting up program. 0.109 * [progress]: [Phase 2 of 3] Improving. 0.109 * [simplify]: Simplifying using # : (exp (- (+ x (* y (log y))) z)) 0.110 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.111 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.113 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 0.118 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 0.127 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 0.142 * * [simplify]: iteration 5 : 169 enodes (cost 8 ) 0.213 * * [simplify]: iteration 6 : 482 enodes (cost 8 ) 0.628 * * [simplify]: iteration 7 : 1363 enodes (cost 8 ) 3.244 * * [simplify]: iteration 8 : 4155 enodes (cost 8 ) 4.686 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 4.686 * [simplify]: Simplified to: (* (pow y y) (exp (- x z))) 4.691 * * [progress]: iteration 1 / 4 4.691 * * * [progress]: picking best candidate 4.695 * * * * [pick]: Picked # 4.695 * * * [progress]: localizing error 4.704 * * * [progress]: generating rewritten candidates 4.704 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 4.709 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 4.713 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.722 * * * [progress]: generating series expansions 4.722 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 4.722 * [approximate]: Taking taylor expansion of (* (log y) y) in (y) around 0 4.722 * [taylor]: Taking taylor expansion of (* (log y) y) in y 4.722 * [taylor]: Taking taylor expansion of (log y) in y 4.722 * [taylor]: Taking taylor expansion of y in y 4.722 * [taylor]: Taking taylor expansion of y in y 4.722 * [taylor]: Taking taylor expansion of (* (log y) y) in y 4.722 * [taylor]: Taking taylor expansion of (log y) in y 4.722 * [taylor]: Taking taylor expansion of y in y 4.722 * [taylor]: Taking taylor expansion of y in y 4.729 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) y) in (y) around 0 4.729 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 4.729 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.729 * [taylor]: Taking taylor expansion of y in y 4.729 * [taylor]: Taking taylor expansion of y in y 4.729 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 4.729 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.729 * [taylor]: Taking taylor expansion of y in y 4.729 * [taylor]: Taking taylor expansion of y in y 4.735 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in (y) around 0 4.735 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in y 4.735 * [taylor]: Taking taylor expansion of -1 in y 4.735 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 4.735 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.735 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.735 * [taylor]: Taking taylor expansion of -1 in y 4.735 * [taylor]: Taking taylor expansion of y in y 4.735 * [taylor]: Taking taylor expansion of y in y 4.735 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in y 4.735 * [taylor]: Taking taylor expansion of -1 in y 4.735 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 4.735 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.735 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.735 * [taylor]: Taking taylor expansion of -1 in y 4.735 * [taylor]: Taking taylor expansion of y in y 4.735 * [taylor]: Taking taylor expansion of y in y 4.741 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 4.741 * [approximate]: Taking taylor expansion of (+ x (* (log y) y)) in (x y) around 0 4.741 * [taylor]: Taking taylor expansion of (+ x (* (log y) y)) in y 4.741 * [taylor]: Taking taylor expansion of x in y 4.741 * [taylor]: Taking taylor expansion of (* (log y) y) in y 4.741 * [taylor]: Taking taylor expansion of (log y) in y 4.741 * [taylor]: Taking taylor expansion of y in y 4.741 * [taylor]: Taking taylor expansion of y in y 4.741 * [taylor]: Taking taylor expansion of (+ x (* (log y) y)) in x 4.741 * [taylor]: Taking taylor expansion of x in x 4.741 * [taylor]: Taking taylor expansion of (* (log y) y) in x 4.741 * [taylor]: Taking taylor expansion of (log y) in x 4.741 * [taylor]: Taking taylor expansion of y in x 4.741 * [taylor]: Taking taylor expansion of y in x 4.741 * [taylor]: Taking taylor expansion of (+ x (* (log y) y)) in x 4.741 * [taylor]: Taking taylor expansion of x in x 4.741 * [taylor]: Taking taylor expansion of (* (log y) y) in x 4.741 * [taylor]: Taking taylor expansion of (log y) in x 4.741 * [taylor]: Taking taylor expansion of y in x 4.742 * [taylor]: Taking taylor expansion of y in x 4.742 * [taylor]: Taking taylor expansion of (* (log y) y) in y 4.742 * [taylor]: Taking taylor expansion of (log y) in y 4.742 * [taylor]: Taking taylor expansion of y in y 4.742 * [taylor]: Taking taylor expansion of y in y 4.742 * [taylor]: Taking taylor expansion of 1 in y 4.743 * [taylor]: Taking taylor expansion of 0 in y 4.743 * [taylor]: Taking taylor expansion of 0 in y 4.744 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in (x y) around 0 4.744 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in y 4.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.744 * [taylor]: Taking taylor expansion of x in y 4.744 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 4.744 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.744 * [taylor]: Taking taylor expansion of y in y 4.744 * [taylor]: Taking taylor expansion of y in y 4.744 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in x 4.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.744 * [taylor]: Taking taylor expansion of x in x 4.744 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 4.744 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.744 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.744 * [taylor]: Taking taylor expansion of y in x 4.744 * [taylor]: Taking taylor expansion of y in x 4.744 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in x 4.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.744 * [taylor]: Taking taylor expansion of x in x 4.744 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 4.744 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.744 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.744 * [taylor]: Taking taylor expansion of y in x 4.744 * [taylor]: Taking taylor expansion of y in x 4.744 * [taylor]: Taking taylor expansion of 1 in y 4.745 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 4.745 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.745 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.745 * [taylor]: Taking taylor expansion of y in y 4.745 * [taylor]: Taking taylor expansion of y in y 4.745 * [taylor]: Taking taylor expansion of 0 in y 4.746 * [taylor]: Taking taylor expansion of 0 in y 4.747 * [taylor]: Taking taylor expansion of 0 in y 4.747 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (log (/ -1 y)) y))) in (x y) around 0 4.747 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (log (/ -1 y)) y))) in y 4.747 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ -1 y)) y)) in y 4.747 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.747 * [taylor]: Taking taylor expansion of x in y 4.747 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 4.748 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.748 * [taylor]: Taking taylor expansion of -1 in y 4.748 * [taylor]: Taking taylor expansion of y in y 4.748 * [taylor]: Taking taylor expansion of y in y 4.748 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (log (/ -1 y)) y))) in x 4.748 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ -1 y)) y)) in x 4.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.748 * [taylor]: Taking taylor expansion of x in x 4.748 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 4.748 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.748 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.748 * [taylor]: Taking taylor expansion of -1 in x 4.748 * [taylor]: Taking taylor expansion of y in x 4.748 * [taylor]: Taking taylor expansion of y in x 4.748 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (/ (log (/ -1 y)) y))) in x 4.749 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ -1 y)) y)) in x 4.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.749 * [taylor]: Taking taylor expansion of x in x 4.749 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 4.749 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.749 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.749 * [taylor]: Taking taylor expansion of -1 in x 4.749 * [taylor]: Taking taylor expansion of y in x 4.749 * [taylor]: Taking taylor expansion of y in x 4.749 * [taylor]: Taking taylor expansion of (neg 1) in y 4.749 * [taylor]: Taking taylor expansion of 1 in y 4.749 * [taylor]: Taking taylor expansion of (neg (/ (log (/ -1 y)) y)) in y 4.749 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 4.749 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.749 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.749 * [taylor]: Taking taylor expansion of -1 in y 4.749 * [taylor]: Taking taylor expansion of y in y 4.749 * [taylor]: Taking taylor expansion of y in y 4.750 * [taylor]: Taking taylor expansion of 0 in y 4.751 * [taylor]: Taking taylor expansion of 0 in y 4.752 * [taylor]: Taking taylor expansion of 0 in y 4.752 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.752 * [approximate]: Taking taylor expansion of (exp (- (+ x (* (log y) y)) z)) in (x y z) around 0 4.752 * [taylor]: Taking taylor expansion of (exp (- (+ x (* (log y) y)) z)) in z 4.752 * [taylor]: Taking taylor expansion of (- (+ x (* (log y) y)) z) in z 4.752 * [taylor]: Taking taylor expansion of (+ x (* (log y) y)) in z 4.752 * [taylor]: Taking taylor expansion of x in z 4.752 * [taylor]: Taking taylor expansion of (* (log y) y) in z 4.752 * [taylor]: Taking taylor expansion of (log y) in z 4.752 * [taylor]: Taking taylor expansion of y in z 4.752 * [taylor]: Taking taylor expansion of y in z 4.752 * [taylor]: Taking taylor expansion of z in z 4.752 * [taylor]: Taking taylor expansion of (exp (- (+ x (* (log y) y)) z)) in y 4.752 * [taylor]: Taking taylor expansion of (- (+ x (* (log y) y)) z) in y 4.753 * [taylor]: Taking taylor expansion of (+ x (* (log y) y)) in y 4.753 * [taylor]: Taking taylor expansion of x in y 4.753 * [taylor]: Taking taylor expansion of (* (log y) y) in y 4.753 * [taylor]: Taking taylor expansion of (log y) in y 4.753 * [taylor]: Taking taylor expansion of y in y 4.753 * [taylor]: Taking taylor expansion of y in y 4.753 * [taylor]: Taking taylor expansion of z in y 4.753 * [taylor]: Taking taylor expansion of (exp (- (+ x (* (log y) y)) z)) in x 4.753 * [taylor]: Taking taylor expansion of (- (+ x (* (log y) y)) z) in x 4.753 * [taylor]: Taking taylor expansion of (+ x (* (log y) y)) in x 4.753 * [taylor]: Taking taylor expansion of x in x 4.753 * [taylor]: Taking taylor expansion of (* (log y) y) in x 4.753 * [taylor]: Taking taylor expansion of (log y) in x 4.753 * [taylor]: Taking taylor expansion of y in x 4.753 * [taylor]: Taking taylor expansion of y in x 4.753 * [taylor]: Taking taylor expansion of z in x 4.753 * [taylor]: Taking taylor expansion of (exp (- (+ x (* (log y) y)) z)) in x 4.753 * [taylor]: Taking taylor expansion of (- (+ x (* (log y) y)) z) in x 4.753 * [taylor]: Taking taylor expansion of (+ x (* (log y) y)) in x 4.753 * [taylor]: Taking taylor expansion of x in x 4.753 * [taylor]: Taking taylor expansion of (* (log y) y) in x 4.753 * [taylor]: Taking taylor expansion of (log y) in x 4.753 * [taylor]: Taking taylor expansion of y in x 4.753 * [taylor]: Taking taylor expansion of y in x 4.753 * [taylor]: Taking taylor expansion of z in x 4.754 * [taylor]: Taking taylor expansion of (exp (- (* (log y) y) z)) in y 4.754 * [taylor]: Taking taylor expansion of (- (* (log y) y) z) in y 4.754 * [taylor]: Taking taylor expansion of (* (log y) y) in y 4.754 * [taylor]: Taking taylor expansion of (log y) in y 4.754 * [taylor]: Taking taylor expansion of y in y 4.754 * [taylor]: Taking taylor expansion of y in y 4.754 * [taylor]: Taking taylor expansion of z in y 4.754 * [taylor]: Taking taylor expansion of (exp (neg z)) in z 4.754 * [taylor]: Taking taylor expansion of (neg z) in z 4.754 * [taylor]: Taking taylor expansion of z in z 4.754 * [taylor]: Taking taylor expansion of (exp (- (* (log y) y) z)) in y 4.754 * [taylor]: Taking taylor expansion of (- (* (log y) y) z) in y 4.754 * [taylor]: Taking taylor expansion of (* (log y) y) in y 4.754 * [taylor]: Taking taylor expansion of (log y) in y 4.754 * [taylor]: Taking taylor expansion of y in y 4.754 * [taylor]: Taking taylor expansion of y in y 4.754 * [taylor]: Taking taylor expansion of z in y 4.754 * [taylor]: Taking taylor expansion of (exp (neg z)) in z 4.754 * [taylor]: Taking taylor expansion of (neg z) in z 4.754 * [taylor]: Taking taylor expansion of z in z 4.755 * [taylor]: Taking taylor expansion of (* (exp (neg z)) (+ (log y) (log 1))) in z 4.755 * [taylor]: Taking taylor expansion of (exp (neg z)) in z 4.755 * [taylor]: Taking taylor expansion of (neg z) in z 4.755 * [taylor]: Taking taylor expansion of z in z 4.755 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 4.755 * [taylor]: Taking taylor expansion of (log y) in z 4.755 * [taylor]: Taking taylor expansion of y in z 4.755 * [taylor]: Taking taylor expansion of (log 1) in z 4.755 * [taylor]: Taking taylor expansion of 1 in z 4.756 * [approximate]: Taking taylor expansion of (exp (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z))) in (x y z) around 0 4.756 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z))) in z 4.756 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z)) in z 4.756 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in z 4.756 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.756 * [taylor]: Taking taylor expansion of x in z 4.756 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 4.756 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.756 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.756 * [taylor]: Taking taylor expansion of y in z 4.756 * [taylor]: Taking taylor expansion of y in z 4.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.756 * [taylor]: Taking taylor expansion of z in z 4.756 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z))) in y 4.756 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z)) in y 4.756 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in y 4.756 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.756 * [taylor]: Taking taylor expansion of x in y 4.756 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 4.756 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.756 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.756 * [taylor]: Taking taylor expansion of y in y 4.756 * [taylor]: Taking taylor expansion of y in y 4.756 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.756 * [taylor]: Taking taylor expansion of z in y 4.757 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z))) in x 4.757 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z)) in x 4.757 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in x 4.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.757 * [taylor]: Taking taylor expansion of x in x 4.757 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 4.757 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.757 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.757 * [taylor]: Taking taylor expansion of y in x 4.757 * [taylor]: Taking taylor expansion of y in x 4.757 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.757 * [taylor]: Taking taylor expansion of z in x 4.757 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z))) in x 4.757 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z)) in x 4.757 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in x 4.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.757 * [taylor]: Taking taylor expansion of x in x 4.757 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 4.757 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.757 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.757 * [taylor]: Taking taylor expansion of y in x 4.757 * [taylor]: Taking taylor expansion of y in x 4.757 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.758 * [taylor]: Taking taylor expansion of z in x 4.758 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z))) in y 4.758 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z)) in y 4.758 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in y 4.758 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.758 * [taylor]: Taking taylor expansion of x in y 4.758 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 4.758 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.758 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.758 * [taylor]: Taking taylor expansion of y in y 4.758 * [taylor]: Taking taylor expansion of y in y 4.758 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.758 * [taylor]: Taking taylor expansion of z in y 4.758 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z))) in z 4.758 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ (log (/ 1 y)) y)) (/ 1 z)) in z 4.758 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ 1 y)) y)) in z 4.758 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.758 * [taylor]: Taking taylor expansion of x in z 4.758 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 4.758 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.759 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.759 * [taylor]: Taking taylor expansion of y in z 4.759 * [taylor]: Taking taylor expansion of y in z 4.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.759 * [taylor]: Taking taylor expansion of z in z 4.762 * [taylor]: Taking taylor expansion of 0 in y 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [taylor]: Taking taylor expansion of 0 in y 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [approximate]: Taking taylor expansion of (exp (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y)))) in (x y z) around 0 4.763 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y)))) in z 4.763 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y))) in z 4.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.763 * [taylor]: Taking taylor expansion of z in z 4.763 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ -1 y)) y)) in z 4.763 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.763 * [taylor]: Taking taylor expansion of x in z 4.763 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 4.763 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 4.763 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.763 * [taylor]: Taking taylor expansion of -1 in z 4.763 * [taylor]: Taking taylor expansion of y in z 4.763 * [taylor]: Taking taylor expansion of y in z 4.764 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y)))) in y 4.764 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y))) in y 4.764 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.764 * [taylor]: Taking taylor expansion of z in y 4.764 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ -1 y)) y)) in y 4.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.764 * [taylor]: Taking taylor expansion of x in y 4.764 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 4.764 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.764 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.764 * [taylor]: Taking taylor expansion of -1 in y 4.764 * [taylor]: Taking taylor expansion of y in y 4.764 * [taylor]: Taking taylor expansion of y in y 4.764 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y)))) in x 4.764 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y))) in x 4.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.764 * [taylor]: Taking taylor expansion of z in x 4.764 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ -1 y)) y)) in x 4.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.764 * [taylor]: Taking taylor expansion of x in x 4.765 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 4.765 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.765 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.765 * [taylor]: Taking taylor expansion of -1 in x 4.765 * [taylor]: Taking taylor expansion of y in x 4.765 * [taylor]: Taking taylor expansion of y in x 4.765 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y)))) in x 4.765 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ (log (/ -1 y)) y))) in x 4.765 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.765 * [taylor]: Taking taylor expansion of z in x 4.765 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ (log (/ -1 y)) y)) in x 4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.765 * [taylor]: Taking taylor expansion of x in x 4.765 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 4.765 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.765 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.765 * [taylor]: Taking taylor expansion of -1 in x 4.765 * [taylor]: Taking taylor expansion of y in x 4.765 * [taylor]: Taking taylor expansion of y in x 4.765 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (+ (/ (log (/ -1 y)) y) (/ 1 x)))) in y 4.765 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ (log (/ -1 y)) y) (/ 1 x))) in y 4.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.765 * [taylor]: Taking taylor expansion of z in y 4.766 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) y) (/ 1 x)) in y 4.766 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 4.766 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.766 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.766 * [taylor]: Taking taylor expansion of -1 in y 4.766 * [taylor]: Taking taylor expansion of y in y 4.766 * [taylor]: Taking taylor expansion of y in y 4.766 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.766 * [taylor]: Taking taylor expansion of x in y 4.766 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (+ (/ (log (/ -1 y)) y) (/ 1 x)))) in z 4.766 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ (log (/ -1 y)) y) (/ 1 x))) in z 4.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.766 * [taylor]: Taking taylor expansion of z in z 4.766 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) y) (/ 1 x)) in z 4.766 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 4.766 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 4.766 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.766 * [taylor]: Taking taylor expansion of -1 in z 4.766 * [taylor]: Taking taylor expansion of y in z 4.766 * [taylor]: Taking taylor expansion of y in z 4.766 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.766 * [taylor]: Taking taylor expansion of x in z 4.767 * [taylor]: Taking taylor expansion of 0 in y 4.767 * [taylor]: Taking taylor expansion of 0 in z 4.767 * [taylor]: Taking taylor expansion of 0 in z 4.767 * [taylor]: Taking taylor expansion of 0 in y 4.767 * [taylor]: Taking taylor expansion of 0 in z 4.767 * [taylor]: Taking taylor expansion of 0 in z 4.767 * [taylor]: Taking taylor expansion of 0 in z 4.767 * * * [progress]: simplifying candidates 4.768 * [simplify]: Simplifying using # : (* y (log y)) (+ (log y) (log (log y))) (log (* y (log y))) (exp (* y (log y))) (* (* (* y y) y) (* (* (log y) (log y)) (log y))) (* (cbrt (* y (log y))) (cbrt (* y (log y)))) (cbrt (* y (log y))) (* (* (* y (log y)) (* y (log y))) (* y (log y))) (sqrt (* y (log y))) (sqrt (* y (log y))) (* (sqrt y) (sqrt (log y))) (* (sqrt y) (sqrt (log y))) (* y (log (* (cbrt y) (cbrt y)))) (* y (log (cbrt y))) (* y (log (sqrt y))) (* y (log (sqrt y))) (* y (log 1)) (* y (log y)) (* (log (* (cbrt y) (cbrt y))) y) (* (log (cbrt y)) y) (* (log (sqrt y)) y) (* (log (sqrt y)) y) (* (log 1) y) (* (log y) y) (* y 1) (* y (* (cbrt (log y)) (cbrt (log y)))) (* y (sqrt (log y))) (* y 1) (* (cbrt y) (log y)) (* (sqrt y) (log y)) (* y (log y)) (* (exp x) (exp (* y (log y)))) (log (+ x (* y (log y)))) (exp (+ x (* y (log y)))) (* (cbrt (+ x (* y (log y)))) (cbrt (+ x (* y (log y))))) (cbrt (+ x (* y (log y)))) (* (* (+ x (* y (log y))) (+ x (* y (log y)))) (+ x (* y (log y)))) (sqrt (+ x (* y (log y)))) (sqrt (+ x (* y (log y)))) (+ (pow x 3) (pow (* y (log y)) 3)) (+ (* x x) (- (* (* y (log y)) (* y (log y))) (* x (* y (log y))))) (- (* x x) (* (* y (log y)) (* y (log y)))) (- x (* y (log y))) (+ x (* y (log (* (cbrt y) (cbrt y))))) (+ x (* y (log (sqrt y)))) (+ x (* y (log 1))) (+ x (* (log (* (cbrt y) (cbrt y))) y)) (+ x (* (log (sqrt y)) y)) (+ x (* (log 1) y)) (exp (* (cbrt (- (+ x (* y (log y))) z)) (cbrt (- (+ x (* y (log y))) z)))) (exp (sqrt (- (+ x (* y (log y))) z))) (exp 1) (exp (+ (sqrt (+ x (* y (log y)))) (sqrt z))) (exp 1) (exp (+ x (* y (log y)))) (exp (neg z)) (exp x) (exp (- (* y (log y)) z)) (exp (+ x (* y (log y)))) (exp (neg z)) (exp (+ x (* y (log y)))) (exp z) (log (exp (- (+ x (* y (log y))) z))) (exp (exp (- (+ x (* y (log y))) z))) (* (cbrt (exp (- (+ x (* y (log y))) z))) (cbrt (exp (- (+ x (* y (log y))) z)))) (cbrt (exp (- (+ x (* y (log y))) z))) (* (* (exp (- (+ x (* y (log y))) z)) (exp (- (+ x (* y (log y))) z))) (exp (- (+ x (* y (log y))) z))) (sqrt (exp (- (+ x (* y (log y))) z))) (sqrt (exp (- (+ x (* y (log y))) z))) (* y (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) y) (* (- (log -1) (log (/ -1 y))) y) (+ x (+ (* (log 1) y) (* (log y) y))) (- (+ x (* (log 1) y)) (* y (log (/ 1 y)))) (- (+ x (* (log -1) y)) (* y (log (/ -1 y)))) (+ x (+ (* (log 1) y) (+ (* (log y) y) 1))) (exp (- (+ x (* (log y) y)) z)) (exp (- (+ x (* (log y) y)) z)) 4.769 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 4.769 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 4.770 * * [simplify]: iteration done : 4 enodes (cost 4 ) 4.770 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 4.771 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 4.771 * * [simplify]: iteration done : 5 enodes (cost 6 ) 4.772 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 4.772 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 4.773 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 4.773 * * [simplify]: iteration done : 8 enodes (cost 5 ) 4.774 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 4.775 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 4.775 * * [simplify]: iteration 2 : 14 enodes (cost 3 ) 4.777 * * [simplify]: iteration 3 : 24 enodes (cost 3 ) 4.780 * * [simplify]: iteration 4 : 47 enodes (cost 3 ) 4.787 * * [simplify]: iteration 5 : 103 enodes (cost 3 ) 4.820 * * [simplify]: iteration 6 : 242 enodes (cost 3 ) 4.972 * * [simplify]: iteration 7 : 701 enodes (cost 3 ) 6.051 * * [simplify]: iteration 8 : 2681 enodes (cost 3 ) 7.960 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 7.961 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 7.963 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 7.965 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 7.974 * * [simplify]: iteration 3 : 76 enodes (cost 8 ) 7.994 * * [simplify]: iteration 4 : 134 enodes (cost 6 ) 8.047 * * [simplify]: iteration 5 : 258 enodes (cost 6 ) 8.193 * * [simplify]: iteration 6 : 662 enodes (cost 6 ) 9.124 * * [simplify]: iteration 7 : 2440 enodes (cost 6 ) 10.936 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 10.937 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 10.938 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 10.938 * * [simplify]: iteration done : 6 enodes (cost 11 ) 10.939 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 10.940 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 10.940 * * [simplify]: iteration done : 5 enodes (cost 5 ) 10.941 * * [simplify]: iteration 0 : 5 enodes (cost 14 ) 10.942 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 10.945 * * [simplify]: iteration 2 : 45 enodes (cost 6 ) 10.957 * * [simplify]: iteration 3 : 91 enodes (cost 6 ) 10.980 * * [simplify]: iteration 4 : 107 enodes (cost 6 ) 11.011 * * [simplify]: iteration 5 : 153 enodes (cost 6 ) 11.070 * * [simplify]: iteration 6 : 293 enodes (cost 6 ) 11.238 * * [simplify]: iteration 7 : 755 enodes (cost 6 ) 12.290 * * [simplify]: iteration 8 : 2745 enodes (cost 6 ) 14.015 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 14.016 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.016 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.017 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.017 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.018 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.018 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.019 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.019 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 14.020 * * [simplify]: iteration done : 6 enodes (cost 6 ) 14.020 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.021 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 14.021 * * [simplify]: iteration done : 6 enodes (cost 6 ) 14.022 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 14.023 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 14.024 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 14.025 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 14.028 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 14.031 * * [simplify]: iteration done : 24 enodes (cost 7 ) 14.032 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.032 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.033 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.033 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.034 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.034 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.035 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.035 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.036 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.036 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 14.037 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 14.038 * * [simplify]: iteration done : 7 enodes (cost 1 ) 14.038 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 14.039 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 14.039 * * [simplify]: iteration done : 4 enodes (cost 4 ) 14.040 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 14.040 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 14.041 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 14.046 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 14.049 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 14.052 * * [simplify]: iteration done : 24 enodes (cost 7 ) 14.052 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.053 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.053 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.054 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.054 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.055 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.055 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.056 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.056 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.057 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 14.057 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 14.058 * * [simplify]: iteration done : 7 enodes (cost 1 ) 14.059 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 14.059 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 14.059 * * [simplify]: iteration done : 4 enodes (cost 4 ) 14.060 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.060 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 14.061 * * [simplify]: iteration done : 6 enodes (cost 1 ) 14.061 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 14.062 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 14.063 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 14.065 * * [simplify]: iteration done : 10 enodes (cost 9 ) 14.065 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.066 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.066 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.067 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.067 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 14.067 * * [simplify]: iteration done : 6 enodes (cost 1 ) 14.068 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.068 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.069 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.069 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 14.070 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 14.070 * * [simplify]: iteration done : 5 enodes (cost 5 ) 14.071 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 14.071 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 14.072 * * [simplify]: iteration done : 4 enodes (cost 4 ) 14.072 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 14.073 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 14.075 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 14.077 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 14.082 * * [simplify]: iteration 4 : 70 enodes (cost 6 ) 14.094 * * [simplify]: iteration 5 : 161 enodes (cost 6 ) 14.157 * * [simplify]: iteration 6 : 419 enodes (cost 6 ) 14.499 * * [simplify]: iteration 7 : 1295 enodes (cost 6 ) 17.531 * * [simplify]: iteration 8 : 4996 enodes (cost 6 ) 19.194 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 19.194 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.195 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 19.196 * * [simplify]: iteration done : 8 enodes (cost 7 ) 19.197 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.198 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 19.205 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 19.207 * * [simplify]: iteration 3 : 26 enodes (cost 6 ) 19.210 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 19.217 * * [simplify]: iteration 5 : 96 enodes (cost 6 ) 19.236 * * [simplify]: iteration 6 : 223 enodes (cost 6 ) 19.340 * * [simplify]: iteration 7 : 599 enodes (cost 6 ) 19.953 * * [simplify]: iteration 8 : 1978 enodes (cost 6 ) 21.247 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 21.247 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 21.248 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 21.250 * * [simplify]: iteration done : 9 enodes (cost 15 ) 21.250 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.251 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 21.252 * * [simplify]: iteration done : 8 enodes (cost 7 ) 21.253 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 21.254 * * [simplify]: iteration 1 : 22 enodes (cost 20 ) 21.259 * * [simplify]: iteration 2 : 70 enodes (cost 8 ) 21.282 * * [simplify]: iteration 3 : 219 enodes (cost 8 ) 21.379 * * [simplify]: iteration 4 : 609 enodes (cost 8 ) 21.976 * * [simplify]: iteration 5 : 1529 enodes (cost 8 ) 23.365 * * [simplify]: iteration 6 : 3287 enodes (cost 8 ) 26.350 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 26.350 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.351 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 26.352 * * [simplify]: iteration done : 8 enodes (cost 7 ) 26.352 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.353 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 26.354 * * [simplify]: iteration done : 8 enodes (cost 7 ) 26.354 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 26.356 * * [simplify]: iteration 1 : 26 enodes (cost 10 ) 26.360 * * [simplify]: iteration 2 : 64 enodes (cost 10 ) 26.374 * * [simplify]: iteration 3 : 149 enodes (cost 10 ) 26.423 * * [simplify]: iteration 4 : 272 enodes (cost 10 ) 26.551 * * [simplify]: iteration 5 : 705 enodes (cost 10 ) 27.369 * * [simplify]: iteration 6 : 2684 enodes (cost 10 ) 29.006 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 29.007 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 29.009 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 29.013 * * [simplify]: iteration 2 : 69 enodes (cost 15 ) 29.028 * * [simplify]: iteration 3 : 121 enodes (cost 15 ) 29.059 * * [simplify]: iteration 4 : 155 enodes (cost 15 ) 29.088 * * [simplify]: iteration 5 : 176 enodes (cost 15 ) 29.126 * * [simplify]: iteration 6 : 197 enodes (cost 15 ) 29.163 * * [simplify]: iteration 7 : 250 enodes (cost 15 ) 29.228 * * [simplify]: iteration 8 : 397 enodes (cost 15 ) 29.422 * * [simplify]: iteration 9 : 660 enodes (cost 15 ) 29.582 * * [simplify]: iteration 10 : 715 enodes (cost 15 ) 29.719 * * [simplify]: iteration done : 715 enodes (cost 15 ) 29.720 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 29.721 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 29.724 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 29.737 * * [simplify]: iteration 3 : 109 enodes (cost 13 ) 29.762 * * [simplify]: iteration 4 : 159 enodes (cost 13 ) 29.803 * * [simplify]: iteration 5 : 260 enodes (cost 13 ) 29.882 * * [simplify]: iteration 6 : 370 enodes (cost 13 ) 30.009 * * [simplify]: iteration 7 : 612 enodes (cost 13 ) 30.834 * * [simplify]: iteration 8 : 2075 enodes (cost 13 ) 34.862 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 34.863 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 34.864 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 34.864 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 34.866 * * [simplify]: iteration done : 15 enodes (cost 6 ) 34.867 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 34.868 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 34.869 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 34.874 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 34.878 * * [simplify]: iteration 4 : 31 enodes (cost 9 ) 34.882 * * [simplify]: iteration done : 31 enodes (cost 9 ) 34.883 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.883 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 34.884 * * [simplify]: iteration done : 8 enodes (cost 7 ) 34.885 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 34.886 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 34.886 * * [simplify]: iteration done : 10 enodes (cost 3 ) 34.887 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 34.888 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 34.889 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 34.891 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 34.895 * * [simplify]: iteration 4 : 31 enodes (cost 9 ) 34.899 * * [simplify]: iteration done : 31 enodes (cost 9 ) 34.899 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 34.900 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 34.901 * * [simplify]: iteration done : 8 enodes (cost 7 ) 34.901 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 34.902 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 34.903 * * [simplify]: iteration done : 10 enodes (cost 3 ) 34.904 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 34.905 * * [simplify]: iteration 1 : 18 enodes (cost 20 ) 34.907 * * [simplify]: iteration 2 : 29 enodes (cost 20 ) 34.911 * * [simplify]: iteration 3 : 40 enodes (cost 20 ) 34.916 * * [simplify]: iteration 4 : 64 enodes (cost 20 ) 34.925 * * [simplify]: iteration 5 : 113 enodes (cost 20 ) 34.955 * * [simplify]: iteration 6 : 243 enodes (cost 20 ) 35.060 * * [simplify]: iteration 7 : 639 enodes (cost 20 ) 35.955 * * [simplify]: iteration 8 : 2352 enodes (cost 20 ) 38.114 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 38.115 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 38.116 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 38.117 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 38.120 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 38.123 * * [simplify]: iteration 4 : 34 enodes (cost 10 ) 38.128 * * [simplify]: iteration 5 : 43 enodes (cost 10 ) 38.134 * * [simplify]: iteration 6 : 62 enodes (cost 10 ) 38.147 * * [simplify]: iteration 7 : 83 enodes (cost 10 ) 38.161 * * [simplify]: iteration 8 : 106 enodes (cost 10 ) 38.173 * * [simplify]: iteration 9 : 120 enodes (cost 10 ) 38.189 * * [simplify]: iteration 10 : 133 enodes (cost 10 ) 38.209 * * [simplify]: iteration 11 : 137 enodes (cost 10 ) 38.225 * * [simplify]: iteration 12 : 140 enodes (cost 10 ) 38.240 * * [simplify]: iteration done : 140 enodes (cost 10 ) 38.240 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 38.241 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 38.241 * * [simplify]: iteration done : 5 enodes (cost 1 ) 38.242 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 38.243 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 38.244 * * [simplify]: iteration 2 : 17 enodes (cost 11 ) 38.246 * * [simplify]: iteration done : 17 enodes (cost 11 ) 38.247 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 38.247 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 38.247 * * [simplify]: iteration done : 5 enodes (cost 1 ) 38.248 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 38.248 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 38.250 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 38.255 * * [simplify]: iteration 3 : 26 enodes (cost 6 ) 38.258 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 38.265 * * [simplify]: iteration 5 : 96 enodes (cost 6 ) 38.283 * * [simplify]: iteration 6 : 223 enodes (cost 6 ) 38.387 * * [simplify]: iteration 7 : 599 enodes (cost 6 ) 39.004 * * [simplify]: iteration 8 : 1978 enodes (cost 6 ) 40.287 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 40.288 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 40.288 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 40.289 * * [simplify]: iteration 2 : 8 enodes (cost 3 ) 40.289 * * [simplify]: iteration done : 8 enodes (cost 3 ) 40.290 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 40.290 * * [simplify]: iteration done : 2 enodes (cost 2 ) 40.291 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 40.292 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 40.293 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 40.295 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 40.299 * * [simplify]: iteration 4 : 60 enodes (cost 6 ) 40.313 * * [simplify]: iteration 5 : 138 enodes (cost 6 ) 40.373 * * [simplify]: iteration 6 : 432 enodes (cost 6 ) 40.668 * * [simplify]: iteration 7 : 1168 enodes (cost 6 ) 42.789 * * [simplify]: iteration 8 : 3730 enodes (cost 6 ) 43.995 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 43.996 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 43.997 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 43.998 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 44.000 * * [simplify]: iteration 3 : 26 enodes (cost 6 ) 44.003 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 44.009 * * [simplify]: iteration 5 : 96 enodes (cost 6 ) 44.028 * * [simplify]: iteration 6 : 223 enodes (cost 6 ) 44.129 * * [simplify]: iteration 7 : 599 enodes (cost 6 ) 44.754 * * [simplify]: iteration 8 : 1978 enodes (cost 6 ) 46.067 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 46.068 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.068 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 46.069 * * [simplify]: iteration 2 : 8 enodes (cost 3 ) 46.069 * * [simplify]: iteration done : 8 enodes (cost 3 ) 46.070 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 46.071 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 46.072 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 46.074 * * [simplify]: iteration 3 : 26 enodes (cost 6 ) 46.083 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 46.089 * * [simplify]: iteration 5 : 96 enodes (cost 6 ) 46.108 * * [simplify]: iteration 6 : 223 enodes (cost 6 ) 46.211 * * [simplify]: iteration 7 : 599 enodes (cost 6 ) 46.827 * * [simplify]: iteration 8 : 1978 enodes (cost 6 ) 48.123 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 48.124 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 48.124 * * [simplify]: iteration done : 2 enodes (cost 2 ) 48.125 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 48.126 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 48.128 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 48.134 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 48.152 * * [simplify]: iteration 4 : 138 enodes (cost 8 ) 48.173 * * [simplify]: iteration 5 : 236 enodes (cost 8 ) 48.263 * * [simplify]: iteration 6 : 673 enodes (cost 8 ) 48.862 * * [simplify]: iteration 7 : 2120 enodes (cost 8 ) 50.567 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 50.568 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 50.569 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 50.571 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 50.576 * * [simplify]: iteration 3 : 63 enodes (cost 9 ) 50.586 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 50.611 * * [simplify]: iteration 5 : 228 enodes (cost 9 ) 50.724 * * [simplify]: iteration 6 : 742 enodes (cost 9 ) 51.489 * * [simplify]: iteration 7 : 2486 enodes (cost 9 ) 52.736 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 52.737 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 52.738 * * [simplify]: iteration 1 : 19 enodes (cost 21 ) 52.740 * * [simplify]: iteration 2 : 34 enodes (cost 21 ) 52.745 * * [simplify]: iteration 3 : 60 enodes (cost 19 ) 52.758 * * [simplify]: iteration 4 : 94 enodes (cost 19 ) 52.775 * * [simplify]: iteration 5 : 171 enodes (cost 19 ) 52.842 * * [simplify]: iteration 6 : 486 enodes (cost 19 ) 53.251 * * [simplify]: iteration 7 : 1368 enodes (cost 19 ) 55.915 * * [simplify]: iteration 8 : 4185 enodes (cost 19 ) 57.345 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 57.346 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 57.347 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 57.349 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 57.354 * * [simplify]: iteration 3 : 59 enodes (cost 9 ) 57.363 * * [simplify]: iteration 4 : 93 enodes (cost 9 ) 57.384 * * [simplify]: iteration 5 : 170 enodes (cost 9 ) 57.448 * * [simplify]: iteration 6 : 481 enodes (cost 9 ) 57.860 * * [simplify]: iteration 7 : 1369 enodes (cost 9 ) 60.484 * * [simplify]: iteration 8 : 4154 enodes (cost 9 ) 61.907 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 61.908 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 61.909 * * [simplify]: iteration 1 : 22 enodes (cost 28 ) 61.912 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 61.935 * * [simplify]: iteration 3 : 303 enodes (cost 10 ) 62.170 * * [simplify]: iteration 4 : 1510 enodes (cost 10 ) 63.796 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 63.797 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 63.798 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 63.800 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 63.805 * * [simplify]: iteration 3 : 59 enodes (cost 9 ) 63.814 * * [simplify]: iteration 4 : 93 enodes (cost 9 ) 63.830 * * [simplify]: iteration 5 : 170 enodes (cost 9 ) 63.896 * * [simplify]: iteration 6 : 481 enodes (cost 9 ) 64.325 * * [simplify]: iteration 7 : 1369 enodes (cost 9 ) 66.963 * * [simplify]: iteration 8 : 4154 enodes (cost 9 ) 68.171 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 68.172 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 68.173 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 68.175 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 68.179 * * [simplify]: iteration 3 : 59 enodes (cost 9 ) 68.189 * * [simplify]: iteration 4 : 93 enodes (cost 9 ) 68.204 * * [simplify]: iteration 5 : 170 enodes (cost 9 ) 68.271 * * [simplify]: iteration 6 : 481 enodes (cost 9 ) 68.690 * * [simplify]: iteration 7 : 1369 enodes (cost 9 ) 71.328 * * [simplify]: iteration 8 : 4154 enodes (cost 9 ) 72.534 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 72.534 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 72.535 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 72.537 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 72.539 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 72.540 * * [simplify]: iteration done : 22 enodes (cost 4 ) 72.541 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 72.542 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 72.543 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 72.548 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 72.552 * * [simplify]: iteration 4 : 52 enodes (cost 4 ) 72.558 * * [simplify]: iteration 5 : 69 enodes (cost 4 ) 72.582 * * [simplify]: iteration 6 : 104 enodes (cost 4 ) 72.589 * * [simplify]: iteration done : 104 enodes (cost 4 ) 72.590 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 72.591 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 72.592 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 72.595 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 72.601 * * [simplify]: iteration 4 : 66 enodes (cost 4 ) 72.618 * * [simplify]: iteration 5 : 186 enodes (cost 4 ) 72.957 * * [simplify]: iteration 6 : 967 enodes (cost 4 ) 74.435 * * [simplify]: iteration 7 : 2267 enodes (cost 4 ) 79.087 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 79.087 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 79.089 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 79.091 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 79.101 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 79.103 * * [simplify]: iteration done : 40 enodes (cost 6 ) 79.104 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 79.105 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 79.108 * * [simplify]: iteration 2 : 42 enodes (cost 9 ) 79.116 * * [simplify]: iteration 3 : 68 enodes (cost 6 ) 79.132 * * [simplify]: iteration 4 : 104 enodes (cost 6 ) 79.152 * * [simplify]: iteration 5 : 139 enodes (cost 6 ) 79.176 * * [simplify]: iteration 6 : 172 enodes (cost 6 ) 79.194 * * [simplify]: iteration 7 : 173 enodes (cost 6 ) 79.209 * * [simplify]: iteration done : 173 enodes (cost 6 ) 79.210 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 79.211 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 79.218 * * [simplify]: iteration 2 : 36 enodes (cost 11 ) 79.223 * * [simplify]: iteration 3 : 61 enodes (cost 11 ) 79.233 * * [simplify]: iteration 4 : 119 enodes (cost 8 ) 79.261 * * [simplify]: iteration 5 : 215 enodes (cost 6 ) 79.411 * * [simplify]: iteration 6 : 663 enodes (cost 6 ) 82.995 * * [simplify]: iteration 7 : 3989 enodes (cost 6 ) 84.639 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 84.639 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.641 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 84.644 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 84.657 * * [simplify]: iteration 3 : 89 enodes (cost 8 ) 84.663 * * [simplify]: iteration 4 : 90 enodes (cost 8 ) 84.668 * * [simplify]: iteration done : 90 enodes (cost 8 ) 84.669 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 84.670 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 84.672 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 84.682 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 84.691 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 84.707 * * [simplify]: iteration 5 : 169 enodes (cost 8 ) 84.773 * * [simplify]: iteration 6 : 482 enodes (cost 8 ) 85.197 * * [simplify]: iteration 7 : 1363 enodes (cost 8 ) 87.826 * * [simplify]: iteration 8 : 4155 enodes (cost 8 ) 89.252 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 89.253 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 89.254 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 89.257 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 89.261 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 89.270 * * [simplify]: iteration 4 : 92 enodes (cost 8 ) 89.286 * * [simplify]: iteration 5 : 169 enodes (cost 8 ) 89.355 * * [simplify]: iteration 6 : 482 enodes (cost 8 ) 89.771 * * [simplify]: iteration 7 : 1363 enodes (cost 8 ) 92.372 * * [simplify]: iteration 8 : 4155 enodes (cost 8 ) 93.795 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 93.796 * [simplify]: Simplified to: (* y (log y)) (+ (log y) (log (log y))) (log (* y (log y))) (pow y y) (pow (* y (log y)) 3) (* (cbrt (* y (log y))) (cbrt (* y (log y)))) (cbrt (* y (log y))) (pow (* y (log y)) 3) (sqrt (* y (log y))) (sqrt (* y (log y))) (* (sqrt y) (sqrt (log y))) (* (sqrt y) (sqrt (log y))) (* y (* 2 (log (cbrt y)))) (* y (log (cbrt y))) (* y (log (sqrt y))) (* y (log (sqrt y))) 0 (* y (log y)) (* y (* 2 (log (cbrt y)))) (* (log (cbrt y)) y) (* (log (sqrt y)) y) (* (log (sqrt y)) y) 0 (* (log y) y) y (* y (* (cbrt (log y)) (cbrt (log y)))) (* y (sqrt (log y))) y (* (cbrt y) (log y)) (* (sqrt y) (log y)) (* y (log y)) (* (pow y y) (exp x)) (log (+ x (* y (log y)))) (* (pow y y) (exp x)) (* (cbrt (+ x (* y (log y)))) (cbrt (+ x (* y (log y))))) (cbrt (+ x (* y (log y)))) (pow (+ x (* y (log y))) 3) (sqrt (+ x (* y (log y)))) (sqrt (+ x (* y (log y)))) (+ (pow x 3) (pow (* y (log y)) 3)) (+ (* (* y (log y)) (- (* y (log y)) x)) (* x x)) (* (+ x (* y (log y))) (- x (* y (log y)))) (- x (* y (log y))) (+ (* y (* 2 (log (cbrt y)))) x) (+ x (* y (log (sqrt y)))) (+ 0 x) (+ (* y (* 2 (log (cbrt y)))) x) (+ x (* (log (sqrt y)) y)) (+ 0 x) (exp (* (cbrt (- (+ x (* y (log y))) z)) (cbrt (- (+ x (* y (log y))) z)))) (exp (sqrt (- (+ x (* y (log y))) z))) E (exp (+ (sqrt (+ x (* y (log y)))) (sqrt z))) E (* (pow y y) (exp x)) (exp (neg z)) (exp x) (/ (pow y y) (exp z)) (* (pow y y) (exp x)) (exp (neg z)) (* (pow y y) (exp x)) (exp z) (- (+ x (* y (log y))) z) (exp (* (pow y y) (exp (- x z)))) (* (cbrt (* (pow y y) (exp (- x z)))) (cbrt (* (pow y y) (exp (- x z))))) (cbrt (* (pow y y) (exp (- x z)))) (pow (* (pow y y) (exp (- x z))) 3) (sqrt (* (pow y y) (exp (- x z)))) (sqrt (* (pow y y) (exp (- x z)))) (* y (log y)) (* (log y) y) (* (log y) y) (+ (* (log y) y) x) (+ (* y (log y)) x) (+ (* y (log y)) x) (+ x (+ 1 (* (log y) y))) (* (pow y y) (exp (- x z))) (* (pow y y) (exp (- x z))) 93.796 * * * [progress]: adding candidates to table 93.873 * [progress]: [Phase 3 of 3] Extracting. 93.876 * [simplify]: Simplifying using # : (exp (- (+ x (* y (log y))) z)) 93.876 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 93.877 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 93.877 * * [simplify]: iteration done : 10 enodes (cost 9 ) 93.877 * [simplify]: Simplified to: (exp (- (+ x (* y (log y))) z)) 97.368 * [regime-testing]: End program error score: 0.009581705074425826 97.473 * [regime-testing]: Target error score: 0.009581705074425826