1318.846 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.591 * * * [progress]: [2/2] Setting up program. 0.600 * [progress]: [Phase 2 of 3] Improving. 0.601 * [simplify]: Simplifying using # : (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 0.602 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.605 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.618 * * [simplify]: iteration 2 : 96 enodes (cost 65 ) 0.635 * * [simplify]: iteration 3 : 169 enodes (cost 65 ) 0.680 * * [simplify]: iteration 4 : 310 enodes (cost 65 ) 0.770 * * [simplify]: iteration 5 : 529 enodes (cost 65 ) 1.194 * * [simplify]: iteration 6 : 1411 enodes (cost 65 ) 4.246 * * [simplify]: iteration 7 : 4773 enodes (cost 65 ) 6.221 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 6.221 * [simplify]: Simplified to: (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 6.221 * * [progress]: iteration 1 / 4 6.221 * * * [progress]: picking best candidate 6.230 * * * * [pick]: Picked # 6.230 * * * [progress]: localizing error 6.272 * * * [progress]: generating rewritten candidates 6.272 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 6.278 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 6.285 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 6.291 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 6.297 * * * [progress]: generating series expansions 6.297 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 6.298 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 6.298 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 6.298 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 6.298 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.298 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 6.298 * [taylor]: Taking taylor expansion of phi1 in phi2 6.298 * [taylor]: Taking taylor expansion of phi2 in phi2 6.298 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 6.298 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 6.298 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.298 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 6.298 * [taylor]: Taking taylor expansion of phi1 in phi1 6.298 * [taylor]: Taking taylor expansion of phi2 in phi1 6.298 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 6.298 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 6.298 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.298 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 6.298 * [taylor]: Taking taylor expansion of phi1 in phi1 6.298 * [taylor]: Taking taylor expansion of phi2 in phi1 6.299 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 6.299 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.299 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.299 * [taylor]: Taking taylor expansion of phi2 in phi2 6.300 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 6.300 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.300 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 6.300 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.300 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.300 * [taylor]: Taking taylor expansion of phi2 in phi2 6.301 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 6.301 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 6.301 * [taylor]: Taking taylor expansion of 0.125 in phi2 6.301 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 6.301 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.301 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.301 * [taylor]: Taking taylor expansion of phi2 in phi2 6.302 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 6.302 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 6.302 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 6.302 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 6.302 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.302 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.302 * [taylor]: Taking taylor expansion of phi2 in phi2 6.302 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 6.302 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 6.302 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 6.302 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.302 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 6.302 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.302 * [taylor]: Taking taylor expansion of phi1 in phi2 6.302 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.303 * [taylor]: Taking taylor expansion of phi2 in phi2 6.303 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 6.303 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 6.303 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.303 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 6.303 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.303 * [taylor]: Taking taylor expansion of phi1 in phi1 6.303 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.303 * [taylor]: Taking taylor expansion of phi2 in phi1 6.303 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 6.303 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 6.303 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.303 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 6.303 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.303 * [taylor]: Taking taylor expansion of phi1 in phi1 6.303 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.303 * [taylor]: Taking taylor expansion of phi2 in phi1 6.303 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 6.303 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 6.303 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.303 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 6.303 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.303 * [taylor]: Taking taylor expansion of phi1 in phi2 6.303 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.303 * [taylor]: Taking taylor expansion of phi2 in phi2 6.304 * [taylor]: Taking taylor expansion of 0 in phi2 6.304 * [taylor]: Taking taylor expansion of 0 in phi2 6.304 * [taylor]: Taking taylor expansion of 0 in phi2 6.304 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 6.304 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 6.304 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 6.304 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.304 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 6.304 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.304 * [taylor]: Taking taylor expansion of phi2 in phi2 6.304 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.304 * [taylor]: Taking taylor expansion of phi1 in phi2 6.304 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 6.304 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 6.304 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.304 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 6.304 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.304 * [taylor]: Taking taylor expansion of phi2 in phi1 6.304 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.304 * [taylor]: Taking taylor expansion of phi1 in phi1 6.305 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 6.305 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 6.305 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.305 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 6.305 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.305 * [taylor]: Taking taylor expansion of phi2 in phi1 6.305 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.305 * [taylor]: Taking taylor expansion of phi1 in phi1 6.305 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 6.305 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 6.305 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.305 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 6.305 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.305 * [taylor]: Taking taylor expansion of phi2 in phi2 6.305 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.305 * [taylor]: Taking taylor expansion of phi1 in phi2 6.305 * [taylor]: Taking taylor expansion of 0 in phi2 6.305 * [taylor]: Taking taylor expansion of 0 in phi2 6.305 * [taylor]: Taking taylor expansion of 0 in phi2 6.305 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 6.306 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 6.306 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 6.306 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 6.306 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.306 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 6.306 * [taylor]: Taking taylor expansion of phi1 in phi2 6.306 * [taylor]: Taking taylor expansion of phi2 in phi2 6.306 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 6.306 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 6.306 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.306 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 6.306 * [taylor]: Taking taylor expansion of phi1 in phi1 6.306 * [taylor]: Taking taylor expansion of phi2 in phi1 6.306 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 6.306 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 6.306 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.306 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 6.306 * [taylor]: Taking taylor expansion of phi1 in phi1 6.306 * [taylor]: Taking taylor expansion of phi2 in phi1 6.306 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 6.306 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.306 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.306 * [taylor]: Taking taylor expansion of phi2 in phi2 6.307 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 6.307 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.307 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 6.307 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.307 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.307 * [taylor]: Taking taylor expansion of phi2 in phi2 6.307 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 6.307 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 6.307 * [taylor]: Taking taylor expansion of 0.125 in phi2 6.307 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 6.307 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.307 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.308 * [taylor]: Taking taylor expansion of phi2 in phi2 6.308 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 6.308 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 6.308 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 6.308 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 6.308 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 6.308 * [taylor]: Taking taylor expansion of -0.5 in phi2 6.308 * [taylor]: Taking taylor expansion of phi2 in phi2 6.309 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 6.309 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 6.309 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 6.309 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.309 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 6.309 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.309 * [taylor]: Taking taylor expansion of phi1 in phi2 6.309 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.309 * [taylor]: Taking taylor expansion of phi2 in phi2 6.309 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 6.309 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 6.309 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.309 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 6.309 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.309 * [taylor]: Taking taylor expansion of phi1 in phi1 6.309 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.309 * [taylor]: Taking taylor expansion of phi2 in phi1 6.309 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 6.309 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 6.309 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.309 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 6.309 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.309 * [taylor]: Taking taylor expansion of phi1 in phi1 6.310 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.310 * [taylor]: Taking taylor expansion of phi2 in phi1 6.310 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 6.310 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 6.310 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.310 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 6.310 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.310 * [taylor]: Taking taylor expansion of phi1 in phi2 6.310 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.310 * [taylor]: Taking taylor expansion of phi2 in phi2 6.310 * [taylor]: Taking taylor expansion of 0 in phi2 6.310 * [taylor]: Taking taylor expansion of 0 in phi2 6.310 * [taylor]: Taking taylor expansion of 0 in phi2 6.310 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 6.310 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 6.310 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 6.310 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.310 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 6.310 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.310 * [taylor]: Taking taylor expansion of phi2 in phi2 6.310 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.311 * [taylor]: Taking taylor expansion of phi1 in phi2 6.311 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 6.311 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 6.311 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.311 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 6.311 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.311 * [taylor]: Taking taylor expansion of phi2 in phi1 6.311 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.311 * [taylor]: Taking taylor expansion of phi1 in phi1 6.311 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 6.311 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 6.311 * [taylor]: Taking taylor expansion of 0.5 in phi1 6.311 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 6.311 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 6.311 * [taylor]: Taking taylor expansion of phi2 in phi1 6.311 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 6.311 * [taylor]: Taking taylor expansion of phi1 in phi1 6.311 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 6.311 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 6.311 * [taylor]: Taking taylor expansion of 0.5 in phi2 6.311 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 6.311 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 6.311 * [taylor]: Taking taylor expansion of phi2 in phi2 6.311 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 6.311 * [taylor]: Taking taylor expansion of phi1 in phi2 6.312 * [taylor]: Taking taylor expansion of 0 in phi2 6.312 * [taylor]: Taking taylor expansion of 0 in phi2 6.312 * [taylor]: Taking taylor expansion of 0 in phi2 6.312 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 6.312 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 6.312 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 6.312 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 6.312 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.312 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 6.312 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.312 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.312 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 6.312 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 6.312 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.312 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 6.312 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.312 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.312 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 6.312 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 6.312 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.312 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 6.312 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.312 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.313 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 6.313 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.313 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.313 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.313 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 6.313 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.313 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 6.313 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.313 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.313 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.314 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 6.314 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 6.314 * [taylor]: Taking taylor expansion of 0.125 in lambda2 6.314 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 6.314 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.314 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.314 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.315 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 6.315 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 6.315 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 6.315 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 6.315 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.315 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.315 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.315 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 6.315 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 6.315 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 6.315 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.315 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 6.315 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.315 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.315 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.315 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.315 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 6.315 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 6.315 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.315 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 6.315 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.315 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.315 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.315 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.316 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 6.316 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 6.316 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.316 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 6.316 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.316 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.316 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.316 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.316 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 6.316 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 6.316 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.316 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 6.316 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.316 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.316 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.316 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.316 * [taylor]: Taking taylor expansion of 0 in lambda2 6.316 * [taylor]: Taking taylor expansion of 0 in lambda2 6.316 * [taylor]: Taking taylor expansion of 0 in lambda2 6.317 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 6.317 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 6.317 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 6.317 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.317 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 6.317 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.317 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.317 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.317 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.317 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 6.317 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 6.317 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.317 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 6.317 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.317 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.317 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.317 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.317 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 6.317 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 6.317 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.317 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 6.317 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.317 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.317 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.317 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.317 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 6.317 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 6.317 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.318 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 6.318 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.318 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.318 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.318 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.318 * [taylor]: Taking taylor expansion of 0 in lambda2 6.318 * [taylor]: Taking taylor expansion of 0 in lambda2 6.318 * [taylor]: Taking taylor expansion of 0 in lambda2 6.318 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 6.318 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 6.318 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 6.318 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 6.318 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.318 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 6.318 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.318 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.318 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 6.318 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 6.318 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.318 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 6.318 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.318 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.319 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 6.319 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 6.319 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.319 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 6.319 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.319 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.319 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 6.319 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.319 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.319 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.319 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 6.319 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.319 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 6.319 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.319 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.319 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.320 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 6.320 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 6.320 * [taylor]: Taking taylor expansion of 0.125 in lambda2 6.320 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 6.320 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.320 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.320 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.321 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 6.321 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 6.321 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 6.321 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 6.321 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 6.321 * [taylor]: Taking taylor expansion of -0.5 in lambda2 6.321 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.321 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 6.321 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 6.321 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 6.321 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.321 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 6.321 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.321 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.321 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.321 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.322 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 6.322 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 6.322 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.322 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 6.322 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.322 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.322 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.322 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.322 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 6.322 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 6.322 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.322 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 6.322 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.322 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.322 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.322 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.322 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 6.322 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 6.322 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.322 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 6.322 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.322 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.322 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.322 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.323 * [taylor]: Taking taylor expansion of 0 in lambda2 6.323 * [taylor]: Taking taylor expansion of 0 in lambda2 6.323 * [taylor]: Taking taylor expansion of 0 in lambda2 6.323 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 6.323 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 6.323 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 6.323 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.323 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 6.323 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.323 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.323 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.323 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.323 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 6.323 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 6.323 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.323 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 6.323 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.323 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.324 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.324 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.324 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 6.324 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 6.324 * [taylor]: Taking taylor expansion of 0.5 in lambda1 6.324 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 6.324 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 6.324 * [taylor]: Taking taylor expansion of lambda2 in lambda1 6.324 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 6.324 * [taylor]: Taking taylor expansion of lambda1 in lambda1 6.324 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 6.324 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 6.324 * [taylor]: Taking taylor expansion of 0.5 in lambda2 6.324 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 6.324 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 6.324 * [taylor]: Taking taylor expansion of lambda2 in lambda2 6.324 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 6.324 * [taylor]: Taking taylor expansion of lambda1 in lambda2 6.325 * [taylor]: Taking taylor expansion of 0 in lambda2 6.325 * [taylor]: Taking taylor expansion of 0 in lambda2 6.325 * [taylor]: Taking taylor expansion of 0 in lambda2 6.325 * * * [progress]: simplifying candidates 6.326 * [simplify]: Simplifying using # : (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (* (* (sin (/ (- phi1 phi2) 2.0)) (sin (/ (- phi1 phi2) 2.0))) (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (* (* (sin (/ (- phi1 phi2) 2.0)) (sin (/ (- phi1 phi2) 2.0))) (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 phi1) (+ (* 0.5 phi2) (* 0.020833333333333332 (pow phi1 3)))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 phi1) (+ (* 0.5 phi2) (* 0.020833333333333332 (pow phi1 3)))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 6.326 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 6.327 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 6.328 * * [simplify]: iteration done : 9 enodes (cost 9 ) 6.329 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 6.330 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 6.331 * * [simplify]: iteration done : 9 enodes (cost 9 ) 6.331 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 6.332 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 6.333 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 6.335 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 6.337 * * [simplify]: iteration done : 17 enodes (cost 7 ) 6.338 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 6.339 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 6.340 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 6.342 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 6.343 * * [simplify]: iteration done : 17 enodes (cost 7 ) 6.344 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 6.350 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 6.352 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 6.354 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 6.356 * * [simplify]: iteration done : 18 enodes (cost 15 ) 6.356 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 6.357 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 6.358 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 6.360 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 6.361 * * [simplify]: iteration done : 17 enodes (cost 7 ) 6.362 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 6.363 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 6.365 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 6.367 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 6.370 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 6.374 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 6.379 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 6.390 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 6.441 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 6.926 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 9.263 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 9.263 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.264 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 9.265 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.267 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 9.269 * * [simplify]: iteration done : 17 enodes (cost 7 ) 9.269 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.270 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 9.271 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.273 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 9.275 * * [simplify]: iteration done : 17 enodes (cost 7 ) 9.275 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 9.276 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 9.277 * * [simplify]: iteration done : 9 enodes (cost 9 ) 9.278 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 9.279 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 9.280 * * [simplify]: iteration done : 9 enodes (cost 9 ) 9.280 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.281 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 9.287 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.289 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 9.291 * * [simplify]: iteration done : 17 enodes (cost 7 ) 9.292 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.292 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 9.294 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.295 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 9.297 * * [simplify]: iteration done : 17 enodes (cost 7 ) 9.298 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 9.299 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 9.300 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 9.302 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 9.304 * * [simplify]: iteration done : 18 enodes (cost 15 ) 9.305 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.306 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 9.307 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.309 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 9.310 * * [simplify]: iteration done : 17 enodes (cost 7 ) 9.311 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 9.312 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 9.314 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 9.316 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 9.319 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 9.322 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 9.327 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 9.338 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 9.388 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 9.867 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 12.216 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 12.216 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.217 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 12.218 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 12.220 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 12.222 * * [simplify]: iteration done : 17 enodes (cost 7 ) 12.223 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.228 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 12.230 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 12.231 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 12.233 * * [simplify]: iteration done : 17 enodes (cost 7 ) 12.234 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 12.235 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 12.236 * * [simplify]: iteration done : 9 enodes (cost 9 ) 12.237 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 12.238 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 12.239 * * [simplify]: iteration done : 9 enodes (cost 9 ) 12.239 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.240 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 12.241 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 12.243 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 12.245 * * [simplify]: iteration done : 17 enodes (cost 7 ) 12.246 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.246 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 12.248 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 12.249 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 12.251 * * [simplify]: iteration done : 17 enodes (cost 7 ) 12.252 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 12.253 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 12.254 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 12.256 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 12.258 * * [simplify]: iteration done : 18 enodes (cost 15 ) 12.259 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.259 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 12.261 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 12.262 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 12.264 * * [simplify]: iteration done : 17 enodes (cost 7 ) 12.265 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 12.266 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 12.268 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 12.270 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 12.273 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 12.276 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 12.281 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 12.296 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 12.343 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 12.816 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 15.160 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 15.161 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.161 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 15.163 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 15.164 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 15.166 * * [simplify]: iteration done : 17 enodes (cost 7 ) 15.167 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.167 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 15.169 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 15.170 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 15.172 * * [simplify]: iteration done : 17 enodes (cost 7 ) 15.173 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 15.174 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 15.175 * * [simplify]: iteration done : 9 enodes (cost 9 ) 15.176 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 15.177 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 15.178 * * [simplify]: iteration done : 9 enodes (cost 9 ) 15.179 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.180 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 15.182 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 15.183 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 15.185 * * [simplify]: iteration done : 17 enodes (cost 7 ) 15.185 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.186 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 15.188 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 15.189 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 15.191 * * [simplify]: iteration done : 17 enodes (cost 7 ) 15.192 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 15.193 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 15.194 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 15.196 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 15.198 * * [simplify]: iteration done : 18 enodes (cost 15 ) 15.198 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 15.199 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 15.200 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 15.202 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 15.204 * * [simplify]: iteration done : 17 enodes (cost 7 ) 15.204 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 15.205 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 15.207 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 15.209 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 15.212 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 15.216 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 15.224 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 15.236 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 15.287 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 15.759 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 18.058 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 18.059 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 18.060 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 18.061 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 18.063 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 18.065 * * [simplify]: iteration done : 17 enodes (cost 7 ) 18.066 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 18.067 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 18.068 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 18.070 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 18.071 * * [simplify]: iteration done : 17 enodes (cost 7 ) 18.072 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 18.074 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 18.078 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 18.088 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 18.129 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 18.261 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 19.930 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 22.375 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 22.375 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 22.376 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 22.377 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 22.379 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 22.382 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 22.385 * * [simplify]: iteration done : 25 enodes (cost 6 ) 22.385 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 22.386 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 22.387 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 22.389 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 22.392 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 22.395 * * [simplify]: iteration done : 25 enodes (cost 6 ) 22.396 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 22.397 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 22.401 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 22.411 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 22.453 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 22.585 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 24.275 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 26.517 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 26.518 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 26.518 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 26.520 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 26.522 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 26.529 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 26.532 * * [simplify]: iteration done : 25 enodes (cost 6 ) 26.532 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 26.533 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 26.534 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 26.536 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 26.540 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 26.543 * * [simplify]: iteration done : 25 enodes (cost 6 ) 26.543 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 26.545 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 26.549 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 26.559 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 26.601 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 26.734 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 28.423 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 30.653 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 30.654 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 30.655 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 30.656 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 30.658 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 30.660 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 30.663 * * [simplify]: iteration done : 25 enodes (cost 6 ) 30.664 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 30.665 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 30.666 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 30.671 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 30.674 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 30.677 * * [simplify]: iteration done : 25 enodes (cost 6 ) 30.678 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 30.680 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 30.684 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 30.693 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 30.734 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 30.865 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 32.524 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 34.724 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 34.725 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 34.725 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 34.727 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 34.729 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 34.731 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 34.734 * * [simplify]: iteration done : 25 enodes (cost 6 ) 34.735 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 34.735 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 34.737 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 34.739 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 34.742 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 34.745 * * [simplify]: iteration done : 25 enodes (cost 6 ) 34.745 * [simplify]: Simplified to: (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 3) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 3) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- phi1 phi2)) (* 0.020833333333333332 (pow phi1 3))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 (- phi1 phi2)) (* 0.020833333333333332 (pow phi1 3))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 34.746 * * * [progress]: adding candidates to table 34.991 * * [progress]: iteration 2 / 4 34.991 * * * [progress]: picking best candidate 35.097 * * * * [pick]: Picked # 35.097 * * * [progress]: localizing error 35.148 * * * [progress]: generating rewritten candidates 35.149 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 35.155 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 35.161 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 35.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 35.178 * * * [progress]: generating series expansions 35.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 35.178 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 35.178 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 35.178 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 35.178 * [taylor]: Taking taylor expansion of 0.5 in phi2 35.178 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 35.178 * [taylor]: Taking taylor expansion of phi1 in phi2 35.178 * [taylor]: Taking taylor expansion of phi2 in phi2 35.178 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 35.178 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 35.178 * [taylor]: Taking taylor expansion of 0.5 in phi1 35.178 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 35.178 * [taylor]: Taking taylor expansion of phi1 in phi1 35.178 * [taylor]: Taking taylor expansion of phi2 in phi1 35.178 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 35.178 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 35.178 * [taylor]: Taking taylor expansion of 0.5 in phi1 35.178 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 35.179 * [taylor]: Taking taylor expansion of phi1 in phi1 35.179 * [taylor]: Taking taylor expansion of phi2 in phi1 35.179 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 35.179 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 35.179 * [taylor]: Taking taylor expansion of -0.5 in phi2 35.179 * [taylor]: Taking taylor expansion of phi2 in phi2 35.179 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 35.179 * [taylor]: Taking taylor expansion of 0.5 in phi2 35.179 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 35.179 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 35.179 * [taylor]: Taking taylor expansion of -0.5 in phi2 35.179 * [taylor]: Taking taylor expansion of phi2 in phi2 35.180 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 35.180 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 35.180 * [taylor]: Taking taylor expansion of 0.125 in phi2 35.180 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 35.180 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 35.180 * [taylor]: Taking taylor expansion of -0.5 in phi2 35.180 * [taylor]: Taking taylor expansion of phi2 in phi2 35.181 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 35.181 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 35.181 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 35.181 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 35.181 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 35.181 * [taylor]: Taking taylor expansion of -0.5 in phi2 35.181 * [taylor]: Taking taylor expansion of phi2 in phi2 35.182 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 35.182 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 35.182 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 35.182 * [taylor]: Taking taylor expansion of 0.5 in phi2 35.182 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 35.182 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 35.182 * [taylor]: Taking taylor expansion of phi1 in phi2 35.182 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 35.182 * [taylor]: Taking taylor expansion of phi2 in phi2 35.182 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 35.182 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 35.182 * [taylor]: Taking taylor expansion of 0.5 in phi1 35.182 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 35.182 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 35.182 * [taylor]: Taking taylor expansion of phi1 in phi1 35.182 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 35.182 * [taylor]: Taking taylor expansion of phi2 in phi1 35.182 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 35.182 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 35.182 * [taylor]: Taking taylor expansion of 0.5 in phi1 35.182 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 35.182 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 35.182 * [taylor]: Taking taylor expansion of phi1 in phi1 35.182 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 35.182 * [taylor]: Taking taylor expansion of phi2 in phi1 35.183 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 35.183 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 35.183 * [taylor]: Taking taylor expansion of 0.5 in phi2 35.183 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 35.183 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 35.183 * [taylor]: Taking taylor expansion of phi1 in phi2 35.183 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 35.183 * [taylor]: Taking taylor expansion of phi2 in phi2 35.183 * [taylor]: Taking taylor expansion of 0 in phi2 35.183 * [taylor]: Taking taylor expansion of 0 in phi2 35.183 * [taylor]: Taking taylor expansion of 0 in phi2 35.183 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 35.183 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 35.183 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 35.183 * [taylor]: Taking taylor expansion of 0.5 in phi2 35.183 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 35.183 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 35.183 * [taylor]: Taking taylor expansion of phi2 in phi2 35.183 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 35.183 * [taylor]: Taking taylor expansion of phi1 in phi2 35.184 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 35.184 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 35.184 * [taylor]: Taking taylor expansion of 0.5 in phi1 35.184 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 35.184 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 35.184 * [taylor]: Taking taylor expansion of phi2 in phi1 35.184 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 35.184 * [taylor]: Taking taylor expansion of phi1 in phi1 35.184 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 35.184 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 35.184 * [taylor]: Taking taylor expansion of 0.5 in phi1 35.184 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 35.184 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 35.184 * [taylor]: Taking taylor expansion of phi2 in phi1 35.184 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 35.184 * [taylor]: Taking taylor expansion of phi1 in phi1 35.184 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 35.184 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 35.184 * [taylor]: Taking taylor expansion of 0.5 in phi2 35.184 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 35.184 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 35.184 * [taylor]: Taking taylor expansion of phi2 in phi2 35.184 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 35.184 * [taylor]: Taking taylor expansion of phi1 in phi2 35.185 * [taylor]: Taking taylor expansion of 0 in phi2 35.185 * [taylor]: Taking taylor expansion of 0 in phi2 35.185 * [taylor]: Taking taylor expansion of 0 in phi2 35.185 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 35.185 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 35.185 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 35.185 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 35.185 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.185 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 35.185 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.185 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.185 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 35.185 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 35.185 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.185 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 35.185 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.185 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.185 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 35.185 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 35.185 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.185 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 35.185 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.185 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.186 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 35.186 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.186 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.186 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.186 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 35.186 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.186 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 35.186 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.186 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.186 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.187 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 35.187 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 35.187 * [taylor]: Taking taylor expansion of 0.125 in lambda2 35.187 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 35.187 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.187 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.187 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.188 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 35.188 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 35.188 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 35.188 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 35.188 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.188 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.188 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 35.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 35.188 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 35.188 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.188 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 35.188 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.188 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.188 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 35.189 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 35.189 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.189 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 35.189 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.189 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.189 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.189 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.189 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 35.189 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 35.189 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.189 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 35.189 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.189 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.189 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.189 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.189 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 35.189 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 35.189 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.189 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 35.189 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.189 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.189 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.189 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.189 * [taylor]: Taking taylor expansion of 0 in lambda2 35.189 * [taylor]: Taking taylor expansion of 0 in lambda2 35.190 * [taylor]: Taking taylor expansion of 0 in lambda2 35.190 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 35.190 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 35.190 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 35.190 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.190 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 35.190 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.190 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.190 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.190 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.190 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 35.190 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 35.190 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.190 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 35.190 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.190 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.190 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.190 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.190 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 35.190 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 35.190 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.190 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 35.190 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.190 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.190 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.190 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.191 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 35.191 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 35.191 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.191 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 35.191 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.191 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.191 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.191 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.191 * [taylor]: Taking taylor expansion of 0 in lambda2 35.191 * [taylor]: Taking taylor expansion of 0 in lambda2 35.191 * [taylor]: Taking taylor expansion of 0 in lambda2 35.191 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 35.191 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 35.191 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 35.191 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 35.191 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.191 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 35.191 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.191 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.191 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 35.192 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 35.192 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.192 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 35.192 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.192 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.192 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 35.192 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 35.192 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.192 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 35.192 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.192 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.192 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 35.192 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.192 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.192 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.192 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 35.192 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.192 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 35.192 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.193 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.193 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.193 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 35.193 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 35.193 * [taylor]: Taking taylor expansion of 0.125 in lambda2 35.193 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 35.193 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.193 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.193 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.194 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 35.194 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 35.194 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 35.194 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 35.194 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.194 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.194 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.194 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 35.194 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 35.194 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 35.194 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.195 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.195 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.195 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.195 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 35.195 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 35.195 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.195 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.195 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.195 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.195 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 35.195 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 35.195 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.195 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.195 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.195 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.195 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 35.195 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 35.195 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.195 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.195 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.195 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.195 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.196 * [taylor]: Taking taylor expansion of 0 in lambda2 35.196 * [taylor]: Taking taylor expansion of 0 in lambda2 35.196 * [taylor]: Taking taylor expansion of 0 in lambda2 35.196 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 35.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 35.196 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 35.196 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.196 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 35.196 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.196 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.196 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.196 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 35.196 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 35.196 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.196 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 35.196 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.196 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.196 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.196 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 35.197 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 35.197 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.197 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 35.197 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.197 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.197 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.197 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 35.197 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 35.197 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.197 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 35.197 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.197 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.197 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.197 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.197 * [taylor]: Taking taylor expansion of 0 in lambda2 35.197 * [taylor]: Taking taylor expansion of 0 in lambda2 35.197 * [taylor]: Taking taylor expansion of 0 in lambda2 35.198 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 35.198 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 35.198 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 35.198 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 35.198 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.198 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 35.198 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.198 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.198 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 35.198 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 35.198 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.198 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 35.198 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.198 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.198 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 35.198 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 35.198 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.198 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 35.198 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.198 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.198 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 35.198 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.199 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.199 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.199 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 35.199 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.199 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 35.199 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.199 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.199 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.200 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 35.200 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 35.200 * [taylor]: Taking taylor expansion of 0.125 in lambda2 35.200 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 35.200 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.200 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.200 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.201 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 35.201 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 35.201 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 35.201 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 35.201 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 35.201 * [taylor]: Taking taylor expansion of -0.5 in lambda2 35.201 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.201 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 35.201 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 35.201 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 35.201 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.201 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 35.201 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.201 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.201 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.201 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.201 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 35.201 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 35.201 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.201 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 35.201 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.201 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.202 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.202 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.202 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 35.202 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 35.202 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.202 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 35.202 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.202 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.202 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.202 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.202 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 35.202 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 35.202 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.202 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 35.202 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.202 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.202 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.202 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.202 * [taylor]: Taking taylor expansion of 0 in lambda2 35.202 * [taylor]: Taking taylor expansion of 0 in lambda2 35.202 * [taylor]: Taking taylor expansion of 0 in lambda2 35.203 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 35.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 35.203 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 35.203 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.203 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 35.203 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.203 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.203 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.203 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 35.203 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 35.203 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.203 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 35.203 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.203 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.203 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.203 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 35.203 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 35.203 * [taylor]: Taking taylor expansion of 0.5 in lambda1 35.203 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 35.203 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 35.203 * [taylor]: Taking taylor expansion of lambda2 in lambda1 35.203 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 35.203 * [taylor]: Taking taylor expansion of lambda1 in lambda1 35.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 35.203 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 35.204 * [taylor]: Taking taylor expansion of 0.5 in lambda2 35.204 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 35.204 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 35.204 * [taylor]: Taking taylor expansion of lambda2 in lambda2 35.204 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 35.204 * [taylor]: Taking taylor expansion of lambda1 in lambda2 35.204 * [taylor]: Taking taylor expansion of 0 in lambda2 35.204 * [taylor]: Taking taylor expansion of 0 in lambda2 35.204 * [taylor]: Taking taylor expansion of 0 in lambda2 35.204 * * * [progress]: simplifying candidates 35.205 * [simplify]: Simplifying using # : (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (* (* (sin (/ (- phi1 phi2) 2.0)) (sin (/ (- phi1 phi2) 2.0))) (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 phi1) (+ (* 0.5 phi2) (* 0.020833333333333332 (pow phi1 3)))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 35.205 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 35.206 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 35.207 * * [simplify]: iteration done : 9 enodes (cost 9 ) 35.208 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 35.209 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 35.210 * * [simplify]: iteration done : 9 enodes (cost 9 ) 35.210 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 35.211 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 35.213 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 35.214 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 35.216 * * [simplify]: iteration done : 17 enodes (cost 7 ) 35.216 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 35.217 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 35.219 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 35.220 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 35.222 * * [simplify]: iteration done : 17 enodes (cost 7 ) 35.223 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 35.224 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 35.225 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 35.227 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 35.229 * * [simplify]: iteration done : 18 enodes (cost 15 ) 35.230 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 35.231 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 35.232 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 35.234 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 35.236 * * [simplify]: iteration done : 17 enodes (cost 7 ) 35.236 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 35.237 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 35.239 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 35.241 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 35.244 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 35.248 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 35.253 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 35.268 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 35.320 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 35.794 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 38.099 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 38.100 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.101 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 38.102 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 38.104 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.106 * * [simplify]: iteration done : 17 enodes (cost 7 ) 38.106 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.107 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 38.109 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 38.110 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.112 * * [simplify]: iteration done : 17 enodes (cost 7 ) 38.112 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.113 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 38.114 * * [simplify]: iteration done : 9 enodes (cost 9 ) 38.115 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.116 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 38.117 * * [simplify]: iteration done : 9 enodes (cost 9 ) 38.117 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.118 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 38.119 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 38.121 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.123 * * [simplify]: iteration done : 17 enodes (cost 7 ) 38.123 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.124 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 38.126 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 38.127 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.129 * * [simplify]: iteration done : 17 enodes (cost 7 ) 38.129 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 38.130 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 38.132 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 38.134 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 38.136 * * [simplify]: iteration done : 18 enodes (cost 15 ) 38.136 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.137 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 38.139 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 38.140 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 38.142 * * [simplify]: iteration done : 17 enodes (cost 7 ) 38.143 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 38.144 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 38.146 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 38.148 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 38.154 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 38.158 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 38.163 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 38.174 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 38.225 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 38.691 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 40.981 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 40.982 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 40.984 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 40.985 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 40.987 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 40.989 * * [simplify]: iteration done : 17 enodes (cost 7 ) 40.989 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 40.990 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 40.991 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 40.993 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 40.995 * * [simplify]: iteration done : 17 enodes (cost 7 ) 40.996 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 40.997 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 40.998 * * [simplify]: iteration done : 9 enodes (cost 9 ) 40.998 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 40.999 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 41.000 * * [simplify]: iteration done : 9 enodes (cost 9 ) 41.001 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 41.002 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 41.003 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 41.005 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 41.007 * * [simplify]: iteration done : 17 enodes (cost 7 ) 41.008 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 41.008 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 41.010 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 41.011 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 41.013 * * [simplify]: iteration done : 17 enodes (cost 7 ) 41.014 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 41.015 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 41.016 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 41.018 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 41.020 * * [simplify]: iteration done : 18 enodes (cost 15 ) 41.020 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 41.021 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 41.022 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 41.027 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 41.029 * * [simplify]: iteration done : 17 enodes (cost 7 ) 41.029 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 41.031 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 41.032 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 41.034 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 41.037 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 41.041 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 41.046 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 41.057 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 41.106 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 41.564 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 43.852 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 43.853 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 43.854 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 43.855 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 43.857 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 43.858 * * [simplify]: iteration done : 17 enodes (cost 7 ) 43.859 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 43.860 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 43.861 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 43.863 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 43.864 * * [simplify]: iteration done : 17 enodes (cost 7 ) 43.865 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 43.866 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 43.867 * * [simplify]: iteration done : 9 enodes (cost 9 ) 43.868 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 43.869 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 43.870 * * [simplify]: iteration done : 9 enodes (cost 9 ) 43.870 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 43.871 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 43.873 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 43.874 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 43.876 * * [simplify]: iteration done : 17 enodes (cost 7 ) 43.877 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 43.877 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 43.879 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 43.884 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 43.885 * * [simplify]: iteration done : 17 enodes (cost 7 ) 43.886 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 43.887 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 43.889 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 43.890 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 43.892 * * [simplify]: iteration done : 18 enodes (cost 15 ) 43.893 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 43.894 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 43.895 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 43.897 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 43.899 * * [simplify]: iteration done : 17 enodes (cost 7 ) 43.900 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 43.901 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 43.902 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 43.905 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 43.908 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 43.911 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 43.916 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 43.927 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 43.977 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 44.446 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 46.964 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 46.965 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 46.966 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 46.967 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 46.969 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 46.970 * * [simplify]: iteration done : 17 enodes (cost 7 ) 46.971 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 46.972 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 46.973 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 46.975 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 46.977 * * [simplify]: iteration done : 17 enodes (cost 7 ) 46.977 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 46.984 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 46.988 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 46.998 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 47.033 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 47.169 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 48.864 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 51.108 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 51.109 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.110 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 51.111 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 51.113 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 51.116 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 51.119 * * [simplify]: iteration done : 25 enodes (cost 6 ) 51.119 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.120 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 51.121 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 51.123 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 51.126 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 51.129 * * [simplify]: iteration done : 25 enodes (cost 6 ) 51.130 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 51.131 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 51.135 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 51.149 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 51.187 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 51.322 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 53.002 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 55.208 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 55.209 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 55.210 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 55.211 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 55.213 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 55.216 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 55.219 * * [simplify]: iteration done : 25 enodes (cost 6 ) 55.220 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 55.220 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 55.221 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 55.223 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 55.226 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 55.229 * * [simplify]: iteration done : 25 enodes (cost 6 ) 55.230 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 55.231 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 55.235 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 55.249 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 55.286 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 55.420 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 57.095 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 59.322 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 59.322 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 59.323 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 59.324 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 59.326 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 59.329 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 59.332 * * [simplify]: iteration done : 25 enodes (cost 6 ) 59.333 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 59.333 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 59.334 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 59.337 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 59.339 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 59.342 * * [simplify]: iteration done : 25 enodes (cost 6 ) 59.343 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 59.344 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 59.349 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 59.359 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 59.400 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 59.536 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 61.207 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 63.416 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 63.417 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 63.418 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 63.419 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 63.421 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 63.424 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 63.427 * * [simplify]: iteration done : 25 enodes (cost 6 ) 63.427 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 63.428 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 63.429 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 63.431 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 63.434 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 63.437 * * [simplify]: iteration done : 25 enodes (cost 6 ) 63.438 * [simplify]: Simplified to: (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 3) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- phi1 phi2)) (* 0.020833333333333332 (pow phi1 3))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 63.438 * * * [progress]: adding candidates to table 63.722 * * [progress]: iteration 3 / 4 63.722 * * * [progress]: picking best candidate 63.864 * * * * [pick]: Picked # 63.864 * * * [progress]: localizing error 63.915 * * * [progress]: generating rewritten candidates 63.915 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 63.921 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 63.927 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 63.933 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 63.940 * * * [progress]: generating series expansions 63.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 63.940 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 63.941 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 63.941 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 63.941 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.941 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 63.941 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.941 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.941 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.941 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.941 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.941 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.941 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.941 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.941 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.941 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.941 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.941 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.941 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.941 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.941 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.941 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.941 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.941 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.942 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 63.942 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.942 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.942 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.942 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.942 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.942 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 63.942 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 63.942 * [taylor]: Taking taylor expansion of 0.125 in lambda2 63.942 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.942 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.942 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.942 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.943 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 63.943 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 63.943 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 63.943 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.943 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.943 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.943 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.944 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 63.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.944 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.944 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.944 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.944 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.944 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.944 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.944 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.944 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.944 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.944 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.944 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.944 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.944 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.944 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.944 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.944 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.944 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.944 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.944 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.944 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.944 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.945 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.945 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.945 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.945 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.945 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.945 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.945 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.945 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.945 * [taylor]: Taking taylor expansion of 0 in lambda2 63.945 * [taylor]: Taking taylor expansion of 0 in lambda2 63.945 * [taylor]: Taking taylor expansion of 0 in lambda2 63.945 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 63.945 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.945 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.945 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.945 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.945 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.945 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.945 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.945 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.946 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.946 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.946 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.946 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.946 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.946 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.946 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.946 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.946 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.946 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.946 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.946 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.946 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.946 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.946 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.946 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.946 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.946 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.946 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.946 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.946 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.946 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.946 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.946 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.947 * [taylor]: Taking taylor expansion of 0 in lambda2 63.947 * [taylor]: Taking taylor expansion of 0 in lambda2 63.947 * [taylor]: Taking taylor expansion of 0 in lambda2 63.947 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 63.947 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 63.947 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 63.947 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 63.947 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.947 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 63.947 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.947 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.947 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.947 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.947 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.947 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.947 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.947 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.947 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.947 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.947 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.947 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.947 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.947 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.948 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.948 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.948 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.948 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.948 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 63.948 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.948 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.948 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.948 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.948 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.949 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 63.949 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 63.949 * [taylor]: Taking taylor expansion of 0.125 in lambda2 63.949 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.949 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.949 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.949 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.950 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 63.950 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 63.950 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 63.950 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.950 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.950 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.950 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.950 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 63.950 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.950 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.950 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.950 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.950 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.950 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.950 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.950 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.950 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.950 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.950 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.950 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.950 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.950 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.950 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.950 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.951 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.951 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.951 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.951 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.951 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.951 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.951 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.951 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.951 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.951 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.951 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.951 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.951 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.951 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.951 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.951 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.951 * [taylor]: Taking taylor expansion of 0 in lambda2 63.951 * [taylor]: Taking taylor expansion of 0 in lambda2 63.951 * [taylor]: Taking taylor expansion of 0 in lambda2 63.952 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 63.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.952 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.952 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.952 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.952 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.952 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.952 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.952 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.952 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.952 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.952 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.952 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.952 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.952 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.952 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.952 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.952 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.952 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.952 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.952 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.952 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.952 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.953 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.953 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.953 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.953 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.953 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.953 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.953 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.953 * [taylor]: Taking taylor expansion of 0 in lambda2 63.953 * [taylor]: Taking taylor expansion of 0 in lambda2 63.953 * [taylor]: Taking taylor expansion of 0 in lambda2 63.953 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 63.953 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 63.953 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 63.953 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 63.954 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.954 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 63.954 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.954 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.954 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.954 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.954 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.954 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.954 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.954 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.954 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.954 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.954 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.954 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.954 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.954 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.954 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.954 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.954 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.954 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.955 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 63.955 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.955 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.955 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.955 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.955 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.955 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 63.955 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 63.955 * [taylor]: Taking taylor expansion of 0.125 in lambda2 63.955 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.955 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.955 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.955 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.956 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 63.956 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 63.956 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 63.956 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.956 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.956 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.956 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.957 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 63.957 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.957 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.957 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.957 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.957 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.957 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.957 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.957 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.957 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.957 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.957 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.957 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.957 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.957 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.957 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.957 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.957 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.957 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.957 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.957 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.957 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.957 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.957 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.957 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.958 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.958 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.958 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.958 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.958 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.958 * [taylor]: Taking taylor expansion of 0 in lambda2 63.958 * [taylor]: Taking taylor expansion of 0 in lambda2 63.958 * [taylor]: Taking taylor expansion of 0 in lambda2 63.958 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 63.958 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.958 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.958 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.958 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.958 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.959 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.959 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.959 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.959 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.959 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.959 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.959 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.959 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.959 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.959 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.959 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.959 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.959 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.959 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.959 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.959 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.959 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.959 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.959 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.959 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.959 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.959 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.959 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.959 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.960 * [taylor]: Taking taylor expansion of 0 in lambda2 63.960 * [taylor]: Taking taylor expansion of 0 in lambda2 63.960 * [taylor]: Taking taylor expansion of 0 in lambda2 63.960 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 63.960 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 63.960 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 63.960 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 63.960 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.960 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 63.960 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.960 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.960 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.960 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.960 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.960 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.960 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.960 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.961 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 63.961 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 63.961 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.961 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 63.961 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.961 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.961 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.961 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.961 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.961 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.961 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 63.961 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.961 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.961 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.961 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.961 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.962 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 63.962 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 63.962 * [taylor]: Taking taylor expansion of 0.125 in lambda2 63.962 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 63.962 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.962 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.962 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.963 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 63.963 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 63.963 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 63.963 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 63.963 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 63.963 * [taylor]: Taking taylor expansion of -0.5 in lambda2 63.963 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.963 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 63.963 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.963 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.963 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.963 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.963 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.963 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.963 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.964 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.964 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.964 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.964 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.964 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.964 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.964 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 63.964 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 63.964 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 63.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.964 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.964 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.964 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 63.964 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 63.964 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 63.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.964 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.964 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.965 * [taylor]: Taking taylor expansion of 0 in lambda2 63.965 * [taylor]: Taking taylor expansion of 0 in lambda2 63.965 * [taylor]: Taking taylor expansion of 0 in lambda2 63.965 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 63.965 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.965 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.965 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.965 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.965 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.965 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.965 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.965 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.965 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.965 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.965 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.965 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.965 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.965 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.965 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.965 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.965 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 63.965 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 63.965 * [taylor]: Taking taylor expansion of 0.5 in lambda1 63.966 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 63.966 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 63.966 * [taylor]: Taking taylor expansion of lambda2 in lambda1 63.966 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 63.966 * [taylor]: Taking taylor expansion of lambda1 in lambda1 63.966 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 63.966 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 63.966 * [taylor]: Taking taylor expansion of 0.5 in lambda2 63.966 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 63.966 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 63.966 * [taylor]: Taking taylor expansion of lambda2 in lambda2 63.966 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 63.966 * [taylor]: Taking taylor expansion of lambda1 in lambda2 63.966 * [taylor]: Taking taylor expansion of 0 in lambda2 63.966 * [taylor]: Taking taylor expansion of 0 in lambda2 63.966 * [taylor]: Taking taylor expansion of 0 in lambda2 63.966 * * * [progress]: simplifying candidates 63.967 * [simplify]: Simplifying using # : (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 63.968 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 63.969 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 63.970 * * [simplify]: iteration done : 9 enodes (cost 9 ) 63.970 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 63.971 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 63.972 * * [simplify]: iteration done : 9 enodes (cost 9 ) 63.973 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 63.974 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 63.975 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 63.977 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 63.978 * * [simplify]: iteration done : 17 enodes (cost 7 ) 63.979 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 63.980 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 63.981 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 63.983 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 63.985 * * [simplify]: iteration done : 17 enodes (cost 7 ) 63.985 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 63.986 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 63.988 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 63.990 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 63.991 * * [simplify]: iteration done : 18 enodes (cost 15 ) 63.996 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 63.997 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 63.998 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 64.000 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 64.001 * * [simplify]: iteration done : 17 enodes (cost 7 ) 64.002 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 64.003 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 64.005 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 64.007 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 64.010 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 64.014 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 64.019 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 64.030 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 64.080 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 64.551 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 66.869 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 66.869 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.870 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 66.871 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 66.873 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.875 * * [simplify]: iteration done : 17 enodes (cost 7 ) 66.875 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.876 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 66.877 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 66.879 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.881 * * [simplify]: iteration done : 17 enodes (cost 7 ) 66.882 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 66.883 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 66.884 * * [simplify]: iteration done : 9 enodes (cost 9 ) 66.885 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 66.885 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 66.887 * * [simplify]: iteration done : 9 enodes (cost 9 ) 66.888 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.888 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 66.890 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 66.891 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.893 * * [simplify]: iteration done : 17 enodes (cost 7 ) 66.894 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.894 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 66.899 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 66.901 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.903 * * [simplify]: iteration done : 17 enodes (cost 7 ) 66.903 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 66.904 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 66.906 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 66.908 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 66.909 * * [simplify]: iteration done : 18 enodes (cost 15 ) 66.910 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.911 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 66.912 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 66.914 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 66.915 * * [simplify]: iteration done : 17 enodes (cost 7 ) 66.916 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 66.917 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 66.919 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 66.921 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 66.924 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 66.927 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 66.932 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 66.943 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 66.993 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 67.465 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 70.009 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 70.010 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 70.011 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 70.012 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 70.014 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 70.015 * * [simplify]: iteration done : 17 enodes (cost 7 ) 70.016 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 70.017 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 70.018 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 70.020 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 70.021 * * [simplify]: iteration done : 17 enodes (cost 7 ) 70.022 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 70.027 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 70.028 * * [simplify]: iteration done : 9 enodes (cost 9 ) 70.029 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 70.030 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 70.030 * * [simplify]: iteration done : 9 enodes (cost 9 ) 70.031 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 70.032 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 70.033 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 70.035 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 70.037 * * [simplify]: iteration done : 17 enodes (cost 7 ) 70.038 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 70.039 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 70.040 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 70.042 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 70.044 * * [simplify]: iteration done : 17 enodes (cost 7 ) 70.045 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 70.046 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 70.047 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 70.049 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 70.051 * * [simplify]: iteration done : 18 enodes (cost 15 ) 70.051 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 70.052 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 70.053 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 70.055 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 70.056 * * [simplify]: iteration done : 17 enodes (cost 7 ) 70.057 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 70.058 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 70.060 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 70.062 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 70.065 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 70.068 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 70.073 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 70.084 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 70.134 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 70.609 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 72.964 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 72.964 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.970 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 72.971 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 72.973 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 72.975 * * [simplify]: iteration done : 17 enodes (cost 7 ) 72.975 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.976 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 72.977 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 72.979 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 72.981 * * [simplify]: iteration done : 17 enodes (cost 7 ) 72.981 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 72.982 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 72.983 * * [simplify]: iteration done : 9 enodes (cost 9 ) 72.984 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 72.985 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 72.986 * * [simplify]: iteration done : 9 enodes (cost 9 ) 72.987 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.988 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 72.989 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 72.991 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 72.992 * * [simplify]: iteration done : 17 enodes (cost 7 ) 72.993 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 72.994 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 72.995 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 72.997 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 72.999 * * [simplify]: iteration done : 17 enodes (cost 7 ) 72.999 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 73.000 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 73.002 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 73.003 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 73.005 * * [simplify]: iteration done : 18 enodes (cost 15 ) 73.006 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 73.007 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 73.008 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 73.010 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 73.012 * * [simplify]: iteration done : 17 enodes (cost 7 ) 73.012 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 73.013 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 73.015 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 73.018 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 73.021 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 73.024 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 73.029 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 73.044 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 73.095 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 73.568 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 75.928 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 75.929 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 75.930 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 75.931 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 75.933 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 75.935 * * [simplify]: iteration done : 17 enodes (cost 7 ) 75.935 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 75.936 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 75.937 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 75.939 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 75.941 * * [simplify]: iteration done : 17 enodes (cost 7 ) 75.941 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 75.943 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 75.947 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 75.957 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 75.999 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 76.130 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 77.826 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 80.070 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 80.071 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.071 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 80.072 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 80.075 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 80.082 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 80.086 * * [simplify]: iteration done : 25 enodes (cost 6 ) 80.087 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.087 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 80.088 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 80.091 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 80.093 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 80.096 * * [simplify]: iteration done : 25 enodes (cost 6 ) 80.097 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 80.099 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 80.103 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 80.112 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 80.154 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 80.287 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 82.002 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 84.251 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 84.251 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 84.252 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 84.253 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 84.255 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 84.258 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 84.261 * * [simplify]: iteration done : 25 enodes (cost 6 ) 84.262 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 84.262 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 84.268 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 84.270 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 84.273 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 84.276 * * [simplify]: iteration done : 25 enodes (cost 6 ) 84.277 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 84.278 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 84.283 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 84.293 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 84.333 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 84.467 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 86.152 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 88.383 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 88.384 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.385 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 88.386 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 88.388 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 88.391 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 88.394 * * [simplify]: iteration done : 25 enodes (cost 6 ) 88.394 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 88.395 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 88.396 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 88.398 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 88.401 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 88.408 * * [simplify]: iteration done : 25 enodes (cost 6 ) 88.409 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 88.410 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 88.414 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 88.425 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 88.464 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 88.596 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 90.290 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 92.495 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 92.496 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.496 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 92.498 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 92.500 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 92.502 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 92.506 * * [simplify]: iteration done : 25 enodes (cost 6 ) 92.507 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.508 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 92.509 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 92.511 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 92.514 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 92.517 * * [simplify]: iteration done : 25 enodes (cost 6 ) 92.517 * [simplify]: Simplified to: (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 92.517 * * * [progress]: adding candidates to table 92.850 * * [progress]: iteration 4 / 4 92.850 * * * [progress]: picking best candidate 93.029 * * * * [pick]: Picked # 93.029 * * * [progress]: localizing error 93.085 * * * [progress]: generating rewritten candidates 93.085 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 93.093 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 93.099 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 93.105 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 93.112 * * * [progress]: generating series expansions 93.112 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 93.113 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 93.113 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 93.113 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 93.113 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.113 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 93.113 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.113 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.113 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.113 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.113 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.113 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.113 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.113 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.113 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.113 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.113 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.113 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.113 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.113 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.113 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.113 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.113 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.113 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.114 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 93.114 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.114 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.114 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.114 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.114 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.114 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 93.114 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 93.114 * [taylor]: Taking taylor expansion of 0.125 in lambda2 93.114 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.114 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.115 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.115 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.115 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 93.115 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 93.115 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 93.115 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.115 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.115 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.115 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.116 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 93.116 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.116 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.116 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.116 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.116 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.116 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.116 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.116 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.116 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.116 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.116 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.116 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.116 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.116 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.116 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.116 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.116 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.116 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.116 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.116 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.117 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.117 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.117 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.117 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.117 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.117 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.117 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.117 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.117 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.117 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.117 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.117 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.117 * [taylor]: Taking taylor expansion of 0 in lambda2 93.117 * [taylor]: Taking taylor expansion of 0 in lambda2 93.117 * [taylor]: Taking taylor expansion of 0 in lambda2 93.117 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 93.118 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.118 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.118 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.118 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.118 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.118 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.118 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.118 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.118 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.118 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.118 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.118 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.118 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.118 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.118 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.118 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.118 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.118 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.118 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.118 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.118 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.118 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.118 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.118 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.119 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.119 * [taylor]: Taking taylor expansion of 0 in lambda2 93.119 * [taylor]: Taking taylor expansion of 0 in lambda2 93.119 * [taylor]: Taking taylor expansion of 0 in lambda2 93.119 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 93.119 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 93.119 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 93.119 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 93.119 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.119 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 93.119 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.119 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.119 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.119 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.119 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.119 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.119 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.119 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.119 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.120 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.120 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.120 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.120 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.120 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.120 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.120 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.120 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.120 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.120 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 93.120 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.120 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.120 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.120 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.120 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.121 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 93.121 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 93.121 * [taylor]: Taking taylor expansion of 0.125 in lambda2 93.121 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.121 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.121 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.121 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.122 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 93.122 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 93.122 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 93.122 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.122 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.122 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.122 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.122 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 93.122 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.122 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.122 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.122 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.123 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.123 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.123 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.123 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.123 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.123 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.123 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.123 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.123 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.123 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.123 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.123 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.123 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.123 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.123 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.123 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.123 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.124 * [taylor]: Taking taylor expansion of 0 in lambda2 93.124 * [taylor]: Taking taylor expansion of 0 in lambda2 93.124 * [taylor]: Taking taylor expansion of 0 in lambda2 93.124 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 93.124 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.124 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.124 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.124 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.124 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.124 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.124 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.124 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.124 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.124 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.124 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.124 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.124 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.124 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.124 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.124 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.125 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.125 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.125 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.125 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.125 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.125 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.125 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.125 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.125 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.125 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.125 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.125 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.125 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.125 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.125 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.125 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.125 * [taylor]: Taking taylor expansion of 0 in lambda2 93.125 * [taylor]: Taking taylor expansion of 0 in lambda2 93.125 * [taylor]: Taking taylor expansion of 0 in lambda2 93.125 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 93.126 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 93.126 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 93.126 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 93.126 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.126 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 93.126 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.126 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.126 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.126 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.126 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.126 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.126 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.126 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.126 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.126 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.126 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.126 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.126 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.126 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.126 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.126 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.126 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.126 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.127 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 93.127 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.127 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.127 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.127 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.127 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.127 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 93.127 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 93.127 * [taylor]: Taking taylor expansion of 0.125 in lambda2 93.127 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.128 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.128 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.128 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.129 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 93.129 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 93.129 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 93.129 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.129 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.129 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.129 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.129 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 93.129 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.129 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.129 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.129 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.129 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.129 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.129 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.129 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.129 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.129 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.129 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.129 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.129 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.129 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.130 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.130 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.130 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.130 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.130 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.130 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.130 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.130 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.130 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.130 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.130 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.130 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.130 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.130 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.130 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.130 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.130 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.130 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.130 * [taylor]: Taking taylor expansion of 0 in lambda2 93.130 * [taylor]: Taking taylor expansion of 0 in lambda2 93.130 * [taylor]: Taking taylor expansion of 0 in lambda2 93.131 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 93.131 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.131 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.131 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.131 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.131 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.131 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.131 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.131 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.131 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.131 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.131 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.131 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.131 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.131 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.131 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.131 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.131 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.131 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.131 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.131 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.131 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.131 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.131 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.131 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.132 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.132 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.132 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.132 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.132 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.132 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.132 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.132 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.132 * [taylor]: Taking taylor expansion of 0 in lambda2 93.132 * [taylor]: Taking taylor expansion of 0 in lambda2 93.132 * [taylor]: Taking taylor expansion of 0 in lambda2 93.133 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 93.133 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 93.133 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 93.133 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 93.133 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.133 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 93.133 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.133 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.133 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.133 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.133 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.133 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.133 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.133 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.133 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 93.133 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 93.133 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.133 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 93.133 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.133 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.133 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.133 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.133 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.133 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.134 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 93.134 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.134 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.134 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.134 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.134 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.134 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 93.135 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 93.135 * [taylor]: Taking taylor expansion of 0.125 in lambda2 93.135 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 93.135 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.135 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.135 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.135 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 93.135 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 93.135 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 93.135 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 93.135 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 93.136 * [taylor]: Taking taylor expansion of -0.5 in lambda2 93.136 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.136 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 93.136 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.136 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.136 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.136 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.136 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.136 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.136 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.136 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.136 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.136 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.136 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.136 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.136 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.136 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.136 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.136 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.136 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 93.136 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 93.137 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.137 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 93.137 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.137 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.137 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.137 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.137 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 93.137 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 93.137 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.137 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 93.137 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.137 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.137 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.137 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.137 * [taylor]: Taking taylor expansion of 0 in lambda2 93.137 * [taylor]: Taking taylor expansion of 0 in lambda2 93.137 * [taylor]: Taking taylor expansion of 0 in lambda2 93.137 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 93.137 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.137 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.137 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.138 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.138 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.138 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.138 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.138 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.138 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.138 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.138 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.138 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.138 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 93.138 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 93.138 * [taylor]: Taking taylor expansion of 0.5 in lambda1 93.138 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 93.138 * [taylor]: Taking taylor expansion of lambda2 in lambda1 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 93.138 * [taylor]: Taking taylor expansion of lambda1 in lambda1 93.138 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 93.138 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 93.138 * [taylor]: Taking taylor expansion of 0.5 in lambda2 93.138 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 93.138 * [taylor]: Taking taylor expansion of lambda2 in lambda2 93.138 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 93.138 * [taylor]: Taking taylor expansion of lambda1 in lambda2 93.139 * [taylor]: Taking taylor expansion of 0 in lambda2 93.139 * [taylor]: Taking taylor expansion of 0 in lambda2 93.139 * [taylor]: Taking taylor expansion of 0 in lambda2 93.139 * * * [progress]: simplifying candidates 93.140 * [simplify]: Simplifying using # : (log (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt 1) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (* (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (* (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 93.140 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 93.142 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 93.144 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 93.148 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 93.153 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 93.165 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 93.216 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 93.683 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 96.272 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 96.273 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 96.274 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 96.277 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 96.281 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 96.290 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 96.301 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 96.351 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 96.812 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 99.153 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 99.154 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 99.155 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 99.159 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 99.166 * * [simplify]: iteration 3 : 85 enodes (cost 10 ) 99.182 * * [simplify]: iteration 4 : 162 enodes (cost 10 ) 99.239 * * [simplify]: iteration 5 : 396 enodes (cost 9 ) 99.531 * * [simplify]: iteration 6 : 1229 enodes (cost 9 ) 102.229 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 102.229 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 102.231 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 102.233 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 102.237 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 102.242 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 102.254 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 102.304 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 102.761 * * [simplify]: iteration 7 : 1260 enodes (cost 7 ) 105.065 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 105.066 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 105.067 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 105.070 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 105.078 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 105.083 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 105.094 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 105.146 * * [simplify]: iteration 6 : 347 enodes (cost 7 ) 105.606 * * [simplify]: iteration 7 : 1260 enodes (cost 7 ) 107.983 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 107.984 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 107.985 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 107.987 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 107.991 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 107.996 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 108.011 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 108.059 * * [simplify]: iteration 6 : 347 enodes (cost 7 ) 108.517 * * [simplify]: iteration 7 : 1260 enodes (cost 7 ) 110.901 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 110.902 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 110.903 * * [simplify]: iteration 1 : 14 enodes (cost 1 ) 110.904 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 110.904 * * [simplify]: iteration done : 18 enodes (cost 1 ) 110.905 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 110.906 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 110.908 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 110.911 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 110.916 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 110.929 * * [simplify]: iteration 5 : 128 enodes (cost 6 ) 110.981 * * [simplify]: iteration 6 : 345 enodes (cost 6 ) 111.439 * * [simplify]: iteration 7 : 1255 enodes (cost 6 ) 113.833 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 113.833 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 113.834 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 113.836 * * [simplify]: iteration 2 : 16 enodes (cost 14 ) 113.837 * * [simplify]: iteration 3 : 18 enodes (cost 14 ) 113.839 * * [simplify]: iteration done : 18 enodes (cost 14 ) 113.840 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 113.841 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 113.842 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 113.844 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 113.845 * * [simplify]: iteration done : 17 enodes (cost 7 ) 113.846 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 113.847 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 113.850 * * [simplify]: iteration 2 : 32 enodes (cost 14 ) 113.854 * * [simplify]: iteration 3 : 44 enodes (cost 14 ) 113.859 * * [simplify]: iteration 4 : 65 enodes (cost 14 ) 113.871 * * [simplify]: iteration 5 : 131 enodes (cost 14 ) 113.921 * * [simplify]: iteration 6 : 341 enodes (cost 14 ) 114.378 * * [simplify]: iteration 7 : 1262 enodes (cost 14 ) 116.727 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 116.728 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 116.729 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 116.732 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 116.736 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 116.741 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 116.758 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 116.808 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 117.260 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 119.601 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 119.601 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 119.603 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 119.608 * * [simplify]: iteration 2 : 50 enodes (cost 10 ) 119.615 * * [simplify]: iteration 3 : 85 enodes (cost 10 ) 119.629 * * [simplify]: iteration 4 : 162 enodes (cost 10 ) 119.686 * * [simplify]: iteration 5 : 396 enodes (cost 9 ) 119.980 * * [simplify]: iteration 6 : 1229 enodes (cost 9 ) 122.676 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 122.677 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 122.678 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 122.681 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 122.684 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 122.689 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 122.701 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 122.753 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 123.446 * * [simplify]: iteration 7 : 1260 enodes (cost 7 ) 125.825 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 125.825 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 125.827 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 125.830 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 125.833 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 125.847 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 125.858 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 125.910 * * [simplify]: iteration 6 : 347 enodes (cost 7 ) 126.383 * * [simplify]: iteration 7 : 1260 enodes (cost 7 ) 128.827 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 128.828 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 128.829 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 128.832 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 128.836 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 128.841 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 128.852 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 128.905 * * [simplify]: iteration 6 : 347 enodes (cost 7 ) 129.370 * * [simplify]: iteration 7 : 1260 enodes (cost 7 ) 131.797 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 131.797 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 131.798 * * [simplify]: iteration 1 : 14 enodes (cost 1 ) 131.799 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 131.799 * * [simplify]: iteration done : 18 enodes (cost 1 ) 131.800 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 131.801 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 131.803 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 131.807 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 131.812 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 131.824 * * [simplify]: iteration 5 : 128 enodes (cost 6 ) 131.876 * * [simplify]: iteration 6 : 345 enodes (cost 6 ) 132.333 * * [simplify]: iteration 7 : 1255 enodes (cost 6 ) 134.756 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 134.757 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 134.758 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 134.760 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 134.761 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 134.763 * * [simplify]: iteration done : 17 enodes (cost 7 ) 134.764 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 134.765 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 134.766 * * [simplify]: iteration 2 : 16 enodes (cost 14 ) 134.768 * * [simplify]: iteration 3 : 18 enodes (cost 14 ) 134.770 * * [simplify]: iteration done : 18 enodes (cost 14 ) 134.771 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 134.772 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 134.775 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 134.778 * * [simplify]: iteration 3 : 45 enodes (cost 10 ) 134.783 * * [simplify]: iteration 4 : 66 enodes (cost 10 ) 134.794 * * [simplify]: iteration 5 : 127 enodes (cost 10 ) 134.845 * * [simplify]: iteration 6 : 334 enodes (cost 10 ) 135.308 * * [simplify]: iteration 7 : 1263 enodes (cost 10 ) 137.717 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 137.718 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 137.719 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 137.722 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 137.726 * * [simplify]: iteration 3 : 45 enodes (cost 10 ) 137.731 * * [simplify]: iteration 4 : 66 enodes (cost 10 ) 137.743 * * [simplify]: iteration 5 : 127 enodes (cost 10 ) 137.794 * * [simplify]: iteration 6 : 334 enodes (cost 10 ) 138.256 * * [simplify]: iteration 7 : 1263 enodes (cost 10 ) 140.660 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 140.661 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 140.661 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 140.661 * * [simplify]: iteration done : 4 enodes (cost 1 ) 140.662 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 140.663 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 140.666 * * [simplify]: iteration 2 : 31 enodes (cost 6 ) 140.669 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 140.674 * * [simplify]: iteration 4 : 64 enodes (cost 6 ) 140.685 * * [simplify]: iteration 5 : 128 enodes (cost 6 ) 140.736 * * [simplify]: iteration 6 : 345 enodes (cost 6 ) 141.198 * * [simplify]: iteration 7 : 1255 enodes (cost 6 ) 143.597 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 143.598 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 143.600 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 143.602 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 143.604 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 143.609 * * [simplify]: iteration 4 : 65 enodes (cost 9 ) 143.624 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 143.669 * * [simplify]: iteration 6 : 341 enodes (cost 9 ) 144.127 * * [simplify]: iteration 7 : 1270 enodes (cost 9 ) 146.503 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 146.504 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 146.505 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 146.507 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 146.510 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 146.514 * * [simplify]: iteration 4 : 65 enodes (cost 9 ) 146.530 * * [simplify]: iteration 5 : 128 enodes (cost 9 ) 146.579 * * [simplify]: iteration 6 : 341 enodes (cost 9 ) 147.041 * * [simplify]: iteration 7 : 1270 enodes (cost 9 ) 149.450 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 149.450 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 149.452 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 149.455 * * [simplify]: iteration 2 : 33 enodes (cost 15 ) 149.459 * * [simplify]: iteration 3 : 45 enodes (cost 15 ) 149.469 * * [simplify]: iteration 4 : 66 enodes (cost 15 ) 149.480 * * [simplify]: iteration 5 : 129 enodes (cost 15 ) 149.530 * * [simplify]: iteration 6 : 339 enodes (cost 15 ) 149.997 * * [simplify]: iteration 7 : 1277 enodes (cost 15 ) 152.632 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 152.632 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 152.634 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 152.636 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 152.640 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 152.645 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 152.661 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 152.707 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 153.180 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 155.584 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 155.585 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 155.586 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 155.589 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 155.598 * * [simplify]: iteration 3 : 43 enodes (cost 8 ) 155.604 * * [simplify]: iteration 4 : 64 enodes (cost 8 ) 155.615 * * [simplify]: iteration 5 : 128 enodes (cost 8 ) 155.666 * * [simplify]: iteration 6 : 344 enodes (cost 8 ) 156.141 * * [simplify]: iteration 7 : 1269 enodes (cost 8 ) 158.552 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 158.553 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 158.554 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 158.557 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 158.560 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 158.566 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 158.585 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 158.636 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 159.092 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 161.442 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 161.443 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 161.445 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 161.447 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 161.451 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 161.456 * * [simplify]: iteration 4 : 65 enodes (cost 7 ) 161.467 * * [simplify]: iteration 5 : 131 enodes (cost 7 ) 161.519 * * [simplify]: iteration 6 : 342 enodes (cost 7 ) 161.989 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 164.324 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 164.324 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 164.325 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 164.326 * * [simplify]: iteration done : 9 enodes (cost 9 ) 164.327 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 164.328 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 164.329 * * [simplify]: iteration done : 9 enodes (cost 9 ) 164.330 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 164.331 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 164.332 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 164.333 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 164.335 * * [simplify]: iteration done : 17 enodes (cost 7 ) 164.336 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 164.337 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 164.338 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 164.340 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 164.342 * * [simplify]: iteration done : 17 enodes (cost 7 ) 164.343 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 164.343 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 164.345 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 164.347 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 164.348 * * [simplify]: iteration done : 18 enodes (cost 15 ) 164.349 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 164.350 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 164.351 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 164.353 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 164.354 * * [simplify]: iteration done : 17 enodes (cost 7 ) 164.355 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 164.356 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 164.358 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 164.360 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 164.364 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 164.367 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 164.376 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 164.387 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 164.438 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 164.915 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 167.237 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 167.238 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 167.239 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 167.240 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 167.242 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 167.243 * * [simplify]: iteration done : 17 enodes (cost 7 ) 167.244 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 167.245 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 167.246 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 167.249 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 167.250 * * [simplify]: iteration done : 17 enodes (cost 7 ) 167.251 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 167.252 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 167.253 * * [simplify]: iteration done : 9 enodes (cost 9 ) 167.253 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 167.254 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 167.255 * * [simplify]: iteration done : 9 enodes (cost 9 ) 167.256 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 167.257 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 167.258 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 167.260 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 167.261 * * [simplify]: iteration done : 17 enodes (cost 7 ) 167.262 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 167.263 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 167.264 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 167.266 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 167.267 * * [simplify]: iteration done : 17 enodes (cost 7 ) 167.268 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 167.269 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 167.270 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 167.272 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 167.274 * * [simplify]: iteration done : 18 enodes (cost 15 ) 167.274 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 167.275 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 167.276 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 167.278 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 167.280 * * [simplify]: iteration done : 17 enodes (cost 7 ) 167.280 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 167.284 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 167.286 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 167.288 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 167.291 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 167.295 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 167.300 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 167.312 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 167.363 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 167.841 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 170.173 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 170.174 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 170.174 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 170.176 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 170.177 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 170.179 * * [simplify]: iteration done : 17 enodes (cost 7 ) 170.180 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 170.181 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 170.182 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 170.184 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 170.186 * * [simplify]: iteration done : 17 enodes (cost 7 ) 170.186 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 170.187 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 170.189 * * [simplify]: iteration done : 9 enodes (cost 9 ) 170.189 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 170.190 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 170.192 * * [simplify]: iteration done : 9 enodes (cost 9 ) 170.192 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 170.193 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 170.194 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 170.196 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 170.198 * * [simplify]: iteration done : 17 enodes (cost 7 ) 170.198 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 170.199 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 170.201 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 170.202 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 170.204 * * [simplify]: iteration done : 17 enodes (cost 7 ) 170.208 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 170.209 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 170.210 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 170.212 * * [simplify]: iteration 3 : 18 enodes (cost 15 ) 170.214 * * [simplify]: iteration done : 18 enodes (cost 15 ) 170.215 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 170.215 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 170.217 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 170.218 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 170.220 * * [simplify]: iteration done : 17 enodes (cost 7 ) 170.221 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 170.222 * * [simplify]: iteration 1 : 14 enodes (cost 20 ) 170.224 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 170.226 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 170.229 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 170.233 * * [simplify]: iteration 5 : 42 enodes (cost 8 ) 170.238 * * [simplify]: iteration 6 : 63 enodes (cost 8 ) 170.250 * * [simplify]: iteration 7 : 124 enodes (cost 8 ) 170.300 * * [simplify]: iteration 8 : 339 enodes (cost 8 ) 170.775 * * [simplify]: iteration 9 : 1278 enodes (cost 8 ) 173.105 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 173.106 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 173.106 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 173.108 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 173.110 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 173.112 * * [simplify]: iteration done : 17 enodes (cost 7 ) 173.113 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 173.114 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 173.115 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 173.117 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 173.118 * * [simplify]: iteration done : 17 enodes (cost 7 ) 173.119 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 173.121 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 173.130 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 173.139 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 173.179 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 173.316 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 174.984 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 177.230 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 177.230 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 177.231 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 177.232 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 177.234 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 177.237 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 177.240 * * [simplify]: iteration done : 25 enodes (cost 6 ) 177.241 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 177.241 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 177.243 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 177.245 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 177.247 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 177.250 * * [simplify]: iteration done : 25 enodes (cost 6 ) 177.251 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 177.253 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 177.257 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 177.272 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 177.309 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 177.445 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 179.374 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 181.628 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 181.628 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 181.629 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 181.630 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 181.632 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 181.635 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 181.638 * * [simplify]: iteration done : 25 enodes (cost 6 ) 181.638 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 181.639 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 181.640 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 181.642 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 181.645 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 181.648 * * [simplify]: iteration done : 25 enodes (cost 6 ) 181.649 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 181.651 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 181.655 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 181.669 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 181.705 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 181.842 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 183.542 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 185.795 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 185.795 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 185.796 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 185.797 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 185.799 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 185.802 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 185.805 * * [simplify]: iteration done : 25 enodes (cost 6 ) 185.806 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 185.807 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 185.808 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 185.810 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 185.813 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 185.816 * * [simplify]: iteration done : 25 enodes (cost 6 ) 185.817 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 185.818 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 185.822 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 185.832 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 185.874 * * [simplify]: iteration 4 : 272 enodes (cost 11 ) 186.010 * * [simplify]: iteration 5 : 686 enodes (cost 11 ) 187.714 * * [simplify]: iteration 6 : 2711 enodes (cost 11 ) 189.960 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 189.961 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 189.961 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 189.962 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 189.965 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 189.968 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 189.971 * * [simplify]: iteration done : 25 enodes (cost 6 ) 189.972 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 189.973 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 189.974 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 189.976 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 189.979 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 189.982 * * [simplify]: iteration done : 25 enodes (cost 6 ) 189.982 * [simplify]: Simplified to: (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 189.983 * * * [progress]: adding candidates to table 190.406 * [progress]: [Phase 3 of 3] Extracting. 190.406 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 190.462 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 190.462 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # # #) 190.699 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # #) 190.932 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # #) 191.171 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # #) 191.399 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # #) 191.629 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # #) 191.863 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # #) 192.094 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # #) 192.327 * * * [regime]: Found split indices: #