15.923 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (+ (* x y) (* (- x 1.0) z)) 0.019 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.021 * * [simplify]: iteration 1 : 20 enodes (cost 4 ) 0.022 * * [simplify]: iteration 2 : 34 enodes (cost 4 ) 0.023 * * [simplify]: iteration 3 : 51 enodes (cost 4 ) 0.025 * * [simplify]: iteration 4 : 58 enodes (cost 4 ) 0.026 * * [simplify]: iteration 5 : 64 enodes (cost 4 ) 0.028 * * [simplify]: iteration 6 : 81 enodes (cost 4 ) 0.030 * * [simplify]: iteration 7 : 112 enodes (cost 4 ) 0.032 * * [simplify]: iteration 8 : 159 enodes (cost 4 ) 0.035 * * [simplify]: iteration 9 : 273 enodes (cost 4 ) 0.038 * * [simplify]: iteration 10 : 370 enodes (cost 4 ) 0.041 * * [simplify]: iteration 11 : 428 enodes (cost 4 ) 0.045 * * [simplify]: iteration 12 : 450 enodes (cost 4 ) 0.048 * * [simplify]: iteration 13 : 465 enodes (cost 4 ) 0.051 * * [simplify]: iteration 14 : 465 enodes (cost 4 ) 0.051 * [simplify]: Simplified to: (+ (* x y) (* (- x 1.0) z)) 0.052 * * [progress]: iteration 1 / 4 0.052 * * * [progress]: picking best candidate 0.053 * * * * [pick]: Picked # 0.053 * * * [progress]: localizing error 0.059 * * * [progress]: generating rewritten candidates 0.059 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.062 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.072 * * * [progress]: generating series expansions 0.072 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.073 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in (x y z) around 0 0.073 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in z 0.073 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.073 * [taylor]: Taking taylor expansion of (* x z) in z 0.073 * [taylor]: Taking taylor expansion of x in z 0.073 * [taylor]: Taking taylor expansion of z in z 0.073 * [taylor]: Taking taylor expansion of (* x y) in z 0.073 * [taylor]: Taking taylor expansion of x in z 0.073 * [taylor]: Taking taylor expansion of y in z 0.073 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.073 * [taylor]: Taking taylor expansion of 1.0 in z 0.073 * [taylor]: Taking taylor expansion of z in z 0.073 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in y 0.073 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y 0.073 * [taylor]: Taking taylor expansion of (* x z) in y 0.073 * [taylor]: Taking taylor expansion of x in y 0.073 * [taylor]: Taking taylor expansion of z in y 0.073 * [taylor]: Taking taylor expansion of (* x y) in y 0.073 * [taylor]: Taking taylor expansion of x in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.073 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.073 * [taylor]: Taking taylor expansion of 1.0 in y 0.073 * [taylor]: Taking taylor expansion of z in y 0.073 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in x 0.073 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x 0.073 * [taylor]: Taking taylor expansion of (* x z) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.073 * [taylor]: Taking taylor expansion of (* x y) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.073 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.073 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.073 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in x 0.073 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x 0.073 * [taylor]: Taking taylor expansion of (* x z) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.073 * [taylor]: Taking taylor expansion of (* x y) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.073 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.073 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.074 * [taylor]: Taking taylor expansion of (- (* 1.0 z)) in y 0.074 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.074 * [taylor]: Taking taylor expansion of 1.0 in y 0.074 * [taylor]: Taking taylor expansion of z in y 0.074 * [taylor]: Taking taylor expansion of (- (* 1.0 z)) in z 0.074 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.074 * [taylor]: Taking taylor expansion of 1.0 in z 0.074 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of (+ z y) in y 0.076 * [taylor]: Taking taylor expansion of z in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 1 in z 0.081 * [taylor]: Taking taylor expansion of 0 in z 0.082 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in (x y z) around 0 0.082 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in z 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.082 * [taylor]: Taking taylor expansion of (* x z) in z 0.082 * [taylor]: Taking taylor expansion of x in z 0.082 * [taylor]: Taking taylor expansion of z in z 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.082 * [taylor]: Taking taylor expansion of (* x y) in z 0.082 * [taylor]: Taking taylor expansion of x in z 0.082 * [taylor]: Taking taylor expansion of y in z 0.082 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.082 * [taylor]: Taking taylor expansion of 1.0 in z 0.082 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.082 * [taylor]: Taking taylor expansion of z in z 0.083 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in y 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.083 * [taylor]: Taking taylor expansion of (* x z) in y 0.083 * [taylor]: Taking taylor expansion of x in y 0.083 * [taylor]: Taking taylor expansion of z in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.083 * [taylor]: Taking taylor expansion of (* x y) in y 0.083 * [taylor]: Taking taylor expansion of x in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.083 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.083 * [taylor]: Taking taylor expansion of 1.0 in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.083 * [taylor]: Taking taylor expansion of z in y 0.083 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in x 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 0.083 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.083 * [taylor]: Taking taylor expansion of (* x z) in x 0.083 * [taylor]: Taking taylor expansion of x in x 0.083 * [taylor]: Taking taylor expansion of z in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.084 * [taylor]: Taking taylor expansion of (* x y) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.084 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.084 * [taylor]: Taking taylor expansion of 1.0 in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.084 * [taylor]: Taking taylor expansion of z in x 0.084 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in x 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.084 * [taylor]: Taking taylor expansion of (* x z) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.085 * [taylor]: Taking taylor expansion of (* x y) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.085 * [taylor]: Taking taylor expansion of 1.0 in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.085 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.086 * [taylor]: Taking taylor expansion of z in y 0.086 * [taylor]: Taking taylor expansion of 1 in z 0.087 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in y 0.087 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.087 * [taylor]: Taking taylor expansion of 1.0 in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.088 * [taylor]: Taking taylor expansion of z in y 0.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.088 * [taylor]: Taking taylor expansion of z in z 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 0.091 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.091 * [taylor]: Taking taylor expansion of 1.0 in z 0.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.091 * [taylor]: Taking taylor expansion of z in z 0.093 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))) in (x y z) around 0 0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))) in z 0.093 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.093 * [taylor]: Taking taylor expansion of (* x z) in z 0.093 * [taylor]: Taking taylor expansion of x in z 0.093 * [taylor]: Taking taylor expansion of z in z 0.093 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in z 0.093 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.093 * [taylor]: Taking taylor expansion of 1.0 in z 0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.094 * [taylor]: Taking taylor expansion of z in z 0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.094 * [taylor]: Taking taylor expansion of (* x y) in z 0.094 * [taylor]: Taking taylor expansion of x in z 0.094 * [taylor]: Taking taylor expansion of y in z 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))) in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.094 * [taylor]: Taking taylor expansion of (* x z) in y 0.094 * [taylor]: Taking taylor expansion of x in y 0.094 * [taylor]: Taking taylor expansion of z in y 0.094 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in y 0.094 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.094 * [taylor]: Taking taylor expansion of 1.0 in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.094 * [taylor]: Taking taylor expansion of z in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.094 * [taylor]: Taking taylor expansion of (* x y) in y 0.094 * [taylor]: Taking taylor expansion of x in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))) in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.095 * [taylor]: Taking taylor expansion of (* x z) in x 0.095 * [taylor]: Taking taylor expansion of x in x 0.095 * [taylor]: Taking taylor expansion of z in x 0.095 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 0.095 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.095 * [taylor]: Taking taylor expansion of 1.0 in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.095 * [taylor]: Taking taylor expansion of z in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.095 * [taylor]: Taking taylor expansion of (* x y) in x 0.095 * [taylor]: Taking taylor expansion of x in x 0.095 * [taylor]: Taking taylor expansion of y in x 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 1.0 (/ 1 z)) (/ 1 (* x y)))) in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.095 * [taylor]: Taking taylor expansion of (* x z) in x 0.095 * [taylor]: Taking taylor expansion of x in x 0.095 * [taylor]: Taking taylor expansion of z in x 0.096 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 0.096 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.096 * [taylor]: Taking taylor expansion of 1.0 in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.096 * [taylor]: Taking taylor expansion of z in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.096 * [taylor]: Taking taylor expansion of (* x y) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of y in x 0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.097 * [taylor]: Taking taylor expansion of z in y 0.097 * [taylor]: Taking taylor expansion of 1 in z 0.098 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.098 * [taylor]: Taking taylor expansion of 1.0 in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.099 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z 0.102 * [taylor]: Taking taylor expansion of 1.0 in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.103 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.103 * [approximate]: Taking taylor expansion of (* (- x 1.0) z) in (x z) around 0 0.103 * [taylor]: Taking taylor expansion of (* (- x 1.0) z) in z 0.103 * [taylor]: Taking taylor expansion of (- x 1.0) in z 0.103 * [taylor]: Taking taylor expansion of x in z 0.103 * [taylor]: Taking taylor expansion of 1.0 in z 0.103 * [taylor]: Taking taylor expansion of z in z 0.103 * [taylor]: Taking taylor expansion of (* (- x 1.0) z) in x 0.103 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of 1.0 in x 0.103 * [taylor]: Taking taylor expansion of z in x 0.103 * [taylor]: Taking taylor expansion of (* (- x 1.0) z) in x 0.103 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of 1.0 in x 0.103 * [taylor]: Taking taylor expansion of z in x 0.104 * [taylor]: Taking taylor expansion of (* -1.0 z) in z 0.104 * [taylor]: Taking taylor expansion of -1.0 in z 0.104 * [taylor]: Taking taylor expansion of z in z 0.105 * [taylor]: Taking taylor expansion of z in z 0.107 * [taylor]: Taking taylor expansion of 0 in z 0.112 * [taylor]: Taking taylor expansion of 0 in z 0.114 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in (x z) around 0 0.115 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in z 0.115 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in z 0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.115 * [taylor]: Taking taylor expansion of x in z 0.115 * [taylor]: Taking taylor expansion of 1.0 in z 0.115 * [taylor]: Taking taylor expansion of z in z 0.115 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in x 0.115 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of 1.0 in x 0.116 * [taylor]: Taking taylor expansion of z in x 0.116 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in x 0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of 1.0 in x 0.116 * [taylor]: Taking taylor expansion of z in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.117 * [taylor]: Taking taylor expansion of z in z 0.118 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 0.118 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.118 * [taylor]: Taking taylor expansion of 1.0 in z 0.119 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.119 * [taylor]: Taking taylor expansion of z in z 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.124 * [taylor]: Taking taylor expansion of 0 in z 0.126 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) z) in (x z) around 0 0.126 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) z) in z 0.126 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in z 0.126 * [taylor]: Taking taylor expansion of 1.0 in z 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.126 * [taylor]: Taking taylor expansion of x in z 0.126 * [taylor]: Taking taylor expansion of z in z 0.126 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) z) in x 0.126 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.126 * [taylor]: Taking taylor expansion of 1.0 in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.127 * [taylor]: Taking taylor expansion of z in x 0.127 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) z) in x 0.127 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.127 * [taylor]: Taking taylor expansion of 1.0 in x 0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.127 * [taylor]: Taking taylor expansion of x in x 0.127 * [taylor]: Taking taylor expansion of z in x 0.128 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.128 * [taylor]: Taking taylor expansion of z in z 0.129 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.129 * [taylor]: Taking taylor expansion of 1.0 in z 0.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.129 * [taylor]: Taking taylor expansion of z in z 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.134 * * * [progress]: simplifying candidates 0.135 * [simplify]: Simplifying using # : (* (exp (* x y)) (exp (* (- x 1.0) z))) (log (+ (* x y) (* (- x 1.0) z))) (exp (+ (* x y) (* (- x 1.0) z))) (* (cbrt (+ (* x y) (* (- x 1.0) z))) (cbrt (+ (* x y) (* (- x 1.0) z)))) (cbrt (+ (* x y) (* (- x 1.0) z))) (* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z))) (sqrt (+ (* x y) (* (- x 1.0) z))) (sqrt (+ (* x y) (* (- x 1.0) z))) (+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3)) (+ (* (* x y) (* x y)) (- (* (* (- x 1.0) z) (* (- x 1.0) z)) (* (* x y) (* (- x 1.0) z)))) (- (* (* x y) (* x y)) (* (* (- x 1.0) z) (* (- x 1.0) z))) (- (* x y) (* (- x 1.0) z)) (* (- x 1.0) z) (+ (log (- x 1.0)) (log z)) (log (* (- x 1.0) z)) (exp (* (- x 1.0) z)) (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* z z) z)) (* (cbrt (* (- x 1.0) z)) (cbrt (* (- x 1.0) z))) (cbrt (* (- x 1.0) z)) (* (* (* (- x 1.0) z) (* (- x 1.0) z)) (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)) (* (sqrt (- x 1.0)) (sqrt z)) (* (sqrt (- x 1.0)) (sqrt z)) (* (- x 1.0) (* (cbrt z) (cbrt z))) (* (- x 1.0) (sqrt z)) (* (- x 1.0) 1) (* (cbrt (- x 1.0)) z) (* (sqrt (- x 1.0)) z) (* (- x 1.0) z) (* (- (sqrt x) (sqrt 1.0)) z) (* (- x 1.0) z) (* (- (pow x 3) (pow 1.0 3)) z) (* (- (* x x) (* 1.0 1.0)) z) (- (+ (* x z) (* x y)) (* 1.0 z)) (- (+ (* x z) (* x y)) (* 1.0 z)) (- (+ (* x z) (* x y)) (* 1.0 z)) (- (* x z) (* 1.0 z)) (- (* x z) (* 1.0 z)) (- (* x z) (* 1.0 z)) 0.138 * * [simplify]: iteration 0 : 187 enodes (cost 183 ) 0.142 * * [simplify]: iteration 1 : 775 enodes (cost 166 ) 0.159 * * [simplify]: iteration 2 : 4041 enodes (cost 166 ) 0.228 * * [simplify]: iteration 3 : 5001 enodes (cost 166 ) 0.229 * [simplify]: Simplified to: (exp (+ (* x y) (* (- x 1.0) z))) (log (+ (* x y) (* (- x 1.0) z))) (exp (+ (* x y) (* (- x 1.0) z))) (* (cbrt (+ (* x y) (* (- x 1.0) z))) (cbrt (+ (* x y) (* (- x 1.0) z)))) (cbrt (+ (* x y) (* (- x 1.0) z))) (pow (+ (* x y) (* (- x 1.0) z)) 3) (sqrt (+ (* x y) (* (- x 1.0) z))) (sqrt (+ (* x y) (* (- x 1.0) z))) (+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3)) (+ (* (* (- x 1.0) z) (- (* (- x 1.0) z) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (* (- x 1.0) z) (* (- x 1.0) z))) (- (* x y) (* (- x 1.0) z)) (* z (- x 1.0)) (log (* (- x 1.0) z)) (log (* (- x 1.0) z)) (exp (* (- x 1.0) z)) (pow (* (- x 1.0) z) 3) (* (cbrt (* (- x 1.0) z)) (cbrt (* (- x 1.0) z))) (cbrt (* (- x 1.0) z)) (pow (* (- x 1.0) z) 3) (sqrt (* (- x 1.0) z)) (sqrt (* (- x 1.0) z)) (* (sqrt (- x 1.0)) (sqrt z)) (* (sqrt (- x 1.0)) (sqrt z)) (* (- x 1.0) (* (cbrt z) (cbrt z))) (* (- x 1.0) (sqrt z)) (- x 1.0) (* (cbrt (- x 1.0)) z) (* (sqrt (- x 1.0)) z) (* z (- x 1.0)) (* (- (sqrt x) (sqrt 1.0)) z) (* z (- x 1.0)) (* (- (pow x 3) (pow 1.0 3)) z) (* (- (* x x) (* 1.0 1.0)) z) (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)) (* z (- x 1.0)) (* z (- x 1.0)) (* z (- x 1.0)) 0.229 * * * [progress]: adding candidates to table 0.295 * * [progress]: iteration 2 / 4 0.295 * * * [progress]: picking best candidate 0.298 * * * * [pick]: Picked # 0.298 * * * [progress]: localizing error 0.310 * * * [progress]: generating rewritten candidates 0.310 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.311 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 0.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 0.311 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.319 * * * [progress]: generating series expansions 0.319 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.319 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.319 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.319 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.319 * [taylor]: Taking taylor expansion of 1/3 in z 0.319 * [taylor]: Taking taylor expansion of (log z) in z 0.319 * [taylor]: Taking taylor expansion of z in z 0.320 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.320 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.320 * [taylor]: Taking taylor expansion of 1/3 in z 0.320 * [taylor]: Taking taylor expansion of (log z) in z 0.320 * [taylor]: Taking taylor expansion of z in z 0.366 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.366 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.366 * [taylor]: Taking taylor expansion of 1/3 in z 0.366 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.366 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.366 * [taylor]: Taking taylor expansion of z in z 0.367 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.367 * [taylor]: Taking taylor expansion of 1/3 in z 0.367 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.367 * [taylor]: Taking taylor expansion of z in z 0.420 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.420 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.420 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.420 * [taylor]: Taking taylor expansion of -1 in z 0.421 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.421 * [taylor]: Taking taylor expansion of 1/3 in z 0.421 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.421 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.421 * [taylor]: Taking taylor expansion of z in z 0.422 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.422 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.422 * [taylor]: Taking taylor expansion of -1 in z 0.423 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.423 * [taylor]: Taking taylor expansion of 1/3 in z 0.423 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.423 * [taylor]: Taking taylor expansion of z in z 0.486 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 0.486 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.487 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.487 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.487 * [taylor]: Taking taylor expansion of 1/3 in z 0.487 * [taylor]: Taking taylor expansion of (log z) in z 0.487 * [taylor]: Taking taylor expansion of z in z 0.487 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.487 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.487 * [taylor]: Taking taylor expansion of 1/3 in z 0.487 * [taylor]: Taking taylor expansion of (log z) in z 0.487 * [taylor]: Taking taylor expansion of z in z 0.537 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.537 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.537 * [taylor]: Taking taylor expansion of 1/3 in z 0.537 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.537 * [taylor]: Taking taylor expansion of z in z 0.538 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.538 * [taylor]: Taking taylor expansion of 1/3 in z 0.538 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.538 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.538 * [taylor]: Taking taylor expansion of z in z 0.588 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.588 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.588 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.588 * [taylor]: Taking taylor expansion of -1 in z 0.594 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.594 * [taylor]: Taking taylor expansion of 1/3 in z 0.594 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.594 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.594 * [taylor]: Taking taylor expansion of z in z 0.595 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.595 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.595 * [taylor]: Taking taylor expansion of -1 in z 0.596 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.596 * [taylor]: Taking taylor expansion of 1/3 in z 0.596 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.596 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.596 * [taylor]: Taking taylor expansion of z in z 0.658 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 0.658 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.658 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.658 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.658 * [taylor]: Taking taylor expansion of 1/3 in z 0.658 * [taylor]: Taking taylor expansion of (log z) in z 0.658 * [taylor]: Taking taylor expansion of z in z 0.659 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.659 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.659 * [taylor]: Taking taylor expansion of 1/3 in z 0.659 * [taylor]: Taking taylor expansion of (log z) in z 0.659 * [taylor]: Taking taylor expansion of z in z 0.712 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.712 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.712 * [taylor]: Taking taylor expansion of 1/3 in z 0.712 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.712 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.712 * [taylor]: Taking taylor expansion of z in z 0.713 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.713 * [taylor]: Taking taylor expansion of 1/3 in z 0.713 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.713 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.713 * [taylor]: Taking taylor expansion of z in z 0.772 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.772 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.772 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.772 * [taylor]: Taking taylor expansion of -1 in z 0.773 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.773 * [taylor]: Taking taylor expansion of 1/3 in z 0.773 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.773 * [taylor]: Taking taylor expansion of z in z 0.774 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.774 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.774 * [taylor]: Taking taylor expansion of -1 in z 0.775 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.775 * [taylor]: Taking taylor expansion of 1/3 in z 0.775 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.844 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.844 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 0.844 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.845 * [taylor]: Taking taylor expansion of 1/3 in z 0.845 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.845 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.845 * [taylor]: Taking taylor expansion of z in z 0.845 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.846 * [taylor]: Taking taylor expansion of 1/3 in z 0.846 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.846 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.846 * [taylor]: Taking taylor expansion of z in z 0.904 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 0.904 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.904 * [taylor]: Taking taylor expansion of 1/3 in z 0.904 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.904 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.904 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.904 * [taylor]: Taking taylor expansion of z in z 0.905 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.906 * [taylor]: Taking taylor expansion of 1/3 in z 0.906 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.906 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.906 * [taylor]: Taking taylor expansion of z in z 0.961 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 0.961 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 0.961 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.961 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.961 * [taylor]: Taking taylor expansion of -1 in z 0.962 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.962 * [taylor]: Taking taylor expansion of 1/3 in z 0.962 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.962 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.962 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.962 * [taylor]: Taking taylor expansion of z in z 0.963 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 0.963 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.963 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.963 * [taylor]: Taking taylor expansion of -1 in z 0.964 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.964 * [taylor]: Taking taylor expansion of 1/3 in z 0.964 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.964 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.964 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.964 * [taylor]: Taking taylor expansion of z in z 1.042 * * * [progress]: simplifying candidates 1.043 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 2/3) (pow (/ 1 z) -2/3) (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3)) 1.047 * * [simplify]: iteration 0 : 115 enodes (cost 288 ) 1.050 * * [simplify]: iteration 1 : 472 enodes (cost 261 ) 1.063 * * [simplify]: iteration 2 : 2959 enodes (cost 238 ) 1.124 * * [simplify]: iteration 3 : 5003 enodes (cost 235 ) 1.126 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) 2/3 2 (pow z 2) (pow z 2/3) 2 (* 2/3 (log z)) (* 2/3 (log z)) (exp (pow z 2/3)) (pow z 2) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (pow z 2) (fabs (pow z 1/3)) (fabs (pow z 1/3)) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (pow z 1/3) (pow z 1/3) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (pow z 1/3) (pow z 1/3) 2/3 2 (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (pow z 1/3) (pow (cbrt (cbrt z)) 5) (pow (sqrt (cbrt z)) 3) (pow z 1/3) (pow (cbrt (cbrt z)) 4) (* (cbrt z) (cbrt (sqrt z))) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 2/3) (pow (/ 1 z) -2/3) (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3)) 1.126 * * * [progress]: adding candidates to table 1.319 * * [progress]: iteration 3 / 4 1.319 * * * [progress]: picking best candidate 1.321 * * * * [pick]: Picked # 1.321 * * * [progress]: localizing error 1.334 * * * [progress]: generating rewritten candidates 1.334 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.335 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2) 1.336 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1) 1.337 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2) 1.338 * * * [progress]: generating series expansions 1.338 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.338 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.338 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.338 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.338 * [taylor]: Taking taylor expansion of 1/3 in z 1.338 * [taylor]: Taking taylor expansion of (log z) in z 1.339 * [taylor]: Taking taylor expansion of z in z 1.339 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.339 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.339 * [taylor]: Taking taylor expansion of 1/3 in z 1.339 * [taylor]: Taking taylor expansion of (log z) in z 1.339 * [taylor]: Taking taylor expansion of z in z 1.391 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.391 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.391 * [taylor]: Taking taylor expansion of 1/3 in z 1.391 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.391 * [taylor]: Taking taylor expansion of z in z 1.392 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.392 * [taylor]: Taking taylor expansion of 1/3 in z 1.392 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.392 * [taylor]: Taking taylor expansion of z in z 1.448 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.448 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.448 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.448 * [taylor]: Taking taylor expansion of -1 in z 1.449 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.449 * [taylor]: Taking taylor expansion of 1/3 in z 1.449 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.449 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.449 * [taylor]: Taking taylor expansion of z in z 1.450 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.450 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.450 * [taylor]: Taking taylor expansion of -1 in z 1.451 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.451 * [taylor]: Taking taylor expansion of 1/3 in z 1.451 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.451 * [taylor]: Taking taylor expansion of z in z 1.517 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2) 1.517 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 1.517 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 1.517 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 1.518 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 1.518 * [taylor]: Taking taylor expansion of 1/6 in z 1.518 * [taylor]: Taking taylor expansion of (log z) in z 1.518 * [taylor]: Taking taylor expansion of z in z 1.518 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 1.518 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 1.518 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 1.518 * [taylor]: Taking taylor expansion of 1/6 in z 1.518 * [taylor]: Taking taylor expansion of (log z) in z 1.518 * [taylor]: Taking taylor expansion of z in z 1.565 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 1.566 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 1.566 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 1.566 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 1.566 * [taylor]: Taking taylor expansion of 1/6 in z 1.566 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.566 * [taylor]: Taking taylor expansion of z in z 1.566 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 1.567 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 1.567 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 1.567 * [taylor]: Taking taylor expansion of 1/6 in z 1.567 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.567 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.567 * [taylor]: Taking taylor expansion of z in z 1.623 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 1.623 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 1.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 1.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 1.623 * [taylor]: Taking taylor expansion of 1/3 in z 1.623 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 1.623 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.623 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.623 * [taylor]: Taking taylor expansion of -1 in z 1.623 * [taylor]: Taking taylor expansion of z in z 1.626 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 1.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 1.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 1.626 * [taylor]: Taking taylor expansion of 1/3 in z 1.626 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 1.626 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.626 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.626 * [taylor]: Taking taylor expansion of -1 in z 1.626 * [taylor]: Taking taylor expansion of z in z 1.667 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1) 1.667 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 1.667 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 1.667 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 1.667 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 1.667 * [taylor]: Taking taylor expansion of 1/6 in z 1.667 * [taylor]: Taking taylor expansion of (log z) in z 1.667 * [taylor]: Taking taylor expansion of z in z 1.667 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 1.667 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 1.667 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 1.667 * [taylor]: Taking taylor expansion of 1/6 in z 1.667 * [taylor]: Taking taylor expansion of (log z) in z 1.667 * [taylor]: Taking taylor expansion of z in z 1.715 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 1.715 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 1.715 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 1.715 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 1.715 * [taylor]: Taking taylor expansion of 1/6 in z 1.715 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.715 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.715 * [taylor]: Taking taylor expansion of z in z 1.716 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 1.716 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 1.716 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 1.716 * [taylor]: Taking taylor expansion of 1/6 in z 1.716 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.716 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.716 * [taylor]: Taking taylor expansion of z in z 1.772 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 1.772 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 1.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 1.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 1.773 * [taylor]: Taking taylor expansion of 1/3 in z 1.773 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 1.773 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.773 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.773 * [taylor]: Taking taylor expansion of -1 in z 1.773 * [taylor]: Taking taylor expansion of z in z 1.776 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 1.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 1.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 1.776 * [taylor]: Taking taylor expansion of 1/3 in z 1.776 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 1.776 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.776 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.776 * [taylor]: Taking taylor expansion of -1 in z 1.776 * [taylor]: Taking taylor expansion of z in z 1.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2) 1.816 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 1.816 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 1.816 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 1.816 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 1.816 * [taylor]: Taking taylor expansion of 1/6 in z 1.816 * [taylor]: Taking taylor expansion of (log z) in z 1.816 * [taylor]: Taking taylor expansion of z in z 1.817 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 1.817 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 1.817 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 1.817 * [taylor]: Taking taylor expansion of 1/6 in z 1.817 * [taylor]: Taking taylor expansion of (log z) in z 1.817 * [taylor]: Taking taylor expansion of z in z 1.865 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 1.865 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 1.865 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 1.865 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 1.865 * [taylor]: Taking taylor expansion of 1/6 in z 1.865 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.865 * [taylor]: Taking taylor expansion of z in z 1.866 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 1.866 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 1.866 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 1.866 * [taylor]: Taking taylor expansion of 1/6 in z 1.866 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.866 * [taylor]: Taking taylor expansion of z in z 1.926 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 1.926 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 1.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 1.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 1.926 * [taylor]: Taking taylor expansion of 1/3 in z 1.926 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 1.926 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.926 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.926 * [taylor]: Taking taylor expansion of -1 in z 1.926 * [taylor]: Taking taylor expansion of z in z 1.929 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 1.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 1.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 1.930 * [taylor]: Taking taylor expansion of 1/3 in z 1.930 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 1.930 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.930 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.930 * [taylor]: Taking taylor expansion of -1 in z 1.930 * [taylor]: Taking taylor expansion of z in z 1.974 * * * [progress]: simplifying candidates 1.975 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt 1)) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt 1)) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt 1)) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/6) (pow (/ 1 z) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 (pow z 2)) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 z) (pow +nan.0 1/3)))))) (pow z 1/6) (pow (/ 1 z) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 (pow z 2)) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 z) (pow +nan.0 1/3)))))) (pow z 1/6) (pow (/ 1 z) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 (pow z 2)) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 z) (pow +nan.0 1/3)))))) 1.979 * * [simplify]: iteration 0 : 106 enodes (cost 285 ) 1.982 * * [simplify]: iteration 1 : 279 enodes (cost 264 ) 1.988 * * [simplify]: iteration 2 : 1177 enodes (cost 247 ) 2.021 * * [simplify]: iteration 3 : 5002 enodes (cost 244 ) 2.023 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (sqrt z) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (sqrt z) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (sqrt z) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/6) (pow (/ 1 z) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 (pow z 2))) (* +nan.0 (/ 1 z))))) (pow z 1/6) (pow (/ 1 z) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 (pow z 2))) (* +nan.0 (/ 1 z))))) (pow z 1/6) (pow (/ 1 z) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 (pow z 2))) (* +nan.0 (/ 1 z))))) 2.023 * * * [progress]: adding candidates to table 2.234 * [progress]: [Phase 3 of 3] Extracting. 2.234 * * [regime]: Finding splitpoints for: (# # #) 2.234 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* x y) (* (- x 1.0) z)) z y x) 2.234 * * * * [regimes]: Trying to branch on (+ (* x y) (* (- x 1.0) z)) from (# # #) 2.253 * * * * [regimes]: Trying to branch on z from (# # #) 2.268 * * * * [regimes]: Trying to branch on y from (# # #) 2.285 * * * * [regimes]: Trying to branch on x from (# # #) 2.300 * * * [regime]: Found split indices: #