159.578 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying using # : (/ (- (+ x y) z) (* t 2.0)) 0.035 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.036 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 0.039 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 0.044 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 0.050 * * [simplify]: iteration 4 : 75 enodes (cost 9 ) 0.066 * * [simplify]: iteration 5 : 107 enodes (cost 9 ) 0.082 * * [simplify]: iteration 6 : 162 enodes (cost 9 ) 0.106 * * [simplify]: iteration 7 : 229 enodes (cost 9 ) 0.145 * * [simplify]: iteration 8 : 346 enodes (cost 9 ) 0.205 * * [simplify]: iteration 9 : 457 enodes (cost 9 ) 0.271 * * [simplify]: iteration 10 : 517 enodes (cost 9 ) 0.337 * * [simplify]: iteration 11 : 567 enodes (cost 9 ) 0.410 * * [simplify]: iteration 12 : 580 enodes (cost 9 ) 0.482 * * [simplify]: iteration 13 : 584 enodes (cost 9 ) 0.553 * * [simplify]: iteration done : 584 enodes (cost 9 ) 0.553 * [simplify]: Simplified to: (/ (- (+ x y) z) (* t 2.0)) 0.554 * * [progress]: iteration 1 / 4 0.554 * * * [progress]: picking best candidate 0.557 * * * * [pick]: Picked # 0.557 * * * [progress]: localizing error 0.564 * * * [progress]: generating rewritten candidates 0.564 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.576 * * * [progress]: generating series expansions 0.576 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.576 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0 0.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t 0.576 * [taylor]: Taking taylor expansion of 0.5 in t 0.576 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t 0.576 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t 0.576 * [taylor]: Taking taylor expansion of (+ x y) in t 0.576 * [taylor]: Taking taylor expansion of x in t 0.576 * [taylor]: Taking taylor expansion of y in t 0.576 * [taylor]: Taking taylor expansion of z in t 0.576 * [taylor]: Taking taylor expansion of t in t 0.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z 0.577 * [taylor]: Taking taylor expansion of 0.5 in z 0.577 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z 0.577 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z 0.577 * [taylor]: Taking taylor expansion of (+ x y) in z 0.577 * [taylor]: Taking taylor expansion of x in z 0.577 * [taylor]: Taking taylor expansion of y in z 0.577 * [taylor]: Taking taylor expansion of z in z 0.577 * [taylor]: Taking taylor expansion of t in z 0.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y 0.577 * [taylor]: Taking taylor expansion of 0.5 in y 0.577 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y 0.577 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y 0.577 * [taylor]: Taking taylor expansion of (+ x y) in y 0.577 * [taylor]: Taking taylor expansion of x in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.577 * [taylor]: Taking taylor expansion of z in y 0.577 * [taylor]: Taking taylor expansion of t in y 0.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x 0.577 * [taylor]: Taking taylor expansion of 0.5 in x 0.577 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 0.577 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 0.577 * [taylor]: Taking taylor expansion of (+ x y) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of y in x 0.577 * [taylor]: Taking taylor expansion of z in x 0.577 * [taylor]: Taking taylor expansion of t in x 0.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x 0.577 * [taylor]: Taking taylor expansion of 0.5 in x 0.577 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 0.577 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 0.577 * [taylor]: Taking taylor expansion of (+ x y) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of y in x 0.577 * [taylor]: Taking taylor expansion of z in x 0.577 * [taylor]: Taking taylor expansion of t in x 0.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y 0.578 * [taylor]: Taking taylor expansion of 0.5 in y 0.578 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y 0.578 * [taylor]: Taking taylor expansion of (- y z) in y 0.578 * [taylor]: Taking taylor expansion of y in y 0.578 * [taylor]: Taking taylor expansion of z in y 0.578 * [taylor]: Taking taylor expansion of t in y 0.578 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z 0.578 * [taylor]: Taking taylor expansion of -0.5 in z 0.578 * [taylor]: Taking taylor expansion of (/ z t) in z 0.578 * [taylor]: Taking taylor expansion of z in z 0.578 * [taylor]: Taking taylor expansion of t in z 0.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 0.578 * [taylor]: Taking taylor expansion of 0.5 in y 0.578 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.578 * [taylor]: Taking taylor expansion of t in y 0.578 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z 0.578 * [taylor]: Taking taylor expansion of 0.5 in z 0.578 * [taylor]: Taking taylor expansion of t in z 0.578 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 0.578 * [taylor]: Taking taylor expansion of 0.5 in t 0.578 * [taylor]: Taking taylor expansion of t in t 0.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z 0.579 * [taylor]: Taking taylor expansion of 0.5 in z 0.579 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.579 * [taylor]: Taking taylor expansion of t in z 0.579 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 0.579 * [taylor]: Taking taylor expansion of 0.5 in t 0.579 * [taylor]: Taking taylor expansion of t in t 0.579 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t 0.579 * [taylor]: Taking taylor expansion of -0.5 in t 0.579 * [taylor]: Taking taylor expansion of t in t 0.580 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in (x y z t) around 0 0.580 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in t 0.580 * [taylor]: Taking taylor expansion of 0.5 in t 0.580 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in t 0.580 * [taylor]: Taking taylor expansion of t in t 0.580 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in t 0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.580 * [taylor]: Taking taylor expansion of x in t 0.580 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.580 * [taylor]: Taking taylor expansion of y in t 0.580 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.580 * [taylor]: Taking taylor expansion of z in t 0.580 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in z 0.580 * [taylor]: Taking taylor expansion of 0.5 in z 0.580 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in z 0.580 * [taylor]: Taking taylor expansion of t in z 0.580 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in z 0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.580 * [taylor]: Taking taylor expansion of x in z 0.580 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.580 * [taylor]: Taking taylor expansion of y in z 0.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.580 * [taylor]: Taking taylor expansion of z in z 0.580 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in y 0.580 * [taylor]: Taking taylor expansion of 0.5 in y 0.580 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in y 0.580 * [taylor]: Taking taylor expansion of t in y 0.580 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in y 0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.580 * [taylor]: Taking taylor expansion of x in y 0.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.580 * [taylor]: Taking taylor expansion of y in y 0.580 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.580 * [taylor]: Taking taylor expansion of z in y 0.580 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in x 0.581 * [taylor]: Taking taylor expansion of 0.5 in x 0.581 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x 0.581 * [taylor]: Taking taylor expansion of t in x 0.581 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.581 * [taylor]: Taking taylor expansion of y in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.581 * [taylor]: Taking taylor expansion of z in x 0.581 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in x 0.581 * [taylor]: Taking taylor expansion of 0.5 in x 0.581 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x 0.581 * [taylor]: Taking taylor expansion of t in x 0.581 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.581 * [taylor]: Taking taylor expansion of y in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.581 * [taylor]: Taking taylor expansion of z in x 0.581 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 0.581 * [taylor]: Taking taylor expansion of 0.5 in y 0.581 * [taylor]: Taking taylor expansion of t in y 0.582 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y 0.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y 0.582 * [taylor]: Taking taylor expansion of 0.5 in y 0.582 * [taylor]: Taking taylor expansion of (/ t y) in y 0.582 * [taylor]: Taking taylor expansion of t in y 0.582 * [taylor]: Taking taylor expansion of y in y 0.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 0.582 * [taylor]: Taking taylor expansion of 0.5 in y 0.582 * [taylor]: Taking taylor expansion of (/ t z) in y 0.582 * [taylor]: Taking taylor expansion of t in y 0.582 * [taylor]: Taking taylor expansion of z in y 0.582 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 0.582 * [taylor]: Taking taylor expansion of 0.5 in z 0.582 * [taylor]: Taking taylor expansion of t in z 0.582 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 0.582 * [taylor]: Taking taylor expansion of 0.5 in z 0.582 * [taylor]: Taking taylor expansion of t in z 0.582 * [taylor]: Taking taylor expansion of 0 in y 0.583 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ t z))) in z 0.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 0.583 * [taylor]: Taking taylor expansion of 0.5 in z 0.583 * [taylor]: Taking taylor expansion of (/ t z) in z 0.583 * [taylor]: Taking taylor expansion of t in z 0.583 * [taylor]: Taking taylor expansion of z in z 0.583 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 0.583 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.583 * [taylor]: Taking taylor expansion of 0.5 in t 0.583 * [taylor]: Taking taylor expansion of t in t 0.583 * [taylor]: Taking taylor expansion of 0 in z 0.583 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.583 * [taylor]: Taking taylor expansion of 0.5 in t 0.583 * [taylor]: Taking taylor expansion of t in t 0.583 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.583 * [taylor]: Taking taylor expansion of 0.5 in t 0.583 * [taylor]: Taking taylor expansion of t in t 0.583 * [taylor]: Taking taylor expansion of 0 in y 0.583 * [taylor]: Taking taylor expansion of 0 in z 0.584 * [taylor]: Taking taylor expansion of 0 in z 0.584 * [taylor]: Taking taylor expansion of 0 in z 0.584 * [taylor]: Taking taylor expansion of 0 in t 0.584 * [taylor]: Taking taylor expansion of 0 in t 0.584 * [taylor]: Taking taylor expansion of 0 in t 0.584 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in (x y z t) around 0 0.584 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in t 0.584 * [taylor]: Taking taylor expansion of -0.5 in t 0.584 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in t 0.584 * [taylor]: Taking taylor expansion of t in t 0.584 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in t 0.584 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.584 * [taylor]: Taking taylor expansion of z in t 0.584 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.584 * [taylor]: Taking taylor expansion of x in t 0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.584 * [taylor]: Taking taylor expansion of y in t 0.585 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z 0.585 * [taylor]: Taking taylor expansion of -0.5 in z 0.585 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z 0.585 * [taylor]: Taking taylor expansion of t in z 0.585 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z 0.585 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.585 * [taylor]: Taking taylor expansion of z in z 0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.585 * [taylor]: Taking taylor expansion of x in z 0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.585 * [taylor]: Taking taylor expansion of y in z 0.585 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y 0.585 * [taylor]: Taking taylor expansion of -0.5 in y 0.585 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y 0.585 * [taylor]: Taking taylor expansion of t in y 0.585 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y 0.585 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.585 * [taylor]: Taking taylor expansion of z in y 0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.585 * [taylor]: Taking taylor expansion of x in y 0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.585 * [taylor]: Taking taylor expansion of y in y 0.585 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x 0.585 * [taylor]: Taking taylor expansion of -0.5 in x 0.585 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x 0.585 * [taylor]: Taking taylor expansion of t in x 0.585 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.585 * [taylor]: Taking taylor expansion of z in x 0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.585 * [taylor]: Taking taylor expansion of y in x 0.585 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x 0.585 * [taylor]: Taking taylor expansion of -0.5 in x 0.585 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x 0.585 * [taylor]: Taking taylor expansion of t in x 0.585 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.585 * [taylor]: Taking taylor expansion of z in x 0.586 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 0.586 * [taylor]: Taking taylor expansion of 0.5 in y 0.586 * [taylor]: Taking taylor expansion of t in y 0.586 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y 0.586 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y 0.586 * [taylor]: Taking taylor expansion of 0.5 in y 0.586 * [taylor]: Taking taylor expansion of (/ t y) in y 0.586 * [taylor]: Taking taylor expansion of t in y 0.586 * [taylor]: Taking taylor expansion of y in y 0.586 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 0.586 * [taylor]: Taking taylor expansion of 0.5 in y 0.586 * [taylor]: Taking taylor expansion of (/ t z) in y 0.586 * [taylor]: Taking taylor expansion of t in y 0.586 * [taylor]: Taking taylor expansion of z in y 0.586 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 0.586 * [taylor]: Taking taylor expansion of 0.5 in z 0.586 * [taylor]: Taking taylor expansion of t in z 0.586 * [taylor]: Taking taylor expansion of (* 0.5 t) in z 0.587 * [taylor]: Taking taylor expansion of 0.5 in z 0.587 * [taylor]: Taking taylor expansion of t in z 0.587 * [taylor]: Taking taylor expansion of 0 in y 0.587 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ t z))) in z 0.587 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 0.587 * [taylor]: Taking taylor expansion of 0.5 in z 0.592 * [taylor]: Taking taylor expansion of (/ t z) in z 0.592 * [taylor]: Taking taylor expansion of t in z 0.592 * [taylor]: Taking taylor expansion of z in z 0.592 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 0.592 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.592 * [taylor]: Taking taylor expansion of 0.5 in t 0.592 * [taylor]: Taking taylor expansion of t in t 0.593 * [taylor]: Taking taylor expansion of 0 in z 0.593 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.593 * [taylor]: Taking taylor expansion of 0.5 in t 0.593 * [taylor]: Taking taylor expansion of t in t 0.593 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.593 * [taylor]: Taking taylor expansion of 0.5 in t 0.593 * [taylor]: Taking taylor expansion of t in t 0.593 * [taylor]: Taking taylor expansion of 0 in y 0.593 * [taylor]: Taking taylor expansion of 0 in z 0.593 * [taylor]: Taking taylor expansion of 0 in z 0.594 * [taylor]: Taking taylor expansion of 0 in z 0.594 * [taylor]: Taking taylor expansion of 0 in t 0.594 * [taylor]: Taking taylor expansion of 0 in t 0.594 * [taylor]: Taking taylor expansion of 0 in t 0.594 * * * [progress]: simplifying candidates 0.595 * [simplify]: Simplifying using # : (- (log (- (+ x y) z)) (+ (log t) (log 2.0))) (- (log (- (+ x y) z)) (log (* t 2.0))) (log (/ (- (+ x y) z) (* t 2.0))) (exp (/ (- (+ x y) z) (* t 2.0))) (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0))) (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0))) (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0)))) (cbrt (/ (- (+ x y) z) (* t 2.0))) (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0))) (sqrt (/ (- (+ x y) z) (* t 2.0))) (sqrt (/ (- (+ x y) z) (* t 2.0))) (neg (- (+ x y) z)) (neg (* t 2.0)) (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t) (/ (cbrt (- (+ x y) z)) 2.0) (/ (sqrt (- (+ x y) z)) t) (/ (sqrt (- (+ x y) z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ (+ (sqrt (+ x y)) (sqrt z)) t) (/ (- (sqrt (+ x y)) (sqrt z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 (* t 2.0)) (/ (* t 2.0) (- (+ x y) z)) (/ (- (+ x y) z) t) (/ (* t 2.0) (cbrt (- (+ x y) z))) (/ (* t 2.0) (sqrt (- (+ x y) z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (+ x y) z)) (* (* t 2.0) (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z)))) (* (* t 2.0) (+ (+ x y) z)) (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) 0 0 0.595 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 0.597 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 0.599 * * [simplify]: iteration 2 : 38 enodes (cost 12 ) 0.604 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 0.610 * * [simplify]: iteration 4 : 70 enodes (cost 12 ) 0.621 * * [simplify]: iteration 5 : 95 enodes (cost 12 ) 0.636 * * [simplify]: iteration 6 : 127 enodes (cost 12 ) 0.659 * * [simplify]: iteration 7 : 156 enodes (cost 12 ) 0.677 * * [simplify]: iteration 8 : 170 enodes (cost 12 ) 0.697 * * [simplify]: iteration 9 : 179 enodes (cost 12 ) 0.723 * * [simplify]: iteration 10 : 194 enodes (cost 12 ) 0.745 * * [simplify]: iteration 11 : 199 enodes (cost 12 ) 0.772 * * [simplify]: iteration 12 : 203 enodes (cost 12 ) 0.797 * * [simplify]: iteration 13 : 207 enodes (cost 12 ) 0.823 * * [simplify]: iteration done : 207 enodes (cost 12 ) 0.824 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 0.825 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 0.827 * * [simplify]: iteration 2 : 36 enodes (cost 11 ) 0.831 * * [simplify]: iteration 3 : 50 enodes (cost 11 ) 0.837 * * [simplify]: iteration 4 : 65 enodes (cost 11 ) 0.846 * * [simplify]: iteration 5 : 86 enodes (cost 11 ) 0.861 * * [simplify]: iteration 6 : 118 enodes (cost 11 ) 0.883 * * [simplify]: iteration 7 : 157 enodes (cost 11 ) 0.903 * * [simplify]: iteration 8 : 176 enodes (cost 11 ) 0.922 * * [simplify]: iteration 9 : 185 enodes (cost 11 ) 0.949 * * [simplify]: iteration 10 : 200 enodes (cost 11 ) 0.972 * * [simplify]: iteration 11 : 205 enodes (cost 11 ) 0.998 * * [simplify]: iteration 12 : 209 enodes (cost 11 ) 1.024 * * [simplify]: iteration 13 : 210 enodes (cost 11 ) 1.046 * * [simplify]: iteration done : 210 enodes (cost 11 ) 1.049 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 1.051 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 1.054 * * [simplify]: iteration 2 : 52 enodes (cost 10 ) 1.061 * * [simplify]: iteration 3 : 78 enodes (cost 10 ) 1.071 * * [simplify]: iteration 4 : 112 enodes (cost 10 ) 1.084 * * [simplify]: iteration 5 : 157 enodes (cost 10 ) 1.110 * * [simplify]: iteration 6 : 228 enodes (cost 10 ) 1.143 * * [simplify]: iteration 7 : 315 enodes (cost 10 ) 1.193 * * [simplify]: iteration 8 : 449 enodes (cost 10 ) 1.264 * * [simplify]: iteration 9 : 567 enodes (cost 10 ) 1.348 * * [simplify]: iteration 10 : 623 enodes (cost 10 ) 1.428 * * [simplify]: iteration 11 : 673 enodes (cost 10 ) 1.514 * * [simplify]: iteration 12 : 686 enodes (cost 10 ) 1.600 * * [simplify]: iteration 13 : 690 enodes (cost 10 ) 1.689 * * [simplify]: iteration done : 690 enodes (cost 10 ) 1.690 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 1.691 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 1.694 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 1.699 * * [simplify]: iteration 3 : 60 enodes (cost 10 ) 1.707 * * [simplify]: iteration 4 : 84 enodes (cost 10 ) 1.717 * * [simplify]: iteration 5 : 125 enodes (cost 10 ) 1.739 * * [simplify]: iteration 6 : 190 enodes (cost 10 ) 1.770 * * [simplify]: iteration 7 : 286 enodes (cost 10 ) 1.823 * * [simplify]: iteration 8 : 455 enodes (cost 10 ) 1.933 * * [simplify]: iteration 9 : 667 enodes (cost 10 ) 2.077 * * [simplify]: iteration 10 : 850 enodes (cost 10 ) 2.224 * * [simplify]: iteration 11 : 959 enodes (cost 10 ) 2.366 * * [simplify]: iteration 12 : 975 enodes (cost 10 ) 2.511 * * [simplify]: iteration 13 : 984 enodes (cost 10 ) 2.647 * * [simplify]: iteration done : 984 enodes (cost 10 ) 2.648 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 2.651 * * [simplify]: iteration 1 : 35 enodes (cost 29 ) 2.661 * * [simplify]: iteration 2 : 157 enodes (cost 15 ) 2.719 * * [simplify]: iteration 3 : 816 enodes (cost 15 ) 3.525 * * [simplify]: iteration 4 : 4187 enodes (cost 13 ) 4.671 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 4.672 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 4.674 * * [simplify]: iteration 1 : 37 enodes (cost 29 ) 4.682 * * [simplify]: iteration 2 : 173 enodes (cost 13 ) 4.766 * * [simplify]: iteration 3 : 955 enodes (cost 11 ) 6.172 * * [simplify]: iteration 4 : 4793 enodes (cost 11 ) 7.489 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 7.490 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 7.491 * * [simplify]: iteration 1 : 22 enodes (cost 21 ) 7.494 * * [simplify]: iteration 2 : 42 enodes (cost 21 ) 7.500 * * [simplify]: iteration 3 : 56 enodes (cost 21 ) 7.506 * * [simplify]: iteration 4 : 77 enodes (cost 21 ) 7.516 * * [simplify]: iteration 5 : 109 enodes (cost 21 ) 7.531 * * [simplify]: iteration 6 : 164 enodes (cost 21 ) 7.560 * * [simplify]: iteration 7 : 232 enodes (cost 21 ) 7.594 * * [simplify]: iteration 8 : 350 enodes (cost 21 ) 7.660 * * [simplify]: iteration 9 : 463 enodes (cost 21 ) 7.729 * * [simplify]: iteration 10 : 525 enodes (cost 21 ) 7.795 * * [simplify]: iteration 11 : 576 enodes (cost 21 ) 7.864 * * [simplify]: iteration 12 : 589 enodes (cost 21 ) 7.937 * * [simplify]: iteration 13 : 596 enodes (cost 21 ) 8.013 * * [simplify]: iteration done : 596 enodes (cost 21 ) 8.014 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 8.015 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 8.018 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 8.023 * * [simplify]: iteration 3 : 55 enodes (cost 10 ) 8.030 * * [simplify]: iteration 4 : 76 enodes (cost 10 ) 8.039 * * [simplify]: iteration 5 : 108 enodes (cost 10 ) 8.055 * * [simplify]: iteration 6 : 163 enodes (cost 10 ) 8.084 * * [simplify]: iteration 7 : 231 enodes (cost 10 ) 8.118 * * [simplify]: iteration 8 : 349 enodes (cost 10 ) 8.185 * * [simplify]: iteration 9 : 460 enodes (cost 10 ) 8.252 * * [simplify]: iteration 10 : 521 enodes (cost 10 ) 8.318 * * [simplify]: iteration 11 : 571 enodes (cost 10 ) 8.388 * * [simplify]: iteration 12 : 584 enodes (cost 10 ) 8.459 * * [simplify]: iteration 13 : 588 enodes (cost 10 ) 8.539 * * [simplify]: iteration done : 588 enodes (cost 10 ) 8.540 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 8.542 * * [simplify]: iteration 1 : 29 enodes (cost 29 ) 8.547 * * [simplify]: iteration 2 : 119 enodes (cost 11 ) 8.591 * * [simplify]: iteration 3 : 692 enodes (cost 11 ) 9.282 * * [simplify]: iteration 4 : 3844 enodes (cost 11 ) 10.448 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 10.449 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 10.450 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 10.453 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 10.458 * * [simplify]: iteration 3 : 55 enodes (cost 10 ) 10.464 * * [simplify]: iteration 4 : 76 enodes (cost 10 ) 10.474 * * [simplify]: iteration 5 : 108 enodes (cost 10 ) 10.492 * * [simplify]: iteration 6 : 163 enodes (cost 10 ) 10.516 * * [simplify]: iteration 7 : 231 enodes (cost 10 ) 10.553 * * [simplify]: iteration 8 : 349 enodes (cost 10 ) 10.612 * * [simplify]: iteration 9 : 460 enodes (cost 10 ) 10.677 * * [simplify]: iteration 10 : 521 enodes (cost 10 ) 10.742 * * [simplify]: iteration 11 : 571 enodes (cost 10 ) 10.810 * * [simplify]: iteration 12 : 584 enodes (cost 10 ) 10.885 * * [simplify]: iteration 13 : 588 enodes (cost 10 ) 10.954 * * [simplify]: iteration done : 588 enodes (cost 10 ) 10.955 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 10.956 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 10.959 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 10.964 * * [simplify]: iteration 3 : 55 enodes (cost 10 ) 10.970 * * [simplify]: iteration 4 : 76 enodes (cost 10 ) 10.980 * * [simplify]: iteration 5 : 108 enodes (cost 10 ) 10.997 * * [simplify]: iteration 6 : 163 enodes (cost 10 ) 11.021 * * [simplify]: iteration 7 : 231 enodes (cost 10 ) 11.059 * * [simplify]: iteration 8 : 349 enodes (cost 10 ) 11.117 * * [simplify]: iteration 9 : 460 enodes (cost 10 ) 11.180 * * [simplify]: iteration 10 : 521 enodes (cost 10 ) 11.245 * * [simplify]: iteration 11 : 571 enodes (cost 10 ) 11.311 * * [simplify]: iteration 12 : 584 enodes (cost 10 ) 11.384 * * [simplify]: iteration 13 : 588 enodes (cost 10 ) 11.453 * * [simplify]: iteration done : 588 enodes (cost 10 ) 11.454 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.455 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 11.456 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 11.460 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 11.465 * * [simplify]: iteration 4 : 61 enodes (cost 5 ) 11.474 * * [simplify]: iteration 5 : 77 enodes (cost 5 ) 11.491 * * [simplify]: iteration 6 : 107 enodes (cost 5 ) 11.508 * * [simplify]: iteration 7 : 123 enodes (cost 5 ) 11.519 * * [simplify]: iteration 8 : 125 enodes (cost 5 ) 11.530 * * [simplify]: iteration 9 : 129 enodes (cost 5 ) 11.544 * * [simplify]: iteration done : 129 enodes (cost 5 ) 11.545 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 11.545 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 11.547 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 11.548 * * [simplify]: iteration done : 11 enodes (cost 4 ) 11.548 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.549 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 11.550 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 11.552 * * [simplify]: iteration done : 13 enodes (cost 7 ) 11.552 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.553 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 11.554 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 11.555 * * [simplify]: iteration done : 10 enodes (cost 5 ) 11.555 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 11.556 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 11.558 * * [simplify]: iteration 2 : 25 enodes (cost 15 ) 11.561 * * [simplify]: iteration 3 : 32 enodes (cost 15 ) 11.565 * * [simplify]: iteration 4 : 38 enodes (cost 15 ) 11.570 * * [simplify]: iteration 5 : 47 enodes (cost 15 ) 11.577 * * [simplify]: iteration 6 : 60 enodes (cost 15 ) 11.585 * * [simplify]: iteration 7 : 73 enodes (cost 15 ) 11.593 * * [simplify]: iteration 8 : 82 enodes (cost 15 ) 11.605 * * [simplify]: iteration 9 : 91 enodes (cost 15 ) 11.616 * * [simplify]: iteration 10 : 106 enodes (cost 15 ) 11.626 * * [simplify]: iteration 11 : 111 enodes (cost 15 ) 11.638 * * [simplify]: iteration 12 : 115 enodes (cost 15 ) 11.651 * * [simplify]: iteration 13 : 116 enodes (cost 15 ) 11.666 * * [simplify]: iteration done : 116 enodes (cost 15 ) 11.667 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 11.668 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 11.669 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 11.671 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 11.675 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 11.679 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 11.685 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 11.692 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 11.699 * * [simplify]: iteration 8 : 76 enodes (cost 8 ) 11.707 * * [simplify]: iteration 9 : 85 enodes (cost 8 ) 11.721 * * [simplify]: iteration 10 : 100 enodes (cost 8 ) 11.731 * * [simplify]: iteration 11 : 105 enodes (cost 8 ) 11.741 * * [simplify]: iteration 12 : 109 enodes (cost 8 ) 11.754 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 11.766 * * [simplify]: iteration done : 113 enodes (cost 8 ) 11.769 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 11.770 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 11.771 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 11.774 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 11.777 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 11.781 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 11.787 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 11.794 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 11.802 * * [simplify]: iteration 8 : 76 enodes (cost 8 ) 11.810 * * [simplify]: iteration 9 : 85 enodes (cost 8 ) 11.820 * * [simplify]: iteration 10 : 100 enodes (cost 8 ) 11.833 * * [simplify]: iteration 11 : 105 enodes (cost 8 ) 11.844 * * [simplify]: iteration 12 : 109 enodes (cost 8 ) 11.857 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 11.869 * * [simplify]: iteration done : 113 enodes (cost 8 ) 11.870 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 11.870 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 11.872 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 11.874 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 11.877 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 11.882 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 11.889 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 11.896 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 11.904 * * [simplify]: iteration 8 : 76 enodes (cost 8 ) 11.912 * * [simplify]: iteration 9 : 85 enodes (cost 8 ) 11.923 * * [simplify]: iteration 10 : 100 enodes (cost 8 ) 11.932 * * [simplify]: iteration 11 : 105 enodes (cost 8 ) 11.946 * * [simplify]: iteration 12 : 109 enodes (cost 8 ) 11.958 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 11.969 * * [simplify]: iteration done : 113 enodes (cost 8 ) 11.970 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 11.970 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 11.971 * * [simplify]: iteration done : 5 enodes (cost 3 ) 11.972 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.973 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 11.974 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 11.977 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 11.981 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 11.986 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 11.996 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 12.007 * * [simplify]: iteration 7 : 110 enodes (cost 7 ) 12.022 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 12.043 * * [simplify]: iteration 9 : 195 enodes (cost 7 ) 12.070 * * [simplify]: iteration 10 : 223 enodes (cost 7 ) 12.094 * * [simplify]: iteration 11 : 242 enodes (cost 7 ) 12.121 * * [simplify]: iteration 12 : 249 enodes (cost 7 ) 12.148 * * [simplify]: iteration 13 : 254 enodes (cost 7 ) 12.177 * * [simplify]: iteration done : 254 enodes (cost 7 ) 12.177 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 12.178 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 12.179 * * [simplify]: iteration done : 11 enodes (cost 9 ) 12.180 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 12.181 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 12.182 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 12.184 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 12.186 * * [simplify]: iteration done : 20 enodes (cost 9 ) 12.186 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 12.187 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 12.187 * * [simplify]: iteration done : 5 enodes (cost 3 ) 12.188 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.188 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 12.190 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 12.193 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 12.197 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 12.202 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 12.210 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 12.225 * * [simplify]: iteration 7 : 110 enodes (cost 7 ) 12.239 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 12.261 * * [simplify]: iteration 9 : 195 enodes (cost 7 ) 12.288 * * [simplify]: iteration 10 : 223 enodes (cost 7 ) 12.312 * * [simplify]: iteration 11 : 242 enodes (cost 7 ) 12.340 * * [simplify]: iteration 12 : 249 enodes (cost 7 ) 12.368 * * [simplify]: iteration 13 : 254 enodes (cost 7 ) 12.396 * * [simplify]: iteration done : 254 enodes (cost 7 ) 12.397 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 12.397 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 12.397 * * [simplify]: iteration done : 5 enodes (cost 3 ) 12.398 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.399 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 12.400 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 12.404 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 12.407 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 12.412 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 12.420 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 12.432 * * [simplify]: iteration 7 : 110 enodes (cost 7 ) 12.449 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 12.471 * * [simplify]: iteration 9 : 195 enodes (cost 7 ) 12.496 * * [simplify]: iteration 10 : 223 enodes (cost 7 ) 12.521 * * [simplify]: iteration 11 : 242 enodes (cost 7 ) 12.545 * * [simplify]: iteration 12 : 249 enodes (cost 7 ) 12.576 * * [simplify]: iteration 13 : 254 enodes (cost 7 ) 12.601 * * [simplify]: iteration done : 254 enodes (cost 7 ) 12.602 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 12.603 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 12.604 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 12.607 * * [simplify]: iteration done : 12 enodes (cost 5 ) 12.607 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 12.608 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 12.610 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 12.615 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 12.620 * * [simplify]: iteration 4 : 62 enodes (cost 9 ) 12.628 * * [simplify]: iteration 5 : 85 enodes (cost 9 ) 12.640 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 12.658 * * [simplify]: iteration 7 : 167 enodes (cost 9 ) 12.684 * * [simplify]: iteration 8 : 246 enodes (cost 9 ) 12.723 * * [simplify]: iteration 9 : 319 enodes (cost 9 ) 12.763 * * [simplify]: iteration 10 : 360 enodes (cost 9 ) 12.806 * * [simplify]: iteration 11 : 393 enodes (cost 9 ) 12.849 * * [simplify]: iteration 12 : 403 enodes (cost 9 ) 12.895 * * [simplify]: iteration 13 : 409 enodes (cost 9 ) 12.939 * * [simplify]: iteration done : 409 enodes (cost 9 ) 12.939 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.940 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 12.942 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 12.945 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 12.948 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 12.953 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 12.962 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 12.973 * * [simplify]: iteration 7 : 110 enodes (cost 7 ) 12.991 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 13.012 * * [simplify]: iteration 9 : 195 enodes (cost 7 ) 13.036 * * [simplify]: iteration 10 : 223 enodes (cost 7 ) 13.062 * * [simplify]: iteration 11 : 242 enodes (cost 7 ) 13.087 * * [simplify]: iteration 12 : 249 enodes (cost 7 ) 13.116 * * [simplify]: iteration 13 : 254 enodes (cost 7 ) 13.142 * * [simplify]: iteration done : 254 enodes (cost 7 ) 13.142 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 13.143 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 13.146 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 13.149 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 13.156 * * [simplify]: iteration 4 : 45 enodes (cost 10 ) 13.161 * * [simplify]: iteration 5 : 54 enodes (cost 10 ) 13.169 * * [simplify]: iteration 6 : 67 enodes (cost 10 ) 13.178 * * [simplify]: iteration 7 : 80 enodes (cost 10 ) 13.186 * * [simplify]: iteration 8 : 89 enodes (cost 10 ) 13.196 * * [simplify]: iteration 9 : 98 enodes (cost 10 ) 13.211 * * [simplify]: iteration 10 : 113 enodes (cost 10 ) 13.221 * * [simplify]: iteration 11 : 118 enodes (cost 10 ) 13.234 * * [simplify]: iteration 12 : 122 enodes (cost 10 ) 13.248 * * [simplify]: iteration 13 : 123 enodes (cost 10 ) 13.261 * * [simplify]: iteration done : 123 enodes (cost 10 ) 13.261 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 13.265 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 13.267 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 13.271 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 13.275 * * [simplify]: iteration 4 : 45 enodes (cost 10 ) 13.280 * * [simplify]: iteration 5 : 54 enodes (cost 10 ) 13.288 * * [simplify]: iteration 6 : 67 enodes (cost 10 ) 13.297 * * [simplify]: iteration 7 : 80 enodes (cost 10 ) 13.306 * * [simplify]: iteration 8 : 89 enodes (cost 10 ) 13.315 * * [simplify]: iteration 9 : 98 enodes (cost 10 ) 13.330 * * [simplify]: iteration 10 : 113 enodes (cost 10 ) 13.341 * * [simplify]: iteration 11 : 118 enodes (cost 10 ) 13.354 * * [simplify]: iteration 12 : 122 enodes (cost 10 ) 13.368 * * [simplify]: iteration 13 : 123 enodes (cost 10 ) 13.383 * * [simplify]: iteration done : 123 enodes (cost 10 ) 13.384 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 13.385 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 13.387 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 13.391 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 13.396 * * [simplify]: iteration 4 : 62 enodes (cost 9 ) 13.405 * * [simplify]: iteration 5 : 85 enodes (cost 9 ) 13.417 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 13.438 * * [simplify]: iteration 7 : 167 enodes (cost 9 ) 13.462 * * [simplify]: iteration 8 : 246 enodes (cost 9 ) 13.501 * * [simplify]: iteration 9 : 319 enodes (cost 9 ) 13.543 * * [simplify]: iteration 10 : 360 enodes (cost 9 ) 13.582 * * [simplify]: iteration 11 : 393 enodes (cost 9 ) 13.627 * * [simplify]: iteration 12 : 403 enodes (cost 9 ) 13.673 * * [simplify]: iteration 13 : 409 enodes (cost 9 ) 13.717 * * [simplify]: iteration done : 409 enodes (cost 9 ) 13.718 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 13.719 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 13.721 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 13.723 * * [simplify]: iteration 3 : 33 enodes (cost 11 ) 13.727 * * [simplify]: iteration 4 : 38 enodes (cost 11 ) 13.731 * * [simplify]: iteration 5 : 40 enodes (cost 11 ) 13.735 * * [simplify]: iteration done : 40 enodes (cost 11 ) 13.735 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 13.736 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 13.738 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 13.742 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 13.748 * * [simplify]: iteration 4 : 62 enodes (cost 9 ) 13.755 * * [simplify]: iteration 5 : 85 enodes (cost 9 ) 13.770 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 13.788 * * [simplify]: iteration 7 : 167 enodes (cost 9 ) 13.811 * * [simplify]: iteration 8 : 246 enodes (cost 9 ) 13.852 * * [simplify]: iteration 9 : 319 enodes (cost 9 ) 13.895 * * [simplify]: iteration 10 : 360 enodes (cost 9 ) 13.939 * * [simplify]: iteration 11 : 393 enodes (cost 9 ) 13.979 * * [simplify]: iteration 12 : 403 enodes (cost 9 ) 14.026 * * [simplify]: iteration 13 : 409 enodes (cost 9 ) 14.071 * * [simplify]: iteration done : 409 enodes (cost 9 ) 14.072 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 14.073 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 14.075 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 14.079 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 14.084 * * [simplify]: iteration 4 : 62 enodes (cost 9 ) 14.095 * * [simplify]: iteration 5 : 85 enodes (cost 9 ) 14.108 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 14.126 * * [simplify]: iteration 7 : 167 enodes (cost 9 ) 14.153 * * [simplify]: iteration 8 : 246 enodes (cost 9 ) 14.190 * * [simplify]: iteration 9 : 319 enodes (cost 9 ) 14.232 * * [simplify]: iteration 10 : 360 enodes (cost 9 ) 14.276 * * [simplify]: iteration 11 : 393 enodes (cost 9 ) 14.319 * * [simplify]: iteration 12 : 403 enodes (cost 9 ) 14.363 * * [simplify]: iteration 13 : 409 enodes (cost 9 ) 14.407 * * [simplify]: iteration done : 409 enodes (cost 9 ) 14.408 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 14.410 * * [simplify]: iteration 1 : 37 enodes (cost 19 ) 14.417 * * [simplify]: iteration 2 : 135 enodes (cost 19 ) 14.454 * * [simplify]: iteration 3 : 477 enodes (cost 17 ) 14.681 * * [simplify]: iteration 4 : 1749 enodes (cost 17 ) 16.234 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 16.235 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.240 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 16.245 * * [simplify]: iteration 2 : 74 enodes (cost 9 ) 16.259 * * [simplify]: iteration 3 : 146 enodes (cost 9 ) 16.291 * * [simplify]: iteration 4 : 180 enodes (cost 9 ) 16.323 * * [simplify]: iteration done : 180 enodes (cost 9 ) 16.323 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 16.325 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 16.330 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 16.339 * * [simplify]: iteration 3 : 96 enodes (cost 13 ) 16.358 * * [simplify]: iteration 4 : 135 enodes (cost 13 ) 16.384 * * [simplify]: iteration 5 : 211 enodes (cost 9 ) 16.433 * * [simplify]: iteration 6 : 342 enodes (cost 9 ) 16.565 * * [simplify]: iteration 7 : 557 enodes (cost 9 ) 16.704 * * [simplify]: iteration 8 : 757 enodes (cost 9 ) 16.904 * * [simplify]: iteration 9 : 964 enodes (cost 9 ) 17.288 * * [simplify]: iteration 10 : 1282 enodes (cost 9 ) 17.557 * * [simplify]: iteration 11 : 1300 enodes (cost 9 ) 17.804 * * [simplify]: iteration done : 1300 enodes (cost 9 ) 17.805 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 17.805 * * [simplify]: iteration done : 1 enodes (cost 1 ) 17.806 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 17.806 * * [simplify]: iteration done : 1 enodes (cost 1 ) 17.806 * [simplify]: Simplified to: (- (log (- (+ x y) z)) (+ (log t) (log 2.0))) (- (log (- (+ x y) z)) (log (* t 2.0))) (log (/ (- (+ x y) z) (* t 2.0))) (exp (/ (- (+ x y) z) (* t 2.0))) (/ (pow (- (+ x y) z) 3) (pow (* t 2.0) 3)) (pow (/ (- (+ x y) z) (* t 2.0)) 3) (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0)))) (cbrt (/ (- (+ x y) z) (* t 2.0))) (pow (/ (- (+ x y) z) (* t 2.0)) 3) (sqrt (/ (- (+ x y) z) (* t 2.0))) (sqrt (/ (- (+ x y) z) (* t 2.0))) (- z (+ x y)) (neg (* t 2.0)) (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t) (/ (cbrt (- (+ x y) z)) 2.0) (/ (sqrt (- (+ x y) z)) t) (/ (sqrt (- (+ x y) z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ (+ (sqrt (+ x y)) (sqrt z)) t) (/ (- (sqrt (+ x y)) (sqrt z)) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 t) (/ (- (+ x y) z) 2.0) (/ 1 (* t 2.0)) (/ (* t 2.0) (- (+ x y) z)) (/ (- (+ x y) z) t) (/ (* t 2.0) (cbrt (- (+ x y) z))) (/ (* t 2.0) (sqrt (- (+ x y) z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z))) (/ (* t 2.0) (- (+ x y) z)) (/ (* t 2.0) (- (+ x y) z)) (* (+ (* (+ x y) (+ z (+ x y))) (* z z)) (* t 2.0)) (* (* t 2.0) (+ (+ x y) z)) (* (/ 0.5 t) (+ x (- y z))) 0 0 17.806 * * * [progress]: adding candidates to table 17.846 * * [progress]: iteration 2 / 4 17.846 * * * [progress]: picking best candidate 17.860 * * * * [pick]: Picked # 17.860 * * * [progress]: localizing error 17.868 * * * [progress]: generating rewritten candidates 17.868 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 17.878 * * * [progress]: generating series expansions 17.878 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 17.879 * [approximate]: Taking taylor expansion of (/ (- (+ x y) z) t) in (x y z t) around 0 17.879 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t 17.879 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t 17.879 * [taylor]: Taking taylor expansion of (+ x y) in t 17.879 * [taylor]: Taking taylor expansion of x in t 17.879 * [taylor]: Taking taylor expansion of y in t 17.879 * [taylor]: Taking taylor expansion of z in t 17.879 * [taylor]: Taking taylor expansion of t in t 17.879 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z 17.879 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z 17.879 * [taylor]: Taking taylor expansion of (+ x y) in z 17.879 * [taylor]: Taking taylor expansion of x in z 17.879 * [taylor]: Taking taylor expansion of y in z 17.879 * [taylor]: Taking taylor expansion of z in z 17.879 * [taylor]: Taking taylor expansion of t in z 17.879 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y 17.879 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y 17.879 * [taylor]: Taking taylor expansion of (+ x y) in y 17.879 * [taylor]: Taking taylor expansion of x in y 17.879 * [taylor]: Taking taylor expansion of y in y 17.879 * [taylor]: Taking taylor expansion of z in y 17.879 * [taylor]: Taking taylor expansion of t in y 17.879 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 17.879 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 17.880 * [taylor]: Taking taylor expansion of (+ x y) in x 17.880 * [taylor]: Taking taylor expansion of x in x 17.880 * [taylor]: Taking taylor expansion of y in x 17.880 * [taylor]: Taking taylor expansion of z in x 17.880 * [taylor]: Taking taylor expansion of t in x 17.880 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 17.880 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 17.880 * [taylor]: Taking taylor expansion of (+ x y) in x 17.880 * [taylor]: Taking taylor expansion of x in x 17.880 * [taylor]: Taking taylor expansion of y in x 17.880 * [taylor]: Taking taylor expansion of z in x 17.880 * [taylor]: Taking taylor expansion of t in x 17.880 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y 17.880 * [taylor]: Taking taylor expansion of (- y z) in y 17.880 * [taylor]: Taking taylor expansion of y in y 17.880 * [taylor]: Taking taylor expansion of z in y 17.880 * [taylor]: Taking taylor expansion of t in y 17.880 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z 17.880 * [taylor]: Taking taylor expansion of -1 in z 17.880 * [taylor]: Taking taylor expansion of (/ z t) in z 17.880 * [taylor]: Taking taylor expansion of z in z 17.880 * [taylor]: Taking taylor expansion of t in z 17.880 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.880 * [taylor]: Taking taylor expansion of t in y 17.880 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.880 * [taylor]: Taking taylor expansion of t in z 17.880 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.880 * [taylor]: Taking taylor expansion of t in t 17.881 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.881 * [taylor]: Taking taylor expansion of t in z 17.881 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.881 * [taylor]: Taking taylor expansion of t in t 17.881 * [taylor]: Taking taylor expansion of (/ -1 t) in t 17.881 * [taylor]: Taking taylor expansion of -1 in t 17.881 * [taylor]: Taking taylor expansion of t in t 17.881 * [approximate]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in (x y z t) around 0 17.881 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in t 17.881 * [taylor]: Taking taylor expansion of t in t 17.881 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in t 17.881 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 17.881 * [taylor]: Taking taylor expansion of (/ 1 x) in t 17.881 * [taylor]: Taking taylor expansion of x in t 17.881 * [taylor]: Taking taylor expansion of (/ 1 y) in t 17.881 * [taylor]: Taking taylor expansion of y in t 17.881 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.881 * [taylor]: Taking taylor expansion of z in t 17.881 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in z 17.881 * [taylor]: Taking taylor expansion of t in z 17.881 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in z 17.881 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 17.881 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.881 * [taylor]: Taking taylor expansion of x in z 17.882 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.882 * [taylor]: Taking taylor expansion of y in z 17.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.882 * [taylor]: Taking taylor expansion of z in z 17.882 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in y 17.882 * [taylor]: Taking taylor expansion of t in y 17.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in y 17.882 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 17.882 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.882 * [taylor]: Taking taylor expansion of x in y 17.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.882 * [taylor]: Taking taylor expansion of y in y 17.882 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.882 * [taylor]: Taking taylor expansion of z in y 17.882 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x 17.882 * [taylor]: Taking taylor expansion of t in x 17.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x 17.882 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.882 * [taylor]: Taking taylor expansion of x in x 17.882 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.882 * [taylor]: Taking taylor expansion of y in x 17.882 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.882 * [taylor]: Taking taylor expansion of z in x 17.882 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x 17.882 * [taylor]: Taking taylor expansion of t in x 17.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x 17.882 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.882 * [taylor]: Taking taylor expansion of x in x 17.882 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.882 * [taylor]: Taking taylor expansion of y in x 17.882 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.882 * [taylor]: Taking taylor expansion of z in x 17.882 * [taylor]: Taking taylor expansion of t in y 17.883 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y 17.883 * [taylor]: Taking taylor expansion of (/ t y) in y 17.883 * [taylor]: Taking taylor expansion of t in y 17.883 * [taylor]: Taking taylor expansion of y in y 17.883 * [taylor]: Taking taylor expansion of (/ t z) in y 17.883 * [taylor]: Taking taylor expansion of t in y 17.883 * [taylor]: Taking taylor expansion of z in y 17.883 * [taylor]: Taking taylor expansion of t in z 17.883 * [taylor]: Taking taylor expansion of t in z 17.884 * [taylor]: Taking taylor expansion of 0 in y 17.884 * [taylor]: Taking taylor expansion of (neg (/ t z)) in z 17.884 * [taylor]: Taking taylor expansion of (/ t z) in z 17.884 * [taylor]: Taking taylor expansion of t in z 17.884 * [taylor]: Taking taylor expansion of z in z 17.884 * [taylor]: Taking taylor expansion of (neg t) in t 17.884 * [taylor]: Taking taylor expansion of t in t 17.884 * [taylor]: Taking taylor expansion of 0 in z 17.884 * [taylor]: Taking taylor expansion of t in t 17.884 * [taylor]: Taking taylor expansion of t in t 17.884 * [taylor]: Taking taylor expansion of 0 in y 17.885 * [taylor]: Taking taylor expansion of 0 in z 17.885 * [taylor]: Taking taylor expansion of 0 in z 17.885 * [taylor]: Taking taylor expansion of 0 in z 17.885 * [taylor]: Taking taylor expansion of 0 in t 17.885 * [taylor]: Taking taylor expansion of 0 in t 17.885 * [taylor]: Taking taylor expansion of 0 in t 17.885 * [approximate]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in (x y z t) around 0 17.885 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in t 17.885 * [taylor]: Taking taylor expansion of -1 in t 17.885 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in t 17.885 * [taylor]: Taking taylor expansion of t in t 17.885 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in t 17.885 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.885 * [taylor]: Taking taylor expansion of z in t 17.885 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 17.885 * [taylor]: Taking taylor expansion of (/ 1 x) in t 17.885 * [taylor]: Taking taylor expansion of x in t 17.885 * [taylor]: Taking taylor expansion of (/ 1 y) in t 17.885 * [taylor]: Taking taylor expansion of y in t 17.885 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z 17.885 * [taylor]: Taking taylor expansion of -1 in z 17.885 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z 17.885 * [taylor]: Taking taylor expansion of t in z 17.885 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z 17.885 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.885 * [taylor]: Taking taylor expansion of z in z 17.886 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 17.886 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.886 * [taylor]: Taking taylor expansion of x in z 17.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.886 * [taylor]: Taking taylor expansion of y in z 17.886 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y 17.886 * [taylor]: Taking taylor expansion of -1 in y 17.886 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y 17.886 * [taylor]: Taking taylor expansion of t in y 17.886 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y 17.886 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.886 * [taylor]: Taking taylor expansion of z in y 17.886 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 17.886 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.886 * [taylor]: Taking taylor expansion of x in y 17.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.886 * [taylor]: Taking taylor expansion of y in y 17.886 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x 17.886 * [taylor]: Taking taylor expansion of -1 in x 17.886 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x 17.886 * [taylor]: Taking taylor expansion of t in x 17.886 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x 17.886 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.886 * [taylor]: Taking taylor expansion of z in x 17.886 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.886 * [taylor]: Taking taylor expansion of x in x 17.886 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.886 * [taylor]: Taking taylor expansion of y in x 17.886 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x 17.886 * [taylor]: Taking taylor expansion of -1 in x 17.886 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x 17.886 * [taylor]: Taking taylor expansion of t in x 17.886 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x 17.886 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.886 * [taylor]: Taking taylor expansion of z in x 17.886 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 17.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.886 * [taylor]: Taking taylor expansion of x in x 17.886 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.886 * [taylor]: Taking taylor expansion of y in x 17.887 * [taylor]: Taking taylor expansion of t in y 17.887 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y 17.887 * [taylor]: Taking taylor expansion of (/ t y) in y 17.887 * [taylor]: Taking taylor expansion of t in y 17.887 * [taylor]: Taking taylor expansion of y in y 17.887 * [taylor]: Taking taylor expansion of (/ t z) in y 17.887 * [taylor]: Taking taylor expansion of t in y 17.887 * [taylor]: Taking taylor expansion of z in y 17.887 * [taylor]: Taking taylor expansion of t in z 17.887 * [taylor]: Taking taylor expansion of t in z 17.887 * [taylor]: Taking taylor expansion of 0 in y 17.888 * [taylor]: Taking taylor expansion of (neg (/ t z)) in z 17.888 * [taylor]: Taking taylor expansion of (/ t z) in z 17.888 * [taylor]: Taking taylor expansion of t in z 17.888 * [taylor]: Taking taylor expansion of z in z 17.888 * [taylor]: Taking taylor expansion of (neg t) in t 17.888 * [taylor]: Taking taylor expansion of t in t 17.888 * [taylor]: Taking taylor expansion of 0 in z 17.888 * [taylor]: Taking taylor expansion of t in t 17.888 * [taylor]: Taking taylor expansion of t in t 17.888 * [taylor]: Taking taylor expansion of 0 in y 17.888 * [taylor]: Taking taylor expansion of 0 in z 17.888 * [taylor]: Taking taylor expansion of 0 in z 17.889 * [taylor]: Taking taylor expansion of 0 in z 17.889 * [taylor]: Taking taylor expansion of 0 in t 17.889 * [taylor]: Taking taylor expansion of 0 in t 17.889 * [taylor]: Taking taylor expansion of 0 in t 17.889 * * * [progress]: simplifying candidates 17.889 * [simplify]: Simplifying using # : (- (log (- (+ x y) z)) (log t)) (log (/ (- (+ x y) z) t)) (exp (/ (- (+ x y) z) t)) (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* t t) t)) (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t))) (cbrt (/ (- (+ x y) z) t)) (* (* (/ (- (+ x y) z) t) (/ (- (+ x y) z) t)) (/ (- (+ x y) z) t)) (sqrt (/ (- (+ x y) z) t)) (sqrt (/ (- (+ x y) z) t)) (neg (- (+ x y) z)) (neg t) (/ (+ x y) t) (/ z t) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (* (cbrt t) (cbrt t))) (/ (cbrt (- (+ x y) z)) (cbrt t)) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (sqrt t)) (/ (cbrt (- (+ x y) z)) (sqrt t)) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) 1) (/ (cbrt (- (+ x y) z)) t) (/ (sqrt (- (+ x y) z)) (* (cbrt t) (cbrt t))) (/ (sqrt (- (+ x y) z)) (cbrt t)) (/ (sqrt (- (+ x y) z)) (sqrt t)) (/ (sqrt (- (+ x y) z)) (sqrt t)) (/ (sqrt (- (+ x y) z)) 1) (/ (sqrt (- (+ x y) z)) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (cbrt t)) (/ 1 (sqrt t)) (/ (- (+ x y) z) (sqrt t)) (/ 1 1) (/ (- (+ x y) z) t) (/ (+ (sqrt (+ x y)) (sqrt z)) (* (cbrt t) (cbrt t))) (/ (- (sqrt (+ x y)) (sqrt z)) (cbrt t)) (/ (+ (sqrt (+ x y)) (sqrt z)) (sqrt t)) (/ (- (sqrt (+ x y)) (sqrt z)) (sqrt t)) (/ (+ (sqrt (+ x y)) (sqrt z)) 1) (/ (- (sqrt (+ x y)) (sqrt z)) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (cbrt t)) (/ 1 (sqrt t)) (/ (- (+ x y) z) (sqrt t)) (/ 1 1) (/ (- (+ x y) z) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (cbrt t)) (/ 1 (sqrt t)) (/ (- (+ x y) z) (sqrt t)) (/ 1 1) (/ (- (+ x y) z) t) (/ 1 t) (/ t (- (+ x y) z)) (/ (- (+ x y) z) (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (sqrt t)) (/ (- (+ x y) z) 1) (/ t (cbrt (- (+ x y) z))) (/ t (sqrt (- (+ x y) z))) (/ t (- (+ x y) z)) (/ t (- (sqrt (+ x y)) (sqrt z))) (/ t (- (+ x y) z)) (/ t (- (+ x y) z)) (* t (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z)))) (* t (+ (+ x y) z)) (- (+ (/ y t) (/ x t)) (/ z t)) 0 0 17.890 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 17.891 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 17.893 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 17.896 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 17.899 * * [simplify]: iteration 4 : 36 enodes (cost 9 ) 17.903 * * [simplify]: iteration 5 : 45 enodes (cost 9 ) 17.910 * * [simplify]: iteration 6 : 58 enodes (cost 9 ) 17.918 * * [simplify]: iteration 7 : 71 enodes (cost 9 ) 17.928 * * [simplify]: iteration 8 : 80 enodes (cost 9 ) 17.936 * * [simplify]: iteration 9 : 89 enodes (cost 9 ) 17.948 * * [simplify]: iteration 10 : 104 enodes (cost 9 ) 17.958 * * [simplify]: iteration 11 : 109 enodes (cost 9 ) 17.969 * * [simplify]: iteration 12 : 113 enodes (cost 9 ) 17.984 * * [simplify]: iteration 13 : 117 enodes (cost 9 ) 17.996 * * [simplify]: iteration done : 117 enodes (cost 9 ) 17.997 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 17.997 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 18.000 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 18.003 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 18.008 * * [simplify]: iteration 4 : 48 enodes (cost 8 ) 18.014 * * [simplify]: iteration 5 : 63 enodes (cost 8 ) 18.023 * * [simplify]: iteration 6 : 88 enodes (cost 8 ) 18.035 * * [simplify]: iteration 7 : 117 enodes (cost 8 ) 18.052 * * [simplify]: iteration 8 : 161 enodes (cost 8 ) 18.074 * * [simplify]: iteration 9 : 202 enodes (cost 8 ) 18.101 * * [simplify]: iteration 10 : 230 enodes (cost 8 ) 18.126 * * [simplify]: iteration 11 : 249 enodes (cost 8 ) 18.155 * * [simplify]: iteration 12 : 256 enodes (cost 8 ) 18.182 * * [simplify]: iteration 13 : 258 enodes (cost 8 ) 18.211 * * [simplify]: iteration done : 258 enodes (cost 8 ) 18.212 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 18.213 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 18.215 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 18.218 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 18.223 * * [simplify]: iteration 4 : 50 enodes (cost 8 ) 18.229 * * [simplify]: iteration 5 : 74 enodes (cost 8 ) 18.239 * * [simplify]: iteration 6 : 109 enodes (cost 8 ) 18.256 * * [simplify]: iteration 7 : 165 enodes (cost 8 ) 18.287 * * [simplify]: iteration 8 : 257 enodes (cost 8 ) 18.355 * * [simplify]: iteration 9 : 401 enodes (cost 8 ) 18.452 * * [simplify]: iteration 10 : 552 enodes (cost 8 ) 18.550 * * [simplify]: iteration 11 : 628 enodes (cost 8 ) 18.645 * * [simplify]: iteration 12 : 634 enodes (cost 8 ) 18.741 * * [simplify]: iteration 13 : 639 enodes (cost 8 ) 18.834 * * [simplify]: iteration done : 639 enodes (cost 8 ) 18.835 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 18.836 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 18.841 * * [simplify]: iteration 2 : 91 enodes (cost 11 ) 18.864 * * [simplify]: iteration 3 : 386 enodes (cost 9 ) 19.047 * * [simplify]: iteration 4 : 1662 enodes (cost 9 ) 20.079 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 20.080 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 20.081 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 20.083 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 20.086 * * [simplify]: iteration 3 : 34 enodes (cost 17 ) 20.090 * * [simplify]: iteration 4 : 43 enodes (cost 17 ) 20.096 * * [simplify]: iteration 5 : 58 enodes (cost 17 ) 20.104 * * [simplify]: iteration 6 : 83 enodes (cost 17 ) 20.120 * * [simplify]: iteration 7 : 112 enodes (cost 17 ) 20.135 * * [simplify]: iteration 8 : 156 enodes (cost 17 ) 20.157 * * [simplify]: iteration 9 : 197 enodes (cost 17 ) 20.185 * * [simplify]: iteration 10 : 225 enodes (cost 17 ) 20.210 * * [simplify]: iteration 11 : 244 enodes (cost 17 ) 20.239 * * [simplify]: iteration 12 : 251 enodes (cost 17 ) 20.267 * * [simplify]: iteration 13 : 253 enodes (cost 17 ) 20.296 * * [simplify]: iteration done : 253 enodes (cost 17 ) 20.296 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.297 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 20.299 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 20.302 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 20.306 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 20.311 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 20.320 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 20.332 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 20.350 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 20.373 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 20.397 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 20.426 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 20.451 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 20.482 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 20.507 * * [simplify]: iteration done : 255 enodes (cost 8 ) 20.508 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 20.509 * * [simplify]: iteration 1 : 24 enodes (cost 23 ) 20.514 * * [simplify]: iteration 2 : 73 enodes (cost 9 ) 20.533 * * [simplify]: iteration 3 : 289 enodes (cost 9 ) 20.650 * * [simplify]: iteration 4 : 1232 enodes (cost 9 ) 21.567 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 21.567 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 21.568 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 21.570 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 21.573 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 21.580 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 21.585 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 21.594 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 21.605 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 21.620 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 21.646 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 21.670 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 21.698 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 21.723 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 21.753 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 21.779 * * [simplify]: iteration done : 255 enodes (cost 8 ) 21.780 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 21.781 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 21.782 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 21.785 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 21.789 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 21.794 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 21.805 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 21.817 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 21.831 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 21.853 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 21.882 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 21.905 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 21.934 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 21.961 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 21.990 * * [simplify]: iteration done : 255 enodes (cost 8 ) 21.991 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.991 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 21.993 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 21.996 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 22.002 * * [simplify]: iteration 4 : 61 enodes (cost 5 ) 22.011 * * [simplify]: iteration 5 : 77 enodes (cost 5 ) 22.025 * * [simplify]: iteration 6 : 107 enodes (cost 5 ) 22.045 * * [simplify]: iteration 7 : 123 enodes (cost 5 ) 22.057 * * [simplify]: iteration 8 : 125 enodes (cost 5 ) 22.069 * * [simplify]: iteration 9 : 129 enodes (cost 5 ) 22.080 * * [simplify]: iteration done : 129 enodes (cost 5 ) 22.080 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 22.081 * * [simplify]: iteration done : 2 enodes (cost 2 ) 22.081 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 22.082 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 22.082 * * [simplify]: iteration done : 6 enodes (cost 5 ) 22.083 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.083 * * [simplify]: iteration done : 3 enodes (cost 3 ) 22.087 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 22.089 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 22.091 * * [simplify]: iteration 2 : 38 enodes (cost 19 ) 22.096 * * [simplify]: iteration 3 : 50 enodes (cost 19 ) 22.103 * * [simplify]: iteration 4 : 56 enodes (cost 19 ) 22.109 * * [simplify]: iteration 5 : 65 enodes (cost 19 ) 22.119 * * [simplify]: iteration 6 : 78 enodes (cost 19 ) 22.129 * * [simplify]: iteration 7 : 91 enodes (cost 19 ) 22.139 * * [simplify]: iteration 8 : 100 enodes (cost 19 ) 22.154 * * [simplify]: iteration 9 : 109 enodes (cost 19 ) 22.168 * * [simplify]: iteration 10 : 124 enodes (cost 19 ) 22.180 * * [simplify]: iteration 11 : 129 enodes (cost 19 ) 22.194 * * [simplify]: iteration 12 : 133 enodes (cost 19 ) 22.214 * * [simplify]: iteration 13 : 134 enodes (cost 19 ) 22.228 * * [simplify]: iteration done : 134 enodes (cost 19 ) 22.229 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.230 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.231 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 22.234 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 22.237 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 22.241 * * [simplify]: iteration 5 : 42 enodes (cost 9 ) 22.247 * * [simplify]: iteration 6 : 55 enodes (cost 9 ) 22.255 * * [simplify]: iteration 7 : 68 enodes (cost 9 ) 22.266 * * [simplify]: iteration 8 : 77 enodes (cost 9 ) 22.275 * * [simplify]: iteration 9 : 86 enodes (cost 9 ) 22.285 * * [simplify]: iteration 10 : 101 enodes (cost 9 ) 22.295 * * [simplify]: iteration 11 : 106 enodes (cost 9 ) 22.306 * * [simplify]: iteration 12 : 110 enodes (cost 9 ) 22.323 * * [simplify]: iteration 13 : 111 enodes (cost 9 ) 22.334 * * [simplify]: iteration done : 111 enodes (cost 9 ) 22.335 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 22.336 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 22.338 * * [simplify]: iteration 2 : 26 enodes (cost 16 ) 22.341 * * [simplify]: iteration 3 : 33 enodes (cost 16 ) 22.345 * * [simplify]: iteration 4 : 39 enodes (cost 16 ) 22.350 * * [simplify]: iteration 5 : 48 enodes (cost 16 ) 22.357 * * [simplify]: iteration 6 : 61 enodes (cost 16 ) 22.365 * * [simplify]: iteration 7 : 74 enodes (cost 16 ) 22.373 * * [simplify]: iteration 8 : 83 enodes (cost 16 ) 22.385 * * [simplify]: iteration 9 : 92 enodes (cost 16 ) 22.396 * * [simplify]: iteration 10 : 107 enodes (cost 16 ) 22.406 * * [simplify]: iteration 11 : 112 enodes (cost 16 ) 22.418 * * [simplify]: iteration 12 : 116 enodes (cost 16 ) 22.435 * * [simplify]: iteration 13 : 117 enodes (cost 16 ) 22.447 * * [simplify]: iteration done : 117 enodes (cost 16 ) 22.447 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.448 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.450 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 22.452 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 22.456 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 22.459 * * [simplify]: iteration 5 : 42 enodes (cost 9 ) 22.466 * * [simplify]: iteration 6 : 55 enodes (cost 9 ) 22.473 * * [simplify]: iteration 7 : 68 enodes (cost 9 ) 22.481 * * [simplify]: iteration 8 : 77 enodes (cost 9 ) 22.493 * * [simplify]: iteration 9 : 86 enodes (cost 9 ) 22.503 * * [simplify]: iteration 10 : 101 enodes (cost 9 ) 22.513 * * [simplify]: iteration 11 : 106 enodes (cost 9 ) 22.524 * * [simplify]: iteration 12 : 110 enodes (cost 9 ) 22.537 * * [simplify]: iteration 13 : 111 enodes (cost 9 ) 22.552 * * [simplify]: iteration done : 111 enodes (cost 9 ) 22.552 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 22.553 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 22.555 * * [simplify]: iteration 2 : 31 enodes (cost 13 ) 22.559 * * [simplify]: iteration 3 : 42 enodes (cost 13 ) 22.563 * * [simplify]: iteration 4 : 48 enodes (cost 13 ) 22.568 * * [simplify]: iteration 5 : 57 enodes (cost 13 ) 22.575 * * [simplify]: iteration 6 : 70 enodes (cost 13 ) 22.584 * * [simplify]: iteration 7 : 83 enodes (cost 13 ) 22.592 * * [simplify]: iteration 8 : 92 enodes (cost 13 ) 22.605 * * [simplify]: iteration 9 : 101 enodes (cost 13 ) 22.617 * * [simplify]: iteration 10 : 116 enodes (cost 13 ) 22.627 * * [simplify]: iteration 11 : 121 enodes (cost 13 ) 22.639 * * [simplify]: iteration 12 : 125 enodes (cost 13 ) 22.653 * * [simplify]: iteration 13 : 129 enodes (cost 13 ) 22.668 * * [simplify]: iteration done : 129 enodes (cost 13 ) 22.669 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 22.670 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 22.671 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 22.674 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 22.677 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 22.681 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 22.687 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 22.694 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 22.701 * * [simplify]: iteration 8 : 76 enodes (cost 8 ) 22.710 * * [simplify]: iteration 9 : 85 enodes (cost 8 ) 22.724 * * [simplify]: iteration 10 : 100 enodes (cost 8 ) 22.733 * * [simplify]: iteration 11 : 105 enodes (cost 8 ) 22.744 * * [simplify]: iteration 12 : 109 enodes (cost 8 ) 22.756 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 22.768 * * [simplify]: iteration done : 113 enodes (cost 8 ) 22.769 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 22.770 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 22.772 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 22.778 * * [simplify]: iteration 3 : 30 enodes (cost 12 ) 22.782 * * [simplify]: iteration 4 : 36 enodes (cost 12 ) 22.786 * * [simplify]: iteration 5 : 45 enodes (cost 12 ) 22.793 * * [simplify]: iteration 6 : 58 enodes (cost 12 ) 22.801 * * [simplify]: iteration 7 : 71 enodes (cost 12 ) 22.808 * * [simplify]: iteration 8 : 80 enodes (cost 12 ) 22.817 * * [simplify]: iteration 9 : 89 enodes (cost 12 ) 22.828 * * [simplify]: iteration 10 : 104 enodes (cost 12 ) 22.842 * * [simplify]: iteration 11 : 109 enodes (cost 12 ) 22.853 * * [simplify]: iteration 12 : 113 enodes (cost 12 ) 22.865 * * [simplify]: iteration 13 : 117 enodes (cost 12 ) 22.877 * * [simplify]: iteration done : 117 enodes (cost 12 ) 22.878 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.879 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.880 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 22.883 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 22.889 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 22.893 * * [simplify]: iteration 5 : 42 enodes (cost 9 ) 22.899 * * [simplify]: iteration 6 : 55 enodes (cost 9 ) 22.907 * * [simplify]: iteration 7 : 68 enodes (cost 9 ) 22.914 * * [simplify]: iteration 8 : 77 enodes (cost 9 ) 22.922 * * [simplify]: iteration 9 : 86 enodes (cost 9 ) 22.933 * * [simplify]: iteration 10 : 101 enodes (cost 9 ) 22.946 * * [simplify]: iteration 11 : 106 enodes (cost 9 ) 22.957 * * [simplify]: iteration 12 : 110 enodes (cost 9 ) 22.969 * * [simplify]: iteration 13 : 111 enodes (cost 9 ) 22.981 * * [simplify]: iteration done : 111 enodes (cost 9 ) 22.981 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.982 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.984 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 22.986 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 22.990 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 22.994 * * [simplify]: iteration 5 : 42 enodes (cost 9 ) 23.003 * * [simplify]: iteration 6 : 55 enodes (cost 9 ) 23.010 * * [simplify]: iteration 7 : 68 enodes (cost 9 ) 23.017 * * [simplify]: iteration 8 : 77 enodes (cost 9 ) 23.025 * * [simplify]: iteration 9 : 86 enodes (cost 9 ) 23.036 * * [simplify]: iteration 10 : 101 enodes (cost 9 ) 23.046 * * [simplify]: iteration 11 : 106 enodes (cost 9 ) 23.061 * * [simplify]: iteration 12 : 110 enodes (cost 9 ) 23.073 * * [simplify]: iteration 13 : 111 enodes (cost 9 ) 23.085 * * [simplify]: iteration done : 111 enodes (cost 9 ) 23.085 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 23.087 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 23.088 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 23.091 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 23.094 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 23.098 * * [simplify]: iteration 5 : 42 enodes (cost 9 ) 23.104 * * [simplify]: iteration 6 : 55 enodes (cost 9 ) 23.112 * * [simplify]: iteration 7 : 68 enodes (cost 9 ) 23.123 * * [simplify]: iteration 8 : 77 enodes (cost 9 ) 23.131 * * [simplify]: iteration 9 : 86 enodes (cost 9 ) 23.141 * * [simplify]: iteration 10 : 101 enodes (cost 9 ) 23.151 * * [simplify]: iteration 11 : 106 enodes (cost 9 ) 23.162 * * [simplify]: iteration 12 : 110 enodes (cost 9 ) 23.178 * * [simplify]: iteration 13 : 111 enodes (cost 9 ) 23.189 * * [simplify]: iteration done : 111 enodes (cost 9 ) 23.190 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 23.191 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 23.192 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 23.195 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 23.198 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 23.202 * * [simplify]: iteration 5 : 45 enodes (cost 6 ) 23.208 * * [simplify]: iteration 6 : 58 enodes (cost 6 ) 23.216 * * [simplify]: iteration 7 : 71 enodes (cost 6 ) 23.223 * * [simplify]: iteration 8 : 80 enodes (cost 6 ) 23.235 * * [simplify]: iteration 9 : 89 enodes (cost 6 ) 23.245 * * [simplify]: iteration 10 : 104 enodes (cost 6 ) 23.255 * * [simplify]: iteration 11 : 109 enodes (cost 6 ) 23.266 * * [simplify]: iteration 12 : 113 enodes (cost 6 ) 23.279 * * [simplify]: iteration 13 : 117 enodes (cost 6 ) 23.293 * * [simplify]: iteration done : 117 enodes (cost 6 ) 23.294 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 23.295 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 23.296 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 23.299 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 23.302 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 23.306 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 23.312 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 23.319 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 23.327 * * [simplify]: iteration 8 : 76 enodes (cost 8 ) 23.334 * * [simplify]: iteration 9 : 85 enodes (cost 8 ) 23.348 * * [simplify]: iteration 10 : 100 enodes (cost 8 ) 23.358 * * [simplify]: iteration 11 : 105 enodes (cost 8 ) 23.369 * * [simplify]: iteration 12 : 109 enodes (cost 8 ) 23.381 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 23.393 * * [simplify]: iteration done : 113 enodes (cost 8 ) 23.393 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 23.394 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 23.395 * * [simplify]: iteration done : 9 enodes (cost 7 ) 23.395 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 23.396 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 23.401 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 23.404 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 23.408 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 23.413 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 23.421 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 23.433 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 23.448 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 23.472 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 23.497 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 23.524 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 23.550 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 23.579 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 23.605 * * [simplify]: iteration done : 255 enodes (cost 8 ) 23.605 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.606 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 23.606 * * [simplify]: iteration done : 6 enodes (cost 4 ) 23.607 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 23.608 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 23.609 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 23.612 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 23.616 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 23.621 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 23.632 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 23.644 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 23.658 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 23.683 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 23.708 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 23.731 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 23.761 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 23.788 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 23.817 * * [simplify]: iteration done : 255 enodes (cost 8 ) 23.818 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 23.818 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 23.818 * * [simplify]: iteration done : 4 enodes (cost 1 ) 23.819 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 23.819 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 23.821 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 23.824 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 23.828 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 23.833 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 23.841 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 23.857 * * [simplify]: iteration 7 : 110 enodes (cost 7 ) 23.871 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 23.893 * * [simplify]: iteration 9 : 195 enodes (cost 7 ) 23.921 * * [simplify]: iteration 10 : 223 enodes (cost 7 ) 23.945 * * [simplify]: iteration 11 : 242 enodes (cost 7 ) 23.973 * * [simplify]: iteration 12 : 249 enodes (cost 7 ) 24.000 * * [simplify]: iteration 13 : 254 enodes (cost 7 ) 24.029 * * [simplify]: iteration done : 254 enodes (cost 7 ) 24.030 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 24.031 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 24.032 * * [simplify]: iteration done : 15 enodes (cost 13 ) 24.033 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 24.034 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 24.035 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 24.037 * * [simplify]: iteration 3 : 21 enodes (cost 10 ) 24.039 * * [simplify]: iteration done : 21 enodes (cost 10 ) 24.040 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 24.041 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 24.042 * * [simplify]: iteration done : 12 enodes (cost 10 ) 24.042 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 24.043 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 24.045 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 24.047 * * [simplify]: iteration 3 : 21 enodes (cost 10 ) 24.049 * * [simplify]: iteration done : 21 enodes (cost 10 ) 24.049 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 24.050 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 24.051 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 24.052 * * [simplify]: iteration done : 15 enodes (cost 7 ) 24.053 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 24.054 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 24.055 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 24.057 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 24.059 * * [simplify]: iteration done : 20 enodes (cost 9 ) 24.060 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 24.060 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 24.061 * * [simplify]: iteration done : 9 enodes (cost 7 ) 24.062 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 24.063 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 24.065 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 24.067 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 24.071 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 24.076 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 24.087 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 24.099 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 24.114 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 24.139 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 24.164 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 24.188 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 24.217 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 24.244 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 24.273 * * [simplify]: iteration done : 255 enodes (cost 8 ) 24.274 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 24.274 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 24.275 * * [simplify]: iteration done : 6 enodes (cost 4 ) 24.275 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 24.276 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 24.278 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 24.281 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 24.285 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 24.290 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 24.298 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 24.314 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 24.329 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 24.351 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 24.379 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 24.403 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 24.432 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 24.459 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 24.488 * * [simplify]: iteration done : 255 enodes (cost 8 ) 24.489 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 24.489 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 24.490 * * [simplify]: iteration done : 4 enodes (cost 1 ) 24.490 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 24.491 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 24.493 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 24.496 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 24.499 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 24.504 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 24.513 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 24.524 * * [simplify]: iteration 7 : 110 enodes (cost 7 ) 24.543 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 24.564 * * [simplify]: iteration 9 : 195 enodes (cost 7 ) 24.591 * * [simplify]: iteration 10 : 223 enodes (cost 7 ) 24.615 * * [simplify]: iteration 11 : 242 enodes (cost 7 ) 24.640 * * [simplify]: iteration 12 : 249 enodes (cost 7 ) 24.671 * * [simplify]: iteration 13 : 254 enodes (cost 7 ) 24.698 * * [simplify]: iteration done : 254 enodes (cost 7 ) 24.698 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 24.699 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 24.700 * * [simplify]: iteration done : 9 enodes (cost 7 ) 24.700 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 24.702 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 24.707 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 24.710 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 24.714 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 24.719 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 24.727 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 24.739 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 24.754 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 24.780 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 24.805 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 24.834 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 24.860 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 24.890 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 24.916 * * [simplify]: iteration done : 255 enodes (cost 8 ) 24.917 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 24.917 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 24.918 * * [simplify]: iteration done : 6 enodes (cost 4 ) 24.918 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 24.919 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 24.921 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 24.924 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 24.928 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 24.936 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 24.944 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 24.956 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 24.971 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 24.996 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 25.021 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 25.044 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 25.073 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 25.100 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 25.129 * * [simplify]: iteration done : 255 enodes (cost 8 ) 25.130 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 25.130 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 25.131 * * [simplify]: iteration done : 4 enodes (cost 1 ) 25.131 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 25.132 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 25.134 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 25.137 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 25.140 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 25.145 * * [simplify]: iteration 5 : 56 enodes (cost 7 ) 25.153 * * [simplify]: iteration 6 : 81 enodes (cost 7 ) 25.169 * * [simplify]: iteration 7 : 110 enodes (cost 7 ) 25.183 * * [simplify]: iteration 8 : 154 enodes (cost 7 ) 25.204 * * [simplify]: iteration 9 : 195 enodes (cost 7 ) 25.232 * * [simplify]: iteration 10 : 223 enodes (cost 7 ) 25.256 * * [simplify]: iteration 11 : 242 enodes (cost 7 ) 25.284 * * [simplify]: iteration 12 : 249 enodes (cost 7 ) 25.311 * * [simplify]: iteration 13 : 254 enodes (cost 7 ) 25.339 * * [simplify]: iteration done : 254 enodes (cost 7 ) 25.340 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.340 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 25.341 * * [simplify]: iteration done : 5 enodes (cost 3 ) 25.341 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 25.342 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 25.343 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 25.346 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 25.349 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 25.352 * * [simplify]: iteration 5 : 40 enodes (cost 7 ) 25.359 * * [simplify]: iteration 6 : 53 enodes (cost 7 ) 25.366 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 25.373 * * [simplify]: iteration 8 : 75 enodes (cost 7 ) 25.385 * * [simplify]: iteration 9 : 84 enodes (cost 7 ) 25.396 * * [simplify]: iteration 10 : 99 enodes (cost 7 ) 25.405 * * [simplify]: iteration 11 : 104 enodes (cost 7 ) 25.416 * * [simplify]: iteration 12 : 108 enodes (cost 7 ) 25.428 * * [simplify]: iteration 13 : 112 enodes (cost 7 ) 25.443 * * [simplify]: iteration done : 112 enodes (cost 7 ) 25.444 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 25.445 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 25.447 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 25.451 * * [simplify]: iteration 3 : 44 enodes (cost 11 ) 25.456 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 25.463 * * [simplify]: iteration 5 : 82 enodes (cost 11 ) 25.475 * * [simplify]: iteration 6 : 122 enodes (cost 11 ) 25.493 * * [simplify]: iteration 7 : 170 enodes (cost 11 ) 25.519 * * [simplify]: iteration 8 : 250 enodes (cost 11 ) 25.561 * * [simplify]: iteration 9 : 326 enodes (cost 11 ) 25.607 * * [simplify]: iteration 10 : 369 enodes (cost 11 ) 25.650 * * [simplify]: iteration 11 : 404 enodes (cost 11 ) 25.698 * * [simplify]: iteration 12 : 414 enodes (cost 11 ) 25.750 * * [simplify]: iteration 13 : 420 enodes (cost 11 ) 25.801 * * [simplify]: iteration done : 420 enodes (cost 11 ) 25.801 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 25.803 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 25.804 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 25.808 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 25.811 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 25.816 * * [simplify]: iteration 5 : 57 enodes (cost 8 ) 25.825 * * [simplify]: iteration 6 : 82 enodes (cost 8 ) 25.841 * * [simplify]: iteration 7 : 111 enodes (cost 8 ) 25.855 * * [simplify]: iteration 8 : 155 enodes (cost 8 ) 25.877 * * [simplify]: iteration 9 : 196 enodes (cost 8 ) 25.906 * * [simplify]: iteration 10 : 224 enodes (cost 8 ) 25.930 * * [simplify]: iteration 11 : 243 enodes (cost 8 ) 25.959 * * [simplify]: iteration 12 : 250 enodes (cost 8 ) 25.987 * * [simplify]: iteration 13 : 255 enodes (cost 8 ) 26.016 * * [simplify]: iteration done : 255 enodes (cost 8 ) 26.016 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 26.017 * * [simplify]: iteration 1 : 17 enodes (cost 5 ) 26.019 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 26.022 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 26.026 * * [simplify]: iteration 4 : 43 enodes (cost 5 ) 26.032 * * [simplify]: iteration 5 : 58 enodes (cost 5 ) 26.041 * * [simplify]: iteration 6 : 80 enodes (cost 5 ) 26.051 * * [simplify]: iteration 7 : 100 enodes (cost 5 ) 26.068 * * [simplify]: iteration 8 : 126 enodes (cost 5 ) 26.079 * * [simplify]: iteration 9 : 139 enodes (cost 5 ) 26.094 * * [simplify]: iteration 10 : 159 enodes (cost 5 ) 26.106 * * [simplify]: iteration 11 : 166 enodes (cost 5 ) 26.124 * * [simplify]: iteration 12 : 170 enodes (cost 5 ) 26.140 * * [simplify]: iteration 13 : 172 enodes (cost 5 ) 26.155 * * [simplify]: iteration done : 172 enodes (cost 5 ) 26.155 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 26.156 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 26.158 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 26.160 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 26.163 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 26.167 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 26.175 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 26.183 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 26.191 * * [simplify]: iteration 8 : 76 enodes (cost 8 ) 26.199 * * [simplify]: iteration 9 : 85 enodes (cost 8 ) 26.210 * * [simplify]: iteration 10 : 100 enodes (cost 8 ) 26.219 * * [simplify]: iteration 11 : 105 enodes (cost 8 ) 26.233 * * [simplify]: iteration 12 : 109 enodes (cost 8 ) 26.247 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 26.258 * * [simplify]: iteration done : 113 enodes (cost 8 ) 26.259 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 26.260 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 26.261 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 26.264 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 26.266 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 26.270 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 26.276 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 26.284 * * [simplify]: iteration 7 : 67 enodes (cost 8 ) 26.294 * * [simplify]: iteration 8 : 76 enodes (cost 8 ) 26.303 * * [simplify]: iteration 9 : 85 enodes (cost 8 ) 26.314 * * [simplify]: iteration 10 : 100 enodes (cost 8 ) 26.324 * * [simplify]: iteration 11 : 105 enodes (cost 8 ) 26.334 * * [simplify]: iteration 12 : 109 enodes (cost 8 ) 26.350 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 26.362 * * [simplify]: iteration done : 113 enodes (cost 8 ) 26.363 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 26.364 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 26.365 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 26.368 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 26.371 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 26.374 * * [simplify]: iteration 5 : 40 enodes (cost 7 ) 26.381 * * [simplify]: iteration 6 : 53 enodes (cost 7 ) 26.388 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 26.395 * * [simplify]: iteration 8 : 75 enodes (cost 7 ) 26.408 * * [simplify]: iteration 9 : 84 enodes (cost 7 ) 26.418 * * [simplify]: iteration 10 : 99 enodes (cost 7 ) 26.428 * * [simplify]: iteration 11 : 104 enodes (cost 7 ) 26.438 * * [simplify]: iteration 12 : 108 enodes (cost 7 ) 26.450 * * [simplify]: iteration 13 : 112 enodes (cost 7 ) 26.465 * * [simplify]: iteration done : 112 enodes (cost 7 ) 26.466 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 26.467 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 26.468 * * [simplify]: iteration 2 : 13 enodes (cost 9 ) 26.469 * * [simplify]: iteration done : 13 enodes (cost 9 ) 26.470 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 26.470 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 26.472 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 26.474 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 26.477 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 26.481 * * [simplify]: iteration 5 : 40 enodes (cost 7 ) 26.487 * * [simplify]: iteration 6 : 53 enodes (cost 7 ) 26.495 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 26.502 * * [simplify]: iteration 8 : 75 enodes (cost 7 ) 26.510 * * [simplify]: iteration 9 : 84 enodes (cost 7 ) 26.524 * * [simplify]: iteration 10 : 99 enodes (cost 7 ) 26.534 * * [simplify]: iteration 11 : 104 enodes (cost 7 ) 26.545 * * [simplify]: iteration 12 : 108 enodes (cost 7 ) 26.557 * * [simplify]: iteration 13 : 112 enodes (cost 7 ) 26.572 * * [simplify]: iteration done : 112 enodes (cost 7 ) 26.573 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 26.573 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 26.575 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 26.577 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 26.580 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 26.584 * * [simplify]: iteration 5 : 40 enodes (cost 7 ) 26.590 * * [simplify]: iteration 6 : 53 enodes (cost 7 ) 26.597 * * [simplify]: iteration 7 : 66 enodes (cost 7 ) 26.605 * * [simplify]: iteration 8 : 75 enodes (cost 7 ) 26.613 * * [simplify]: iteration 9 : 84 enodes (cost 7 ) 26.623 * * [simplify]: iteration 10 : 99 enodes (cost 7 ) 26.636 * * [simplify]: iteration 11 : 104 enodes (cost 7 ) 26.647 * * [simplify]: iteration 12 : 108 enodes (cost 7 ) 26.660 * * [simplify]: iteration 13 : 112 enodes (cost 7 ) 26.671 * * [simplify]: iteration done : 112 enodes (cost 7 ) 26.672 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 26.673 * * [simplify]: iteration 1 : 32 enodes (cost 17 ) 26.679 * * [simplify]: iteration 2 : 98 enodes (cost 17 ) 26.703 * * [simplify]: iteration 3 : 293 enodes (cost 15 ) 26.827 * * [simplify]: iteration 4 : 993 enodes (cost 15 ) 27.753 * * [simplify]: iteration 5 : 3043 enodes (cost 15 ) 30.153 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 30.153 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 30.154 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 30.163 * * [simplify]: iteration 2 : 37 enodes (cost 7 ) 30.168 * * [simplify]: iteration 3 : 54 enodes (cost 7 ) 30.176 * * [simplify]: iteration done : 54 enodes (cost 7 ) 30.177 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 30.178 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 30.180 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 30.182 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 30.186 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 30.190 * * [simplify]: iteration 5 : 46 enodes (cost 11 ) 30.196 * * [simplify]: iteration 6 : 63 enodes (cost 11 ) 30.205 * * [simplify]: iteration 7 : 85 enodes (cost 11 ) 30.215 * * [simplify]: iteration 8 : 103 enodes (cost 11 ) 30.230 * * [simplify]: iteration 9 : 110 enodes (cost 11 ) 30.244 * * [simplify]: iteration 10 : 129 enodes (cost 11 ) 30.258 * * [simplify]: iteration 11 : 133 enodes (cost 11 ) 30.271 * * [simplify]: iteration done : 133 enodes (cost 11 ) 30.272 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 30.272 * * [simplify]: iteration done : 1 enodes (cost 1 ) 30.272 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 30.272 * * [simplify]: iteration done : 1 enodes (cost 1 ) 30.273 * [simplify]: Simplified to: (- (log (- (+ x y) z)) (log t)) (log (/ (- (+ x y) z) t)) (exp (/ (- (+ x y) z) t)) (pow (/ (- (+ x y) z) t) 3) (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t))) (cbrt (/ (- (+ x y) z) t)) (pow (/ (- (+ x y) z) t) 3) (sqrt (/ (- (+ x y) z) t)) (sqrt (/ (- (+ x y) z) t)) (- z (+ x y)) (neg t) (/ (+ x y) t) (/ z t) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (* (cbrt t) (cbrt t))) (/ (cbrt (- (+ x y) z)) (cbrt t)) (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (sqrt t)) (/ (cbrt (- (+ x y) z)) (sqrt t)) (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (/ (cbrt (- (+ x y) z)) t) (/ (sqrt (- (+ x y) z)) (* (cbrt t) (cbrt t))) (/ (sqrt (- (+ x y) z)) (cbrt t)) (/ (sqrt (- (+ x y) z)) (sqrt t)) (/ (sqrt (- (+ x y) z)) (sqrt t)) (sqrt (- (+ x y) z)) (/ (sqrt (- (+ x y) z)) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (cbrt t)) (/ 1 (sqrt t)) (/ (- (+ x y) z) (sqrt t)) 1 (/ (- (+ x y) z) t) (/ (+ (sqrt (+ x y)) (sqrt z)) (* (cbrt t) (cbrt t))) (/ (- (sqrt (+ x y)) (sqrt z)) (cbrt t)) (/ (+ (sqrt (+ x y)) (sqrt z)) (sqrt t)) (/ (- (sqrt (+ x y)) (sqrt z)) (sqrt t)) (+ (sqrt (+ x y)) (sqrt z)) (/ (- (sqrt (+ x y)) (sqrt z)) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (cbrt t)) (/ 1 (sqrt t)) (/ (- (+ x y) z) (sqrt t)) 1 (/ (- (+ x y) z) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (cbrt t)) (/ 1 (sqrt t)) (/ (- (+ x y) z) (sqrt t)) 1 (/ (- (+ x y) z) t) (/ 1 t) (/ t (- (+ x y) z)) (/ (- (+ x y) z) (* (cbrt t) (cbrt t))) (/ (- (+ x y) z) (sqrt t)) (- (+ x y) z) (/ t (cbrt (- (+ x y) z))) (/ t (sqrt (- (+ x y) z))) (/ t (- (+ x y) z)) (/ t (- (sqrt (+ x y)) (sqrt z))) (/ t (- (+ x y) z)) (/ t (- (+ x y) z)) (* (+ (* z z) (* (+ x y) (+ z (+ x y)))) t) (* t (+ (+ x y) z)) (- (+ (/ y t) (/ x t)) (/ z t)) 0 0 30.273 * * * [progress]: adding candidates to table 30.318 * * [progress]: iteration 3 / 4 30.318 * * * [progress]: picking best candidate 30.325 * * * * [pick]: Picked # 30.325 * * * [progress]: localizing error 30.333 * * * [progress]: generating rewritten candidates 30.333 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 30.355 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 30.364 * * * [progress]: generating series expansions 30.364 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 30.364 * [approximate]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in (x y t z) around 0 30.364 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in z 30.364 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in z 30.364 * [taylor]: Taking taylor expansion of (/ x t) in z 30.364 * [taylor]: Taking taylor expansion of x in z 30.364 * [taylor]: Taking taylor expansion of t in z 30.364 * [taylor]: Taking taylor expansion of (/ y t) in z 30.365 * [taylor]: Taking taylor expansion of y in z 30.365 * [taylor]: Taking taylor expansion of t in z 30.365 * [taylor]: Taking taylor expansion of (/ z t) in z 30.365 * [taylor]: Taking taylor expansion of z in z 30.365 * [taylor]: Taking taylor expansion of t in z 30.365 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in t 30.365 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in t 30.365 * [taylor]: Taking taylor expansion of (/ x t) in t 30.365 * [taylor]: Taking taylor expansion of x in t 30.365 * [taylor]: Taking taylor expansion of t in t 30.365 * [taylor]: Taking taylor expansion of (/ y t) in t 30.365 * [taylor]: Taking taylor expansion of y in t 30.365 * [taylor]: Taking taylor expansion of t in t 30.365 * [taylor]: Taking taylor expansion of (/ z t) in t 30.365 * [taylor]: Taking taylor expansion of z in t 30.365 * [taylor]: Taking taylor expansion of t in t 30.365 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in y 30.365 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in y 30.365 * [taylor]: Taking taylor expansion of (/ x t) in y 30.365 * [taylor]: Taking taylor expansion of x in y 30.365 * [taylor]: Taking taylor expansion of t in y 30.365 * [taylor]: Taking taylor expansion of (/ y t) in y 30.365 * [taylor]: Taking taylor expansion of y in y 30.365 * [taylor]: Taking taylor expansion of t in y 30.365 * [taylor]: Taking taylor expansion of (/ z t) in y 30.365 * [taylor]: Taking taylor expansion of z in y 30.365 * [taylor]: Taking taylor expansion of t in y 30.365 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in x 30.365 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in x 30.365 * [taylor]: Taking taylor expansion of (/ x t) in x 30.365 * [taylor]: Taking taylor expansion of x in x 30.365 * [taylor]: Taking taylor expansion of t in x 30.365 * [taylor]: Taking taylor expansion of (/ y t) in x 30.365 * [taylor]: Taking taylor expansion of y in x 30.365 * [taylor]: Taking taylor expansion of t in x 30.365 * [taylor]: Taking taylor expansion of (/ z t) in x 30.365 * [taylor]: Taking taylor expansion of z in x 30.365 * [taylor]: Taking taylor expansion of t in x 30.365 * [taylor]: Taking taylor expansion of (- (+ (/ x t) (/ y t)) (/ z t)) in x 30.365 * [taylor]: Taking taylor expansion of (+ (/ x t) (/ y t)) in x 30.365 * [taylor]: Taking taylor expansion of (/ x t) in x 30.365 * [taylor]: Taking taylor expansion of x in x 30.366 * [taylor]: Taking taylor expansion of t in x 30.366 * [taylor]: Taking taylor expansion of (/ y t) in x 30.366 * [taylor]: Taking taylor expansion of y in x 30.366 * [taylor]: Taking taylor expansion of t in x 30.366 * [taylor]: Taking taylor expansion of (/ z t) in x 30.366 * [taylor]: Taking taylor expansion of z in x 30.366 * [taylor]: Taking taylor expansion of t in x 30.366 * [taylor]: Taking taylor expansion of (- (/ y t) (/ z t)) in y 30.366 * [taylor]: Taking taylor expansion of (/ y t) in y 30.366 * [taylor]: Taking taylor expansion of y in y 30.366 * [taylor]: Taking taylor expansion of t in y 30.366 * [taylor]: Taking taylor expansion of (/ z t) in y 30.366 * [taylor]: Taking taylor expansion of z in y 30.366 * [taylor]: Taking taylor expansion of t in y 30.366 * [taylor]: Taking taylor expansion of (neg (/ z t)) in t 30.366 * [taylor]: Taking taylor expansion of (/ z t) in t 30.366 * [taylor]: Taking taylor expansion of z in t 30.366 * [taylor]: Taking taylor expansion of t in t 30.366 * [taylor]: Taking taylor expansion of (neg z) in z 30.366 * [taylor]: Taking taylor expansion of z in z 30.367 * [taylor]: Taking taylor expansion of (/ 1 t) in y 30.367 * [taylor]: Taking taylor expansion of t in y 30.367 * [taylor]: Taking taylor expansion of (/ 1 t) in t 30.367 * [taylor]: Taking taylor expansion of t in t 30.367 * [taylor]: Taking taylor expansion of 1 in z 30.367 * [taylor]: Taking taylor expansion of (/ 1 t) in t 30.367 * [taylor]: Taking taylor expansion of t in t 30.367 * [taylor]: Taking taylor expansion of 1 in z 30.367 * [taylor]: Taking taylor expansion of 0 in z 30.367 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (x y t z) around 0 30.367 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z 30.367 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z 30.367 * [taylor]: Taking taylor expansion of (/ t y) in z 30.367 * [taylor]: Taking taylor expansion of t in z 30.367 * [taylor]: Taking taylor expansion of y in z 30.368 * [taylor]: Taking taylor expansion of (/ t x) in z 30.368 * [taylor]: Taking taylor expansion of t in z 30.368 * [taylor]: Taking taylor expansion of x in z 30.368 * [taylor]: Taking taylor expansion of (/ t z) in z 30.368 * [taylor]: Taking taylor expansion of t in z 30.368 * [taylor]: Taking taylor expansion of z in z 30.368 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 30.368 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 30.368 * [taylor]: Taking taylor expansion of (/ t y) in t 30.368 * [taylor]: Taking taylor expansion of t in t 30.368 * [taylor]: Taking taylor expansion of y in t 30.368 * [taylor]: Taking taylor expansion of (/ t x) in t 30.368 * [taylor]: Taking taylor expansion of t in t 30.368 * [taylor]: Taking taylor expansion of x in t 30.368 * [taylor]: Taking taylor expansion of (/ t z) in t 30.368 * [taylor]: Taking taylor expansion of t in t 30.368 * [taylor]: Taking taylor expansion of z in t 30.368 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 30.368 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 30.368 * [taylor]: Taking taylor expansion of (/ t y) in y 30.368 * [taylor]: Taking taylor expansion of t in y 30.368 * [taylor]: Taking taylor expansion of y in y 30.368 * [taylor]: Taking taylor expansion of (/ t x) in y 30.368 * [taylor]: Taking taylor expansion of t in y 30.368 * [taylor]: Taking taylor expansion of x in y 30.368 * [taylor]: Taking taylor expansion of (/ t z) in y 30.368 * [taylor]: Taking taylor expansion of t in y 30.368 * [taylor]: Taking taylor expansion of z in y 30.368 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 30.368 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 30.368 * [taylor]: Taking taylor expansion of (/ t y) in x 30.368 * [taylor]: Taking taylor expansion of t in x 30.368 * [taylor]: Taking taylor expansion of y in x 30.368 * [taylor]: Taking taylor expansion of (/ t x) in x 30.368 * [taylor]: Taking taylor expansion of t in x 30.368 * [taylor]: Taking taylor expansion of x in x 30.368 * [taylor]: Taking taylor expansion of (/ t z) in x 30.368 * [taylor]: Taking taylor expansion of t in x 30.368 * [taylor]: Taking taylor expansion of z in x 30.368 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 30.368 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 30.369 * [taylor]: Taking taylor expansion of (/ t y) in x 30.369 * [taylor]: Taking taylor expansion of t in x 30.369 * [taylor]: Taking taylor expansion of y in x 30.369 * [taylor]: Taking taylor expansion of (/ t x) in x 30.369 * [taylor]: Taking taylor expansion of t in x 30.369 * [taylor]: Taking taylor expansion of x in x 30.369 * [taylor]: Taking taylor expansion of (/ t z) in x 30.369 * [taylor]: Taking taylor expansion of t in x 30.369 * [taylor]: Taking taylor expansion of z in x 30.369 * [taylor]: Taking taylor expansion of t in y 30.369 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y 30.369 * [taylor]: Taking taylor expansion of (/ t y) in y 30.369 * [taylor]: Taking taylor expansion of t in y 30.369 * [taylor]: Taking taylor expansion of y in y 30.369 * [taylor]: Taking taylor expansion of (/ t z) in y 30.369 * [taylor]: Taking taylor expansion of t in y 30.369 * [taylor]: Taking taylor expansion of z in y 30.369 * [taylor]: Taking taylor expansion of t in t 30.369 * [taylor]: Taking taylor expansion of 1 in z 30.369 * [taylor]: Taking taylor expansion of t in t 30.369 * [taylor]: Taking taylor expansion of 1 in z 30.369 * [taylor]: Taking taylor expansion of 0 in y 30.370 * [taylor]: Taking taylor expansion of (neg (/ t z)) in t 30.370 * [taylor]: Taking taylor expansion of (/ t z) in t 30.370 * [taylor]: Taking taylor expansion of t in t 30.370 * [taylor]: Taking taylor expansion of z in t 30.370 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 30.370 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.370 * [taylor]: Taking taylor expansion of z in z 30.370 * [taylor]: Taking taylor expansion of 0 in t 30.370 * [taylor]: Taking taylor expansion of 0 in z 30.370 * [taylor]: Taking taylor expansion of 0 in z 30.370 * [taylor]: Taking taylor expansion of 0 in z 30.370 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (x y t z) around 0 30.370 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z 30.370 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z 30.370 * [taylor]: Taking taylor expansion of (/ t y) in z 30.371 * [taylor]: Taking taylor expansion of t in z 30.371 * [taylor]: Taking taylor expansion of y in z 30.371 * [taylor]: Taking taylor expansion of (/ t x) in z 30.371 * [taylor]: Taking taylor expansion of t in z 30.371 * [taylor]: Taking taylor expansion of x in z 30.371 * [taylor]: Taking taylor expansion of (/ t z) in z 30.371 * [taylor]: Taking taylor expansion of t in z 30.371 * [taylor]: Taking taylor expansion of z in z 30.371 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t 30.371 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t 30.371 * [taylor]: Taking taylor expansion of (/ t y) in t 30.371 * [taylor]: Taking taylor expansion of t in t 30.371 * [taylor]: Taking taylor expansion of y in t 30.371 * [taylor]: Taking taylor expansion of (/ t x) in t 30.371 * [taylor]: Taking taylor expansion of t in t 30.371 * [taylor]: Taking taylor expansion of x in t 30.371 * [taylor]: Taking taylor expansion of (/ t z) in t 30.371 * [taylor]: Taking taylor expansion of t in t 30.371 * [taylor]: Taking taylor expansion of z in t 30.371 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y 30.371 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y 30.371 * [taylor]: Taking taylor expansion of (/ t y) in y 30.371 * [taylor]: Taking taylor expansion of t in y 30.371 * [taylor]: Taking taylor expansion of y in y 30.371 * [taylor]: Taking taylor expansion of (/ t x) in y 30.371 * [taylor]: Taking taylor expansion of t in y 30.371 * [taylor]: Taking taylor expansion of x in y 30.371 * [taylor]: Taking taylor expansion of (/ t z) in y 30.371 * [taylor]: Taking taylor expansion of t in y 30.371 * [taylor]: Taking taylor expansion of z in y 30.371 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 30.371 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 30.371 * [taylor]: Taking taylor expansion of (/ t y) in x 30.371 * [taylor]: Taking taylor expansion of t in x 30.371 * [taylor]: Taking taylor expansion of y in x 30.371 * [taylor]: Taking taylor expansion of (/ t x) in x 30.371 * [taylor]: Taking taylor expansion of t in x 30.371 * [taylor]: Taking taylor expansion of x in x 30.371 * [taylor]: Taking taylor expansion of (/ t z) in x 30.371 * [taylor]: Taking taylor expansion of t in x 30.371 * [taylor]: Taking taylor expansion of z in x 30.372 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x 30.372 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x 30.372 * [taylor]: Taking taylor expansion of (/ t y) in x 30.372 * [taylor]: Taking taylor expansion of t in x 30.372 * [taylor]: Taking taylor expansion of y in x 30.372 * [taylor]: Taking taylor expansion of (/ t x) in x 30.372 * [taylor]: Taking taylor expansion of t in x 30.372 * [taylor]: Taking taylor expansion of x in x 30.372 * [taylor]: Taking taylor expansion of (/ t z) in x 30.372 * [taylor]: Taking taylor expansion of t in x 30.372 * [taylor]: Taking taylor expansion of z in x 30.372 * [taylor]: Taking taylor expansion of t in y 30.372 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y 30.372 * [taylor]: Taking taylor expansion of (/ t y) in y 30.372 * [taylor]: Taking taylor expansion of t in y 30.372 * [taylor]: Taking taylor expansion of y in y 30.372 * [taylor]: Taking taylor expansion of (/ t z) in y 30.372 * [taylor]: Taking taylor expansion of t in y 30.372 * [taylor]: Taking taylor expansion of z in y 30.372 * [taylor]: Taking taylor expansion of t in t 30.372 * [taylor]: Taking taylor expansion of 1 in z 30.372 * [taylor]: Taking taylor expansion of t in t 30.372 * [taylor]: Taking taylor expansion of 1 in z 30.373 * [taylor]: Taking taylor expansion of 0 in y 30.373 * [taylor]: Taking taylor expansion of (neg (/ t z)) in t 30.373 * [taylor]: Taking taylor expansion of (/ t z) in t 30.373 * [taylor]: Taking taylor expansion of t in t 30.373 * [taylor]: Taking taylor expansion of z in t 30.373 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 30.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.373 * [taylor]: Taking taylor expansion of z in z 30.373 * [taylor]: Taking taylor expansion of 0 in t 30.373 * [taylor]: Taking taylor expansion of 0 in z 30.373 * [taylor]: Taking taylor expansion of 0 in z 30.373 * [taylor]: Taking taylor expansion of 0 in z 30.373 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 30.373 * [approximate]: Taking taylor expansion of (/ (+ x y) t) in (x y t) around 0 30.374 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t 30.374 * [taylor]: Taking taylor expansion of (+ x y) in t 30.374 * [taylor]: Taking taylor expansion of x in t 30.374 * [taylor]: Taking taylor expansion of y in t 30.374 * [taylor]: Taking taylor expansion of t in t 30.374 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y 30.374 * [taylor]: Taking taylor expansion of (+ x y) in y 30.374 * [taylor]: Taking taylor expansion of x in y 30.374 * [taylor]: Taking taylor expansion of y in y 30.374 * [taylor]: Taking taylor expansion of t in y 30.374 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x 30.374 * [taylor]: Taking taylor expansion of (+ x y) in x 30.374 * [taylor]: Taking taylor expansion of x in x 30.374 * [taylor]: Taking taylor expansion of y in x 30.374 * [taylor]: Taking taylor expansion of t in x 30.374 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x 30.374 * [taylor]: Taking taylor expansion of (+ x y) in x 30.374 * [taylor]: Taking taylor expansion of x in x 30.374 * [taylor]: Taking taylor expansion of y in x 30.374 * [taylor]: Taking taylor expansion of t in x 30.374 * [taylor]: Taking taylor expansion of (/ y t) in y 30.374 * [taylor]: Taking taylor expansion of y in y 30.374 * [taylor]: Taking taylor expansion of t in y 30.374 * [taylor]: Taking taylor expansion of (/ 1 t) in y 30.374 * [taylor]: Taking taylor expansion of t in y 30.374 * [taylor]: Taking taylor expansion of (/ 1 t) in t 30.374 * [taylor]: Taking taylor expansion of t in t 30.374 * [taylor]: Taking taylor expansion of (/ 1 t) in t 30.374 * [taylor]: Taking taylor expansion of t in t 30.375 * [taylor]: Taking taylor expansion of 0 in y 30.375 * [taylor]: Taking taylor expansion of 0 in t 30.375 * [taylor]: Taking taylor expansion of 0 in t 30.375 * [taylor]: Taking taylor expansion of 0 in t 30.375 * [taylor]: Taking taylor expansion of 0 in y 30.375 * [taylor]: Taking taylor expansion of 0 in t 30.375 * [taylor]: Taking taylor expansion of 0 in t 30.375 * [taylor]: Taking taylor expansion of 0 in t 30.375 * [taylor]: Taking taylor expansion of 0 in t 30.375 * [approximate]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in (x y t) around 0 30.375 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t 30.376 * [taylor]: Taking taylor expansion of t in t 30.376 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 30.376 * [taylor]: Taking taylor expansion of (/ 1 x) in t 30.376 * [taylor]: Taking taylor expansion of x in t 30.376 * [taylor]: Taking taylor expansion of (/ 1 y) in t 30.376 * [taylor]: Taking taylor expansion of y in t 30.376 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y 30.376 * [taylor]: Taking taylor expansion of t in y 30.376 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 30.376 * [taylor]: Taking taylor expansion of (/ 1 x) in y 30.376 * [taylor]: Taking taylor expansion of x in y 30.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.376 * [taylor]: Taking taylor expansion of y in y 30.376 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x 30.376 * [taylor]: Taking taylor expansion of t in x 30.376 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 30.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.376 * [taylor]: Taking taylor expansion of x in x 30.376 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.376 * [taylor]: Taking taylor expansion of y in x 30.376 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x 30.376 * [taylor]: Taking taylor expansion of t in x 30.376 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 30.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.376 * [taylor]: Taking taylor expansion of x in x 30.376 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.376 * [taylor]: Taking taylor expansion of y in x 30.376 * [taylor]: Taking taylor expansion of t in y 30.376 * [taylor]: Taking taylor expansion of (/ t y) in y 30.376 * [taylor]: Taking taylor expansion of t in y 30.376 * [taylor]: Taking taylor expansion of y in y 30.376 * [taylor]: Taking taylor expansion of t in t 30.376 * [taylor]: Taking taylor expansion of t in t 30.377 * [taylor]: Taking taylor expansion of 0 in y 30.377 * [taylor]: Taking taylor expansion of 0 in t 30.377 * [taylor]: Taking taylor expansion of 0 in t 30.377 * [taylor]: Taking taylor expansion of 0 in y 30.377 * [taylor]: Taking taylor expansion of 0 in t 30.377 * [taylor]: Taking taylor expansion of 0 in t 30.377 * [taylor]: Taking taylor expansion of 0 in t 30.378 * [approximate]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in (x y t) around 0 30.378 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in t 30.378 * [taylor]: Taking taylor expansion of t in t 30.378 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 30.378 * [taylor]: Taking taylor expansion of (/ 1 x) in t 30.378 * [taylor]: Taking taylor expansion of x in t 30.378 * [taylor]: Taking taylor expansion of (/ 1 y) in t 30.378 * [taylor]: Taking taylor expansion of y in t 30.378 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in y 30.378 * [taylor]: Taking taylor expansion of t in y 30.378 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 30.378 * [taylor]: Taking taylor expansion of (/ 1 x) in y 30.378 * [taylor]: Taking taylor expansion of x in y 30.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.378 * [taylor]: Taking taylor expansion of y in y 30.378 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x 30.378 * [taylor]: Taking taylor expansion of t in x 30.378 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 30.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.378 * [taylor]: Taking taylor expansion of x in x 30.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.378 * [taylor]: Taking taylor expansion of y in x 30.378 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 x) (/ 1 y))) in x 30.378 * [taylor]: Taking taylor expansion of t in x 30.378 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 30.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.378 * [taylor]: Taking taylor expansion of x in x 30.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.378 * [taylor]: Taking taylor expansion of y in x 30.378 * [taylor]: Taking taylor expansion of t in y 30.379 * [taylor]: Taking taylor expansion of (/ t y) in y 30.379 * [taylor]: Taking taylor expansion of t in y 30.379 * [taylor]: Taking taylor expansion of y in y 30.379 * [taylor]: Taking taylor expansion of t in t 30.379 * [taylor]: Taking taylor expansion of t in t 30.379 * [taylor]: Taking taylor expansion of 0 in y 30.379 * [taylor]: Taking taylor expansion of 0 in t 30.379 * [taylor]: Taking taylor expansion of 0 in t 30.379 * [taylor]: Taking taylor expansion of 0 in y 30.379 * [taylor]: Taking taylor expansion of 0 in t 30.379 * [taylor]: Taking taylor expansion of 0 in t 30.379 * [taylor]: Taking taylor expansion of 0 in t 30.380 * * * [progress]: simplifying candidates 30.380 * [simplify]: Simplifying using # : (/ (exp (/ (+ x y) t)) (exp (/ z t))) (log (- (/ (+ x y) t) (/ z t))) (exp (- (/ (+ x y) t) (/ z t))) (* (cbrt (- (/ (+ x y) t) (/ z t))) (cbrt (- (/ (+ x y) t) (/ z t)))) (cbrt (- (/ (+ x y) t) (/ z t))) (* (* (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) t) (/ z t))) (- (/ (+ x y) t) (/ z t))) (sqrt (- (/ (+ x y) t) (/ z t))) (sqrt (- (/ (+ x y) t) (/ z t))) (- (+ x y) z) (- (* (+ x y) t) (* t z)) (* t t) (- (pow (/ (+ x y) t) 3) (pow (/ z t) 3)) (+ (* (/ (+ x y) t) (/ (+ x y) t)) (+ (* (/ z t) (/ z t)) (* (/ (+ x y) t) (/ z t)))) (neg (/ z t)) (- (* (/ (+ x y) t) (/ (+ x y) t)) (* (/ z t) (/ z t))) (+ (/ (+ x y) t) (/ z t)) (+ (sqrt (/ (+ x y) t)) (sqrt (/ z t))) (- (sqrt (/ (+ x y) t)) (sqrt (/ z t))) (+ (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t))) (- (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t))) (+ (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t))) (- (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t))) (+ (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t))) (- (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t))) (- (/ (+ x y) (cbrt t)) (/ z (cbrt t))) (- (/ (+ x y) (sqrt t)) (/ z (sqrt t))) (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) (cbrt t)) (/ z (cbrt t))) (- (/ (+ x y) (sqrt t)) (/ z (sqrt t))) (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) t) (/ z t)) (- (+ x y) z) (neg (/ z t)) (- (log (+ x y)) (log t)) (log (/ (+ x y) t)) (exp (/ (+ x y) t)) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* t t) t)) (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (* (* (/ (+ x y) t) (/ (+ x y) t)) (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (neg (+ x y)) (neg t) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) t) (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (/ 1 1) (/ (+ x y) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) (/ 1 1) (/ (+ x y) t) (/ 1 t) (/ t (+ x y)) (/ (+ x y) (* (cbrt t) (cbrt t))) (/ (+ x y) (sqrt t)) (/ (+ x y) 1) (/ t (cbrt (+ x y))) (/ t (sqrt (+ x y))) (/ t (+ x y)) (/ t (+ x y)) (* t (+ (* x x) (- (* y y) (* x y)))) (* t (- x y)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ x t) (/ y t)) (/ z t)) (- (+ (/ x t) (/ y t)) (/ z t)) (+ (/ y t) (/ x t)) (+ (/ x t) (/ y t)) (+ (/ x t) (/ y t)) 30.381 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 30.382 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 30.383 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 30.385 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 30.387 * * [simplify]: iteration 4 : 23 enodes (cost 10 ) 30.390 * * [simplify]: iteration 5 : 29 enodes (cost 10 ) 30.393 * * [simplify]: iteration 6 : 33 enodes (cost 10 ) 30.397 * * [simplify]: iteration 7 : 49 enodes (cost 10 ) 30.402 * * [simplify]: iteration 8 : 55 enodes (cost 10 ) 30.407 * * [simplify]: iteration 9 : 62 enodes (cost 10 ) 30.414 * * [simplify]: iteration 10 : 75 enodes (cost 10 ) 30.427 * * [simplify]: iteration 11 : 102 enodes (cost 10 ) 30.440 * * [simplify]: iteration 12 : 135 enodes (cost 10 ) 30.456 * * [simplify]: iteration 13 : 175 enodes (cost 10 ) 30.486 * * [simplify]: iteration 14 : 282 enodes (cost 10 ) 30.593 * * [simplify]: iteration 15 : 495 enodes (cost 10 ) 30.686 * * [simplify]: iteration 16 : 503 enodes (cost 10 ) 30.771 * * [simplify]: iteration done : 503 enodes (cost 10 ) 30.771 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 30.772 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 30.774 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 30.775 * * [simplify]: iteration done : 15 enodes (cost 10 ) 30.776 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 30.777 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 30.778 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 30.780 * * [simplify]: iteration 3 : 23 enodes (cost 10 ) 30.783 * * [simplify]: iteration 4 : 29 enodes (cost 10 ) 30.786 * * [simplify]: iteration 5 : 33 enodes (cost 10 ) 30.790 * * [simplify]: iteration 6 : 49 enodes (cost 10 ) 30.796 * * [simplify]: iteration 7 : 55 enodes (cost 10 ) 30.801 * * [simplify]: iteration 8 : 62 enodes (cost 10 ) 30.808 * * [simplify]: iteration 9 : 75 enodes (cost 10 ) 30.817 * * [simplify]: iteration 10 : 101 enodes (cost 10 ) 30.833 * * [simplify]: iteration 11 : 134 enodes (cost 10 ) 30.850 * * [simplify]: iteration 12 : 176 enodes (cost 10 ) 30.881 * * [simplify]: iteration 13 : 283 enodes (cost 10 ) 30.990 * * [simplify]: iteration 14 : 496 enodes (cost 10 ) 31.084 * * [simplify]: iteration 15 : 502 enodes (cost 10 ) 31.168 * * [simplify]: iteration done : 502 enodes (cost 10 ) 31.168 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 31.169 * * [simplify]: iteration 1 : 13 enodes (cost 21 ) 31.171 * * [simplify]: iteration 2 : 16 enodes (cost 21 ) 31.172 * * [simplify]: iteration done : 16 enodes (cost 21 ) 31.173 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 31.174 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 31.175 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 31.177 * * [simplify]: iteration done : 15 enodes (cost 10 ) 31.177 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 31.179 * * [simplify]: iteration 1 : 14 enodes (cost 29 ) 31.180 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 31.186 * * [simplify]: iteration 3 : 90 enodes (cost 11 ) 31.207 * * [simplify]: iteration 4 : 311 enodes (cost 11 ) 31.543 * * [simplify]: iteration 5 : 1113 enodes (cost 11 ) 32.618 * * [simplify]: iteration 6 : 3870 enodes (cost 11 ) 33.772 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 33.773 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 33.774 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 33.775 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 33.777 * * [simplify]: iteration done : 15 enodes (cost 10 ) 33.777 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 33.778 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 33.779 * * [simplify]: iteration 2 : 15 enodes (cost 10 ) 33.781 * * [simplify]: iteration done : 15 enodes (cost 10 ) 33.781 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 33.782 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 33.789 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 33.792 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 33.794 * * [simplify]: iteration 4 : 29 enodes (cost 5 ) 33.798 * * [simplify]: iteration 5 : 38 enodes (cost 5 ) 33.804 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 33.811 * * [simplify]: iteration 7 : 64 enodes (cost 5 ) 33.818 * * [simplify]: iteration 8 : 73 enodes (cost 5 ) 33.825 * * [simplify]: iteration 9 : 82 enodes (cost 5 ) 33.836 * * [simplify]: iteration 10 : 97 enodes (cost 5 ) 33.849 * * [simplify]: iteration 11 : 102 enodes (cost 5 ) 33.860 * * [simplify]: iteration 12 : 106 enodes (cost 5 ) 33.873 * * [simplify]: iteration 13 : 107 enodes (cost 5 ) 33.884 * * [simplify]: iteration done : 107 enodes (cost 5 ) 33.885 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 33.886 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 33.887 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 33.892 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 33.905 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 33.916 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 33.928 * * [simplify]: iteration 6 : 97 enodes (cost 7 ) 33.943 * * [simplify]: iteration 7 : 141 enodes (cost 7 ) 33.980 * * [simplify]: iteration 8 : 200 enodes (cost 7 ) 34.021 * * [simplify]: iteration 9 : 256 enodes (cost 7 ) 34.060 * * [simplify]: iteration 10 : 290 enodes (cost 7 ) 34.111 * * [simplify]: iteration 11 : 321 enodes (cost 7 ) 34.181 * * [simplify]: iteration 12 : 388 enodes (cost 7 ) 34.243 * * [simplify]: iteration 13 : 391 enodes (cost 7 ) 34.312 * * [simplify]: iteration done : 391 enodes (cost 7 ) 34.313 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 34.313 * * [simplify]: iteration done : 2 enodes (cost 3 ) 34.314 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 34.315 * * [simplify]: iteration 1 : 32 enodes (cost 13 ) 34.320 * * [simplify]: iteration 2 : 87 enodes (cost 13 ) 34.337 * * [simplify]: iteration 3 : 275 enodes (cost 13 ) 34.432 * * [simplify]: iteration 4 : 873 enodes (cost 13 ) 34.988 * * [simplify]: iteration 5 : 2901 enodes (cost 13 ) 36.193 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 36.194 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 36.196 * * [simplify]: iteration 1 : 32 enodes (cost 25 ) 36.200 * * [simplify]: iteration 2 : 68 enodes (cost 25 ) 36.210 * * [simplify]: iteration 3 : 114 enodes (cost 23 ) 36.235 * * [simplify]: iteration 4 : 189 enodes (cost 21 ) 36.266 * * [simplify]: iteration 5 : 284 enodes (cost 21 ) 36.332 * * [simplify]: iteration 6 : 520 enodes (cost 21 ) 36.507 * * [simplify]: iteration 7 : 974 enodes (cost 21 ) 36.871 * * [simplify]: iteration 8 : 1574 enodes (cost 21 ) 37.759 * * [simplify]: iteration 9 : 2637 enodes (cost 21 ) 39.506 * * [simplify]: iteration 10 : 3929 enodes (cost 21 ) 43.288 * * [simplify]: iteration 11 : 4730 enodes (cost 21 ) 47.291 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 47.292 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.292 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 47.293 * * [simplify]: iteration done : 6 enodes (cost 4 ) 47.293 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 47.295 * * [simplify]: iteration 1 : 24 enodes (cost 19 ) 47.298 * * [simplify]: iteration 2 : 53 enodes (cost 19 ) 47.312 * * [simplify]: iteration 3 : 105 enodes (cost 19 ) 47.328 * * [simplify]: iteration 4 : 198 enodes (cost 19 ) 47.368 * * [simplify]: iteration 5 : 364 enodes (cost 19 ) 47.458 * * [simplify]: iteration 6 : 682 enodes (cost 19 ) 47.775 * * [simplify]: iteration 7 : 1521 enodes (cost 17 ) 50.482 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 50.483 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 50.484 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 50.485 * * [simplify]: iteration done : 10 enodes (cost 9 ) 50.486 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 50.487 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 50.488 * * [simplify]: iteration done : 12 enodes (cost 11 ) 50.488 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 50.489 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 50.490 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 50.492 * * [simplify]: iteration done : 14 enodes (cost 11 ) 50.492 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 50.493 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 50.494 * * [simplify]: iteration done : 13 enodes (cost 12 ) 50.495 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 50.496 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 50.497 * * [simplify]: iteration 2 : 17 enodes (cost 12 ) 50.499 * * [simplify]: iteration done : 17 enodes (cost 12 ) 50.499 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 50.500 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 50.501 * * [simplify]: iteration done : 13 enodes (cost 12 ) 50.502 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 50.503 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 50.505 * * [simplify]: iteration 2 : 15 enodes (cost 12 ) 50.506 * * [simplify]: iteration done : 15 enodes (cost 12 ) 50.507 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 50.508 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 50.509 * * [simplify]: iteration done : 13 enodes (cost 13 ) 50.510 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 50.511 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 50.512 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 50.513 * * [simplify]: iteration done : 17 enodes (cost 13 ) 50.514 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 50.515 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 50.516 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 50.517 * * [simplify]: iteration done : 15 enodes (cost 11 ) 50.518 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 50.519 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 50.520 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 50.521 * * [simplify]: iteration done : 15 enodes (cost 11 ) 50.522 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 50.523 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 50.524 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 50.525 * * [simplify]: iteration done : 14 enodes (cost 9 ) 50.526 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 50.527 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 50.528 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 50.529 * * [simplify]: iteration done : 15 enodes (cost 11 ) 50.530 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 50.531 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 50.532 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 50.533 * * [simplify]: iteration done : 15 enodes (cost 11 ) 50.534 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 50.535 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 50.536 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 50.537 * * [simplify]: iteration done : 14 enodes (cost 9 ) 50.538 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 50.539 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 50.540 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 50.541 * * [simplify]: iteration done : 14 enodes (cost 9 ) 50.542 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.545 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 50.547 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 50.549 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 50.551 * * [simplify]: iteration 4 : 29 enodes (cost 5 ) 50.555 * * [simplify]: iteration 5 : 38 enodes (cost 5 ) 50.561 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 50.569 * * [simplify]: iteration 7 : 64 enodes (cost 5 ) 50.576 * * [simplify]: iteration 8 : 73 enodes (cost 5 ) 50.584 * * [simplify]: iteration 9 : 82 enodes (cost 5 ) 50.594 * * [simplify]: iteration 10 : 97 enodes (cost 5 ) 50.608 * * [simplify]: iteration 11 : 102 enodes (cost 5 ) 50.619 * * [simplify]: iteration 12 : 106 enodes (cost 5 ) 50.632 * * [simplify]: iteration 13 : 107 enodes (cost 5 ) 50.643 * * [simplify]: iteration done : 107 enodes (cost 5 ) 50.643 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.644 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 50.644 * * [simplify]: iteration done : 6 enodes (cost 4 ) 50.645 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.645 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 50.646 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 50.647 * * [simplify]: iteration done : 11 enodes (cost 7 ) 50.648 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.649 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 50.650 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 50.651 * * [simplify]: iteration 3 : 13 enodes (cost 6 ) 50.652 * * [simplify]: iteration done : 13 enodes (cost 6 ) 50.653 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.653 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 50.654 * * [simplify]: iteration done : 7 enodes (cost 6 ) 50.655 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 50.656 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 50.666 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 50.687 * * [simplify]: iteration 3 : 236 enodes (cost 7 ) 50.767 * * [simplify]: iteration 4 : 620 enodes (cost 7 ) 51.124 * * [simplify]: iteration 5 : 1689 enodes (cost 7 ) 52.663 * * [simplify]: iteration 6 : 4465 enodes (cost 7 ) 53.719 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 53.719 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 53.720 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 53.721 * * [simplify]: iteration done : 8 enodes (cost 13 ) 53.722 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 53.722 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 53.723 * * [simplify]: iteration done : 7 enodes (cost 6 ) 53.723 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 53.724 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 53.727 * * [simplify]: iteration 2 : 47 enodes (cost 7 ) 53.736 * * [simplify]: iteration 3 : 119 enodes (cost 7 ) 53.769 * * [simplify]: iteration 4 : 298 enodes (cost 7 ) 53.859 * * [simplify]: iteration 5 : 589 enodes (cost 7 ) 54.116 * * [simplify]: iteration 6 : 1238 enodes (cost 7 ) 54.977 * * [simplify]: iteration 7 : 3090 enodes (cost 7 ) 56.434 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 56.435 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.436 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.436 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.437 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.437 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.438 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.439 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 56.439 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 56.440 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 56.441 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 56.442 * * [simplify]: iteration done : 11 enodes (cost 4 ) 56.443 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 56.443 * * [simplify]: iteration done : 2 enodes (cost 2 ) 56.444 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 56.445 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 56.447 * * [simplify]: iteration 2 : 25 enodes (cost 15 ) 56.450 * * [simplify]: iteration 3 : 31 enodes (cost 15 ) 56.453 * * [simplify]: iteration done : 31 enodes (cost 15 ) 56.454 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.454 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.455 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.456 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 56.456 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 56.458 * * [simplify]: iteration 2 : 13 enodes (cost 12 ) 56.459 * * [simplify]: iteration 3 : 14 enodes (cost 12 ) 56.460 * * [simplify]: iteration done : 14 enodes (cost 12 ) 56.461 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.461 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.462 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.463 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 56.464 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 56.465 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 56.467 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 56.469 * * [simplify]: iteration done : 23 enodes (cost 9 ) 56.470 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.470 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.471 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.472 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 56.473 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 56.474 * * [simplify]: iteration done : 11 enodes (cost 10 ) 56.474 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.475 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.475 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.476 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.477 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.477 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.478 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.479 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.484 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.485 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.485 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 56.486 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 56.487 * * [simplify]: iteration done : 11 enodes (cost 4 ) 56.487 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.488 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.489 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.489 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 56.490 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.491 * * [simplify]: iteration done : 9 enodes (cost 7 ) 56.491 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.492 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.492 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.493 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 56.493 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 56.494 * * [simplify]: iteration done : 6 enodes (cost 4 ) 56.494 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.495 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.496 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.496 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.496 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 56.497 * * [simplify]: iteration done : 4 enodes (cost 1 ) 56.497 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.498 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 56.498 * * [simplify]: iteration done : 6 enodes (cost 5 ) 56.499 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 56.499 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 56.500 * * [simplify]: iteration done : 9 enodes (cost 7 ) 56.501 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.501 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.502 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.503 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 56.503 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 56.504 * * [simplify]: iteration done : 6 enodes (cost 4 ) 56.504 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.505 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.505 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.506 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.506 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 56.506 * * [simplify]: iteration done : 4 enodes (cost 1 ) 56.507 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.508 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 56.508 * * [simplify]: iteration done : 6 enodes (cost 5 ) 56.509 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.509 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 56.509 * * [simplify]: iteration done : 5 enodes (cost 3 ) 56.510 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.510 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 56.511 * * [simplify]: iteration done : 6 enodes (cost 5 ) 56.512 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 56.513 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 56.514 * * [simplify]: iteration done : 10 enodes (cost 9 ) 56.514 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.515 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.516 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.516 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.517 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 56.518 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 56.518 * * [simplify]: iteration done : 10 enodes (cost 3 ) 56.519 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.519 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.520 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.521 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.522 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.522 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.523 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.523 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 56.524 * * [simplify]: iteration done : 6 enodes (cost 5 ) 56.524 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.525 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 56.526 * * [simplify]: iteration done : 6 enodes (cost 5 ) 56.526 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 56.528 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 56.532 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 56.541 * * [simplify]: iteration 3 : 102 enodes (cost 11 ) 56.568 * * [simplify]: iteration 4 : 155 enodes (cost 11 ) 56.601 * * [simplify]: iteration 5 : 207 enodes (cost 11 ) 56.659 * * [simplify]: iteration 6 : 262 enodes (cost 11 ) 56.720 * * [simplify]: iteration 7 : 326 enodes (cost 11 ) 56.815 * * [simplify]: iteration 8 : 461 enodes (cost 11 ) 56.990 * * [simplify]: iteration 9 : 708 enodes (cost 11 ) 57.193 * * [simplify]: iteration 10 : 784 enodes (cost 11 ) 57.369 * * [simplify]: iteration 11 : 785 enodes (cost 11 ) 57.545 * * [simplify]: iteration done : 785 enodes (cost 11 ) 57.546 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 57.546 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 57.547 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 57.549 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 57.551 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 57.554 * * [simplify]: iteration done : 24 enodes (cost 5 ) 57.555 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 57.556 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 57.558 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 57.560 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 57.564 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 57.568 * * [simplify]: iteration 5 : 46 enodes (cost 11 ) 57.580 * * [simplify]: iteration 6 : 63 enodes (cost 11 ) 57.590 * * [simplify]: iteration 7 : 85 enodes (cost 11 ) 57.599 * * [simplify]: iteration 8 : 103 enodes (cost 11 ) 57.610 * * [simplify]: iteration 9 : 110 enodes (cost 11 ) 57.625 * * [simplify]: iteration 10 : 129 enodes (cost 11 ) 57.644 * * [simplify]: iteration 11 : 133 enodes (cost 11 ) 57.657 * * [simplify]: iteration done : 133 enodes (cost 11 ) 57.658 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 57.659 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 57.661 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 57.664 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 57.667 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 57.671 * * [simplify]: iteration 5 : 46 enodes (cost 11 ) 57.678 * * [simplify]: iteration 6 : 63 enodes (cost 11 ) 57.686 * * [simplify]: iteration 7 : 85 enodes (cost 11 ) 57.702 * * [simplify]: iteration 8 : 103 enodes (cost 11 ) 57.713 * * [simplify]: iteration 9 : 110 enodes (cost 11 ) 57.728 * * [simplify]: iteration 10 : 129 enodes (cost 11 ) 57.741 * * [simplify]: iteration 11 : 133 enodes (cost 11 ) 57.760 * * [simplify]: iteration done : 133 enodes (cost 11 ) 57.760 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 57.761 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 57.763 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 57.766 * * [simplify]: iteration 3 : 29 enodes (cost 11 ) 57.770 * * [simplify]: iteration 4 : 35 enodes (cost 11 ) 57.774 * * [simplify]: iteration 5 : 46 enodes (cost 11 ) 57.780 * * [simplify]: iteration 6 : 63 enodes (cost 11 ) 57.789 * * [simplify]: iteration 7 : 85 enodes (cost 11 ) 57.799 * * [simplify]: iteration 8 : 103 enodes (cost 11 ) 57.815 * * [simplify]: iteration 9 : 110 enodes (cost 11 ) 57.829 * * [simplify]: iteration 10 : 129 enodes (cost 11 ) 57.844 * * [simplify]: iteration 11 : 133 enodes (cost 11 ) 57.857 * * [simplify]: iteration done : 133 enodes (cost 11 ) 57.857 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 57.858 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 57.859 * * [simplify]: iteration done : 7 enodes (cost 7 ) 57.859 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 57.860 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 57.861 * * [simplify]: iteration done : 7 enodes (cost 7 ) 57.861 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 57.862 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 57.862 * * [simplify]: iteration done : 7 enodes (cost 7 ) 57.863 * [simplify]: Simplified to: (exp (- (/ (+ x y) t) (/ z t))) (log (- (/ (+ x y) t) (/ z t))) (exp (- (/ (+ x y) t) (/ z t))) (* (cbrt (- (/ (+ x y) t) (/ z t))) (cbrt (- (/ (+ x y) t) (/ z t)))) (cbrt (- (/ (+ x y) t) (/ z t))) (pow (- (/ (+ x y) t) (/ z t)) 3) (sqrt (- (/ (+ x y) t) (/ z t))) (sqrt (- (/ (+ x y) t) (/ z t))) (- (+ x y) z) (* t (- (+ x y) z)) (* t t) (- (pow (/ (+ x y) t) 3) (pow (/ z t) 3)) (+ (* (/ (/ (+ x y) t) t) (+ (+ x y) z)) (* (/ z t) (/ z t))) (neg (/ z t)) (* (/ (- (/ (+ x y) t) (/ z t)) t) (+ (+ x y) z)) (+ (/ (+ x y) t) (/ z t)) (+ (sqrt (/ (+ x y) t)) (sqrt (/ z t))) (- (sqrt (/ (+ x y) t)) (sqrt (/ z t))) (+ (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t))) (- (sqrt (/ (+ x y) t)) (/ (sqrt z) (sqrt t))) (+ (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t))) (- (/ (sqrt (+ x y)) (sqrt t)) (sqrt (/ z t))) (+ (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t))) (- (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt z) (sqrt t))) (- (/ (+ x y) (cbrt t)) (/ z (cbrt t))) (- (/ (+ x y) (sqrt t)) (/ z (sqrt t))) (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) (cbrt t)) (/ z (cbrt t))) (- (/ (+ x y) (sqrt t)) (/ z (sqrt t))) (- (/ (+ x y) t) (/ z t)) (- (/ (+ x y) t) (/ z t)) (- (+ x y) z) (neg (/ z t)) (- (log (+ x y)) (log t)) (log (/ (+ x y) t)) (exp (/ (+ x y) t)) (pow (/ (+ x y) t) 3) (* (cbrt (/ (+ x y) t)) (cbrt (/ (+ x y) t))) (cbrt (/ (+ x y) t)) (pow (/ (+ x y) t) 3) (sqrt (/ (+ x y) t)) (sqrt (/ (+ x y) t)) (neg (+ x y)) (neg t) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt t) (cbrt t))) (/ (cbrt (+ x y)) (cbrt t)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt t)) (/ (cbrt (+ x y)) (sqrt t)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) t) (/ (sqrt (+ x y)) (* (cbrt t) (cbrt t))) (/ (sqrt (+ x y)) (cbrt t)) (/ (sqrt (+ x y)) (sqrt t)) (/ (sqrt (+ x y)) (sqrt t)) (sqrt (+ x y)) (/ (sqrt (+ x y)) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) 1 (/ (+ x y) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (+ x y) (cbrt t)) (/ 1 (sqrt t)) (/ (+ x y) (sqrt t)) 1 (/ (+ x y) t) (/ 1 t) (/ t (+ x y)) (/ (+ x y) (* (cbrt t) (cbrt t))) (/ (+ x y) (sqrt t)) (+ x y) (/ t (cbrt (+ x y))) (/ t (sqrt (+ x y))) (/ t (+ x y)) (/ t (+ x y)) (* (+ (* y (- y x)) (* x x)) t) (* t (- x y)) (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ x t) (/ y t)) (/ z t)) (- (+ (/ x t) (/ y t)) (/ z t)) (+ (/ y t) (/ x t)) (+ (/ x t) (/ y t)) (+ (/ x t) (/ y t)) 57.864 * * * [progress]: adding candidates to table 57.927 * * [progress]: iteration 4 / 4 57.927 * * * [progress]: picking best candidate 57.930 * * * * [pick]: Picked # 57.930 * * * [progress]: localizing error 57.937 * * * [progress]: generating rewritten candidates 57.937 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 57.951 * * * [progress]: generating series expansions 57.951 * * * * [progress]: [ 1 / 1 ] generating series at (2) 57.951 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (t x y z) around 0 57.951 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z 57.951 * [taylor]: Taking taylor expansion of 0.5 in z 57.951 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z 57.951 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z 57.951 * [taylor]: Taking taylor expansion of (+ x y) in z 57.951 * [taylor]: Taking taylor expansion of x in z 57.951 * [taylor]: Taking taylor expansion of y in z 57.951 * [taylor]: Taking taylor expansion of z in z 57.951 * [taylor]: Taking taylor expansion of t in z 57.951 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y 57.951 * [taylor]: Taking taylor expansion of 0.5 in y 57.951 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y 57.951 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y 57.951 * [taylor]: Taking taylor expansion of (+ x y) in y 57.951 * [taylor]: Taking taylor expansion of x in y 57.951 * [taylor]: Taking taylor expansion of y in y 57.951 * [taylor]: Taking taylor expansion of z in y 57.951 * [taylor]: Taking taylor expansion of t in y 57.951 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x 57.951 * [taylor]: Taking taylor expansion of 0.5 in x 57.952 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 57.952 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 57.952 * [taylor]: Taking taylor expansion of (+ x y) in x 57.952 * [taylor]: Taking taylor expansion of x in x 57.952 * [taylor]: Taking taylor expansion of y in x 57.952 * [taylor]: Taking taylor expansion of z in x 57.952 * [taylor]: Taking taylor expansion of t in x 57.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t 57.952 * [taylor]: Taking taylor expansion of 0.5 in t 57.952 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t 57.952 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t 57.952 * [taylor]: Taking taylor expansion of (+ x y) in t 57.952 * [taylor]: Taking taylor expansion of x in t 57.952 * [taylor]: Taking taylor expansion of y in t 57.952 * [taylor]: Taking taylor expansion of z in t 57.952 * [taylor]: Taking taylor expansion of t in t 57.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t 57.952 * [taylor]: Taking taylor expansion of 0.5 in t 57.952 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t 57.952 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t 57.952 * [taylor]: Taking taylor expansion of (+ x y) in t 57.952 * [taylor]: Taking taylor expansion of x in t 57.952 * [taylor]: Taking taylor expansion of y in t 57.952 * [taylor]: Taking taylor expansion of z in t 57.952 * [taylor]: Taking taylor expansion of t in t 57.952 * [taylor]: Taking taylor expansion of (* 0.5 (- (+ x y) z)) in x 57.952 * [taylor]: Taking taylor expansion of 0.5 in x 57.952 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 57.952 * [taylor]: Taking taylor expansion of (+ x y) in x 57.952 * [taylor]: Taking taylor expansion of x in x 57.952 * [taylor]: Taking taylor expansion of y in x 57.952 * [taylor]: Taking taylor expansion of z in x 57.953 * [taylor]: Taking taylor expansion of (* 0.5 (- y z)) in y 57.953 * [taylor]: Taking taylor expansion of 0.5 in y 57.953 * [taylor]: Taking taylor expansion of (- y z) in y 57.953 * [taylor]: Taking taylor expansion of y in y 57.953 * [taylor]: Taking taylor expansion of z in y 57.953 * [taylor]: Taking taylor expansion of (* -0.5 z) in z 57.953 * [taylor]: Taking taylor expansion of -0.5 in z 57.953 * [taylor]: Taking taylor expansion of z in z 57.953 * [taylor]: Taking taylor expansion of 0 in x 57.953 * [taylor]: Taking taylor expansion of 0 in y 57.953 * [taylor]: Taking taylor expansion of 0 in z 57.953 * [taylor]: Taking taylor expansion of 0.5 in y 57.953 * [taylor]: Taking taylor expansion of 0.5 in z 57.953 * [taylor]: Taking taylor expansion of 0.5 in z 57.954 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in (t x y z) around 0 57.954 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in z 57.954 * [taylor]: Taking taylor expansion of 0.5 in z 57.954 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in z 57.954 * [taylor]: Taking taylor expansion of t in z 57.954 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in z 57.954 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 57.954 * [taylor]: Taking taylor expansion of (/ 1 x) in z 57.954 * [taylor]: Taking taylor expansion of x in z 57.954 * [taylor]: Taking taylor expansion of (/ 1 y) in z 57.954 * [taylor]: Taking taylor expansion of y in z 57.954 * [taylor]: Taking taylor expansion of (/ 1 z) in z 57.954 * [taylor]: Taking taylor expansion of z in z 57.954 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in y 57.954 * [taylor]: Taking taylor expansion of 0.5 in y 57.954 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in y 57.954 * [taylor]: Taking taylor expansion of t in y 57.954 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in y 57.954 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 57.954 * [taylor]: Taking taylor expansion of (/ 1 x) in y 57.954 * [taylor]: Taking taylor expansion of x in y 57.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 57.954 * [taylor]: Taking taylor expansion of y in y 57.954 * [taylor]: Taking taylor expansion of (/ 1 z) in y 57.954 * [taylor]: Taking taylor expansion of z in y 57.955 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in x 57.955 * [taylor]: Taking taylor expansion of 0.5 in x 57.955 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in x 57.955 * [taylor]: Taking taylor expansion of t in x 57.955 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in x 57.955 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 57.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 57.955 * [taylor]: Taking taylor expansion of x in x 57.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 57.955 * [taylor]: Taking taylor expansion of y in x 57.955 * [taylor]: Taking taylor expansion of (/ 1 z) in x 57.955 * [taylor]: Taking taylor expansion of z in x 57.955 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in t 57.955 * [taylor]: Taking taylor expansion of 0.5 in t 57.955 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in t 57.955 * [taylor]: Taking taylor expansion of t in t 57.955 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in t 57.955 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 57.955 * [taylor]: Taking taylor expansion of (/ 1 x) in t 57.955 * [taylor]: Taking taylor expansion of x in t 57.955 * [taylor]: Taking taylor expansion of (/ 1 y) in t 57.955 * [taylor]: Taking taylor expansion of y in t 57.955 * [taylor]: Taking taylor expansion of (/ 1 z) in t 57.955 * [taylor]: Taking taylor expansion of z in t 57.955 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) in t 57.955 * [taylor]: Taking taylor expansion of 0.5 in t 57.956 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 x) (/ 1 y)) (/ 1 z))) in t 57.956 * [taylor]: Taking taylor expansion of t in t 57.956 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) in t 57.956 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 57.956 * [taylor]: Taking taylor expansion of (/ 1 x) in t 57.956 * [taylor]: Taking taylor expansion of x in t 57.956 * [taylor]: Taking taylor expansion of (/ 1 y) in t 57.956 * [taylor]: Taking taylor expansion of y in t 57.956 * [taylor]: Taking taylor expansion of (/ 1 z) in t 57.956 * [taylor]: Taking taylor expansion of z in t 57.961 * [taylor]: Taking taylor expansion of 0 in x 57.961 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (* 0.5 (/ 1 z))) in x 57.961 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 57.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 57.961 * [taylor]: Taking taylor expansion of 0.5 in x 57.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 57.962 * [taylor]: Taking taylor expansion of x in x 57.962 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 57.962 * [taylor]: Taking taylor expansion of 0.5 in x 57.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x 57.962 * [taylor]: Taking taylor expansion of y in x 57.962 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x 57.962 * [taylor]: Taking taylor expansion of 0.5 in x 57.962 * [taylor]: Taking taylor expansion of (/ 1 z) in x 57.962 * [taylor]: Taking taylor expansion of z in x 57.962 * [taylor]: Taking taylor expansion of 0.5 in y 57.962 * [taylor]: Taking taylor expansion of 0 in y 57.962 * [taylor]: Taking taylor expansion of 0 in x 57.963 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 z))) in y 57.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 57.963 * [taylor]: Taking taylor expansion of 0.5 in y 57.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y 57.963 * [taylor]: Taking taylor expansion of y in y 57.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y 57.963 * [taylor]: Taking taylor expansion of 0.5 in y 57.963 * [taylor]: Taking taylor expansion of (/ 1 z) in y 57.963 * [taylor]: Taking taylor expansion of z in y 57.963 * [taylor]: Taking taylor expansion of 0.5 in z 57.963 * [taylor]: Taking taylor expansion of 0 in y 57.963 * [taylor]: Taking taylor expansion of 0.5 in z 57.963 * [taylor]: Taking taylor expansion of 0 in z 57.963 * [taylor]: Taking taylor expansion of 0 in x 57.963 * [taylor]: Taking taylor expansion of 0 in y 57.964 * [taylor]: Taking taylor expansion of 0 in y 57.964 * [taylor]: Taking taylor expansion of 0 in y 57.964 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 z))) in z 57.964 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 57.964 * [taylor]: Taking taylor expansion of 0.5 in z 57.964 * [taylor]: Taking taylor expansion of (/ 1 z) in z 57.964 * [taylor]: Taking taylor expansion of z in z 57.964 * [taylor]: Taking taylor expansion of 0 in z 57.964 * [taylor]: Taking taylor expansion of 0 in z 57.964 * [taylor]: Taking taylor expansion of 0 in z 57.965 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in (t x y z) around 0 57.965 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z 57.965 * [taylor]: Taking taylor expansion of -0.5 in z 57.965 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z 57.965 * [taylor]: Taking taylor expansion of t in z 57.965 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z 57.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 57.965 * [taylor]: Taking taylor expansion of z in z 57.965 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 57.965 * [taylor]: Taking taylor expansion of (/ 1 x) in z 57.965 * [taylor]: Taking taylor expansion of x in z 57.965 * [taylor]: Taking taylor expansion of (/ 1 y) in z 57.965 * [taylor]: Taking taylor expansion of y in z 57.965 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y 57.965 * [taylor]: Taking taylor expansion of -0.5 in y 57.965 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y 57.965 * [taylor]: Taking taylor expansion of t in y 57.966 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y 57.966 * [taylor]: Taking taylor expansion of (/ 1 z) in y 57.966 * [taylor]: Taking taylor expansion of z in y 57.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 57.966 * [taylor]: Taking taylor expansion of (/ 1 x) in y 57.966 * [taylor]: Taking taylor expansion of x in y 57.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 57.966 * [taylor]: Taking taylor expansion of y in y 57.966 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x 57.966 * [taylor]: Taking taylor expansion of -0.5 in x 57.966 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x 57.966 * [taylor]: Taking taylor expansion of t in x 57.966 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x 57.966 * [taylor]: Taking taylor expansion of (/ 1 z) in x 57.966 * [taylor]: Taking taylor expansion of z in x 57.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 57.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x 57.966 * [taylor]: Taking taylor expansion of x in x 57.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 57.966 * [taylor]: Taking taylor expansion of y in x 57.966 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in t 57.966 * [taylor]: Taking taylor expansion of -0.5 in t 57.966 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in t 57.966 * [taylor]: Taking taylor expansion of t in t 57.966 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in t 57.966 * [taylor]: Taking taylor expansion of (/ 1 z) in t 57.966 * [taylor]: Taking taylor expansion of z in t 57.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 57.966 * [taylor]: Taking taylor expansion of (/ 1 x) in t 57.966 * [taylor]: Taking taylor expansion of x in t 57.966 * [taylor]: Taking taylor expansion of (/ 1 y) in t 57.966 * [taylor]: Taking taylor expansion of y in t 57.966 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in t 57.966 * [taylor]: Taking taylor expansion of -0.5 in t 57.966 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in t 57.966 * [taylor]: Taking taylor expansion of t in t 57.966 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 x) (/ 1 y))) in t 57.966 * [taylor]: Taking taylor expansion of (/ 1 z) in t 57.966 * [taylor]: Taking taylor expansion of z in t 57.967 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in t 57.967 * [taylor]: Taking taylor expansion of (/ 1 x) in t 57.967 * [taylor]: Taking taylor expansion of x in t 57.967 * [taylor]: Taking taylor expansion of (/ 1 y) in t 57.967 * [taylor]: Taking taylor expansion of y in t 57.967 * [taylor]: Taking taylor expansion of 0 in x 57.968 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) (* 0.5 (/ 1 z))) in x 57.968 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 57.968 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 57.968 * [taylor]: Taking taylor expansion of 0.5 in x 57.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 57.968 * [taylor]: Taking taylor expansion of x in x 57.968 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 57.968 * [taylor]: Taking taylor expansion of 0.5 in x 57.968 * [taylor]: Taking taylor expansion of (/ 1 y) in x 57.968 * [taylor]: Taking taylor expansion of y in x 57.968 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x 57.968 * [taylor]: Taking taylor expansion of 0.5 in x 57.968 * [taylor]: Taking taylor expansion of (/ 1 z) in x 57.968 * [taylor]: Taking taylor expansion of z in x 57.968 * [taylor]: Taking taylor expansion of 0.5 in y 57.968 * [taylor]: Taking taylor expansion of 0 in y 57.969 * [taylor]: Taking taylor expansion of 0 in x 57.969 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 z))) in y 57.969 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 57.969 * [taylor]: Taking taylor expansion of 0.5 in y 57.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y 57.969 * [taylor]: Taking taylor expansion of y in y 57.969 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y 57.969 * [taylor]: Taking taylor expansion of 0.5 in y 57.969 * [taylor]: Taking taylor expansion of (/ 1 z) in y 57.969 * [taylor]: Taking taylor expansion of z in y 57.969 * [taylor]: Taking taylor expansion of 0.5 in z 57.969 * [taylor]: Taking taylor expansion of 0 in y 57.969 * [taylor]: Taking taylor expansion of 0.5 in z 57.969 * [taylor]: Taking taylor expansion of 0 in z 57.970 * [taylor]: Taking taylor expansion of 0 in x 57.970 * [taylor]: Taking taylor expansion of 0 in y 57.970 * [taylor]: Taking taylor expansion of 0 in y 57.970 * [taylor]: Taking taylor expansion of 0 in y 57.970 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 z))) in z 57.970 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 57.970 * [taylor]: Taking taylor expansion of 0.5 in z 57.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z 57.970 * [taylor]: Taking taylor expansion of z in z 57.970 * [taylor]: Taking taylor expansion of 0 in z 57.970 * [taylor]: Taking taylor expansion of 0 in z 57.970 * [taylor]: Taking taylor expansion of 0 in z 57.971 * * * [progress]: simplifying candidates 57.972 * [simplify]: Simplifying using # : (* (/ 0.5 t) (+ x (- y z))) (+ (- (log 0.5) (log t)) (log (+ x (- y z)))) (+ (log (/ 0.5 t)) (log (+ x (- y z)))) (log (* (/ 0.5 t) (+ x (- y z)))) (exp (* (/ 0.5 t) (+ x (- y z)))) (* (/ (* (* 0.5 0.5) 0.5) (* (* t t) t)) (* (* (+ x (- y z)) (+ x (- y z))) (+ x (- y z)))) (* (* (* (/ 0.5 t) (/ 0.5 t)) (/ 0.5 t)) (* (* (+ x (- y z)) (+ x (- y z))) (+ x (- y z)))) (* (cbrt (* (/ 0.5 t) (+ x (- y z)))) (cbrt (* (/ 0.5 t) (+ x (- y z))))) (cbrt (* (/ 0.5 t) (+ x (- y z)))) (* (* (* (/ 0.5 t) (+ x (- y z))) (* (/ 0.5 t) (+ x (- y z)))) (* (/ 0.5 t) (+ x (- y z)))) (sqrt (* (/ 0.5 t) (+ x (- y z)))) (sqrt (* (/ 0.5 t) (+ x (- y z)))) (* 0.5 (+ (pow x 3) (pow (- y z) 3))) (* t (+ (* x x) (- (* (- y z) (- y z)) (* x (- y z))))) (* 0.5 (- (* x x) (* (- y z) (- y z)))) (* t (- x (- y z))) (* (sqrt (/ 0.5 t)) (sqrt (+ x (- y z)))) (* (sqrt (/ 0.5 t)) (sqrt (+ x (- y z)))) (* (/ (sqrt 0.5) (sqrt t)) (sqrt (+ x (- y z)))) (* (/ (sqrt 0.5) (sqrt t)) (sqrt (+ x (- y z)))) (* (/ 0.5 t) x) (* (/ 0.5 t) (- y z)) (* x (/ 0.5 t)) (* (- y z) (/ 0.5 t)) (* (/ 0.5 t) (* (cbrt (+ x (- y z))) (cbrt (+ x (- y z))))) (* (/ 0.5 t) (sqrt (+ x (- y z)))) (* (/ 0.5 t) 1) (* (/ 0.5 t) 1) (* (/ 0.5 t) 1) (* (cbrt (/ 0.5 t)) (+ x (- y z))) (* (sqrt (/ 0.5 t)) (+ x (- y z))) (* (/ (cbrt 0.5) (cbrt t)) (+ x (- y z))) (* (/ (cbrt 0.5) (sqrt t)) (+ x (- y z))) (* (/ (cbrt 0.5) t) (+ x (- y z))) (* (/ (sqrt 0.5) (cbrt t)) (+ x (- y z))) (* (/ (sqrt 0.5) (sqrt t)) (+ x (- y z))) (* (/ (sqrt 0.5) t) (+ x (- y z))) (* (/ 0.5 (cbrt t)) (+ x (- y z))) (* (/ 0.5 (sqrt t)) (+ x (- y z))) (* (/ 0.5 t) (+ x (- y z))) (* (/ 0.5 t) (+ x (- y z))) (* (/ 1 t) (+ x (- y z))) (* (/ 0.5 t) (+ (pow x 3) (pow (- y z) 3))) (* (/ 0.5 t) (- (* x x) (* (- y z) (- y z)))) (* 0.5 (+ x (- y z))) (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t))) (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) 57.972 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 57.973 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 57.977 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 57.985 * * [simplify]: iteration 3 : 106 enodes (cost 9 ) 58.003 * * [simplify]: iteration 4 : 168 enodes (cost 9 ) 58.040 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 58.088 * * [simplify]: iteration 6 : 338 enodes (cost 9 ) 58.162 * * [simplify]: iteration 7 : 461 enodes (cost 9 ) 58.274 * * [simplify]: iteration 8 : 615 enodes (cost 9 ) 58.447 * * [simplify]: iteration 9 : 813 enodes (cost 9 ) 58.626 * * [simplify]: iteration 10 : 974 enodes (cost 9 ) 58.853 * * [simplify]: iteration 11 : 1043 enodes (cost 9 ) 59.103 * * [simplify]: iteration 12 : 1076 enodes (cost 9 ) 59.343 * * [simplify]: iteration done : 1076 enodes (cost 9 ) 59.343 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 59.345 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 59.348 * * [simplify]: iteration 2 : 39 enodes (cost 12 ) 59.352 * * [simplify]: iteration 3 : 57 enodes (cost 12 ) 59.360 * * [simplify]: iteration 4 : 72 enodes (cost 12 ) 59.375 * * [simplify]: iteration 5 : 87 enodes (cost 12 ) 59.384 * * [simplify]: iteration 6 : 103 enodes (cost 12 ) 59.397 * * [simplify]: iteration 7 : 130 enodes (cost 12 ) 59.418 * * [simplify]: iteration 8 : 167 enodes (cost 12 ) 59.444 * * [simplify]: iteration 9 : 188 enodes (cost 12 ) 59.464 * * [simplify]: iteration 10 : 196 enodes (cost 12 ) 59.493 * * [simplify]: iteration 11 : 202 enodes (cost 12 ) 59.517 * * [simplify]: iteration 12 : 206 enodes (cost 12 ) 59.544 * * [simplify]: iteration done : 206 enodes (cost 12 ) 59.545 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 59.546 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 59.548 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 59.552 * * [simplify]: iteration 3 : 51 enodes (cost 11 ) 59.559 * * [simplify]: iteration 4 : 67 enodes (cost 11 ) 59.569 * * [simplify]: iteration 5 : 86 enodes (cost 11 ) 59.578 * * [simplify]: iteration 6 : 98 enodes (cost 11 ) 59.588 * * [simplify]: iteration 7 : 117 enodes (cost 11 ) 59.609 * * [simplify]: iteration 8 : 152 enodes (cost 11 ) 59.633 * * [simplify]: iteration 9 : 184 enodes (cost 11 ) 59.657 * * [simplify]: iteration 10 : 200 enodes (cost 11 ) 59.681 * * [simplify]: iteration 11 : 206 enodes (cost 11 ) 59.706 * * [simplify]: iteration 12 : 210 enodes (cost 11 ) 59.734 * * [simplify]: iteration done : 210 enodes (cost 11 ) 59.734 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 59.736 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 59.739 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 59.748 * * [simplify]: iteration 3 : 126 enodes (cost 10 ) 59.774 * * [simplify]: iteration 4 : 204 enodes (cost 10 ) 59.808 * * [simplify]: iteration 5 : 292 enodes (cost 10 ) 59.862 * * [simplify]: iteration 6 : 399 enodes (cost 10 ) 59.941 * * [simplify]: iteration 7 : 534 enodes (cost 10 ) 60.065 * * [simplify]: iteration 8 : 711 enodes (cost 10 ) 60.247 * * [simplify]: iteration 9 : 919 enodes (cost 10 ) 60.439 * * [simplify]: iteration 10 : 1103 enodes (cost 10 ) 60.679 * * [simplify]: iteration 11 : 1191 enodes (cost 10 ) 60.961 * * [simplify]: iteration 12 : 1255 enodes (cost 10 ) 61.245 * * [simplify]: iteration 13 : 1297 enodes (cost 10 ) 61.527 * * [simplify]: iteration 14 : 1303 enodes (cost 10 ) 61.804 * * [simplify]: iteration done : 1303 enodes (cost 10 ) 61.804 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 61.806 * * [simplify]: iteration 1 : 26 enodes (cost 10 ) 61.809 * * [simplify]: iteration 2 : 64 enodes (cost 10 ) 61.819 * * [simplify]: iteration 3 : 154 enodes (cost 10 ) 61.851 * * [simplify]: iteration 4 : 293 enodes (cost 10 ) 61.917 * * [simplify]: iteration 5 : 623 enodes (cost 10 ) 62.177 * * [simplify]: iteration 6 : 1450 enodes (cost 10 ) 63.146 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 63.147 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 63.150 * * [simplify]: iteration 1 : 47 enodes (cost 29 ) 63.161 * * [simplify]: iteration 2 : 199 enodes (cost 15 ) 63.257 * * [simplify]: iteration 3 : 1187 enodes (cost 13 ) 64.450 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 64.451 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 64.453 * * [simplify]: iteration 1 : 43 enodes (cost 29 ) 64.461 * * [simplify]: iteration 2 : 167 enodes (cost 13 ) 64.526 * * [simplify]: iteration 3 : 846 enodes (cost 13 ) 65.368 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 65.369 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 65.370 * * [simplify]: iteration 1 : 25 enodes (cost 21 ) 65.374 * * [simplify]: iteration 2 : 54 enodes (cost 21 ) 65.382 * * [simplify]: iteration 3 : 108 enodes (cost 21 ) 65.401 * * [simplify]: iteration 4 : 170 enodes (cost 21 ) 65.435 * * [simplify]: iteration 5 : 245 enodes (cost 21 ) 65.477 * * [simplify]: iteration 6 : 340 enodes (cost 21 ) 65.554 * * [simplify]: iteration 7 : 463 enodes (cost 21 ) 65.663 * * [simplify]: iteration 8 : 617 enodes (cost 21 ) 65.834 * * [simplify]: iteration 9 : 815 enodes (cost 21 ) 66.011 * * [simplify]: iteration 10 : 976 enodes (cost 21 ) 66.236 * * [simplify]: iteration 11 : 1045 enodes (cost 21 ) 66.486 * * [simplify]: iteration 12 : 1078 enodes (cost 21 ) 66.723 * * [simplify]: iteration done : 1078 enodes (cost 21 ) 66.724 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 66.725 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 66.728 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 66.737 * * [simplify]: iteration 3 : 107 enodes (cost 10 ) 66.761 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 66.790 * * [simplify]: iteration 5 : 244 enodes (cost 10 ) 66.837 * * [simplify]: iteration 6 : 339 enodes (cost 10 ) 66.909 * * [simplify]: iteration 7 : 462 enodes (cost 10 ) 67.020 * * [simplify]: iteration 8 : 616 enodes (cost 10 ) 67.191 * * [simplify]: iteration 9 : 814 enodes (cost 10 ) 67.365 * * [simplify]: iteration 10 : 967 enodes (cost 10 ) 67.578 * * [simplify]: iteration 11 : 1033 enodes (cost 10 ) 67.827 * * [simplify]: iteration 12 : 1066 enodes (cost 10 ) 68.069 * * [simplify]: iteration done : 1066 enodes (cost 10 ) 68.070 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 68.071 * * [simplify]: iteration 1 : 35 enodes (cost 29 ) 68.079 * * [simplify]: iteration 2 : 157 enodes (cost 11 ) 68.158 * * [simplify]: iteration 3 : 893 enodes (cost 11 ) 69.406 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 69.407 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 69.413 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 69.416 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 69.424 * * [simplify]: iteration 3 : 107 enodes (cost 10 ) 69.448 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 69.478 * * [simplify]: iteration 5 : 244 enodes (cost 10 ) 69.525 * * [simplify]: iteration 6 : 339 enodes (cost 10 ) 69.597 * * [simplify]: iteration 7 : 462 enodes (cost 10 ) 69.706 * * [simplify]: iteration 8 : 616 enodes (cost 10 ) 69.877 * * [simplify]: iteration 9 : 814 enodes (cost 10 ) 70.051 * * [simplify]: iteration 10 : 967 enodes (cost 10 ) 70.266 * * [simplify]: iteration 11 : 1033 enodes (cost 10 ) 70.518 * * [simplify]: iteration 12 : 1066 enodes (cost 10 ) 70.758 * * [simplify]: iteration done : 1066 enodes (cost 10 ) 70.759 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 70.760 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 70.763 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 70.771 * * [simplify]: iteration 3 : 107 enodes (cost 10 ) 70.789 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 70.825 * * [simplify]: iteration 5 : 244 enodes (cost 10 ) 70.872 * * [simplify]: iteration 6 : 339 enodes (cost 10 ) 70.945 * * [simplify]: iteration 7 : 462 enodes (cost 10 ) 71.054 * * [simplify]: iteration 8 : 616 enodes (cost 10 ) 71.228 * * [simplify]: iteration 9 : 814 enodes (cost 10 ) 71.403 * * [simplify]: iteration 10 : 967 enodes (cost 10 ) 71.619 * * [simplify]: iteration 11 : 1033 enodes (cost 10 ) 71.876 * * [simplify]: iteration 12 : 1066 enodes (cost 10 ) 72.114 * * [simplify]: iteration done : 1066 enodes (cost 10 ) 72.115 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 72.116 * * [simplify]: iteration 1 : 33 enodes (cost 11 ) 72.122 * * [simplify]: iteration 2 : 80 enodes (cost 11 ) 72.137 * * [simplify]: iteration 3 : 200 enodes (cost 11 ) 72.195 * * [simplify]: iteration 4 : 532 enodes (cost 11 ) 72.453 * * [simplify]: iteration 5 : 1649 enodes (cost 11 ) 73.993 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 73.993 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 73.995 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 74.000 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 74.014 * * [simplify]: iteration 3 : 225 enodes (cost 15 ) 74.103 * * [simplify]: iteration 4 : 766 enodes (cost 15 ) 74.635 * * [simplify]: iteration 5 : 2364 enodes (cost 15 ) 76.064 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 76.065 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 76.066 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 76.069 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 76.078 * * [simplify]: iteration 3 : 164 enodes (cost 13 ) 76.139 * * [simplify]: iteration 4 : 660 enodes (cost 13 ) 76.573 * * [simplify]: iteration 5 : 2109 enodes (cost 13 ) 77.956 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 77.957 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 77.957 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 77.959 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 77.964 * * [simplify]: iteration 3 : 61 enodes (cost 7 ) 77.973 * * [simplify]: iteration 4 : 91 enodes (cost 7 ) 77.987 * * [simplify]: iteration 5 : 119 enodes (cost 7 ) 78.014 * * [simplify]: iteration 6 : 161 enodes (cost 7 ) 78.043 * * [simplify]: iteration 7 : 220 enodes (cost 7 ) 78.087 * * [simplify]: iteration 8 : 277 enodes (cost 7 ) 78.138 * * [simplify]: iteration 9 : 336 enodes (cost 7 ) 78.203 * * [simplify]: iteration 10 : 362 enodes (cost 7 ) 78.268 * * [simplify]: iteration done : 362 enodes (cost 7 ) 78.269 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 78.270 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 78.271 * * [simplify]: iteration 2 : 24 enodes (cost 11 ) 78.274 * * [simplify]: iteration 3 : 33 enodes (cost 11 ) 78.278 * * [simplify]: iteration 4 : 39 enodes (cost 11 ) 78.284 * * [simplify]: iteration 5 : 49 enodes (cost 11 ) 78.289 * * [simplify]: iteration 6 : 56 enodes (cost 11 ) 78.300 * * [simplify]: iteration 7 : 66 enodes (cost 11 ) 78.310 * * [simplify]: iteration 8 : 84 enodes (cost 11 ) 78.322 * * [simplify]: iteration 9 : 97 enodes (cost 11 ) 78.331 * * [simplify]: iteration 10 : 105 enodes (cost 11 ) 78.343 * * [simplify]: iteration 11 : 111 enodes (cost 11 ) 78.361 * * [simplify]: iteration 12 : 115 enodes (cost 11 ) 78.373 * * [simplify]: iteration done : 115 enodes (cost 11 ) 78.374 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 78.375 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 78.377 * * [simplify]: iteration 2 : 24 enodes (cost 11 ) 78.380 * * [simplify]: iteration 3 : 33 enodes (cost 11 ) 78.384 * * [simplify]: iteration 4 : 39 enodes (cost 11 ) 78.389 * * [simplify]: iteration 5 : 49 enodes (cost 11 ) 78.394 * * [simplify]: iteration 6 : 56 enodes (cost 11 ) 78.400 * * [simplify]: iteration 7 : 66 enodes (cost 11 ) 78.415 * * [simplify]: iteration 8 : 84 enodes (cost 11 ) 78.427 * * [simplify]: iteration 9 : 97 enodes (cost 11 ) 78.436 * * [simplify]: iteration 10 : 105 enodes (cost 11 ) 78.448 * * [simplify]: iteration 11 : 111 enodes (cost 11 ) 78.461 * * [simplify]: iteration 12 : 115 enodes (cost 11 ) 78.478 * * [simplify]: iteration done : 115 enodes (cost 11 ) 78.479 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 78.480 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 78.483 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 78.487 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 78.492 * * [simplify]: iteration 4 : 49 enodes (cost 12 ) 78.498 * * [simplify]: iteration 5 : 60 enodes (cost 12 ) 78.505 * * [simplify]: iteration 6 : 67 enodes (cost 12 ) 78.512 * * [simplify]: iteration 7 : 77 enodes (cost 12 ) 78.523 * * [simplify]: iteration 8 : 95 enodes (cost 12 ) 78.541 * * [simplify]: iteration 9 : 108 enodes (cost 12 ) 78.552 * * [simplify]: iteration 10 : 116 enodes (cost 12 ) 78.565 * * [simplify]: iteration 11 : 122 enodes (cost 12 ) 78.580 * * [simplify]: iteration 12 : 126 enodes (cost 12 ) 78.598 * * [simplify]: iteration done : 126 enodes (cost 12 ) 78.599 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 78.600 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 78.602 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 78.605 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 78.611 * * [simplify]: iteration 4 : 49 enodes (cost 12 ) 78.617 * * [simplify]: iteration 5 : 60 enodes (cost 12 ) 78.624 * * [simplify]: iteration 6 : 67 enodes (cost 12 ) 78.631 * * [simplify]: iteration 7 : 77 enodes (cost 12 ) 78.642 * * [simplify]: iteration 8 : 95 enodes (cost 12 ) 78.660 * * [simplify]: iteration 9 : 108 enodes (cost 12 ) 78.671 * * [simplify]: iteration 10 : 116 enodes (cost 12 ) 78.684 * * [simplify]: iteration 11 : 122 enodes (cost 12 ) 78.698 * * [simplify]: iteration 12 : 126 enodes (cost 12 ) 78.717 * * [simplify]: iteration done : 126 enodes (cost 12 ) 78.718 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 78.718 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 78.719 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 78.721 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 78.722 * * [simplify]: iteration 4 : 15 enodes (cost 5 ) 78.724 * * [simplify]: iteration 5 : 16 enodes (cost 5 ) 78.726 * * [simplify]: iteration done : 16 enodes (cost 5 ) 78.726 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 78.727 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 78.729 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 78.733 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 78.738 * * [simplify]: iteration 4 : 61 enodes (cost 7 ) 78.746 * * [simplify]: iteration 5 : 77 enodes (cost 7 ) 78.757 * * [simplify]: iteration 6 : 87 enodes (cost 7 ) 78.775 * * [simplify]: iteration 7 : 89 enodes (cost 7 ) 78.787 * * [simplify]: iteration done : 89 enodes (cost 7 ) 78.788 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 78.788 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 78.789 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 78.791 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 78.792 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 78.794 * * [simplify]: iteration done : 16 enodes (cost 5 ) 78.795 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 78.796 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 78.797 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 78.800 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 78.806 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 78.816 * * [simplify]: iteration 5 : 85 enodes (cost 7 ) 78.833 * * [simplify]: iteration 6 : 96 enodes (cost 7 ) 78.845 * * [simplify]: iteration done : 96 enodes (cost 7 ) 78.846 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 78.847 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 78.849 * * [simplify]: iteration 2 : 36 enodes (cost 17 ) 78.854 * * [simplify]: iteration 3 : 53 enodes (cost 17 ) 78.861 * * [simplify]: iteration 4 : 68 enodes (cost 17 ) 78.871 * * [simplify]: iteration 5 : 84 enodes (cost 17 ) 78.882 * * [simplify]: iteration 6 : 96 enodes (cost 17 ) 78.899 * * [simplify]: iteration 7 : 106 enodes (cost 17 ) 78.914 * * [simplify]: iteration 8 : 124 enodes (cost 17 ) 78.932 * * [simplify]: iteration 9 : 137 enodes (cost 17 ) 78.953 * * [simplify]: iteration 10 : 145 enodes (cost 17 ) 78.970 * * [simplify]: iteration 11 : 151 enodes (cost 17 ) 78.990 * * [simplify]: iteration 12 : 152 enodes (cost 17 ) 79.013 * * [simplify]: iteration done : 152 enodes (cost 17 ) 79.014 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 79.015 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 79.017 * * [simplify]: iteration 2 : 28 enodes (cost 10 ) 79.020 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 79.025 * * [simplify]: iteration 4 : 47 enodes (cost 10 ) 79.032 * * [simplify]: iteration 5 : 58 enodes (cost 10 ) 79.039 * * [simplify]: iteration 6 : 65 enodes (cost 10 ) 79.045 * * [simplify]: iteration 7 : 75 enodes (cost 10 ) 79.056 * * [simplify]: iteration 8 : 93 enodes (cost 10 ) 79.073 * * [simplify]: iteration 9 : 106 enodes (cost 10 ) 79.083 * * [simplify]: iteration 10 : 114 enodes (cost 10 ) 79.097 * * [simplify]: iteration 11 : 118 enodes (cost 10 ) 79.111 * * [simplify]: iteration 12 : 122 enodes (cost 10 ) 79.129 * * [simplify]: iteration done : 122 enodes (cost 10 ) 79.130 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 79.130 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 79.132 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 79.133 * * [simplify]: iteration done : 20 enodes (cost 3 ) 79.133 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 79.134 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 79.135 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 79.136 * * [simplify]: iteration done : 20 enodes (cost 3 ) 79.137 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 79.138 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 79.139 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 79.141 * * [simplify]: iteration done : 20 enodes (cost 3 ) 79.141 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 79.142 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 79.145 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 79.151 * * [simplify]: iteration 3 : 62 enodes (cost 10 ) 79.160 * * [simplify]: iteration 4 : 84 enodes (cost 10 ) 79.174 * * [simplify]: iteration 5 : 106 enodes (cost 10 ) 79.194 * * [simplify]: iteration 6 : 128 enodes (cost 10 ) 79.212 * * [simplify]: iteration 7 : 165 enodes (cost 10 ) 79.249 * * [simplify]: iteration 8 : 226 enodes (cost 10 ) 79.288 * * [simplify]: iteration 9 : 290 enodes (cost 10 ) 79.334 * * [simplify]: iteration 10 : 345 enodes (cost 10 ) 79.398 * * [simplify]: iteration 11 : 372 enodes (cost 10 ) 79.466 * * [simplify]: iteration 12 : 376 enodes (cost 10 ) 79.536 * * [simplify]: iteration done : 376 enodes (cost 10 ) 79.537 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 79.539 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 79.541 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 79.546 * * [simplify]: iteration 3 : 62 enodes (cost 10 ) 79.556 * * [simplify]: iteration 4 : 84 enodes (cost 10 ) 79.570 * * [simplify]: iteration 5 : 106 enodes (cost 10 ) 79.585 * * [simplify]: iteration 6 : 128 enodes (cost 10 ) 79.608 * * [simplify]: iteration 7 : 165 enodes (cost 10 ) 79.640 * * [simplify]: iteration 8 : 226 enodes (cost 10 ) 79.684 * * [simplify]: iteration 9 : 290 enodes (cost 10 ) 79.731 * * [simplify]: iteration 10 : 345 enodes (cost 10 ) 79.795 * * [simplify]: iteration 11 : 372 enodes (cost 10 ) 79.862 * * [simplify]: iteration 12 : 376 enodes (cost 10 ) 79.923 * * [simplify]: iteration done : 376 enodes (cost 10 ) 79.924 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 79.925 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 79.929 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 79.941 * * [simplify]: iteration 3 : 108 enodes (cost 11 ) 79.960 * * [simplify]: iteration 4 : 170 enodes (cost 11 ) 79.995 * * [simplify]: iteration 5 : 245 enodes (cost 11 ) 80.036 * * [simplify]: iteration 6 : 340 enodes (cost 11 ) 80.113 * * [simplify]: iteration 7 : 463 enodes (cost 11 ) 80.216 * * [simplify]: iteration 8 : 617 enodes (cost 11 ) 80.376 * * [simplify]: iteration 9 : 815 enodes (cost 11 ) 80.559 * * [simplify]: iteration 10 : 1005 enodes (cost 11 ) 80.794 * * [simplify]: iteration 11 : 1059 enodes (cost 11 ) 81.053 * * [simplify]: iteration 12 : 1077 enodes (cost 11 ) 81.294 * * [simplify]: iteration done : 1077 enodes (cost 11 ) 81.294 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 81.296 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 81.299 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 81.307 * * [simplify]: iteration 3 : 108 enodes (cost 11 ) 81.332 * * [simplify]: iteration 4 : 170 enodes (cost 11 ) 81.362 * * [simplify]: iteration 5 : 245 enodes (cost 11 ) 81.409 * * [simplify]: iteration 6 : 340 enodes (cost 11 ) 81.489 * * [simplify]: iteration 7 : 463 enodes (cost 11 ) 81.597 * * [simplify]: iteration 8 : 617 enodes (cost 11 ) 81.753 * * [simplify]: iteration 9 : 815 enodes (cost 11 ) 81.928 * * [simplify]: iteration 10 : 1005 enodes (cost 11 ) 82.154 * * [simplify]: iteration 11 : 1059 enodes (cost 11 ) 82.404 * * [simplify]: iteration 12 : 1077 enodes (cost 11 ) 82.641 * * [simplify]: iteration done : 1077 enodes (cost 11 ) 82.641 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 82.643 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 82.646 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 82.654 * * [simplify]: iteration 3 : 107 enodes (cost 10 ) 82.675 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 82.706 * * [simplify]: iteration 5 : 244 enodes (cost 10 ) 82.751 * * [simplify]: iteration 6 : 339 enodes (cost 10 ) 82.822 * * [simplify]: iteration 7 : 462 enodes (cost 10 ) 82.927 * * [simplify]: iteration 8 : 616 enodes (cost 10 ) 83.083 * * [simplify]: iteration 9 : 814 enodes (cost 10 ) 83.260 * * [simplify]: iteration 10 : 1003 enodes (cost 10 ) 83.485 * * [simplify]: iteration 11 : 1056 enodes (cost 10 ) 83.735 * * [simplify]: iteration 12 : 1074 enodes (cost 10 ) 83.975 * * [simplify]: iteration done : 1074 enodes (cost 10 ) 83.976 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 83.977 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 83.981 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 83.989 * * [simplify]: iteration 3 : 108 enodes (cost 11 ) 84.008 * * [simplify]: iteration 4 : 170 enodes (cost 11 ) 84.042 * * [simplify]: iteration 5 : 245 enodes (cost 11 ) 84.089 * * [simplify]: iteration 6 : 340 enodes (cost 11 ) 84.161 * * [simplify]: iteration 7 : 463 enodes (cost 11 ) 84.267 * * [simplify]: iteration 8 : 617 enodes (cost 11 ) 84.426 * * [simplify]: iteration 9 : 815 enodes (cost 11 ) 84.608 * * [simplify]: iteration 10 : 1005 enodes (cost 11 ) 84.839 * * [simplify]: iteration 11 : 1059 enodes (cost 11 ) 85.087 * * [simplify]: iteration 12 : 1077 enodes (cost 11 ) 85.321 * * [simplify]: iteration done : 1077 enodes (cost 11 ) 85.322 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 85.323 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 85.327 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 85.335 * * [simplify]: iteration 3 : 108 enodes (cost 11 ) 85.353 * * [simplify]: iteration 4 : 170 enodes (cost 11 ) 85.386 * * [simplify]: iteration 5 : 245 enodes (cost 11 ) 85.428 * * [simplify]: iteration 6 : 340 enodes (cost 11 ) 85.502 * * [simplify]: iteration 7 : 463 enodes (cost 11 ) 85.607 * * [simplify]: iteration 8 : 617 enodes (cost 11 ) 85.759 * * [simplify]: iteration 9 : 815 enodes (cost 11 ) 85.938 * * [simplify]: iteration 10 : 1005 enodes (cost 11 ) 86.165 * * [simplify]: iteration 11 : 1059 enodes (cost 11 ) 86.415 * * [simplify]: iteration 12 : 1077 enodes (cost 11 ) 86.651 * * [simplify]: iteration done : 1077 enodes (cost 11 ) 86.652 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 86.653 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 86.657 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 86.669 * * [simplify]: iteration 3 : 107 enodes (cost 10 ) 86.687 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 86.722 * * [simplify]: iteration 5 : 244 enodes (cost 10 ) 86.764 * * [simplify]: iteration 6 : 339 enodes (cost 10 ) 86.838 * * [simplify]: iteration 7 : 462 enodes (cost 10 ) 86.942 * * [simplify]: iteration 8 : 616 enodes (cost 10 ) 87.098 * * [simplify]: iteration 9 : 814 enodes (cost 10 ) 87.275 * * [simplify]: iteration 10 : 1003 enodes (cost 10 ) 87.502 * * [simplify]: iteration 11 : 1056 enodes (cost 10 ) 87.758 * * [simplify]: iteration 12 : 1074 enodes (cost 10 ) 87.995 * * [simplify]: iteration done : 1074 enodes (cost 10 ) 87.995 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 87.997 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 88.000 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 88.008 * * [simplify]: iteration 3 : 107 enodes (cost 10 ) 88.031 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 88.061 * * [simplify]: iteration 5 : 244 enodes (cost 10 ) 88.106 * * [simplify]: iteration 6 : 339 enodes (cost 10 ) 88.177 * * [simplify]: iteration 7 : 462 enodes (cost 10 ) 88.282 * * [simplify]: iteration 8 : 616 enodes (cost 10 ) 88.447 * * [simplify]: iteration 9 : 814 enodes (cost 10 ) 88.617 * * [simplify]: iteration 10 : 975 enodes (cost 10 ) 88.833 * * [simplify]: iteration 11 : 1046 enodes (cost 10 ) 89.086 * * [simplify]: iteration 12 : 1079 enodes (cost 10 ) 89.321 * * [simplify]: iteration done : 1079 enodes (cost 10 ) 89.322 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 89.323 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 89.327 * * [simplify]: iteration 2 : 53 enodes (cost 10 ) 89.334 * * [simplify]: iteration 3 : 107 enodes (cost 10 ) 89.353 * * [simplify]: iteration 4 : 169 enodes (cost 10 ) 89.387 * * [simplify]: iteration 5 : 244 enodes (cost 10 ) 89.433 * * [simplify]: iteration 6 : 339 enodes (cost 10 ) 89.503 * * [simplify]: iteration 7 : 462 enodes (cost 10 ) 89.610 * * [simplify]: iteration 8 : 616 enodes (cost 10 ) 89.779 * * [simplify]: iteration 9 : 814 enodes (cost 10 ) 89.954 * * [simplify]: iteration 10 : 975 enodes (cost 10 ) 90.175 * * [simplify]: iteration 11 : 1046 enodes (cost 10 ) 90.426 * * [simplify]: iteration 12 : 1079 enodes (cost 10 ) 90.660 * * [simplify]: iteration done : 1079 enodes (cost 10 ) 90.660 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 90.662 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 90.665 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 90.677 * * [simplify]: iteration 3 : 106 enodes (cost 9 ) 90.696 * * [simplify]: iteration 4 : 168 enodes (cost 9 ) 90.726 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 90.772 * * [simplify]: iteration 6 : 338 enodes (cost 9 ) 90.847 * * [simplify]: iteration 7 : 461 enodes (cost 9 ) 90.949 * * [simplify]: iteration 8 : 615 enodes (cost 9 ) 91.113 * * [simplify]: iteration 9 : 813 enodes (cost 9 ) 91.284 * * [simplify]: iteration 10 : 974 enodes (cost 9 ) 91.502 * * [simplify]: iteration 11 : 1043 enodes (cost 9 ) 91.748 * * [simplify]: iteration 12 : 1076 enodes (cost 9 ) 91.981 * * [simplify]: iteration done : 1076 enodes (cost 9 ) 91.982 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 91.983 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 91.986 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 91.994 * * [simplify]: iteration 3 : 106 enodes (cost 9 ) 92.013 * * [simplify]: iteration 4 : 168 enodes (cost 9 ) 92.047 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 92.094 * * [simplify]: iteration 6 : 338 enodes (cost 9 ) 92.166 * * [simplify]: iteration 7 : 461 enodes (cost 9 ) 92.273 * * [simplify]: iteration 8 : 615 enodes (cost 9 ) 92.439 * * [simplify]: iteration 9 : 813 enodes (cost 9 ) 92.616 * * [simplify]: iteration 10 : 974 enodes (cost 9 ) 92.834 * * [simplify]: iteration 11 : 1043 enodes (cost 9 ) 93.084 * * [simplify]: iteration 12 : 1076 enodes (cost 9 ) 93.323 * * [simplify]: iteration done : 1076 enodes (cost 9 ) 93.324 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 93.325 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 93.333 * * [simplify]: iteration 2 : 54 enodes (cost 7 ) 93.346 * * [simplify]: iteration 3 : 141 enodes (cost 7 ) 93.392 * * [simplify]: iteration 4 : 258 enodes (cost 7 ) 93.443 * * [simplify]: iteration 5 : 343 enodes (cost 7 ) 93.499 * * [simplify]: iteration 6 : 419 enodes (cost 7 ) 93.586 * * [simplify]: iteration 7 : 531 enodes (cost 7 ) 93.724 * * [simplify]: iteration 8 : 703 enodes (cost 7 ) 93.887 * * [simplify]: iteration 9 : 927 enodes (cost 7 ) 94.222 * * [simplify]: iteration 10 : 1198 enodes (cost 7 ) 94.499 * * [simplify]: iteration 11 : 1237 enodes (cost 7 ) 94.776 * * [simplify]: iteration 12 : 1243 enodes (cost 7 ) 95.053 * * [simplify]: iteration done : 1243 enodes (cost 7 ) 95.054 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 95.055 * * [simplify]: iteration 1 : 37 enodes (cost 13 ) 95.061 * * [simplify]: iteration 2 : 99 enodes (cost 13 ) 95.085 * * [simplify]: iteration 3 : 263 enodes (cost 13 ) 95.188 * * [simplify]: iteration 4 : 803 enodes (cost 13 ) 95.640 * * [simplify]: iteration 5 : 2693 enodes (cost 13 ) 96.910 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 96.911 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 96.912 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 96.915 * * [simplify]: iteration 2 : 62 enodes (cost 15 ) 96.934 * * [simplify]: iteration 3 : 235 enodes (cost 15 ) 97.028 * * [simplify]: iteration 4 : 1013 enodes (cost 15 ) 97.710 * * [simplify]: iteration 5 : 3331 enodes (cost 15 ) 98.864 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 98.865 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 98.866 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 98.868 * * [simplify]: iteration 2 : 33 enodes (cost 7 ) 98.879 * * [simplify]: iteration 3 : 59 enodes (cost 7 ) 98.888 * * [simplify]: iteration 4 : 81 enodes (cost 7 ) 98.902 * * [simplify]: iteration 5 : 103 enodes (cost 7 ) 98.916 * * [simplify]: iteration 6 : 125 enodes (cost 7 ) 98.939 * * [simplify]: iteration 7 : 162 enodes (cost 7 ) 98.970 * * [simplify]: iteration 8 : 223 enodes (cost 7 ) 99.015 * * [simplify]: iteration 9 : 287 enodes (cost 7 ) 99.060 * * [simplify]: iteration 10 : 325 enodes (cost 7 ) 99.115 * * [simplify]: iteration 11 : 353 enodes (cost 7 ) 99.178 * * [simplify]: iteration 12 : 373 enodes (cost 7 ) 99.242 * * [simplify]: iteration done : 373 enodes (cost 7 ) 99.242 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 99.244 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 99.248 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 99.257 * * [simplify]: iteration 3 : 96 enodes (cost 13 ) 99.278 * * [simplify]: iteration 4 : 135 enodes (cost 13 ) 99.303 * * [simplify]: iteration 5 : 211 enodes (cost 9 ) 99.354 * * [simplify]: iteration 6 : 342 enodes (cost 9 ) 99.490 * * [simplify]: iteration 7 : 557 enodes (cost 9 ) 99.635 * * [simplify]: iteration 8 : 757 enodes (cost 9 ) 99.841 * * [simplify]: iteration 9 : 964 enodes (cost 9 ) 100.239 * * [simplify]: iteration 10 : 1282 enodes (cost 9 ) 100.519 * * [simplify]: iteration 11 : 1300 enodes (cost 9 ) 100.770 * * [simplify]: iteration done : 1300 enodes (cost 9 ) 100.771 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 100.773 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 100.777 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 100.786 * * [simplify]: iteration 3 : 96 enodes (cost 13 ) 100.802 * * [simplify]: iteration 4 : 135 enodes (cost 13 ) 100.832 * * [simplify]: iteration 5 : 211 enodes (cost 9 ) 100.884 * * [simplify]: iteration 6 : 342 enodes (cost 9 ) 101.019 * * [simplify]: iteration 7 : 557 enodes (cost 9 ) 101.165 * * [simplify]: iteration 8 : 757 enodes (cost 9 ) 101.374 * * [simplify]: iteration 9 : 964 enodes (cost 9 ) 101.771 * * [simplify]: iteration 10 : 1282 enodes (cost 9 ) 102.053 * * [simplify]: iteration 11 : 1300 enodes (cost 9 ) 102.298 * * [simplify]: iteration done : 1300 enodes (cost 9 ) 102.299 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 102.301 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 102.309 * * [simplify]: iteration 2 : 59 enodes (cost 13 ) 102.319 * * [simplify]: iteration 3 : 96 enodes (cost 13 ) 102.335 * * [simplify]: iteration 4 : 135 enodes (cost 13 ) 102.360 * * [simplify]: iteration 5 : 211 enodes (cost 9 ) 102.412 * * [simplify]: iteration 6 : 342 enodes (cost 9 ) 102.552 * * [simplify]: iteration 7 : 557 enodes (cost 9 ) 102.693 * * [simplify]: iteration 8 : 757 enodes (cost 9 ) 102.897 * * [simplify]: iteration 9 : 964 enodes (cost 9 ) 103.292 * * [simplify]: iteration 10 : 1282 enodes (cost 9 ) 103.576 * * [simplify]: iteration 11 : 1300 enodes (cost 9 ) 103.824 * * [simplify]: iteration done : 1300 enodes (cost 9 ) 103.825 * [simplify]: Simplified to: (* (/ 0.5 t) (+ x (- y z))) (+ (- (log 0.5) (log t)) (log (+ x (- y z)))) (+ (log (/ 0.5 t)) (log (+ x (- y z)))) (log (* (/ 0.5 t) (+ x (- y z)))) (exp (* (/ 0.5 t) (+ x (- y z)))) (* (pow (/ 0.5 t) 3) (pow (+ x (- y z)) 3)) (* (pow (+ x (- y z)) 3) (pow (/ 0.5 t) 3)) (* (cbrt (* (/ 0.5 t) (+ x (- y z)))) (cbrt (* (/ 0.5 t) (+ x (- y z))))) (cbrt (* (/ 0.5 t) (+ x (- y z)))) (pow (* (/ 0.5 t) (+ x (- y z))) 3) (sqrt (* (/ 0.5 t) (+ x (- y z)))) (sqrt (* (/ 0.5 t) (+ x (- y z)))) (* 0.5 (+ (pow x 3) (pow (- y z) 3))) (* (+ (* (- y z) (- (- y z) x)) (* x x)) t) (* 0.5 (- (* x x) (* (- y z) (- y z)))) (* t (- x (- y z))) (* (sqrt (/ 0.5 t)) (sqrt (+ x (- y z)))) (* (sqrt (/ 0.5 t)) (sqrt (+ x (- y z)))) (* (/ (sqrt 0.5) (sqrt t)) (sqrt (+ x (- y z)))) (* (/ (sqrt 0.5) (sqrt t)) (sqrt (+ x (- y z)))) (* (/ 0.5 t) x) (* (/ 0.5 t) (- y z)) (* x (/ 0.5 t)) (* (- y z) (/ 0.5 t)) (* (/ 0.5 t) (* (cbrt (+ x (- y z))) (cbrt (+ x (- y z))))) (* (/ 0.5 t) (sqrt (+ x (- y z)))) (/ 0.5 t) (/ 0.5 t) (/ 0.5 t) (* (cbrt (/ 0.5 t)) (+ x (- y z))) (* (sqrt (/ 0.5 t)) (+ x (- y z))) (* (/ (cbrt 0.5) (cbrt t)) (+ x (- y z))) (* (/ (cbrt 0.5) (sqrt t)) (+ x (- y z))) (* (/ (cbrt 0.5) t) (+ x (- y z))) (* (/ (sqrt 0.5) (cbrt t)) (+ x (- y z))) (* (/ (sqrt 0.5) (sqrt t)) (+ x (- y z))) (* (/ (sqrt 0.5) t) (+ x (- y z))) (* (/ 0.5 (cbrt t)) (+ x (- y z))) (* (/ 0.5 (sqrt t)) (+ x (- y z))) (* (/ 0.5 t) (+ x (- y z))) (* (/ 0.5 t) (+ x (- y z))) (/ (+ x (- y z)) t) (* (/ 0.5 t) (+ (pow x 3) (pow (- y z) 3))) (* (/ 0.5 t) (- (* x x) (* (- y z) (- y z)))) (* 0.5 (+ x (- y z))) (* (/ 0.5 t) (+ x (- y z))) (* (/ 0.5 t) (+ y (- x z))) (* (/ 0.5 t) (+ y (- x z))) 103.825 * * * [progress]: adding candidates to table 103.885 * [progress]: [Phase 3 of 3] Extracting. 103.886 * * [regime]: Finding splitpoints for: (# # # #) 103.886 * * * [regime-changes]: Trying 6 branch expressions: ((+ x y) (- (+ x y) z) t z y x) 103.886 * * * * [regimes]: Trying to branch on (+ x y) from (# # # #) 103.945 * * * * [regimes]: Trying to branch on (- (+ x y) z) from (# # # #) 104.004 * * * * [regimes]: Trying to branch on t from (# # # #) 104.061 * * * * [regimes]: Trying to branch on z from (# # # #) 104.119 * * * * [regimes]: Trying to branch on y from (# # # #) 104.175 * * * * [regimes]: Trying to branch on x from (# # # #) 104.234 * * * [regime]: Found split indices: #