18.292 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying: (+ (+ (* x x) y) y) 0.024 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: Extracting # 3 : cost 0 0.024 * * [simplify]: Extracting # 4 : cost 0 0.024 * * [simplify]: Extracting # 5 : cost 0 0.024 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.025 * * [simplify]: Extracting # 1 : cost 0 0.025 * * [simplify]: Extracting # 2 : cost 0 0.025 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.034 * * [simplify]: iteration done: 17 enodes (cost 6 ) 0.034 * [simplify]: Simplified to: (+ y (fma x x y)) 0.037 * * [progress]: iteration 1 / 4 0.037 * * * [progress]: picking best candidate 0.038 * * * * [pick]: Picked # 0.038 * * * [progress]: localizing error 0.043 * * * [progress]: generating rewritten candidates 0.043 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.110 * * * [progress]: generating series expansions 0.110 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.110 * [backup-simplify]: Simplify (+ (+ (* x x) y) y) into (+ (pow x 2) (* 2 y)) 0.110 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in (x y) around 0 0.110 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in y 0.110 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.110 * [taylor]: Taking taylor expansion of x in y 0.110 * [backup-simplify]: Simplify x into x 0.110 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.111 * [taylor]: Taking taylor expansion of 2 in y 0.111 * [backup-simplify]: Simplify 2 into 2 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x 0.111 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of (* 2 y) in x 0.111 * [taylor]: Taking taylor expansion of 2 in x 0.111 * [backup-simplify]: Simplify 2 into 2 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [backup-simplify]: Simplify y into y 0.111 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x 0.111 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of (* 2 y) in x 0.111 * [taylor]: Taking taylor expansion of 2 in x 0.111 * [backup-simplify]: Simplify 2 into 2 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [backup-simplify]: Simplify y into y 0.111 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 0.111 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y) 0.111 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.111 * [taylor]: Taking taylor expansion of 2 in y 0.111 * [backup-simplify]: Simplify 2 into 2 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.112 * [backup-simplify]: Simplify (* 2 0) into 0 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 0.113 * [backup-simplify]: Simplify (+ 0 0) into 0 0.113 * [taylor]: Taking taylor expansion of 0 in y 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.113 * [backup-simplify]: Simplify 2 into 2 0.113 * [backup-simplify]: Simplify (* 1 1) into 1 0.114 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0 0.114 * [backup-simplify]: Simplify (+ 1 0) into 1 0.114 * [taylor]: Taking taylor expansion of 1 in y 0.114 * [backup-simplify]: Simplify 1 into 1 0.114 * [backup-simplify]: Simplify 1 into 1 0.114 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 0.115 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.116 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.117 * [backup-simplify]: Simplify (+ 0 0) into 0 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.118 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* 2 (* y 1))) into (+ (pow x 2) (* 2 y)) 0.118 * [backup-simplify]: Simplify (+ (+ (* (/ 1 x) (/ 1 x)) (/ 1 y)) (/ 1 y)) into (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) 0.118 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y 0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.118 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.118 * [taylor]: Taking taylor expansion of x in y 0.118 * [backup-simplify]: Simplify x into x 0.118 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.118 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.118 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.118 * [taylor]: Taking taylor expansion of 2 in y 0.118 * [backup-simplify]: Simplify 2 into 2 0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.118 * [taylor]: Taking taylor expansion of y in y 0.118 * [backup-simplify]: Simplify 0 into 0 0.118 * [backup-simplify]: Simplify 1 into 1 0.119 * [backup-simplify]: Simplify (/ 1 1) into 1 0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.119 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.119 * [backup-simplify]: Simplify (* 1 1) into 1 0.119 * [backup-simplify]: Simplify (/ 1 1) into 1 0.119 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 0.119 * [taylor]: Taking taylor expansion of 2 in x 0.119 * [backup-simplify]: Simplify 2 into 2 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [backup-simplify]: Simplify y into y 0.119 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.119 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.120 * [backup-simplify]: Simplify (* 1 1) into 1 0.120 * [backup-simplify]: Simplify (/ 1 1) into 1 0.120 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 0.120 * [taylor]: Taking taylor expansion of 2 in x 0.120 * [backup-simplify]: Simplify 2 into 2 0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [backup-simplify]: Simplify y into y 0.120 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.120 * [backup-simplify]: Simplify (+ 1 0) into 1 0.120 * [taylor]: Taking taylor expansion of 1 in y 0.121 * [backup-simplify]: Simplify 1 into 1 0.121 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.122 * [backup-simplify]: Simplify (+ 0 0) into 0 0.122 * [taylor]: Taking taylor expansion of 0 in y 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.123 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 0.123 * [backup-simplify]: Simplify (+ 0 (/ 2 y)) into (* 2 (/ 1 y)) 0.123 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.123 * [taylor]: Taking taylor expansion of 2 in y 0.123 * [backup-simplify]: Simplify 2 into 2 0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.123 * [taylor]: Taking taylor expansion of y in y 0.123 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (/ 1 1) into 1 0.124 * [backup-simplify]: Simplify (* 2 1) into 2 0.124 * [backup-simplify]: Simplify 2 into 2 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.126 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 0.126 * [backup-simplify]: Simplify (+ 0 0) into 0 0.126 * [taylor]: Taking taylor expansion of 0 in y 0.126 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.127 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.128 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.129 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 0.129 * [backup-simplify]: Simplify (+ 0 0) into 0 0.129 * [taylor]: Taking taylor expansion of 0 in y 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (+ (pow x 2) (* 2 y)) 0.129 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) (/ 1 (- y))) into (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) 0.130 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0 0.130 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y 0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.130 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.130 * [backup-simplify]: Simplify x into x 0.130 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.130 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.130 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.130 * [taylor]: Taking taylor expansion of 2 in y 0.130 * [backup-simplify]: Simplify 2 into 2 0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [backup-simplify]: Simplify (/ 1 1) into 1 0.130 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.130 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.131 * [backup-simplify]: Simplify (* 1 1) into 1 0.131 * [backup-simplify]: Simplify (/ 1 1) into 1 0.131 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 0.131 * [taylor]: Taking taylor expansion of 2 in x 0.131 * [backup-simplify]: Simplify 2 into 2 0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [backup-simplify]: Simplify y into y 0.131 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.131 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.131 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 1 into 1 0.131 * [backup-simplify]: Simplify (* 1 1) into 1 0.132 * [backup-simplify]: Simplify (/ 1 1) into 1 0.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 0.132 * [taylor]: Taking taylor expansion of 2 in x 0.132 * [backup-simplify]: Simplify 2 into 2 0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [backup-simplify]: Simplify y into y 0.132 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.132 * [backup-simplify]: Simplify (+ 1 0) into 1 0.132 * [taylor]: Taking taylor expansion of 1 in y 0.132 * [backup-simplify]: Simplify 1 into 1 0.133 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.133 * [backup-simplify]: Simplify (+ 0 0) into 0 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.134 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 0.135 * [backup-simplify]: Simplify (- (/ 2 y)) into (- (* 2 (/ 1 y))) 0.135 * [backup-simplify]: Simplify (+ 0 (- (* 2 (/ 1 y)))) into (- (* 2 (/ 1 y))) 0.135 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 0.135 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.135 * [taylor]: Taking taylor expansion of 2 in y 0.135 * [backup-simplify]: Simplify 2 into 2 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (/ 1 1) into 1 0.135 * [backup-simplify]: Simplify (* 2 1) into 2 0.136 * [backup-simplify]: Simplify (- 2) into -2 0.136 * [backup-simplify]: Simplify -2 into -2 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.137 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 0.137 * [backup-simplify]: Simplify (- 0) into 0 0.138 * [backup-simplify]: Simplify (+ 0 0) into 0 0.138 * [taylor]: Taking taylor expansion of 0 in y 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.138 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 0.139 * [backup-simplify]: Simplify (- 0) into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.140 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.141 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 0.141 * [backup-simplify]: Simplify (- 0) into 0 0.141 * [backup-simplify]: Simplify (+ 0 0) into 0 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify (+ (* -2 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (+ (pow x 2) (* 2 y)) 0.142 * * * [progress]: simplifying candidates 0.142 * [simplify]: Simplifying: (expm1 (+ (+ (* x x) y) y)) (log1p (+ (+ (* x x) y) y)) (* (* (exp (* x x)) (exp y)) (exp y)) (* (exp (+ (* x x) y)) (exp y)) (log (+ (+ (* x x) y) y)) (exp (+ (+ (* x x) y) y)) (* (cbrt (+ (+ (* x x) y) y)) (cbrt (+ (+ (* x x) y) y))) (cbrt (+ (+ (* x x) y) y)) (* (* (+ (+ (* x x) y) y) (+ (+ (* x x) y) y)) (+ (+ (* x x) y) y)) (sqrt (+ (+ (* x x) y) y)) (sqrt (+ (+ (* x x) y) y)) (+ (pow (+ (* x x) y) 3) (pow y 3)) (+ (* (+ (* x x) y) (+ (* x x) y)) (- (* y y) (* (+ (* x x) y) y))) (- (* (+ (* x x) y) (+ (* x x) y)) (* y y)) (- (+ (* x x) y) y) (+ (+ (* x x) y) y) (+ y y) (+ (pow x 2) (* 2 y)) (+ (pow x 2) (* 2 y)) (+ (pow x 2) (* 2 y)) 0.142 * * [simplify]: Extracting # 0 : cost 0 0.142 * * [simplify]: Extracting # 1 : cost 0 0.142 * * [simplify]: Extracting # 2 : cost 0 0.143 * * [simplify]: Extracting # 3 : cost 0 0.143 * * [simplify]: Extracting # 4 : cost 0 0.143 * * [simplify]: Extracting # 5 : cost 0 0.143 * * [simplify]: Extracting # 6 : cost 0 0.143 * * [simplify]: iteration 0 : 36 enodes (cost 202 ) 0.151 * * [simplify]: Extracting # 0 : cost 0 0.151 * * [simplify]: Extracting # 1 : cost 0 0.151 * * [simplify]: Extracting # 2 : cost 0 0.151 * * [simplify]: Extracting # 3 : cost 0 0.151 * * [simplify]: iteration 1 : 97 enodes (cost 171 ) 0.205 * * [simplify]: Extracting # 0 : cost 0 0.206 * * [simplify]: Extracting # 1 : cost 0 0.206 * * [simplify]: Extracting # 2 : cost 0 0.207 * * [simplify]: Extracting # 3 : cost 0 0.207 * * [simplify]: Extracting # 4 : cost 0 0.208 * * [simplify]: iteration 2 : 308 enodes (cost 154 ) 0.560 * * [simplify]: Extracting # 0 : cost 0 0.562 * * [simplify]: Extracting # 1 : cost 0 0.563 * * [simplify]: Extracting # 2 : cost 0 0.564 * * [simplify]: Extracting # 3 : cost 0 0.565 * * [simplify]: Extracting # 4 : cost 0 0.567 * * [simplify]: iteration 3 : 1220 enodes (cost 147 ) 1.666 * * [simplify]: Extracting # 0 : cost 0 1.673 * * [simplify]: Extracting # 1 : cost 0 1.682 * * [simplify]: Extracting # 2 : cost 0 1.695 * * [simplify]: Extracting # 3 : cost 0 1.715 * * [simplify]: Extracting # 4 : cost 0 1.722 * * [simplify]: iteration done: 5000 enodes (cost 145 ) 1.722 * [simplify]: Simplified to: (expm1 (+ y (fma x x y))) (log1p (+ y (fma x x y))) (exp (+ y (fma x x y))) (exp (+ y (fma x x y))) (log (+ y (fma x x y))) (exp (+ y (fma x x y))) (* (cbrt (+ y (fma x x y))) (cbrt (+ y (fma x x y)))) (cbrt (+ y (fma x x y))) (pow (+ y (fma x x y)) 3) (sqrt (+ y (fma x x y))) (sqrt (+ y (fma x x y))) (+ (pow y 3) (pow (fma x x y) 3)) (fma y (fma x x y) (pow x 4)) (* (* x x) (+ y (fma x x y))) (* x x) (+ y (fma x x y)) (* 2 y) (+ y (fma x x y)) (+ y (fma x x y)) (+ y (fma x x y)) 1.723 * * * [progress]: adding candidates to table 1.790 * * [progress]: iteration 2 / 4 1.790 * * * [progress]: picking best candidate 1.792 * * * * [pick]: Picked # 1.792 * * * [progress]: localizing error 1.797 * * * [progress]: generating rewritten candidates 1.797 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.806 * * * [progress]: generating series expansions 1.806 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.807 * [backup-simplify]: Simplify (+ (* x x) (* 2 y)) into (+ (pow x 2) (* 2 y)) 1.807 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in (x y) around 0 1.807 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in y 1.807 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.807 * [taylor]: Taking taylor expansion of x in y 1.807 * [backup-simplify]: Simplify x into x 1.807 * [taylor]: Taking taylor expansion of (* 2 y) in y 1.807 * [taylor]: Taking taylor expansion of 2 in y 1.807 * [backup-simplify]: Simplify 2 into 2 1.807 * [taylor]: Taking taylor expansion of y in y 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 1 into 1 1.807 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x 1.807 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.807 * [taylor]: Taking taylor expansion of x in x 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 1 into 1 1.807 * [taylor]: Taking taylor expansion of (* 2 y) in x 1.807 * [taylor]: Taking taylor expansion of 2 in x 1.807 * [backup-simplify]: Simplify 2 into 2 1.807 * [taylor]: Taking taylor expansion of y in x 1.807 * [backup-simplify]: Simplify y into y 1.807 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2 y)) in x 1.807 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.807 * [taylor]: Taking taylor expansion of x in x 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 1 into 1 1.807 * [taylor]: Taking taylor expansion of (* 2 y) in x 1.807 * [taylor]: Taking taylor expansion of 2 in x 1.807 * [backup-simplify]: Simplify 2 into 2 1.807 * [taylor]: Taking taylor expansion of y in x 1.807 * [backup-simplify]: Simplify y into y 1.807 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 1.807 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y) 1.807 * [taylor]: Taking taylor expansion of (* 2 y) in y 1.807 * [taylor]: Taking taylor expansion of 2 in y 1.807 * [backup-simplify]: Simplify 2 into 2 1.807 * [taylor]: Taking taylor expansion of y in y 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 1 into 1 1.808 * [backup-simplify]: Simplify (* 2 0) into 0 1.808 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 1.809 * [backup-simplify]: Simplify (+ 0 0) into 0 1.809 * [taylor]: Taking taylor expansion of 0 in y 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.810 * [backup-simplify]: Simplify 2 into 2 1.810 * [backup-simplify]: Simplify (* 1 1) into 1 1.811 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0 1.811 * [backup-simplify]: Simplify (+ 1 0) into 1 1.811 * [taylor]: Taking taylor expansion of 1 in y 1.811 * [backup-simplify]: Simplify 1 into 1 1.811 * [backup-simplify]: Simplify 1 into 1 1.811 * [backup-simplify]: Simplify 0 into 0 1.812 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1.812 * [backup-simplify]: Simplify 0 into 0 1.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.813 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.813 * [backup-simplify]: Simplify (+ 0 0) into 0 1.813 * [taylor]: Taking taylor expansion of 0 in y 1.813 * [backup-simplify]: Simplify 0 into 0 1.813 * [backup-simplify]: Simplify 0 into 0 1.813 * [backup-simplify]: Simplify 0 into 0 1.813 * [backup-simplify]: Simplify 0 into 0 1.814 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.814 * [backup-simplify]: Simplify 0 into 0 1.814 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* 2 (* y 1))) into (+ (pow x 2) (* 2 y)) 1.815 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* 2 (/ 1 y))) into (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) 1.815 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0 1.815 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y 1.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.815 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.815 * [taylor]: Taking taylor expansion of x in y 1.815 * [backup-simplify]: Simplify x into x 1.815 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.815 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 1.815 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 1.815 * [taylor]: Taking taylor expansion of 2 in y 1.815 * [backup-simplify]: Simplify 2 into 2 1.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.815 * [taylor]: Taking taylor expansion of y in y 1.815 * [backup-simplify]: Simplify 0 into 0 1.815 * [backup-simplify]: Simplify 1 into 1 1.816 * [backup-simplify]: Simplify (/ 1 1) into 1 1.816 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 1.816 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.816 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.816 * [taylor]: Taking taylor expansion of x in x 1.816 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify 1 into 1 1.817 * [backup-simplify]: Simplify (* 1 1) into 1 1.817 * [backup-simplify]: Simplify (/ 1 1) into 1 1.817 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 1.818 * [taylor]: Taking taylor expansion of 2 in x 1.818 * [backup-simplify]: Simplify 2 into 2 1.818 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.818 * [taylor]: Taking taylor expansion of y in x 1.818 * [backup-simplify]: Simplify y into y 1.818 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.818 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 1.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.818 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.818 * [taylor]: Taking taylor expansion of x in x 1.818 * [backup-simplify]: Simplify 0 into 0 1.818 * [backup-simplify]: Simplify 1 into 1 1.818 * [backup-simplify]: Simplify (* 1 1) into 1 1.819 * [backup-simplify]: Simplify (/ 1 1) into 1 1.819 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 1.819 * [taylor]: Taking taylor expansion of 2 in x 1.819 * [backup-simplify]: Simplify 2 into 2 1.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.819 * [taylor]: Taking taylor expansion of y in x 1.819 * [backup-simplify]: Simplify y into y 1.819 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.820 * [backup-simplify]: Simplify (+ 1 0) into 1 1.820 * [taylor]: Taking taylor expansion of 1 in y 1.820 * [backup-simplify]: Simplify 1 into 1 1.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.822 * [backup-simplify]: Simplify (+ 0 0) into 0 1.822 * [taylor]: Taking taylor expansion of 0 in y 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 1 into 1 1.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.824 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 1.824 * [backup-simplify]: Simplify (+ 0 (/ 2 y)) into (* 2 (/ 1 y)) 1.824 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 1.824 * [taylor]: Taking taylor expansion of 2 in y 1.824 * [backup-simplify]: Simplify 2 into 2 1.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.824 * [taylor]: Taking taylor expansion of y in y 1.825 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify 1 into 1 1.825 * [backup-simplify]: Simplify (/ 1 1) into 1 1.826 * [backup-simplify]: Simplify (* 2 1) into 2 1.826 * [backup-simplify]: Simplify 2 into 2 1.826 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify 0 into 0 1.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.829 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 1.829 * [backup-simplify]: Simplify (+ 0 0) into 0 1.829 * [taylor]: Taking taylor expansion of 0 in y 1.829 * [backup-simplify]: Simplify 0 into 0 1.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.831 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.834 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 1.834 * [backup-simplify]: Simplify (+ 0 0) into 0 1.835 * [taylor]: Taking taylor expansion of 0 in y 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (+ (pow x 2) (* 2 y)) 1.835 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* 2 (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) 1.835 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in (x y) around 0 1.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in y 1.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.835 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.836 * [taylor]: Taking taylor expansion of x in y 1.836 * [backup-simplify]: Simplify x into x 1.836 * [backup-simplify]: Simplify (* x x) into (pow x 2) 1.836 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 1.836 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 1.836 * [taylor]: Taking taylor expansion of 2 in y 1.836 * [backup-simplify]: Simplify 2 into 2 1.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.836 * [taylor]: Taking taylor expansion of y in y 1.836 * [backup-simplify]: Simplify 0 into 0 1.836 * [backup-simplify]: Simplify 1 into 1 1.836 * [backup-simplify]: Simplify (/ 1 1) into 1 1.837 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 1.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.837 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.837 * [taylor]: Taking taylor expansion of x in x 1.837 * [backup-simplify]: Simplify 0 into 0 1.837 * [backup-simplify]: Simplify 1 into 1 1.837 * [backup-simplify]: Simplify (* 1 1) into 1 1.837 * [backup-simplify]: Simplify (/ 1 1) into 1 1.837 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 1.837 * [taylor]: Taking taylor expansion of 2 in x 1.838 * [backup-simplify]: Simplify 2 into 2 1.838 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.838 * [taylor]: Taking taylor expansion of y in x 1.838 * [backup-simplify]: Simplify y into y 1.838 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.838 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2 (/ 1 y))) in x 1.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.838 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.838 * [taylor]: Taking taylor expansion of x in x 1.838 * [backup-simplify]: Simplify 0 into 0 1.838 * [backup-simplify]: Simplify 1 into 1 1.838 * [backup-simplify]: Simplify (* 1 1) into 1 1.839 * [backup-simplify]: Simplify (/ 1 1) into 1 1.839 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 1.839 * [taylor]: Taking taylor expansion of 2 in x 1.839 * [backup-simplify]: Simplify 2 into 2 1.839 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.839 * [taylor]: Taking taylor expansion of y in x 1.839 * [backup-simplify]: Simplify y into y 1.839 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.839 * [backup-simplify]: Simplify (+ 1 0) into 1 1.839 * [taylor]: Taking taylor expansion of 1 in y 1.839 * [backup-simplify]: Simplify 1 into 1 1.840 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.841 * [backup-simplify]: Simplify (+ 0 0) into 0 1.841 * [taylor]: Taking taylor expansion of 0 in y 1.841 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify 1 into 1 1.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.843 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 1.843 * [backup-simplify]: Simplify (- (/ 2 y)) into (- (* 2 (/ 1 y))) 1.843 * [backup-simplify]: Simplify (+ 0 (- (* 2 (/ 1 y)))) into (- (* 2 (/ 1 y))) 1.843 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 1.843 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 1.843 * [taylor]: Taking taylor expansion of 2 in y 1.843 * [backup-simplify]: Simplify 2 into 2 1.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.843 * [taylor]: Taking taylor expansion of y in y 1.843 * [backup-simplify]: Simplify 0 into 0 1.843 * [backup-simplify]: Simplify 1 into 1 1.844 * [backup-simplify]: Simplify (/ 1 1) into 1 1.844 * [backup-simplify]: Simplify (* 2 1) into 2 1.845 * [backup-simplify]: Simplify (- 2) into -2 1.845 * [backup-simplify]: Simplify -2 into -2 1.845 * [backup-simplify]: Simplify 0 into 0 1.845 * [backup-simplify]: Simplify 0 into 0 1.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.847 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 1.848 * [backup-simplify]: Simplify (- 0) into 0 1.848 * [backup-simplify]: Simplify (+ 0 0) into 0 1.848 * [taylor]: Taking taylor expansion of 0 in y 1.848 * [backup-simplify]: Simplify 0 into 0 1.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.849 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 1.850 * [backup-simplify]: Simplify (- 0) into 0 1.850 * [backup-simplify]: Simplify 0 into 0 1.850 * [backup-simplify]: Simplify 0 into 0 1.850 * [backup-simplify]: Simplify 0 into 0 1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.853 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 1.853 * [backup-simplify]: Simplify (- 0) into 0 1.854 * [backup-simplify]: Simplify (+ 0 0) into 0 1.854 * [taylor]: Taking taylor expansion of 0 in y 1.854 * [backup-simplify]: Simplify 0 into 0 1.854 * [backup-simplify]: Simplify 0 into 0 1.854 * [backup-simplify]: Simplify (+ (* -2 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (+ (pow x 2) (* 2 y)) 1.854 * * * [progress]: simplifying candidates 1.855 * [simplify]: Simplifying: (expm1 (+ (* x x) (* 2 y))) (log1p (+ (* x x) (* 2 y))) (* (exp (* x x)) (exp (* 2 y))) (log (+ (* x x) (* 2 y))) (exp (+ (* x x) (* 2 y))) (* (cbrt (+ (* x x) (* 2 y))) (cbrt (+ (* x x) (* 2 y)))) (cbrt (+ (* x x) (* 2 y))) (* (* (+ (* x x) (* 2 y)) (+ (* x x) (* 2 y))) (+ (* x x) (* 2 y))) (sqrt (+ (* x x) (* 2 y))) (sqrt (+ (* x x) (* 2 y))) (+ (pow (* x x) 3) (pow (* 2 y) 3)) (+ (* (* x x) (* x x)) (- (* (* 2 y) (* 2 y)) (* (* x x) (* 2 y)))) (- (* (* x x) (* x x)) (* (* 2 y) (* 2 y))) (- (* x x) (* 2 y)) (+ (pow x 2) (* 2 y)) (+ (pow x 2) (* 2 y)) (+ (pow x 2) (* 2 y)) 1.856 * * [simplify]: Extracting # 0 : cost 0 1.856 * * [simplify]: Extracting # 1 : cost 0 1.856 * * [simplify]: Extracting # 2 : cost 0 1.856 * * [simplify]: Extracting # 3 : cost 0 1.856 * * [simplify]: Extracting # 4 : cost 0 1.856 * * [simplify]: Extracting # 5 : cost 0 1.856 * * [simplify]: Extracting # 6 : cost 0 1.856 * * [simplify]: iteration 0 : 31 enodes (cost 182 ) 1.873 * * [simplify]: Extracting # 0 : cost 0 1.873 * * [simplify]: Extracting # 1 : cost 0 1.873 * * [simplify]: Extracting # 2 : cost 0 1.874 * * [simplify]: Extracting # 3 : cost 0 1.874 * * [simplify]: Extracting # 4 : cost 0 1.874 * * [simplify]: iteration 1 : 106 enodes (cost 158 ) 1.934 * * [simplify]: Extracting # 0 : cost 0 1.935 * * [simplify]: Extracting # 1 : cost 0 1.935 * * [simplify]: Extracting # 2 : cost 0 1.936 * * [simplify]: Extracting # 3 : cost 0 1.936 * * [simplify]: Extracting # 4 : cost 0 1.936 * * [simplify]: iteration 2 : 346 enodes (cost 134 ) 2.252 * * [simplify]: Extracting # 0 : cost 0 2.255 * * [simplify]: Extracting # 1 : cost 0 2.257 * * [simplify]: Extracting # 2 : cost 0 2.259 * * [simplify]: Extracting # 3 : cost 0 2.261 * * [simplify]: Extracting # 4 : cost 0 2.263 * * [simplify]: iteration 3 : 968 enodes (cost 132 ) 3.227 * * [simplify]: Extracting # 0 : cost 0 3.231 * * [simplify]: Extracting # 1 : cost 0 3.234 * * [simplify]: Extracting # 2 : cost 0 3.236 * * [simplify]: Extracting # 3 : cost 0 3.239 * * [simplify]: Extracting # 4 : cost 0 3.241 * * [simplify]: iteration 4 : 2762 enodes (cost 132 ) 4.599 * * [simplify]: Extracting # 0 : cost 0 4.606 * * [simplify]: Extracting # 1 : cost 0 4.616 * * [simplify]: Extracting # 2 : cost 0 4.622 * * [simplify]: iteration done: 5000 enodes (cost 132 ) 4.622 * [simplify]: Simplified to: (expm1 (fma x x (* 2 y))) (log1p (fma x x (* 2 y))) (exp (fma x x (* 2 y))) (log (fma x x (* 2 y))) (exp (fma x x (* 2 y))) (* (cbrt (fma x x (* 2 y))) (cbrt (fma x x (* 2 y)))) (cbrt (fma x x (* 2 y))) (pow (fma x x (* 2 y)) 3) (sqrt (fma x x (* 2 y))) (sqrt (fma x x (* 2 y))) (fma 8 (pow y 3) (pow x 6)) (fma y (fma y 4 (* (* x x) -2)) (pow x 4)) (fma -4 (* y y) (pow x 4)) (fma x x (* y -2)) (fma x x (* 2 y)) (fma x x (* 2 y)) (fma x x (* 2 y)) 4.622 * * * [progress]: adding candidates to table 4.659 * [progress]: [Phase 3 of 3] Extracting. 4.660 * * [regime]: Finding splitpoints for: (# #) 4.660 * * * [regime-changes]: Trying 4 branch expressions: ((* x x) (+ (+ (* x x) y) y) y x) 4.660 * * * * [regimes]: Trying to branch on (* x x) from (# #) 4.670 * * * * [regimes]: Trying to branch on (+ (+ (* x x) y) y) from (# #) 4.685 * * * * [regimes]: Trying to branch on y from (# #) 4.708 * * * * [regimes]: Trying to branch on x from (# #) 4.719 * * * [regime]: Found split indices: #