9.889 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 2.0) 0.027 * * [simplify]: iteration 0 : 20 enodes (cost 6 ) 0.029 * * [simplify]: iteration 1 : 34 enodes (cost 6 ) 0.030 * * [simplify]: iteration 2 : 52 enodes (cost 6 ) 0.032 * * [simplify]: iteration 3 : 73 enodes (cost 6 ) 0.033 * * [simplify]: iteration 4 : 123 enodes (cost 6 ) 0.036 * * [simplify]: iteration 5 : 184 enodes (cost 6 ) 0.039 * * [simplify]: iteration 6 : 250 enodes (cost 6 ) 0.041 * * [simplify]: iteration 7 : 287 enodes (cost 6 ) 0.044 * * [simplify]: iteration 8 : 349 enodes (cost 6 ) 0.048 * * [simplify]: iteration 9 : 437 enodes (cost 6 ) 0.051 * * [simplify]: iteration 10 : 574 enodes (cost 6 ) 0.055 * * [simplify]: iteration 11 : 654 enodes (cost 6 ) 0.060 * * [simplify]: iteration 12 : 712 enodes (cost 6 ) 0.066 * * [simplify]: iteration 13 : 785 enodes (cost 6 ) 0.071 * * [simplify]: iteration 14 : 1075 enodes (cost 6 ) 0.078 * * [simplify]: iteration 15 : 1150 enodes (cost 6 ) 0.084 * * [simplify]: iteration 16 : 1193 enodes (cost 6 ) 0.092 * * [simplify]: iteration 17 : 1213 enodes (cost 6 ) 0.099 * * [simplify]: iteration 18 : 1221 enodes (cost 6 ) 0.106 * * [simplify]: iteration 19 : 1221 enodes (cost 6 ) 0.106 * [simplify]: Simplified to: (/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 2.0) 0.107 * * [progress]: iteration 1 / 4 0.107 * * * [progress]: picking best candidate 0.108 * * * * [pick]: Picked # 0.108 * * * [progress]: localizing error 0.117 * * * [progress]: generating rewritten candidates 0.117 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.221 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.251 * * * [progress]: generating series expansions 0.251 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.251 * [approximate]: Taking taylor expansion of (- (+ 1.0 (/ beta (+ alpha (+ 2.0 beta)))) (/ alpha (+ alpha (+ 2.0 beta)))) in (beta alpha) around 0 0.251 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ beta (+ alpha (+ 2.0 beta)))) (/ alpha (+ alpha (+ 2.0 beta)))) in alpha 0.251 * [taylor]: Taking taylor expansion of (+ 1.0 (/ beta (+ alpha (+ 2.0 beta)))) in alpha 0.251 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.251 * [taylor]: Taking taylor expansion of (/ beta (+ alpha (+ 2.0 beta))) in alpha 0.251 * [taylor]: Taking taylor expansion of beta in alpha 0.251 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.251 * [taylor]: Taking taylor expansion of alpha in alpha 0.251 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.251 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.251 * [taylor]: Taking taylor expansion of beta in alpha 0.251 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 0.251 * [taylor]: Taking taylor expansion of alpha in alpha 0.251 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.252 * [taylor]: Taking taylor expansion of alpha in alpha 0.252 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.252 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.252 * [taylor]: Taking taylor expansion of beta in alpha 0.252 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ beta (+ alpha (+ 2.0 beta)))) (/ alpha (+ alpha (+ 2.0 beta)))) in beta 0.252 * [taylor]: Taking taylor expansion of (+ 1.0 (/ beta (+ alpha (+ 2.0 beta)))) in beta 0.252 * [taylor]: Taking taylor expansion of 1.0 in beta 0.252 * [taylor]: Taking taylor expansion of (/ beta (+ alpha (+ 2.0 beta))) in beta 0.252 * [taylor]: Taking taylor expansion of beta in beta 0.252 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.252 * [taylor]: Taking taylor expansion of alpha in beta 0.252 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.252 * [taylor]: Taking taylor expansion of 2.0 in beta 0.252 * [taylor]: Taking taylor expansion of beta in beta 0.252 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in beta 0.252 * [taylor]: Taking taylor expansion of alpha in beta 0.253 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.253 * [taylor]: Taking taylor expansion of alpha in beta 0.253 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.253 * [taylor]: Taking taylor expansion of 2.0 in beta 0.253 * [taylor]: Taking taylor expansion of beta in beta 0.253 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ beta (+ alpha (+ 2.0 beta)))) (/ alpha (+ alpha (+ 2.0 beta)))) in beta 0.253 * [taylor]: Taking taylor expansion of (+ 1.0 (/ beta (+ alpha (+ 2.0 beta)))) in beta 0.253 * [taylor]: Taking taylor expansion of 1.0 in beta 0.253 * [taylor]: Taking taylor expansion of (/ beta (+ alpha (+ 2.0 beta))) in beta 0.253 * [taylor]: Taking taylor expansion of beta in beta 0.253 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.253 * [taylor]: Taking taylor expansion of alpha in beta 0.253 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.253 * [taylor]: Taking taylor expansion of 2.0 in beta 0.253 * [taylor]: Taking taylor expansion of beta in beta 0.254 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in beta 0.254 * [taylor]: Taking taylor expansion of alpha in beta 0.254 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.254 * [taylor]: Taking taylor expansion of alpha in beta 0.254 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.254 * [taylor]: Taking taylor expansion of 2.0 in beta 0.254 * [taylor]: Taking taylor expansion of beta in beta 0.254 * [taylor]: Taking taylor expansion of (- 1.0 (/ alpha (+ alpha 2.0))) in alpha 0.255 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.255 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha 2.0)) in alpha 0.255 * [taylor]: Taking taylor expansion of alpha in alpha 0.255 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.255 * [taylor]: Taking taylor expansion of alpha in alpha 0.255 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.256 * [taylor]: Taking taylor expansion of (+ (/ alpha (pow (+ alpha 2.0) 2)) (/ 1 (+ alpha 2.0))) in alpha 0.257 * [taylor]: Taking taylor expansion of (/ alpha (pow (+ alpha 2.0) 2)) in alpha 0.257 * [taylor]: Taking taylor expansion of alpha in alpha 0.257 * [taylor]: Taking taylor expansion of (pow (+ alpha 2.0) 2) in alpha 0.257 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.257 * [taylor]: Taking taylor expansion of alpha in alpha 0.257 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.257 * [taylor]: Taking taylor expansion of (/ 1 (+ alpha 2.0)) in alpha 0.257 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.257 * [taylor]: Taking taylor expansion of alpha in alpha 0.258 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.260 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) 1.0) (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))))) in (beta alpha) around 0 0.260 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) 1.0) (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))))) in alpha 0.260 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) 1.0) in alpha 0.260 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) in alpha 0.260 * [taylor]: Taking taylor expansion of (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta) in alpha 0.260 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.260 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.260 * [taylor]: Taking taylor expansion of alpha in alpha 0.261 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.261 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.261 * [taylor]: Taking taylor expansion of beta in alpha 0.261 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.261 * [taylor]: Taking taylor expansion of beta in alpha 0.261 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.261 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 0.261 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 0.261 * [taylor]: Taking taylor expansion of alpha in alpha 0.261 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.261 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.261 * [taylor]: Taking taylor expansion of alpha in alpha 0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.262 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.262 * [taylor]: Taking taylor expansion of beta in alpha 0.262 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.263 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) 1.0) (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))))) in beta 0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) 1.0) in beta 0.263 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) in beta 0.263 * [taylor]: Taking taylor expansion of (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta) in beta 0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.263 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.263 * [taylor]: Taking taylor expansion of alpha in beta 0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.263 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.263 * [taylor]: Taking taylor expansion of beta in beta 0.264 * [taylor]: Taking taylor expansion of 2.0 in beta 0.264 * [taylor]: Taking taylor expansion of beta in beta 0.266 * [taylor]: Taking taylor expansion of 1.0 in beta 0.266 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in beta 0.266 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 0.266 * [taylor]: Taking taylor expansion of alpha in beta 0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.266 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.266 * [taylor]: Taking taylor expansion of alpha in beta 0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.266 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.266 * [taylor]: Taking taylor expansion of beta in beta 0.266 * [taylor]: Taking taylor expansion of 2.0 in beta 0.267 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) 1.0) (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))))) in beta 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) 1.0) in beta 0.267 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) in beta 0.267 * [taylor]: Taking taylor expansion of (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta) in beta 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.267 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.267 * [taylor]: Taking taylor expansion of alpha in beta 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.267 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.267 * [taylor]: Taking taylor expansion of beta in beta 0.267 * [taylor]: Taking taylor expansion of 2.0 in beta 0.267 * [taylor]: Taking taylor expansion of beta in beta 0.269 * [taylor]: Taking taylor expansion of 1.0 in beta 0.269 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in beta 0.269 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 0.269 * [taylor]: Taking taylor expansion of alpha in beta 0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.269 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.269 * [taylor]: Taking taylor expansion of alpha in beta 0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.269 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.269 * [taylor]: Taking taylor expansion of beta in beta 0.269 * [taylor]: Taking taylor expansion of 2.0 in beta 0.271 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.272 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 alpha)) 2.0)) in alpha 0.272 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 alpha)) 2.0) in alpha 0.272 * [taylor]: Taking taylor expansion of (* 2 (/ 1 alpha)) in alpha 0.272 * [taylor]: Taking taylor expansion of 2 in alpha 0.272 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.272 * [taylor]: Taking taylor expansion of alpha in alpha 0.273 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.278 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 alpha)) (+ (* 2 (/ 1 (pow alpha 2))) 4.0)) in alpha 0.278 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 alpha)) in alpha 0.278 * [taylor]: Taking taylor expansion of 6.0 in alpha 0.278 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.278 * [taylor]: Taking taylor expansion of alpha in alpha 0.279 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow alpha 2))) 4.0) in alpha 0.279 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow alpha 2))) in alpha 0.279 * [taylor]: Taking taylor expansion of 2 in alpha 0.279 * [taylor]: Taking taylor expansion of (/ 1 (pow alpha 2)) in alpha 0.279 * [taylor]: Taking taylor expansion of (pow alpha 2) in alpha 0.279 * [taylor]: Taking taylor expansion of alpha in alpha 0.279 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.283 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta))) in (beta alpha) around 0 0.283 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta))) in alpha 0.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in alpha 0.283 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 0.284 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 0.284 * [taylor]: Taking taylor expansion of alpha in alpha 0.284 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.284 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.284 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.284 * [taylor]: Taking taylor expansion of alpha in alpha 0.284 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.284 * [taylor]: Taking taylor expansion of beta in alpha 0.286 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.286 * [taylor]: Taking taylor expansion of (/ 1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta)) in alpha 0.286 * [taylor]: Taking taylor expansion of (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta) in alpha 0.286 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.286 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.286 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.286 * [taylor]: Taking taylor expansion of alpha in alpha 0.287 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.287 * [taylor]: Taking taylor expansion of beta in alpha 0.287 * [taylor]: Taking taylor expansion of beta in alpha 0.287 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta))) in beta 0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in beta 0.287 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in beta 0.288 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 0.288 * [taylor]: Taking taylor expansion of alpha in beta 0.288 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.288 * [taylor]: Taking taylor expansion of 2.0 in beta 0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.288 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.288 * [taylor]: Taking taylor expansion of alpha in beta 0.288 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.288 * [taylor]: Taking taylor expansion of beta in beta 0.289 * [taylor]: Taking taylor expansion of 1.0 in beta 0.289 * [taylor]: Taking taylor expansion of (/ 1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta)) in beta 0.289 * [taylor]: Taking taylor expansion of (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta) in beta 0.289 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.289 * [taylor]: Taking taylor expansion of 2.0 in beta 0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.289 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.289 * [taylor]: Taking taylor expansion of alpha in beta 0.289 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.289 * [taylor]: Taking taylor expansion of beta in beta 0.289 * [taylor]: Taking taylor expansion of beta in beta 0.291 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta))) in beta 0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in beta 0.291 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in beta 0.291 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 0.291 * [taylor]: Taking taylor expansion of alpha in beta 0.291 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.291 * [taylor]: Taking taylor expansion of 2.0 in beta 0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.291 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.291 * [taylor]: Taking taylor expansion of alpha in beta 0.291 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.291 * [taylor]: Taking taylor expansion of beta in beta 0.292 * [taylor]: Taking taylor expansion of 1.0 in beta 0.292 * [taylor]: Taking taylor expansion of (/ 1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta)) in beta 0.292 * [taylor]: Taking taylor expansion of (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta) in beta 0.292 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.292 * [taylor]: Taking taylor expansion of 2.0 in beta 0.292 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.292 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.292 * [taylor]: Taking taylor expansion of alpha in beta 0.293 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.293 * [taylor]: Taking taylor expansion of beta in beta 0.293 * [taylor]: Taking taylor expansion of beta in beta 0.296 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.298 * [taylor]: Taking taylor expansion of (- 2.0 (* 2 (/ 1 alpha))) in alpha 0.298 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.298 * [taylor]: Taking taylor expansion of (* 2 (/ 1 alpha)) in alpha 0.298 * [taylor]: Taking taylor expansion of 2 in alpha 0.298 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.298 * [taylor]: Taking taylor expansion of alpha in alpha 0.308 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (pow alpha 2))) 4.0) (* 6.0 (/ 1 alpha))) in alpha 0.308 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow alpha 2))) 4.0) in alpha 0.308 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow alpha 2))) in alpha 0.308 * [taylor]: Taking taylor expansion of 2 in alpha 0.308 * [taylor]: Taking taylor expansion of (/ 1 (pow alpha 2)) in alpha 0.308 * [taylor]: Taking taylor expansion of (pow alpha 2) in alpha 0.308 * [taylor]: Taking taylor expansion of alpha in alpha 0.309 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.309 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 alpha)) in alpha 0.309 * [taylor]: Taking taylor expansion of 6.0 in alpha 0.309 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.309 * [taylor]: Taking taylor expansion of alpha in alpha 0.313 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.313 * [approximate]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ 2.0 beta))) in (beta alpha) around 0 0.313 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ 2.0 beta))) in alpha 0.313 * [taylor]: Taking taylor expansion of (- beta alpha) in alpha 0.313 * [taylor]: Taking taylor expansion of beta in alpha 0.313 * [taylor]: Taking taylor expansion of alpha in alpha 0.313 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.313 * [taylor]: Taking taylor expansion of alpha in alpha 0.313 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.313 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.314 * [taylor]: Taking taylor expansion of beta in alpha 0.314 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ 2.0 beta))) in beta 0.314 * [taylor]: Taking taylor expansion of (- beta alpha) in beta 0.314 * [taylor]: Taking taylor expansion of beta in beta 0.314 * [taylor]: Taking taylor expansion of alpha in beta 0.314 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.314 * [taylor]: Taking taylor expansion of alpha in beta 0.314 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.314 * [taylor]: Taking taylor expansion of 2.0 in beta 0.314 * [taylor]: Taking taylor expansion of beta in beta 0.314 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ 2.0 beta))) in beta 0.314 * [taylor]: Taking taylor expansion of (- beta alpha) in beta 0.314 * [taylor]: Taking taylor expansion of beta in beta 0.314 * [taylor]: Taking taylor expansion of alpha in beta 0.314 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.314 * [taylor]: Taking taylor expansion of alpha in beta 0.315 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.315 * [taylor]: Taking taylor expansion of 2.0 in beta 0.315 * [taylor]: Taking taylor expansion of beta in beta 0.315 * [taylor]: Taking taylor expansion of (* -1 (/ alpha (+ alpha 2.0))) in alpha 0.315 * [taylor]: Taking taylor expansion of -1 in alpha 0.315 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha 2.0)) in alpha 0.315 * [taylor]: Taking taylor expansion of alpha in alpha 0.315 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.315 * [taylor]: Taking taylor expansion of alpha in alpha 0.315 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.317 * [taylor]: Taking taylor expansion of (+ (/ alpha (pow (+ alpha 2.0) 2)) (/ 1 (+ alpha 2.0))) in alpha 0.317 * [taylor]: Taking taylor expansion of (/ alpha (pow (+ alpha 2.0) 2)) in alpha 0.317 * [taylor]: Taking taylor expansion of alpha in alpha 0.317 * [taylor]: Taking taylor expansion of (pow (+ alpha 2.0) 2) in alpha 0.317 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.317 * [taylor]: Taking taylor expansion of alpha in alpha 0.317 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.318 * [taylor]: Taking taylor expansion of (/ 1 (+ alpha 2.0)) in alpha 0.318 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.318 * [taylor]: Taking taylor expansion of alpha in alpha 0.318 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.320 * [taylor]: Taking taylor expansion of (- (+ (/ alpha (pow (+ alpha 2.0) 3)) (/ 1 (pow (+ alpha 2.0) 2)))) in alpha 0.320 * [taylor]: Taking taylor expansion of (+ (/ alpha (pow (+ alpha 2.0) 3)) (/ 1 (pow (+ alpha 2.0) 2))) in alpha 0.320 * [taylor]: Taking taylor expansion of (/ alpha (pow (+ alpha 2.0) 3)) in alpha 0.320 * [taylor]: Taking taylor expansion of alpha in alpha 0.320 * [taylor]: Taking taylor expansion of (pow (+ alpha 2.0) 3) in alpha 0.320 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.320 * [taylor]: Taking taylor expansion of alpha in alpha 0.320 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ alpha 2.0) 2)) in alpha 0.321 * [taylor]: Taking taylor expansion of (pow (+ alpha 2.0) 2) in alpha 0.321 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.321 * [taylor]: Taking taylor expansion of alpha in alpha 0.321 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.324 * [approximate]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in (beta alpha) around 0 0.324 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 0.324 * [taylor]: Taking taylor expansion of (- (/ 1 beta) (/ 1 alpha)) in alpha 0.324 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.324 * [taylor]: Taking taylor expansion of beta in alpha 0.324 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.324 * [taylor]: Taking taylor expansion of alpha in alpha 0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.324 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.324 * [taylor]: Taking taylor expansion of alpha in alpha 0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.324 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.324 * [taylor]: Taking taylor expansion of beta in alpha 0.325 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 0.326 * [taylor]: Taking taylor expansion of (- (/ 1 beta) (/ 1 alpha)) in beta 0.326 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.326 * [taylor]: Taking taylor expansion of beta in beta 0.326 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.326 * [taylor]: Taking taylor expansion of alpha in beta 0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.326 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.326 * [taylor]: Taking taylor expansion of alpha in beta 0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.326 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.326 * [taylor]: Taking taylor expansion of beta in beta 0.326 * [taylor]: Taking taylor expansion of 2.0 in beta 0.327 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 0.327 * [taylor]: Taking taylor expansion of (- (/ 1 beta) (/ 1 alpha)) in beta 0.327 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.327 * [taylor]: Taking taylor expansion of beta in beta 0.328 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.328 * [taylor]: Taking taylor expansion of alpha in beta 0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.328 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.328 * [taylor]: Taking taylor expansion of alpha in beta 0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.328 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.328 * [taylor]: Taking taylor expansion of beta in beta 0.328 * [taylor]: Taking taylor expansion of 2.0 in beta 0.329 * [taylor]: Taking taylor expansion of 1 in alpha 0.330 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 alpha)) 2.0)) in alpha 0.330 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 alpha)) 2.0) in alpha 0.331 * [taylor]: Taking taylor expansion of (* 2 (/ 1 alpha)) in alpha 0.331 * [taylor]: Taking taylor expansion of 2 in alpha 0.331 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.331 * [taylor]: Taking taylor expansion of alpha in alpha 0.331 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.335 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 alpha)) (+ (* 2 (/ 1 (pow alpha 2))) 4.0)) in alpha 0.335 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 alpha)) in alpha 0.335 * [taylor]: Taking taylor expansion of 6.0 in alpha 0.335 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.335 * [taylor]: Taking taylor expansion of alpha in alpha 0.335 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow alpha 2))) 4.0) in alpha 0.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow alpha 2))) in alpha 0.336 * [taylor]: Taking taylor expansion of 2 in alpha 0.336 * [taylor]: Taking taylor expansion of (/ 1 (pow alpha 2)) in alpha 0.336 * [taylor]: Taking taylor expansion of (pow alpha 2) in alpha 0.336 * [taylor]: Taking taylor expansion of alpha in alpha 0.336 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.341 * [approximate]: Taking taylor expansion of (/ (- (/ 1 alpha) (/ 1 beta)) (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in (beta alpha) around 0 0.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 alpha) (/ 1 beta)) (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 0.341 * [taylor]: Taking taylor expansion of (- (/ 1 alpha) (/ 1 beta)) in alpha 0.341 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.341 * [taylor]: Taking taylor expansion of alpha in alpha 0.341 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.341 * [taylor]: Taking taylor expansion of beta in alpha 0.341 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.341 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.341 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.341 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.341 * [taylor]: Taking taylor expansion of alpha in alpha 0.341 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.341 * [taylor]: Taking taylor expansion of beta in alpha 0.343 * [taylor]: Taking taylor expansion of (/ (- (/ 1 alpha) (/ 1 beta)) (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 0.343 * [taylor]: Taking taylor expansion of (- (/ 1 alpha) (/ 1 beta)) in beta 0.343 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.343 * [taylor]: Taking taylor expansion of alpha in beta 0.343 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.343 * [taylor]: Taking taylor expansion of beta in beta 0.343 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.343 * [taylor]: Taking taylor expansion of 2.0 in beta 0.343 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.343 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.343 * [taylor]: Taking taylor expansion of alpha in beta 0.343 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.343 * [taylor]: Taking taylor expansion of beta in beta 0.345 * [taylor]: Taking taylor expansion of (/ (- (/ 1 alpha) (/ 1 beta)) (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 0.345 * [taylor]: Taking taylor expansion of (- (/ 1 alpha) (/ 1 beta)) in beta 0.345 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.345 * [taylor]: Taking taylor expansion of alpha in beta 0.345 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.345 * [taylor]: Taking taylor expansion of beta in beta 0.345 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.345 * [taylor]: Taking taylor expansion of 2.0 in beta 0.345 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.345 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.345 * [taylor]: Taking taylor expansion of alpha in beta 0.345 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.345 * [taylor]: Taking taylor expansion of beta in beta 0.347 * [taylor]: Taking taylor expansion of 1 in alpha 0.348 * [taylor]: Taking taylor expansion of (- 2.0 (* 2 (/ 1 alpha))) in alpha 0.348 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.348 * [taylor]: Taking taylor expansion of (* 2 (/ 1 alpha)) in alpha 0.348 * [taylor]: Taking taylor expansion of 2 in alpha 0.348 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.348 * [taylor]: Taking taylor expansion of alpha in alpha 0.353 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (pow alpha 2))) 4.0) (* 6.0 (/ 1 alpha))) in alpha 0.353 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow alpha 2))) 4.0) in alpha 0.353 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow alpha 2))) in alpha 0.353 * [taylor]: Taking taylor expansion of 2 in alpha 0.353 * [taylor]: Taking taylor expansion of (/ 1 (pow alpha 2)) in alpha 0.353 * [taylor]: Taking taylor expansion of (pow alpha 2) in alpha 0.353 * [taylor]: Taking taylor expansion of alpha in alpha 0.354 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.354 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 alpha)) in alpha 0.354 * [taylor]: Taking taylor expansion of 6.0 in alpha 0.354 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.354 * [taylor]: Taking taylor expansion of alpha in alpha 0.358 * * * [progress]: simplifying candidates 0.359 * [simplify]: Simplifying using # : (expm1 (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (log1p (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (* (exp (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (exp 1.0)) (log (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (exp (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (* (* (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (+ (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (+ (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (- (* 1.0 1.0) (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0))) (- (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (- (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (expm1 (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (log1p (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (- (log (- beta alpha)) (log (+ (+ alpha beta) 2.0))) (log (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (exp (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0))) (* (cbrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) 2.0)))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (* (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (sqrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (sqrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (- (- beta alpha)) (- (+ (+ alpha beta) 2.0)) (/ beta (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt (- beta alpha)) (cbrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt (- beta alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ (sqrt (- beta alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt (- beta alpha)) (cbrt (+ (+ alpha beta) 2.0))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt (- beta alpha)) 1) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ (sqrt (- beta alpha)) 1) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ (sqrt (- beta alpha)) 1) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (+ (sqrt beta) (sqrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- (sqrt beta) (sqrt alpha)) (cbrt (+ (+ alpha beta) 2.0))) (/ (+ (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (- (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (+ (sqrt beta) (sqrt alpha)) 1) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) 2.0)) (/ (+ (sqrt beta) (sqrt alpha)) 1) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) 2.0)) (/ (+ (sqrt beta) (sqrt alpha)) 1) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ 1 (+ (+ alpha beta) 2.0)) (/ (+ (+ alpha beta) 2.0) (- beta alpha)) (/ (- beta alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) 1) (/ (- beta alpha) 1) (/ (- beta alpha) 1) (/ (+ (+ alpha beta) 2.0) (cbrt (- beta alpha))) (/ (+ (+ alpha beta) 2.0) (sqrt (- beta alpha))) (/ (+ (+ alpha beta) 2.0) (- beta alpha)) (/ (+ (+ alpha beta) 2.0) (- (sqrt beta) (sqrt alpha))) (/ (+ (+ alpha beta) 2.0) (- beta alpha)) (/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (/ (- beta alpha) (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (* (+ (+ alpha beta) 2.0) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha)))) (* (+ (+ alpha beta) 2.0) (+ beta alpha)) (- (+ (* 0.5 beta) 1.0) (* 0.5 alpha)) (- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta))) (- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta))) (- (* 0.5 beta) (+ (* 0.5 alpha) (* 0.25 (pow beta 2)))) (- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta))) (- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta))) 0.364 * * [simplify]: iteration 0 : 335 enodes (cost 555 ) 0.370 * * [simplify]: iteration 1 : 1087 enodes (cost 529 ) 0.392 * * [simplify]: iteration 2 : 5002 enodes (cost 525 ) 0.395 * [simplify]: Simplified to: (expm1 (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (log1p (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (exp (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (log (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (exp (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (pow (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 3) (sqrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (+ (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (fma 1.0 (- 1.0 (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (- beta alpha) (+ (+ alpha beta) 2.0)))) (- (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (- (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (expm1 (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (log1p (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (log (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (log (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (exp (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (* (cbrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) 2.0)))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (sqrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (sqrt (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (- (- beta alpha)) (- (+ (+ alpha beta) 2.0)) (/ beta (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt (- beta alpha)) (cbrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt (- beta alpha)) (sqrt (+ (+ alpha beta) 2.0))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ (sqrt (- beta alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt (- beta alpha)) (cbrt (+ (+ alpha beta) 2.0))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) 2.0))) (sqrt (- beta alpha)) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (sqrt (- beta alpha)) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (sqrt (- beta alpha)) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) 1 (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1 (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1 (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (+ (sqrt beta) (sqrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- (sqrt beta) (sqrt alpha)) (cbrt (+ (+ alpha beta) 2.0))) (/ (+ (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (- (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (+ (sqrt beta) (sqrt alpha)) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) 2.0)) (+ (sqrt beta) (sqrt alpha)) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) 2.0)) (+ (sqrt beta) (sqrt alpha)) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) 1 (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1 (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1 (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ 1 (+ (+ alpha beta) 2.0)) (/ (+ (+ alpha beta) 2.0) (- beta alpha)) (/ (- beta alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) 2.0))) (- beta alpha) (- beta alpha) (- beta alpha) (/ (+ (+ alpha beta) 2.0) (cbrt (- beta alpha))) (/ (+ (+ alpha beta) 2.0) (sqrt (- beta alpha))) (/ (+ (+ alpha beta) 2.0) (- beta alpha)) (/ (+ (+ alpha beta) 2.0) (- (sqrt beta) (sqrt alpha))) (/ (+ (+ alpha beta) 2.0) (- beta alpha)) (/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (/ (- beta alpha) (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (* (fma beta beta (fma alpha alpha (* beta alpha))) (+ (+ alpha beta) 2.0)) (* (+ (+ alpha beta) 2.0) (+ beta alpha)) (fma beta 0.5 (- 1.0 (* 0.5 alpha))) (+ 2.0 (* (/ 1 beta) (- (/ 4.0 beta) 2.0))) (+ 2.0 (* (/ 1 beta) (- (/ 4.0 beta) 2.0))) (fma 0.5 beta (- (fma 0.5 alpha (* 0.25 (pow beta 2))))) (- 1 (- (/ 2.0 beta) (/ (/ 4.0 beta) beta))) (- 1 (- (/ 2.0 beta) (/ (/ 4.0 beta) beta))) 0.395 * * * [progress]: adding candidates to table 0.598 * * [progress]: iteration 2 / 4 0.598 * * * [progress]: picking best candidate 0.617 * * * * [pick]: Picked # 0.617 * * * [progress]: localizing error 0.630 * * * [progress]: generating rewritten candidates 0.630 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.751 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.770 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1) 0.799 * * * [progress]: generating series expansions 0.799 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.800 * [approximate]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in (alpha beta) around 0 0.800 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in beta 0.800 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in beta 0.800 * [taylor]: Taking taylor expansion of alpha in beta 0.800 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.800 * [taylor]: Taking taylor expansion of alpha in beta 0.800 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.800 * [taylor]: Taking taylor expansion of 2.0 in beta 0.800 * [taylor]: Taking taylor expansion of beta in beta 0.800 * [taylor]: Taking taylor expansion of 1.0 in beta 0.800 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in alpha 0.801 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 0.801 * [taylor]: Taking taylor expansion of alpha in alpha 0.801 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.801 * [taylor]: Taking taylor expansion of alpha in alpha 0.801 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.801 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.801 * [taylor]: Taking taylor expansion of beta in alpha 0.801 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.801 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in alpha 0.801 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 0.801 * [taylor]: Taking taylor expansion of alpha in alpha 0.801 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.801 * [taylor]: Taking taylor expansion of alpha in alpha 0.801 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.801 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.801 * [taylor]: Taking taylor expansion of beta in alpha 0.801 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.802 * [taylor]: Taking taylor expansion of (- 1.0) in beta 0.802 * [taylor]: Taking taylor expansion of 1.0 in beta 0.803 * [taylor]: Taking taylor expansion of (/ 1 (+ beta 2.0)) in beta 0.803 * [taylor]: Taking taylor expansion of (+ beta 2.0) in beta 0.803 * [taylor]: Taking taylor expansion of beta in beta 0.803 * [taylor]: Taking taylor expansion of 2.0 in beta 0.805 * [taylor]: Taking taylor expansion of (- (/ 1 (* (+ beta 2.0) (+ 2.0 beta)))) in beta 0.805 * [taylor]: Taking taylor expansion of (/ 1 (* (+ beta 2.0) (+ 2.0 beta))) in beta 0.805 * [taylor]: Taking taylor expansion of (* (+ beta 2.0) (+ 2.0 beta)) in beta 0.805 * [taylor]: Taking taylor expansion of (+ beta 2.0) in beta 0.805 * [taylor]: Taking taylor expansion of beta in beta 0.805 * [taylor]: Taking taylor expansion of 2.0 in beta 0.805 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.805 * [taylor]: Taking taylor expansion of 2.0 in beta 0.805 * [taylor]: Taking taylor expansion of beta in beta 0.807 * [approximate]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in (alpha beta) around 0 0.807 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in beta 0.807 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in beta 0.807 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 0.807 * [taylor]: Taking taylor expansion of alpha in beta 0.807 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.807 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.807 * [taylor]: Taking taylor expansion of alpha in beta 0.807 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.807 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.807 * [taylor]: Taking taylor expansion of beta in beta 0.808 * [taylor]: Taking taylor expansion of 2.0 in beta 0.808 * [taylor]: Taking taylor expansion of 1.0 in beta 0.808 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in alpha 0.808 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 0.808 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 0.808 * [taylor]: Taking taylor expansion of alpha in alpha 0.808 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.808 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.808 * [taylor]: Taking taylor expansion of alpha in alpha 0.809 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.809 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.809 * [taylor]: Taking taylor expansion of beta in alpha 0.809 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.810 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.810 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in alpha 0.810 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 0.810 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 0.810 * [taylor]: Taking taylor expansion of alpha in alpha 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.810 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.810 * [taylor]: Taking taylor expansion of alpha in alpha 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.811 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.811 * [taylor]: Taking taylor expansion of beta in alpha 0.811 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.812 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.813 * [taylor]: Taking taylor expansion of 0 in beta 0.815 * [taylor]: Taking taylor expansion of (- (+ (/ 1 beta) 2.0)) in beta 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.815 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.815 * [taylor]: Taking taylor expansion of beta in beta 0.815 * [taylor]: Taking taylor expansion of 2.0 in beta 0.819 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) (+ (* 4.0 (/ 1 beta)) 4.0)) in beta 0.819 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 0.819 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 0.819 * [taylor]: Taking taylor expansion of beta in beta 0.820 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 beta)) 4.0) in beta 0.820 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 0.820 * [taylor]: Taking taylor expansion of 4.0 in beta 0.820 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.820 * [taylor]: Taking taylor expansion of beta in beta 0.820 * [taylor]: Taking taylor expansion of 4.0 in beta 0.828 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (pow beta 2))) (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0)))) in beta 0.828 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow beta 2))) (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0))) in beta 0.828 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow beta 2))) in beta 0.828 * [taylor]: Taking taylor expansion of 6.0 in beta 0.828 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 0.828 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 0.828 * [taylor]: Taking taylor expansion of beta in beta 0.829 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0)) in beta 0.829 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 beta)) in beta 0.829 * [taylor]: Taking taylor expansion of 12.0 in beta 0.829 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.829 * [taylor]: Taking taylor expansion of beta in beta 0.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 3)) 8.0) in beta 0.829 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 3)) in beta 0.829 * [taylor]: Taking taylor expansion of (pow beta 3) in beta 0.829 * [taylor]: Taking taylor expansion of beta in beta 0.830 * [taylor]: Taking taylor expansion of 8.0 in beta 0.839 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in (alpha beta) around 0 0.839 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in beta 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in beta 0.839 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in beta 0.839 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 0.839 * [taylor]: Taking taylor expansion of alpha in beta 0.839 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.839 * [taylor]: Taking taylor expansion of 2.0 in beta 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.839 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.839 * [taylor]: Taking taylor expansion of alpha in beta 0.839 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.839 * [taylor]: Taking taylor expansion of beta in beta 0.840 * [taylor]: Taking taylor expansion of 1.0 in beta 0.840 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in alpha 0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in alpha 0.840 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 0.840 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 0.840 * [taylor]: Taking taylor expansion of alpha in alpha 0.841 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.841 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.841 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.841 * [taylor]: Taking taylor expansion of alpha in alpha 0.841 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.841 * [taylor]: Taking taylor expansion of beta in alpha 0.843 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.843 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in alpha 0.843 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in alpha 0.843 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 0.843 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 0.843 * [taylor]: Taking taylor expansion of alpha in alpha 0.843 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.843 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.843 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.843 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.843 * [taylor]: Taking taylor expansion of alpha in alpha 0.843 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.843 * [taylor]: Taking taylor expansion of beta in alpha 0.846 * [taylor]: Taking taylor expansion of 1.0 in alpha 0.846 * [taylor]: Taking taylor expansion of 0 in beta 0.848 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 beta)) in beta 0.848 * [taylor]: Taking taylor expansion of 2.0 in beta 0.849 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.849 * [taylor]: Taking taylor expansion of beta in beta 0.853 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow beta 2)) 4.0) (* 4.0 (/ 1 beta))) in beta 0.853 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) 4.0) in beta 0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 0.853 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 0.853 * [taylor]: Taking taylor expansion of beta in beta 0.854 * [taylor]: Taking taylor expansion of 4.0 in beta 0.854 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 0.854 * [taylor]: Taking taylor expansion of 4.0 in beta 0.854 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.854 * [taylor]: Taking taylor expansion of beta in beta 0.868 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (pow beta 2))) 8.0) (+ (* 12.0 (/ 1 beta)) (/ 1 (pow beta 3)))) in beta 0.868 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow beta 2))) 8.0) in beta 0.868 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow beta 2))) in beta 0.868 * [taylor]: Taking taylor expansion of 6.0 in beta 0.868 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 0.868 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 0.868 * [taylor]: Taking taylor expansion of beta in beta 0.869 * [taylor]: Taking taylor expansion of 8.0 in beta 0.869 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 beta)) (/ 1 (pow beta 3))) in beta 0.869 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 beta)) in beta 0.869 * [taylor]: Taking taylor expansion of 12.0 in beta 0.869 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.869 * [taylor]: Taking taylor expansion of beta in beta 0.869 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 3)) in beta 0.869 * [taylor]: Taking taylor expansion of (pow beta 3) in beta 0.869 * [taylor]: Taking taylor expansion of beta in beta 0.878 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.878 * [approximate]: Taking taylor expansion of (/ beta (+ alpha (+ 2.0 beta))) in (beta alpha) around 0 0.878 * [taylor]: Taking taylor expansion of (/ beta (+ alpha (+ 2.0 beta))) in alpha 0.878 * [taylor]: Taking taylor expansion of beta in alpha 0.878 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.879 * [taylor]: Taking taylor expansion of alpha in alpha 0.879 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.879 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.879 * [taylor]: Taking taylor expansion of beta in alpha 0.879 * [taylor]: Taking taylor expansion of (/ beta (+ alpha (+ 2.0 beta))) in beta 0.879 * [taylor]: Taking taylor expansion of beta in beta 0.879 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.879 * [taylor]: Taking taylor expansion of alpha in beta 0.879 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.879 * [taylor]: Taking taylor expansion of 2.0 in beta 0.879 * [taylor]: Taking taylor expansion of beta in beta 0.879 * [taylor]: Taking taylor expansion of (/ beta (+ alpha (+ 2.0 beta))) in beta 0.879 * [taylor]: Taking taylor expansion of beta in beta 0.879 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.879 * [taylor]: Taking taylor expansion of alpha in beta 0.879 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.879 * [taylor]: Taking taylor expansion of 2.0 in beta 0.879 * [taylor]: Taking taylor expansion of beta in beta 0.880 * [taylor]: Taking taylor expansion of (/ 1 (+ alpha 2.0)) in alpha 0.880 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.880 * [taylor]: Taking taylor expansion of alpha in alpha 0.880 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.881 * [taylor]: Taking taylor expansion of (- (/ 1 (pow (+ alpha 2.0) 2))) in alpha 0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ alpha 2.0) 2)) in alpha 0.881 * [taylor]: Taking taylor expansion of (pow (+ alpha 2.0) 2) in alpha 0.881 * [taylor]: Taking taylor expansion of (+ alpha 2.0) in alpha 0.881 * [taylor]: Taking taylor expansion of alpha in alpha 0.881 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.885 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) in (beta alpha) around 0 0.885 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) in alpha 0.885 * [taylor]: Taking taylor expansion of (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta) in alpha 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.885 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.885 * [taylor]: Taking taylor expansion of alpha in alpha 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.885 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.886 * [taylor]: Taking taylor expansion of beta in alpha 0.886 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.886 * [taylor]: Taking taylor expansion of beta in alpha 0.886 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) in beta 0.886 * [taylor]: Taking taylor expansion of (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta) in beta 0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.886 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.886 * [taylor]: Taking taylor expansion of alpha in beta 0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.886 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.886 * [taylor]: Taking taylor expansion of beta in beta 0.886 * [taylor]: Taking taylor expansion of 2.0 in beta 0.886 * [taylor]: Taking taylor expansion of beta in beta 0.889 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta)) in beta 0.889 * [taylor]: Taking taylor expansion of (* (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) beta) in beta 0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.889 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.889 * [taylor]: Taking taylor expansion of alpha in beta 0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.889 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.889 * [taylor]: Taking taylor expansion of beta in beta 0.890 * [taylor]: Taking taylor expansion of 2.0 in beta 0.890 * [taylor]: Taking taylor expansion of beta in beta 0.892 * [taylor]: Taking taylor expansion of 1 in alpha 0.893 * [taylor]: Taking taylor expansion of (- (+ (/ 1 alpha) 2.0)) in alpha 0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) 2.0) in alpha 0.893 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.893 * [taylor]: Taking taylor expansion of alpha in alpha 0.894 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.897 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 alpha)) (+ (/ 1 (pow alpha 2)) 4.0)) in alpha 0.897 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 alpha)) in alpha 0.897 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.897 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.898 * [taylor]: Taking taylor expansion of alpha in alpha 0.898 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow alpha 2)) 4.0) in alpha 0.898 * [taylor]: Taking taylor expansion of (/ 1 (pow alpha 2)) in alpha 0.898 * [taylor]: Taking taylor expansion of (pow alpha 2) in alpha 0.898 * [taylor]: Taking taylor expansion of alpha in alpha 0.898 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.904 * [approximate]: Taking taylor expansion of (/ -1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta)) in (beta alpha) around 0 0.904 * [taylor]: Taking taylor expansion of (/ -1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta)) in alpha 0.904 * [taylor]: Taking taylor expansion of -1 in alpha 0.904 * [taylor]: Taking taylor expansion of (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta) in alpha 0.904 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.904 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.904 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.904 * [taylor]: Taking taylor expansion of alpha in alpha 0.904 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.904 * [taylor]: Taking taylor expansion of beta in alpha 0.904 * [taylor]: Taking taylor expansion of beta in alpha 0.905 * [taylor]: Taking taylor expansion of (/ -1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta)) in beta 0.905 * [taylor]: Taking taylor expansion of -1 in beta 0.905 * [taylor]: Taking taylor expansion of (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta) in beta 0.905 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.905 * [taylor]: Taking taylor expansion of 2.0 in beta 0.905 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.905 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.905 * [taylor]: Taking taylor expansion of alpha in beta 0.905 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.905 * [taylor]: Taking taylor expansion of beta in beta 0.906 * [taylor]: Taking taylor expansion of beta in beta 0.908 * [taylor]: Taking taylor expansion of (/ -1 (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta)) in beta 0.908 * [taylor]: Taking taylor expansion of -1 in beta 0.908 * [taylor]: Taking taylor expansion of (* (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) beta) in beta 0.908 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.908 * [taylor]: Taking taylor expansion of 2.0 in beta 0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.908 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.908 * [taylor]: Taking taylor expansion of alpha in beta 0.908 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.908 * [taylor]: Taking taylor expansion of beta in beta 0.908 * [taylor]: Taking taylor expansion of beta in beta 0.910 * [taylor]: Taking taylor expansion of 1 in alpha 0.913 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 alpha)) in alpha 0.913 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.913 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.913 * [taylor]: Taking taylor expansion of alpha in alpha 0.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow alpha 2)) 4.0) (* 4.0 (/ 1 alpha))) in alpha 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow alpha 2)) 4.0) in alpha 0.918 * [taylor]: Taking taylor expansion of (/ 1 (pow alpha 2)) in alpha 0.918 * [taylor]: Taking taylor expansion of (pow alpha 2) in alpha 0.918 * [taylor]: Taking taylor expansion of alpha in alpha 0.918 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.918 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 alpha)) in alpha 0.918 * [taylor]: Taking taylor expansion of 4.0 in alpha 0.918 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.918 * [taylor]: Taking taylor expansion of alpha in alpha 0.924 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1) 0.924 * [approximate]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in (alpha beta) around 0 0.924 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in beta 0.924 * [taylor]: Taking taylor expansion of alpha in beta 0.924 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 0.924 * [taylor]: Taking taylor expansion of alpha in beta 0.924 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.924 * [taylor]: Taking taylor expansion of 2.0 in beta 0.924 * [taylor]: Taking taylor expansion of beta in beta 0.925 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 0.925 * [taylor]: Taking taylor expansion of alpha in alpha 0.925 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.925 * [taylor]: Taking taylor expansion of alpha in alpha 0.925 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.925 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.925 * [taylor]: Taking taylor expansion of beta in alpha 0.925 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 0.925 * [taylor]: Taking taylor expansion of alpha in alpha 0.925 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 0.925 * [taylor]: Taking taylor expansion of alpha in alpha 0.925 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 0.925 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.925 * [taylor]: Taking taylor expansion of beta in alpha 0.925 * [taylor]: Taking taylor expansion of (/ 1 (+ 2.0 beta)) in beta 0.925 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.925 * [taylor]: Taking taylor expansion of 2.0 in beta 0.925 * [taylor]: Taking taylor expansion of beta in beta 0.926 * [taylor]: Taking taylor expansion of (- (/ 1 (* (+ beta 2.0) (+ 2.0 beta)))) in beta 0.926 * [taylor]: Taking taylor expansion of (/ 1 (* (+ beta 2.0) (+ 2.0 beta))) in beta 0.926 * [taylor]: Taking taylor expansion of (* (+ beta 2.0) (+ 2.0 beta)) in beta 0.926 * [taylor]: Taking taylor expansion of (+ beta 2.0) in beta 0.926 * [taylor]: Taking taylor expansion of beta in beta 0.926 * [taylor]: Taking taylor expansion of 2.0 in beta 0.926 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 0.926 * [taylor]: Taking taylor expansion of 2.0 in beta 0.927 * [taylor]: Taking taylor expansion of beta in beta 0.931 * [approximate]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in (alpha beta) around 0 0.931 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in beta 0.931 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 0.931 * [taylor]: Taking taylor expansion of alpha in beta 0.931 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 0.931 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.931 * [taylor]: Taking taylor expansion of alpha in beta 0.931 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.931 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.931 * [taylor]: Taking taylor expansion of beta in beta 0.931 * [taylor]: Taking taylor expansion of 2.0 in beta 0.932 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 0.932 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 0.932 * [taylor]: Taking taylor expansion of alpha in alpha 0.932 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.932 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.932 * [taylor]: Taking taylor expansion of alpha in alpha 0.932 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.932 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.932 * [taylor]: Taking taylor expansion of beta in alpha 0.932 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.934 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 0.934 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 0.934 * [taylor]: Taking taylor expansion of alpha in alpha 0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 0.934 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.934 * [taylor]: Taking taylor expansion of alpha in alpha 0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 0.934 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.934 * [taylor]: Taking taylor expansion of beta in alpha 0.934 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.936 * [taylor]: Taking taylor expansion of 1 in beta 0.937 * [taylor]: Taking taylor expansion of (- (+ (/ 1 beta) 2.0)) in beta 0.937 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 0.937 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.937 * [taylor]: Taking taylor expansion of beta in beta 0.938 * [taylor]: Taking taylor expansion of 2.0 in beta 0.941 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) (+ (* 4.0 (/ 1 beta)) 4.0)) in beta 0.941 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 0.941 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 0.942 * [taylor]: Taking taylor expansion of beta in beta 0.942 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 beta)) 4.0) in beta 0.942 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 0.942 * [taylor]: Taking taylor expansion of 4.0 in beta 0.942 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.942 * [taylor]: Taking taylor expansion of beta in beta 0.942 * [taylor]: Taking taylor expansion of 4.0 in beta 0.954 * [approximate]: Taking taylor expansion of (/ -1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in (alpha beta) around 0 0.954 * [taylor]: Taking taylor expansion of (/ -1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in beta 0.954 * [taylor]: Taking taylor expansion of -1 in beta 0.954 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 0.954 * [taylor]: Taking taylor expansion of alpha in beta 0.954 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 0.954 * [taylor]: Taking taylor expansion of 2.0 in beta 0.954 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 0.954 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 0.954 * [taylor]: Taking taylor expansion of alpha in beta 0.954 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.954 * [taylor]: Taking taylor expansion of beta in beta 0.955 * [taylor]: Taking taylor expansion of (/ -1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 0.955 * [taylor]: Taking taylor expansion of -1 in alpha 0.955 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 0.955 * [taylor]: Taking taylor expansion of alpha in alpha 0.955 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.955 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.955 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.955 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.956 * [taylor]: Taking taylor expansion of alpha in alpha 0.956 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.956 * [taylor]: Taking taylor expansion of beta in alpha 0.958 * [taylor]: Taking taylor expansion of (/ -1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 0.958 * [taylor]: Taking taylor expansion of -1 in alpha 0.958 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 0.958 * [taylor]: Taking taylor expansion of alpha in alpha 0.958 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 0.958 * [taylor]: Taking taylor expansion of 2.0 in alpha 0.958 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 0.958 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 0.958 * [taylor]: Taking taylor expansion of alpha in alpha 0.958 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 0.958 * [taylor]: Taking taylor expansion of beta in alpha 0.960 * [taylor]: Taking taylor expansion of 1 in beta 0.963 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 beta)) in beta 0.963 * [taylor]: Taking taylor expansion of 2.0 in beta 0.963 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.963 * [taylor]: Taking taylor expansion of beta in beta 0.968 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow beta 2)) 4.0) (* 4.0 (/ 1 beta))) in beta 0.968 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) 4.0) in beta 0.968 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 0.968 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 0.968 * [taylor]: Taking taylor expansion of beta in beta 0.968 * [taylor]: Taking taylor expansion of 4.0 in beta 0.968 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 0.968 * [taylor]: Taking taylor expansion of 4.0 in beta 0.968 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 0.968 * [taylor]: Taking taylor expansion of beta in beta 0.974 * * * [progress]: simplifying candidates 0.978 * [simplify]: Simplifying using # : (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log1p (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (/ (exp (/ alpha (+ (+ alpha beta) 2.0))) (exp 1.0)) (log (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (* (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (- 1.0) (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (+ (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (+ (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- 1.0) (expm1 (/ beta (+ (+ alpha beta) 2.0))) (log1p (/ beta (+ (+ alpha beta) 2.0))) (- (log beta) (log (+ (+ alpha beta) 2.0))) (log (/ beta (+ (+ alpha beta) 2.0))) (exp (/ beta (+ (+ alpha beta) 2.0))) (/ (* (* beta beta) beta) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0))) (* (cbrt (/ beta (+ (+ alpha beta) 2.0))) (cbrt (/ beta (+ (+ alpha beta) 2.0)))) (cbrt (/ beta (+ (+ alpha beta) 2.0))) (* (* (/ beta (+ (+ alpha beta) 2.0)) (/ beta (+ (+ alpha beta) 2.0))) (/ beta (+ (+ alpha beta) 2.0))) (sqrt (/ beta (+ (+ alpha beta) 2.0))) (sqrt (/ beta (+ (+ alpha beta) 2.0))) (- beta) (- (+ (+ alpha beta) 2.0)) (/ (* (cbrt beta) (cbrt beta)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt beta) (cbrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt beta) (cbrt beta)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt beta) (sqrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt beta) (cbrt beta)) 1) (/ (cbrt beta) (+ (+ alpha beta) 2.0)) (/ (* (cbrt beta) (cbrt beta)) 1) (/ (cbrt beta) (+ (+ alpha beta) 2.0)) (/ (* (cbrt beta) (cbrt beta)) 1) (/ (cbrt beta) (+ (+ alpha beta) 2.0)) (/ (sqrt beta) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt beta) (cbrt (+ (+ alpha beta) 2.0))) (/ (sqrt beta) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt beta) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt beta) 1) (/ (sqrt beta) (+ (+ alpha beta) 2.0)) (/ (sqrt beta) 1) (/ (sqrt beta) (+ (+ alpha beta) 2.0)) (/ (sqrt beta) 1) (/ (sqrt beta) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ beta (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ beta (sqrt (+ (+ alpha beta) 2.0))) (/ 1 1) (/ beta (+ (+ alpha beta) 2.0)) (/ 1 1) (/ beta (+ (+ alpha beta) 2.0)) (/ 1 1) (/ beta (+ (+ alpha beta) 2.0)) (/ 1 (+ (+ alpha beta) 2.0)) (/ (+ (+ alpha beta) 2.0) beta) (/ beta (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ beta (sqrt (+ (+ alpha beta) 2.0))) (/ beta 1) (/ beta 1) (/ beta 1) (/ (+ (+ alpha beta) 2.0) (cbrt beta)) (/ (+ (+ alpha beta) 2.0) (sqrt beta)) (/ (+ (+ alpha beta) 2.0) beta) (/ beta (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (/ beta (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (expm1 (/ alpha (+ (+ alpha beta) 2.0))) (log1p (/ alpha (+ (+ alpha beta) 2.0))) (- (log alpha) (log (+ (+ alpha beta) 2.0))) (log (/ alpha (+ (+ alpha beta) 2.0))) (exp (/ alpha (+ (+ alpha beta) 2.0))) (/ (* (* alpha alpha) alpha) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0))) (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (* (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- alpha) (- (+ (+ alpha beta) 2.0)) (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (/ 1 (+ (+ alpha beta) 2.0)) (/ (+ (+ alpha beta) 2.0) alpha) (/ alpha (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (/ alpha 1) (/ alpha 1) (/ alpha 1) (/ (+ (+ alpha beta) 2.0) (cbrt alpha)) (/ (+ (+ alpha beta) 2.0) (sqrt alpha)) (/ (+ (+ alpha beta) 2.0) alpha) (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) 1.0)) (- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3))))) (- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3))))) (- (* 0.5 beta) (+ (* 0.25 (* alpha beta)) (* 0.25 (pow beta 2)))) 0 0 (- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) (* 0.25 (* alpha beta)))) 0 0 0.987 * * [simplify]: iteration 0 : 493 enodes (cost 1766 ) 0.995 * * [simplify]: iteration 1 : 1623 enodes (cost 1302 ) 1.026 * * [simplify]: iteration 2 : 5002 enodes (cost 1263 ) 1.032 * [simplify]: Simplified to: (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (expm1 (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log1p (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* 1.0 1.0)) (- 1.0) (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (+ (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (+ (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- 1.0) (expm1 (/ beta (+ (+ alpha beta) 2.0))) (log1p (/ beta (+ (+ alpha beta) 2.0))) (log (/ beta (+ (+ alpha beta) 2.0))) (log (/ beta (+ (+ alpha beta) 2.0))) (exp (/ beta (+ (+ alpha beta) 2.0))) (pow (/ beta (+ (+ alpha beta) 2.0)) 3) (* (cbrt (/ beta (+ (+ alpha beta) 2.0))) (cbrt (/ beta (+ (+ alpha beta) 2.0)))) (cbrt (/ beta (+ (+ alpha beta) 2.0))) (pow (/ beta (+ (+ alpha beta) 2.0)) 3) (sqrt (/ beta (+ (+ alpha beta) 2.0))) (sqrt (/ beta (+ (+ alpha beta) 2.0))) (- beta) (- (+ (+ alpha beta) 2.0)) (/ (* (cbrt beta) (cbrt beta)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt beta) (cbrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt beta) (cbrt beta)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt beta) (sqrt (+ (+ alpha beta) 2.0))) (* (cbrt beta) (cbrt beta)) (/ (cbrt beta) (+ (+ alpha beta) 2.0)) (* (cbrt beta) (cbrt beta)) (/ (cbrt beta) (+ (+ alpha beta) 2.0)) (* (cbrt beta) (cbrt beta)) (/ (cbrt beta) (+ (+ alpha beta) 2.0)) (/ (sqrt beta) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt beta) (cbrt (+ (+ alpha beta) 2.0))) (/ (sqrt beta) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt beta) (sqrt (+ (+ alpha beta) 2.0))) (sqrt beta) (/ (sqrt beta) (+ (+ alpha beta) 2.0)) (sqrt beta) (/ (sqrt beta) (+ (+ alpha beta) 2.0)) (sqrt beta) (/ (sqrt beta) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ beta (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ beta (sqrt (+ (+ alpha beta) 2.0))) 1 (/ beta (+ (+ alpha beta) 2.0)) 1 (/ beta (+ (+ alpha beta) 2.0)) 1 (/ beta (+ (+ alpha beta) 2.0)) (/ 1 (+ (+ alpha beta) 2.0)) (/ (+ (+ alpha beta) 2.0) beta) (/ beta (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ beta (sqrt (+ (+ alpha beta) 2.0))) beta beta beta (/ (+ (+ alpha beta) 2.0) (cbrt beta)) (/ (+ (+ alpha beta) 2.0) (sqrt beta)) (/ (+ (+ alpha beta) 2.0) beta) (/ beta (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (/ beta (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (expm1 (/ alpha (+ (+ alpha beta) 2.0))) (log1p (/ alpha (+ (+ alpha beta) 2.0))) (log (/ alpha (+ (+ alpha beta) 2.0))) (log (/ alpha (+ (+ alpha beta) 2.0))) (exp (/ alpha (+ (+ alpha beta) 2.0))) (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- alpha) (- (+ (+ alpha beta) 2.0)) (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (* (cbrt alpha) (cbrt alpha)) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (* (cbrt alpha) (cbrt alpha)) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (* (cbrt alpha) (cbrt alpha)) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt alpha) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (sqrt alpha) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (sqrt alpha) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) 1 (/ alpha (+ (+ alpha beta) 2.0)) 1 (/ alpha (+ (+ alpha beta) 2.0)) 1 (/ alpha (+ (+ alpha beta) 2.0)) (/ 1 (+ (+ alpha beta) 2.0)) (/ (+ (+ alpha beta) 2.0) alpha) (/ alpha (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) alpha alpha alpha (/ (+ (+ alpha beta) 2.0) (cbrt alpha)) (/ (+ (+ alpha beta) 2.0) (sqrt alpha)) (/ (+ (+ alpha beta) 2.0) alpha) (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (fma 0.5 alpha (- (fma 0.25 (pow alpha 2) 1.0))) (- (/ (/ 4.0 alpha) alpha) (- (/ 2.0 alpha) (/ (- 8.0) (pow alpha 3)))) (- (/ (/ 4.0 alpha) alpha) (- (/ 2.0 alpha) (/ (- 8.0) (pow alpha 3)))) (fma (- 0.25) (* beta (+ alpha beta)) (* 0.5 beta)) 0 0 (fma (- 0.25) (* alpha (+ alpha beta)) (* 0.5 alpha)) 0 0 1.033 * * * [progress]: adding candidates to table 1.355 * * [progress]: iteration 3 / 4 1.355 * * * [progress]: picking best candidate 1.367 * * * * [pick]: Picked # 1.367 * * * [progress]: localizing error 1.380 * * * [progress]: generating rewritten candidates 1.380 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.502 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1.503 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 1.504 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.511 * * * [progress]: generating series expansions 1.511 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.512 * [approximate]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in (alpha beta) around 0 1.512 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in beta 1.512 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in beta 1.512 * [taylor]: Taking taylor expansion of alpha in beta 1.512 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 1.512 * [taylor]: Taking taylor expansion of alpha in beta 1.512 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 1.512 * [taylor]: Taking taylor expansion of 2.0 in beta 1.512 * [taylor]: Taking taylor expansion of beta in beta 1.512 * [taylor]: Taking taylor expansion of 1.0 in beta 1.512 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in alpha 1.512 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 1.513 * [taylor]: Taking taylor expansion of alpha in alpha 1.513 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 1.513 * [taylor]: Taking taylor expansion of alpha in alpha 1.513 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 1.513 * [taylor]: Taking taylor expansion of 2.0 in alpha 1.513 * [taylor]: Taking taylor expansion of beta in alpha 1.513 * [taylor]: Taking taylor expansion of 1.0 in alpha 1.513 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in alpha 1.513 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 1.513 * [taylor]: Taking taylor expansion of alpha in alpha 1.513 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 1.513 * [taylor]: Taking taylor expansion of alpha in alpha 1.513 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 1.513 * [taylor]: Taking taylor expansion of 2.0 in alpha 1.513 * [taylor]: Taking taylor expansion of beta in alpha 1.513 * [taylor]: Taking taylor expansion of 1.0 in alpha 1.514 * [taylor]: Taking taylor expansion of (- 1.0) in beta 1.514 * [taylor]: Taking taylor expansion of 1.0 in beta 1.515 * [taylor]: Taking taylor expansion of (/ 1 (+ beta 2.0)) in beta 1.515 * [taylor]: Taking taylor expansion of (+ beta 2.0) in beta 1.515 * [taylor]: Taking taylor expansion of beta in beta 1.515 * [taylor]: Taking taylor expansion of 2.0 in beta 1.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* (+ beta 2.0) (+ 2.0 beta)))) in beta 1.517 * [taylor]: Taking taylor expansion of (/ 1 (* (+ beta 2.0) (+ 2.0 beta))) in beta 1.517 * [taylor]: Taking taylor expansion of (* (+ beta 2.0) (+ 2.0 beta)) in beta 1.517 * [taylor]: Taking taylor expansion of (+ beta 2.0) in beta 1.517 * [taylor]: Taking taylor expansion of beta in beta 1.517 * [taylor]: Taking taylor expansion of 2.0 in beta 1.517 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 1.517 * [taylor]: Taking taylor expansion of 2.0 in beta 1.517 * [taylor]: Taking taylor expansion of beta in beta 1.519 * [approximate]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in (alpha beta) around 0 1.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in beta 1.519 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in beta 1.519 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 1.519 * [taylor]: Taking taylor expansion of alpha in beta 1.519 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 1.519 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 1.519 * [taylor]: Taking taylor expansion of alpha in beta 1.519 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 1.519 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.519 * [taylor]: Taking taylor expansion of beta in beta 1.519 * [taylor]: Taking taylor expansion of 2.0 in beta 1.520 * [taylor]: Taking taylor expansion of 1.0 in beta 1.520 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in alpha 1.520 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 1.520 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 1.520 * [taylor]: Taking taylor expansion of alpha in alpha 1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 1.520 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 1.520 * [taylor]: Taking taylor expansion of alpha in alpha 1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 1.520 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 1.520 * [taylor]: Taking taylor expansion of beta in alpha 1.521 * [taylor]: Taking taylor expansion of 2.0 in alpha 1.522 * [taylor]: Taking taylor expansion of 1.0 in alpha 1.522 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in alpha 1.522 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 1.522 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 1.522 * [taylor]: Taking taylor expansion of alpha in alpha 1.522 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 1.522 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 1.522 * [taylor]: Taking taylor expansion of alpha in alpha 1.522 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 1.522 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 1.522 * [taylor]: Taking taylor expansion of beta in alpha 1.522 * [taylor]: Taking taylor expansion of 2.0 in alpha 1.524 * [taylor]: Taking taylor expansion of 1.0 in alpha 1.525 * [taylor]: Taking taylor expansion of 0 in beta 1.527 * [taylor]: Taking taylor expansion of (- (+ (/ 1 beta) 2.0)) in beta 1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 1.527 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.527 * [taylor]: Taking taylor expansion of beta in beta 1.527 * [taylor]: Taking taylor expansion of 2.0 in beta 1.531 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) (+ (* 4.0 (/ 1 beta)) 4.0)) in beta 1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 1.531 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 1.531 * [taylor]: Taking taylor expansion of beta in beta 1.532 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 beta)) 4.0) in beta 1.532 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 1.532 * [taylor]: Taking taylor expansion of 4.0 in beta 1.532 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.532 * [taylor]: Taking taylor expansion of beta in beta 1.532 * [taylor]: Taking taylor expansion of 4.0 in beta 1.544 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (pow beta 2))) (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0)))) in beta 1.544 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow beta 2))) (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0))) in beta 1.544 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow beta 2))) in beta 1.544 * [taylor]: Taking taylor expansion of 6.0 in beta 1.544 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 1.544 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 1.544 * [taylor]: Taking taylor expansion of beta in beta 1.544 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0)) in beta 1.544 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 beta)) in beta 1.544 * [taylor]: Taking taylor expansion of 12.0 in beta 1.544 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.544 * [taylor]: Taking taylor expansion of beta in beta 1.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 3)) 8.0) in beta 1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 3)) in beta 1.545 * [taylor]: Taking taylor expansion of (pow beta 3) in beta 1.545 * [taylor]: Taking taylor expansion of beta in beta 1.545 * [taylor]: Taking taylor expansion of 8.0 in beta 1.554 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in (alpha beta) around 0 1.555 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in beta 1.555 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in beta 1.555 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in beta 1.555 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 1.555 * [taylor]: Taking taylor expansion of alpha in beta 1.555 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 1.555 * [taylor]: Taking taylor expansion of 2.0 in beta 1.555 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 1.555 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 1.555 * [taylor]: Taking taylor expansion of alpha in beta 1.555 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.555 * [taylor]: Taking taylor expansion of beta in beta 1.556 * [taylor]: Taking taylor expansion of 1.0 in beta 1.556 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in alpha 1.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in alpha 1.556 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 1.556 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 1.556 * [taylor]: Taking taylor expansion of alpha in alpha 1.556 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 1.556 * [taylor]: Taking taylor expansion of 2.0 in alpha 1.556 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 1.556 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 1.556 * [taylor]: Taking taylor expansion of alpha in alpha 1.556 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 1.556 * [taylor]: Taking taylor expansion of beta in alpha 1.558 * [taylor]: Taking taylor expansion of 1.0 in alpha 1.558 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in alpha 1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in alpha 1.558 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 1.558 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 1.558 * [taylor]: Taking taylor expansion of alpha in alpha 1.558 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 1.558 * [taylor]: Taking taylor expansion of 2.0 in alpha 1.559 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 1.559 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 1.559 * [taylor]: Taking taylor expansion of alpha in alpha 1.559 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 1.559 * [taylor]: Taking taylor expansion of beta in alpha 1.561 * [taylor]: Taking taylor expansion of 1.0 in alpha 1.561 * [taylor]: Taking taylor expansion of 0 in beta 1.564 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 beta)) in beta 1.564 * [taylor]: Taking taylor expansion of 2.0 in beta 1.564 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.564 * [taylor]: Taking taylor expansion of beta in beta 1.568 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow beta 2)) 4.0) (* 4.0 (/ 1 beta))) in beta 1.568 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) 4.0) in beta 1.568 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 1.568 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 1.568 * [taylor]: Taking taylor expansion of beta in beta 1.569 * [taylor]: Taking taylor expansion of 4.0 in beta 1.569 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 1.569 * [taylor]: Taking taylor expansion of 4.0 in beta 1.569 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.569 * [taylor]: Taking taylor expansion of beta in beta 1.577 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (pow beta 2))) 8.0) (+ (* 12.0 (/ 1 beta)) (/ 1 (pow beta 3)))) in beta 1.577 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow beta 2))) 8.0) in beta 1.577 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow beta 2))) in beta 1.577 * [taylor]: Taking taylor expansion of 6.0 in beta 1.577 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 1.577 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 1.577 * [taylor]: Taking taylor expansion of beta in beta 1.578 * [taylor]: Taking taylor expansion of 8.0 in beta 1.578 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 beta)) (/ 1 (pow beta 3))) in beta 1.578 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 beta)) in beta 1.578 * [taylor]: Taking taylor expansion of 12.0 in beta 1.578 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.578 * [taylor]: Taking taylor expansion of beta in beta 1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 3)) in beta 1.578 * [taylor]: Taking taylor expansion of (pow beta 3) in beta 1.578 * [taylor]: Taking taylor expansion of beta in beta 1.588 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1.588 * [approximate]: Taking taylor expansion of (pow beta 1/3) in (beta) around 0 1.588 * [taylor]: Taking taylor expansion of (pow beta 1/3) in beta 1.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log beta))) in beta 1.588 * [taylor]: Taking taylor expansion of (* 1/3 (log beta)) in beta 1.588 * [taylor]: Taking taylor expansion of 1/3 in beta 1.588 * [taylor]: Taking taylor expansion of (log beta) in beta 1.588 * [taylor]: Taking taylor expansion of beta in beta 1.588 * [taylor]: Taking taylor expansion of (pow beta 1/3) in beta 1.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log beta))) in beta 1.588 * [taylor]: Taking taylor expansion of (* 1/3 (log beta)) in beta 1.588 * [taylor]: Taking taylor expansion of 1/3 in beta 1.588 * [taylor]: Taking taylor expansion of (log beta) in beta 1.588 * [taylor]: Taking taylor expansion of beta in beta 1.642 * [approximate]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in (beta) around 0 1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.643 * [taylor]: Taking taylor expansion of 1/3 in beta 1.643 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.643 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.643 * [taylor]: Taking taylor expansion of beta in beta 1.643 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.644 * [taylor]: Taking taylor expansion of 1/3 in beta 1.644 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.644 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.644 * [taylor]: Taking taylor expansion of beta in beta 1.700 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in (beta) around 0 1.700 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in beta 1.700 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 1.700 * [taylor]: Taking taylor expansion of -1 in beta 1.701 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.701 * [taylor]: Taking taylor expansion of 1/3 in beta 1.701 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.701 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.701 * [taylor]: Taking taylor expansion of beta in beta 1.702 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in beta 1.702 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 1.702 * [taylor]: Taking taylor expansion of -1 in beta 1.703 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.703 * [taylor]: Taking taylor expansion of 1/3 in beta 1.703 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.703 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.703 * [taylor]: Taking taylor expansion of beta in beta 1.764 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 1.765 * [approximate]: Taking taylor expansion of (pow beta 1/3) in (beta) around 0 1.765 * [taylor]: Taking taylor expansion of (pow beta 1/3) in beta 1.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log beta))) in beta 1.765 * [taylor]: Taking taylor expansion of (* 1/3 (log beta)) in beta 1.765 * [taylor]: Taking taylor expansion of 1/3 in beta 1.765 * [taylor]: Taking taylor expansion of (log beta) in beta 1.765 * [taylor]: Taking taylor expansion of beta in beta 1.765 * [taylor]: Taking taylor expansion of (pow beta 1/3) in beta 1.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log beta))) in beta 1.765 * [taylor]: Taking taylor expansion of (* 1/3 (log beta)) in beta 1.765 * [taylor]: Taking taylor expansion of 1/3 in beta 1.765 * [taylor]: Taking taylor expansion of (log beta) in beta 1.765 * [taylor]: Taking taylor expansion of beta in beta 1.819 * [approximate]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in (beta) around 0 1.819 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.819 * [taylor]: Taking taylor expansion of 1/3 in beta 1.819 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.819 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.819 * [taylor]: Taking taylor expansion of beta in beta 1.820 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.820 * [taylor]: Taking taylor expansion of 1/3 in beta 1.820 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.820 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.820 * [taylor]: Taking taylor expansion of beta in beta 1.878 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in (beta) around 0 1.878 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in beta 1.878 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 1.878 * [taylor]: Taking taylor expansion of -1 in beta 1.879 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.879 * [taylor]: Taking taylor expansion of 1/3 in beta 1.879 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.879 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.879 * [taylor]: Taking taylor expansion of beta in beta 1.880 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in beta 1.880 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 1.880 * [taylor]: Taking taylor expansion of -1 in beta 1.881 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.881 * [taylor]: Taking taylor expansion of 1/3 in beta 1.881 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.881 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.881 * [taylor]: Taking taylor expansion of beta in beta 1.949 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 1.949 * [approximate]: Taking taylor expansion of (pow beta 1/3) in (beta) around 0 1.949 * [taylor]: Taking taylor expansion of (pow beta 1/3) in beta 1.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log beta))) in beta 1.949 * [taylor]: Taking taylor expansion of (* 1/3 (log beta)) in beta 1.949 * [taylor]: Taking taylor expansion of 1/3 in beta 1.949 * [taylor]: Taking taylor expansion of (log beta) in beta 1.949 * [taylor]: Taking taylor expansion of beta in beta 1.950 * [taylor]: Taking taylor expansion of (pow beta 1/3) in beta 1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log beta))) in beta 1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log beta)) in beta 1.950 * [taylor]: Taking taylor expansion of 1/3 in beta 1.950 * [taylor]: Taking taylor expansion of (log beta) in beta 1.950 * [taylor]: Taking taylor expansion of beta in beta 1.998 * [approximate]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in (beta) around 0 1.998 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.998 * [taylor]: Taking taylor expansion of 1/3 in beta 1.998 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.998 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.998 * [taylor]: Taking taylor expansion of beta in beta 1.999 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 1.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 1.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 1.999 * [taylor]: Taking taylor expansion of 1/3 in beta 1.999 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 1.999 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 1.999 * [taylor]: Taking taylor expansion of beta in beta 2.056 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in (beta) around 0 2.056 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in beta 2.056 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 2.056 * [taylor]: Taking taylor expansion of -1 in beta 2.057 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 2.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 2.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 2.057 * [taylor]: Taking taylor expansion of 1/3 in beta 2.057 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 2.057 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.057 * [taylor]: Taking taylor expansion of beta in beta 2.058 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 beta) 1/3)) in beta 2.058 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 2.058 * [taylor]: Taking taylor expansion of -1 in beta 2.059 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/3) in beta 2.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 beta)))) in beta 2.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 beta))) in beta 2.059 * [taylor]: Taking taylor expansion of 1/3 in beta 2.059 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 2.059 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.059 * [taylor]: Taking taylor expansion of beta in beta 2.127 * * * [progress]: simplifying candidates 2.130 * [simplify]: Simplifying using # : (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log1p (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (/ (exp (/ alpha (+ (+ alpha beta) 2.0))) (exp 1.0)) (log (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (* (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (- 1.0) (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (+ (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (+ (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- 1.0) (expm1 (cbrt beta)) (log1p (cbrt beta)) (log (cbrt beta)) (exp (cbrt beta)) (cbrt (* (cbrt beta) (cbrt beta))) (cbrt (cbrt beta)) (cbrt (sqrt beta)) (cbrt (sqrt beta)) (cbrt 1) (cbrt beta) (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta)) (* (* (cbrt beta) (cbrt beta)) (cbrt beta)) (sqrt (cbrt beta)) (sqrt (cbrt beta)) (expm1 (cbrt beta)) (log1p (cbrt beta)) (log (cbrt beta)) (exp (cbrt beta)) (cbrt (* (cbrt beta) (cbrt beta))) (cbrt (cbrt beta)) (cbrt (sqrt beta)) (cbrt (sqrt beta)) (cbrt 1) (cbrt beta) (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta)) (* (* (cbrt beta) (cbrt beta)) (cbrt beta)) (sqrt (cbrt beta)) (sqrt (cbrt beta)) (expm1 (cbrt beta)) (log1p (cbrt beta)) (log (cbrt beta)) (exp (cbrt beta)) (cbrt (* (cbrt beta) (cbrt beta))) (cbrt (cbrt beta)) (cbrt (sqrt beta)) (cbrt (sqrt beta)) (cbrt 1) (cbrt beta) (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta)) (* (* (cbrt beta) (cbrt beta)) (cbrt beta)) (sqrt (cbrt beta)) (sqrt (cbrt beta)) (- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) 1.0)) (- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3))))) (- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3))))) (pow beta 1/3) (pow (/ 1 beta) -1/3) (* (pow (* -1 beta) 1/3) (cbrt -1)) (pow beta 1/3) (pow (/ 1 beta) -1/3) (* (pow (* -1 beta) 1/3) (cbrt -1)) (pow beta 1/3) (pow (/ 1 beta) -1/3) (* (pow (* -1 beta) 1/3) (cbrt -1)) 2.138 * * [simplify]: iteration 0 : 386 enodes (cost 1443 ) 2.144 * * [simplify]: iteration 1 : 1119 enodes (cost 993 ) 2.169 * * [simplify]: iteration 2 : 5001 enodes (cost 940 ) 2.174 * [simplify]: Simplified to: (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (expm1 (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log1p (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* 1.0 1.0)) (- 1.0) (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (+ (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (+ (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- 1.0) (expm1 (cbrt beta)) (log1p (cbrt beta)) (log (cbrt beta)) (exp (cbrt beta)) (cbrt (* (cbrt beta) (cbrt beta))) (cbrt (cbrt beta)) (cbrt (sqrt beta)) (cbrt (sqrt beta)) 1 (pow beta 1/3) (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta)) beta (sqrt (cbrt beta)) (sqrt (cbrt beta)) (expm1 (cbrt beta)) (log1p (cbrt beta)) (log (cbrt beta)) (exp (cbrt beta)) (cbrt (* (cbrt beta) (cbrt beta))) (cbrt (cbrt beta)) (cbrt (sqrt beta)) (cbrt (sqrt beta)) 1 (pow beta 1/3) (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta)) beta (sqrt (cbrt beta)) (sqrt (cbrt beta)) (expm1 (cbrt beta)) (log1p (cbrt beta)) (log (cbrt beta)) (exp (cbrt beta)) (cbrt (* (cbrt beta) (cbrt beta))) (cbrt (cbrt beta)) (cbrt (sqrt beta)) (cbrt (sqrt beta)) 1 (pow beta 1/3) (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta)) beta (sqrt (cbrt beta)) (sqrt (cbrt beta)) (fma 0.5 alpha (- (fma 0.25 (pow alpha 2) 1.0))) (fma 4.0 (/ 1 (pow alpha 2)) (- (fma 2.0 (/ 1 alpha) (* 8.0 (/ 1 (pow alpha 3)))))) (fma 4.0 (/ 1 (pow alpha 2)) (- (fma 2.0 (/ 1 alpha) (* 8.0 (/ 1 (pow alpha 3)))))) (pow beta 1/3) (pow (/ 1 beta) -1/3) (* (pow (* -1 beta) 1/3) (cbrt -1)) (pow beta 1/3) (pow (/ 1 beta) -1/3) (* (pow (* -1 beta) 1/3) (cbrt -1)) (pow beta 1/3) (pow (/ 1 beta) -1/3) (* (pow (* -1 beta) 1/3) (cbrt -1)) 2.175 * * * [progress]: adding candidates to table 2.470 * * [progress]: iteration 4 / 4 2.470 * * * [progress]: picking best candidate 2.486 * * * * [pick]: Picked # 2.486 * * * [progress]: localizing error 2.504 * * * [progress]: generating rewritten candidates 2.504 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.625 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 2) 2.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 2) 2.627 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 1) 2.635 * * * [progress]: generating series expansions 2.635 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.635 * [approximate]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in (alpha beta) around 0 2.635 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in beta 2.635 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in beta 2.635 * [taylor]: Taking taylor expansion of alpha in beta 2.635 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in beta 2.635 * [taylor]: Taking taylor expansion of alpha in beta 2.635 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 2.635 * [taylor]: Taking taylor expansion of 2.0 in beta 2.635 * [taylor]: Taking taylor expansion of beta in beta 2.636 * [taylor]: Taking taylor expansion of 1.0 in beta 2.636 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in alpha 2.636 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 2.636 * [taylor]: Taking taylor expansion of alpha in alpha 2.636 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 2.636 * [taylor]: Taking taylor expansion of alpha in alpha 2.636 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 2.636 * [taylor]: Taking taylor expansion of 2.0 in alpha 2.636 * [taylor]: Taking taylor expansion of beta in alpha 2.636 * [taylor]: Taking taylor expansion of 1.0 in alpha 2.636 * [taylor]: Taking taylor expansion of (- (/ alpha (+ alpha (+ 2.0 beta))) 1.0) in alpha 2.636 * [taylor]: Taking taylor expansion of (/ alpha (+ alpha (+ 2.0 beta))) in alpha 2.636 * [taylor]: Taking taylor expansion of alpha in alpha 2.636 * [taylor]: Taking taylor expansion of (+ alpha (+ 2.0 beta)) in alpha 2.636 * [taylor]: Taking taylor expansion of alpha in alpha 2.636 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in alpha 2.636 * [taylor]: Taking taylor expansion of 2.0 in alpha 2.636 * [taylor]: Taking taylor expansion of beta in alpha 2.637 * [taylor]: Taking taylor expansion of 1.0 in alpha 2.637 * [taylor]: Taking taylor expansion of (- 1.0) in beta 2.638 * [taylor]: Taking taylor expansion of 1.0 in beta 2.638 * [taylor]: Taking taylor expansion of (/ 1 (+ beta 2.0)) in beta 2.638 * [taylor]: Taking taylor expansion of (+ beta 2.0) in beta 2.638 * [taylor]: Taking taylor expansion of beta in beta 2.638 * [taylor]: Taking taylor expansion of 2.0 in beta 2.640 * [taylor]: Taking taylor expansion of (- (/ 1 (* (+ beta 2.0) (+ 2.0 beta)))) in beta 2.640 * [taylor]: Taking taylor expansion of (/ 1 (* (+ beta 2.0) (+ 2.0 beta))) in beta 2.640 * [taylor]: Taking taylor expansion of (* (+ beta 2.0) (+ 2.0 beta)) in beta 2.640 * [taylor]: Taking taylor expansion of (+ beta 2.0) in beta 2.640 * [taylor]: Taking taylor expansion of beta in beta 2.640 * [taylor]: Taking taylor expansion of 2.0 in beta 2.640 * [taylor]: Taking taylor expansion of (+ 2.0 beta) in beta 2.640 * [taylor]: Taking taylor expansion of 2.0 in beta 2.640 * [taylor]: Taking taylor expansion of beta in beta 2.643 * [approximate]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in (alpha beta) around 0 2.643 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in beta 2.643 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in beta 2.643 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in beta 2.643 * [taylor]: Taking taylor expansion of alpha in beta 2.643 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in beta 2.643 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 2.643 * [taylor]: Taking taylor expansion of alpha in beta 2.643 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 2.643 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.643 * [taylor]: Taking taylor expansion of beta in beta 2.643 * [taylor]: Taking taylor expansion of 2.0 in beta 2.644 * [taylor]: Taking taylor expansion of 1.0 in beta 2.644 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in alpha 2.644 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 2.644 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 2.644 * [taylor]: Taking taylor expansion of alpha in alpha 2.644 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 2.644 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 2.644 * [taylor]: Taking taylor expansion of alpha in alpha 2.644 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 2.644 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 2.644 * [taylor]: Taking taylor expansion of beta in alpha 2.644 * [taylor]: Taking taylor expansion of 2.0 in alpha 2.646 * [taylor]: Taking taylor expansion of 1.0 in alpha 2.646 * [taylor]: Taking taylor expansion of (- (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) 1.0) in alpha 2.646 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)))) in alpha 2.646 * [taylor]: Taking taylor expansion of (* alpha (+ (/ 1 alpha) (+ (/ 1 beta) 2.0))) in alpha 2.646 * [taylor]: Taking taylor expansion of alpha in alpha 2.646 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (+ (/ 1 beta) 2.0)) in alpha 2.646 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 2.646 * [taylor]: Taking taylor expansion of alpha in alpha 2.646 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in alpha 2.646 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 2.646 * [taylor]: Taking taylor expansion of beta in alpha 2.647 * [taylor]: Taking taylor expansion of 2.0 in alpha 2.648 * [taylor]: Taking taylor expansion of 1.0 in alpha 2.649 * [taylor]: Taking taylor expansion of 0 in beta 2.651 * [taylor]: Taking taylor expansion of (- (+ (/ 1 beta) 2.0)) in beta 2.651 * [taylor]: Taking taylor expansion of (+ (/ 1 beta) 2.0) in beta 2.651 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.651 * [taylor]: Taking taylor expansion of beta in beta 2.651 * [taylor]: Taking taylor expansion of 2.0 in beta 2.655 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) (+ (* 4.0 (/ 1 beta)) 4.0)) in beta 2.655 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 2.655 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 2.655 * [taylor]: Taking taylor expansion of beta in beta 2.656 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 beta)) 4.0) in beta 2.656 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 2.656 * [taylor]: Taking taylor expansion of 4.0 in beta 2.656 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.656 * [taylor]: Taking taylor expansion of beta in beta 2.656 * [taylor]: Taking taylor expansion of 4.0 in beta 2.663 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (pow beta 2))) (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0)))) in beta 2.663 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow beta 2))) (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0))) in beta 2.663 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow beta 2))) in beta 2.663 * [taylor]: Taking taylor expansion of 6.0 in beta 2.663 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 2.663 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 2.663 * [taylor]: Taking taylor expansion of beta in beta 2.664 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 beta)) (+ (/ 1 (pow beta 3)) 8.0)) in beta 2.664 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 beta)) in beta 2.664 * [taylor]: Taking taylor expansion of 12.0 in beta 2.664 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.664 * [taylor]: Taking taylor expansion of beta in beta 2.664 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 3)) 8.0) in beta 2.664 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 3)) in beta 2.664 * [taylor]: Taking taylor expansion of (pow beta 3) in beta 2.664 * [taylor]: Taking taylor expansion of beta in beta 2.665 * [taylor]: Taking taylor expansion of 8.0 in beta 2.675 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in (alpha beta) around 0 2.675 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in beta 2.675 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in beta 2.675 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in beta 2.675 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in beta 2.675 * [taylor]: Taking taylor expansion of alpha in beta 2.675 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in beta 2.675 * [taylor]: Taking taylor expansion of 2.0 in beta 2.675 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in beta 2.675 * [taylor]: Taking taylor expansion of (/ 1 alpha) in beta 2.675 * [taylor]: Taking taylor expansion of alpha in beta 2.675 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.675 * [taylor]: Taking taylor expansion of beta in beta 2.676 * [taylor]: Taking taylor expansion of 1.0 in beta 2.676 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in alpha 2.676 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in alpha 2.676 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 2.676 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 2.676 * [taylor]: Taking taylor expansion of alpha in alpha 2.676 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 2.676 * [taylor]: Taking taylor expansion of 2.0 in alpha 2.676 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 2.676 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 2.676 * [taylor]: Taking taylor expansion of alpha in alpha 2.677 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 2.677 * [taylor]: Taking taylor expansion of beta in alpha 2.679 * [taylor]: Taking taylor expansion of 1.0 in alpha 2.679 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0)) in alpha 2.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) 1.0) in alpha 2.679 * [taylor]: Taking taylor expansion of (/ 1 (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta))))) in alpha 2.679 * [taylor]: Taking taylor expansion of (* alpha (- 2.0 (+ (/ 1 alpha) (/ 1 beta)))) in alpha 2.679 * [taylor]: Taking taylor expansion of alpha in alpha 2.679 * [taylor]: Taking taylor expansion of (- 2.0 (+ (/ 1 alpha) (/ 1 beta))) in alpha 2.679 * [taylor]: Taking taylor expansion of 2.0 in alpha 2.679 * [taylor]: Taking taylor expansion of (+ (/ 1 alpha) (/ 1 beta)) in alpha 2.679 * [taylor]: Taking taylor expansion of (/ 1 alpha) in alpha 2.679 * [taylor]: Taking taylor expansion of alpha in alpha 2.679 * [taylor]: Taking taylor expansion of (/ 1 beta) in alpha 2.679 * [taylor]: Taking taylor expansion of beta in alpha 2.681 * [taylor]: Taking taylor expansion of 1.0 in alpha 2.682 * [taylor]: Taking taylor expansion of 0 in beta 2.684 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 beta)) in beta 2.684 * [taylor]: Taking taylor expansion of 2.0 in beta 2.684 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.684 * [taylor]: Taking taylor expansion of beta in beta 2.688 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow beta 2)) 4.0) (* 4.0 (/ 1 beta))) in beta 2.688 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow beta 2)) 4.0) in beta 2.688 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 2.688 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 2.688 * [taylor]: Taking taylor expansion of beta in beta 2.689 * [taylor]: Taking taylor expansion of 4.0 in beta 2.689 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 beta)) in beta 2.689 * [taylor]: Taking taylor expansion of 4.0 in beta 2.689 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.689 * [taylor]: Taking taylor expansion of beta in beta 2.698 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (pow beta 2))) 8.0) (+ (* 12.0 (/ 1 beta)) (/ 1 (pow beta 3)))) in beta 2.698 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow beta 2))) 8.0) in beta 2.698 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow beta 2))) in beta 2.698 * [taylor]: Taking taylor expansion of 6.0 in beta 2.698 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 2)) in beta 2.698 * [taylor]: Taking taylor expansion of (pow beta 2) in beta 2.698 * [taylor]: Taking taylor expansion of beta in beta 2.698 * [taylor]: Taking taylor expansion of 8.0 in beta 2.698 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 beta)) (/ 1 (pow beta 3))) in beta 2.698 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 beta)) in beta 2.698 * [taylor]: Taking taylor expansion of 12.0 in beta 2.698 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.698 * [taylor]: Taking taylor expansion of beta in beta 2.699 * [taylor]: Taking taylor expansion of (/ 1 (pow beta 3)) in beta 2.699 * [taylor]: Taking taylor expansion of (pow beta 3) in beta 2.699 * [taylor]: Taking taylor expansion of beta in beta 2.713 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 2) 2.713 * [approximate]: Taking taylor expansion of (pow beta 1/9) in (beta) around 0 2.713 * [taylor]: Taking taylor expansion of (pow beta 1/9) in beta 2.713 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log beta))) in beta 2.713 * [taylor]: Taking taylor expansion of (* 1/9 (log beta)) in beta 2.713 * [taylor]: Taking taylor expansion of 1/9 in beta 2.713 * [taylor]: Taking taylor expansion of (log beta) in beta 2.713 * [taylor]: Taking taylor expansion of beta in beta 2.714 * [taylor]: Taking taylor expansion of (pow beta 1/9) in beta 2.714 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log beta))) in beta 2.714 * [taylor]: Taking taylor expansion of (* 1/9 (log beta)) in beta 2.714 * [taylor]: Taking taylor expansion of 1/9 in beta 2.714 * [taylor]: Taking taylor expansion of (log beta) in beta 2.714 * [taylor]: Taking taylor expansion of beta in beta 2.763 * [approximate]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in (beta) around 0 2.763 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 2.763 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 2.763 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 2.763 * [taylor]: Taking taylor expansion of 1/9 in beta 2.763 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 2.763 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.763 * [taylor]: Taking taylor expansion of beta in beta 2.764 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 2.764 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 2.764 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 2.764 * [taylor]: Taking taylor expansion of 1/9 in beta 2.764 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 2.764 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.764 * [taylor]: Taking taylor expansion of beta in beta 2.821 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in (beta) around 0 2.822 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in beta 2.822 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in beta 2.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in beta 2.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in beta 2.822 * [taylor]: Taking taylor expansion of 1/3 in beta 2.822 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in beta 2.822 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 2.822 * [taylor]: Taking taylor expansion of -1 in beta 2.826 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 2.826 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 2.826 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 2.826 * [taylor]: Taking taylor expansion of 1/9 in beta 2.826 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 2.826 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.826 * [taylor]: Taking taylor expansion of beta in beta 2.827 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in beta 2.827 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in beta 2.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in beta 2.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in beta 2.827 * [taylor]: Taking taylor expansion of 1/3 in beta 2.827 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in beta 2.827 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 2.827 * [taylor]: Taking taylor expansion of -1 in beta 2.830 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 2.830 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 2.830 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 2.830 * [taylor]: Taking taylor expansion of 1/9 in beta 2.830 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 2.830 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 2.830 * [taylor]: Taking taylor expansion of beta in beta 2.958 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 2) 2.958 * [approximate]: Taking taylor expansion of (pow beta 1/9) in (beta) around 0 2.958 * [taylor]: Taking taylor expansion of (pow beta 1/9) in beta 2.958 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log beta))) in beta 2.958 * [taylor]: Taking taylor expansion of (* 1/9 (log beta)) in beta 2.958 * [taylor]: Taking taylor expansion of 1/9 in beta 2.958 * [taylor]: Taking taylor expansion of (log beta) in beta 2.958 * [taylor]: Taking taylor expansion of beta in beta 2.959 * [taylor]: Taking taylor expansion of (pow beta 1/9) in beta 2.959 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log beta))) in beta 2.959 * [taylor]: Taking taylor expansion of (* 1/9 (log beta)) in beta 2.959 * [taylor]: Taking taylor expansion of 1/9 in beta 2.959 * [taylor]: Taking taylor expansion of (log beta) in beta 2.959 * [taylor]: Taking taylor expansion of beta in beta 3.009 * [approximate]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in (beta) around 0 3.009 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.009 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.009 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.009 * [taylor]: Taking taylor expansion of 1/9 in beta 3.009 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.009 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.009 * [taylor]: Taking taylor expansion of beta in beta 3.010 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.010 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.010 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.010 * [taylor]: Taking taylor expansion of 1/9 in beta 3.010 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.010 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.010 * [taylor]: Taking taylor expansion of beta in beta 3.068 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in (beta) around 0 3.068 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in beta 3.068 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in beta 3.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in beta 3.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in beta 3.068 * [taylor]: Taking taylor expansion of 1/3 in beta 3.068 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in beta 3.068 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 3.068 * [taylor]: Taking taylor expansion of -1 in beta 3.072 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.072 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.072 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.072 * [taylor]: Taking taylor expansion of 1/9 in beta 3.072 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.072 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.072 * [taylor]: Taking taylor expansion of beta in beta 3.073 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in beta 3.073 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in beta 3.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in beta 3.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in beta 3.073 * [taylor]: Taking taylor expansion of 1/3 in beta 3.073 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in beta 3.073 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 3.073 * [taylor]: Taking taylor expansion of -1 in beta 3.077 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.077 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.077 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.077 * [taylor]: Taking taylor expansion of 1/9 in beta 3.077 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.077 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.077 * [taylor]: Taking taylor expansion of beta in beta 3.345 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 1) 3.345 * [approximate]: Taking taylor expansion of (pow beta 1/9) in (beta) around 0 3.345 * [taylor]: Taking taylor expansion of (pow beta 1/9) in beta 3.345 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log beta))) in beta 3.345 * [taylor]: Taking taylor expansion of (* 1/9 (log beta)) in beta 3.345 * [taylor]: Taking taylor expansion of 1/9 in beta 3.345 * [taylor]: Taking taylor expansion of (log beta) in beta 3.345 * [taylor]: Taking taylor expansion of beta in beta 3.346 * [taylor]: Taking taylor expansion of (pow beta 1/9) in beta 3.346 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log beta))) in beta 3.346 * [taylor]: Taking taylor expansion of (* 1/9 (log beta)) in beta 3.346 * [taylor]: Taking taylor expansion of 1/9 in beta 3.346 * [taylor]: Taking taylor expansion of (log beta) in beta 3.346 * [taylor]: Taking taylor expansion of beta in beta 3.398 * [approximate]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in (beta) around 0 3.399 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.399 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.399 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.399 * [taylor]: Taking taylor expansion of 1/9 in beta 3.399 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.399 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.399 * [taylor]: Taking taylor expansion of beta in beta 3.400 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.400 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.400 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.400 * [taylor]: Taking taylor expansion of 1/9 in beta 3.400 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.400 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.400 * [taylor]: Taking taylor expansion of beta in beta 3.451 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in (beta) around 0 3.451 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in beta 3.451 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in beta 3.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in beta 3.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in beta 3.451 * [taylor]: Taking taylor expansion of 1/3 in beta 3.451 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in beta 3.451 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 3.451 * [taylor]: Taking taylor expansion of -1 in beta 3.455 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.455 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.455 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.455 * [taylor]: Taking taylor expansion of 1/9 in beta 3.455 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.455 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.455 * [taylor]: Taking taylor expansion of beta in beta 3.456 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 beta) 1/9)) in beta 3.456 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in beta 3.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in beta 3.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in beta 3.456 * [taylor]: Taking taylor expansion of 1/3 in beta 3.456 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in beta 3.456 * [taylor]: Taking taylor expansion of (cbrt -1) in beta 3.456 * [taylor]: Taking taylor expansion of -1 in beta 3.459 * [taylor]: Taking taylor expansion of (pow (/ 1 beta) 1/9) in beta 3.459 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 beta)))) in beta 3.459 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 beta))) in beta 3.459 * [taylor]: Taking taylor expansion of 1/9 in beta 3.459 * [taylor]: Taking taylor expansion of (log (/ 1 beta)) in beta 3.459 * [taylor]: Taking taylor expansion of (/ 1 beta) in beta 3.459 * [taylor]: Taking taylor expansion of beta in beta 3.588 * * * [progress]: simplifying candidates 3.590 * [simplify]: Simplifying using # : (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (* (cbrt alpha) (cbrt alpha)) 1) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (sqrt alpha) (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ (sqrt alpha) 1) (/ (sqrt alpha) (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ 1 1) (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (/ alpha (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma alpha (/ 1 (+ (+ alpha beta) 2.0)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ alpha (+ (pow (+ alpha beta) 3) (pow 2.0 3))) (+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log1p (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (/ (exp (/ alpha (+ (+ alpha beta) 2.0))) (exp 1.0)) (log (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (* (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (- 1.0) (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (+ (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (+ (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- 1.0) (expm1 (cbrt (cbrt beta))) (log1p (cbrt (cbrt beta))) (log (cbrt (cbrt beta))) (exp (cbrt (cbrt beta))) (cbrt (cbrt (* (cbrt beta) (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt 1)) (cbrt (cbrt beta)) (cbrt (* (cbrt (cbrt beta)) (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt 1) (cbrt (cbrt beta)) (* (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (* (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (expm1 (cbrt (cbrt beta))) (log1p (cbrt (cbrt beta))) (log (cbrt (cbrt beta))) (exp (cbrt (cbrt beta))) (cbrt (cbrt (* (cbrt beta) (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt 1)) (cbrt (cbrt beta)) (cbrt (* (cbrt (cbrt beta)) (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt 1) (cbrt (cbrt beta)) (* (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (* (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (expm1 (cbrt (cbrt beta))) (log1p (cbrt (cbrt beta))) (log (cbrt (cbrt beta))) (exp (cbrt (cbrt beta))) (cbrt (cbrt (* (cbrt beta) (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt 1)) (cbrt (cbrt beta)) (cbrt (* (cbrt (cbrt beta)) (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt 1) (cbrt (cbrt beta)) (* (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (* (* (cbrt (cbrt beta)) (cbrt (cbrt beta))) (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) 1.0)) (- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3))))) (- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3))))) (pow beta 1/9) (pow (/ 1 beta) -1/9) (* (pow (* -1 beta) 1/9) (pow (cbrt -1) 1/3)) (pow beta 1/9) (pow (/ 1 beta) -1/9) (* (pow (* -1 beta) 1/9) (pow (cbrt -1) 1/3)) (pow beta 1/9) (pow (/ 1 beta) -1/9) (* (pow (* -1 beta) 1/9) (pow (cbrt -1) 1/3)) 3.598 * * [simplify]: iteration 0 : 399 enodes (cost 1554 ) 3.605 * * [simplify]: iteration 1 : 1123 enodes (cost 1098 ) 3.629 * * [simplify]: iteration 2 : 5001 enodes (cost 1039 ) 3.635 * [simplify]: Simplified to: (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (* (cbrt (/ alpha (+ (+ alpha beta) 2.0))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) (cbrt (/ alpha (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ (cbrt alpha) (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ (* (cbrt alpha) (cbrt alpha)) (sqrt (+ (+ alpha beta) 2.0))) (/ (cbrt alpha) (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (cbrt alpha) (* (cbrt alpha) (/ (cbrt alpha) (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) (/ alpha (cbrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ 1 (sqrt (+ (+ alpha beta) 2.0))) (/ alpha (sqrt (+ (+ alpha beta) 2.0)))) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (/ (* alpha (fma 2.0 (- 2.0 (+ alpha beta)) (* (+ alpha beta) (+ alpha beta)))) (+ (pow (+ alpha beta) 3) (pow 2.0 3))) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (- (* (/ alpha (- (* (+ alpha beta) (+ alpha beta)) (* 2.0 2.0))) (- (+ alpha beta) 2.0)) 1.0) (fma (- 1.0) 1 1.0) (expm1 (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log1p (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (log (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (cbrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (sqrt (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)) (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (* 1.0 1.0)) (- 1.0) (- (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (* 1.0 1.0)) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (+ (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (sqrt (/ alpha (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (+ (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ (sqrt alpha) (sqrt (+ (+ alpha beta) 2.0))) (sqrt 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- 1.0) (expm1 (cbrt (cbrt beta))) (log1p (cbrt (cbrt beta))) (log (cbrt (cbrt beta))) (exp (cbrt (cbrt beta))) (cbrt (cbrt (* (cbrt beta) (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt (sqrt beta))) 1 (cbrt (cbrt beta)) (cbrt (* (cbrt (cbrt beta)) (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) 1 (cbrt (cbrt beta)) (* (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt beta) (sqrt (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (expm1 (cbrt (cbrt beta))) (log1p (cbrt (cbrt beta))) (log (cbrt (cbrt beta))) (exp (cbrt (cbrt beta))) (cbrt (cbrt (* (cbrt beta) (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt (sqrt beta))) 1 (cbrt (cbrt beta)) (cbrt (* (cbrt (cbrt beta)) (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) 1 (cbrt (cbrt beta)) (* (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt beta) (sqrt (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (expm1 (cbrt (cbrt beta))) (log1p (cbrt (cbrt beta))) (log (cbrt (cbrt beta))) (exp (cbrt (cbrt beta))) (cbrt (cbrt (* (cbrt beta) (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (sqrt beta))) (cbrt (cbrt (sqrt beta))) 1 (cbrt (cbrt beta)) (cbrt (* (cbrt (cbrt beta)) (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) (cbrt (sqrt (cbrt beta))) 1 (cbrt (cbrt beta)) (* (cbrt (cbrt (cbrt beta))) (cbrt (cbrt (cbrt beta)))) (cbrt (cbrt (cbrt beta))) (cbrt beta) (sqrt (cbrt (cbrt beta))) (sqrt (cbrt (cbrt beta))) (fma 0.5 alpha (- (fma 0.25 (pow alpha 2) 1.0))) (fma 4.0 (/ 1 (pow alpha 2)) (- (fma 2.0 (/ 1 alpha) (* 8.0 (/ 1 (pow alpha 3)))))) (fma 4.0 (/ 1 (pow alpha 2)) (- (fma 2.0 (/ 1 alpha) (* 8.0 (/ 1 (pow alpha 3)))))) (pow beta 1/9) (pow (/ 1 beta) -1/9) (* (pow (* -1 beta) 1/9) (pow (cbrt -1) 1/3)) (pow beta 1/9) (pow (/ 1 beta) -1/9) (* (pow (* -1 beta) 1/9) (pow (cbrt -1) 1/3)) (pow beta 1/9) (pow (/ 1 beta) -1/9) (* (pow (* -1 beta) 1/9) (pow (cbrt -1) 1/3)) 3.636 * * * [progress]: adding candidates to table 4.000 * [progress]: [Phase 3 of 3] Extracting. 4.000 * * [regime]: Finding splitpoints for: (# # # # #) 4.002 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha) 4.002 * * * * [regimes]: Trying to branch on beta from (# # # # #) 4.025 * * * * [regimes]: Trying to branch on alpha from (# # # # #) 4.060 * * * [regime]: Found split indices: #