1.850 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.162 * * * [progress]: [2/2] Setting up program. 0.167 * [progress]: [Phase 2 of 3] Improving. 0.171 * [simplify]: Simplifying using # : (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.174 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 0.177 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 0.180 * * [simplify]: iteration 2 : 38 enodes (cost 14 ) 0.186 * * [simplify]: iteration 3 : 73 enodes (cost 14 ) 0.198 * * [simplify]: iteration 4 : 109 enodes (cost 14 ) 0.220 * * [simplify]: iteration 5 : 130 enodes (cost 14 ) 0.243 * * [simplify]: iteration 6 : 137 enodes (cost 14 ) 0.265 * * [simplify]: iteration done : 137 enodes (cost 14 ) 0.266 * [simplify]: Simplified to: (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))) 0.268 * * [progress]: iteration 1 / 4 0.268 * * * [progress]: picking best candidate 0.271 * * * * [pick]: Picked # 0.271 * * * [progress]: localizing error 0.287 * * * [progress]: generating rewritten candidates 0.287 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.290 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.306 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.313 * * * [progress]: generating series expansions 0.314 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.318 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 0.320 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.321 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.321 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.321 * [taylor]: Taking taylor expansion of (* PI l) in l 0.321 * [taylor]: Taking taylor expansion of PI in l 0.321 * [taylor]: Taking taylor expansion of l in l 0.322 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.322 * [taylor]: Taking taylor expansion of (* PI l) in l 0.322 * [taylor]: Taking taylor expansion of PI in l 0.322 * [taylor]: Taking taylor expansion of l in l 0.323 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.323 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.323 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.323 * [taylor]: Taking taylor expansion of (* PI l) in l 0.323 * [taylor]: Taking taylor expansion of PI in l 0.323 * [taylor]: Taking taylor expansion of l in l 0.323 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.323 * [taylor]: Taking taylor expansion of (* PI l) in l 0.323 * [taylor]: Taking taylor expansion of PI in l 0.323 * [taylor]: Taking taylor expansion of l in l 0.329 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 0.329 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.329 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.329 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.329 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.329 * [taylor]: Taking taylor expansion of PI in l 0.329 * [taylor]: Taking taylor expansion of l in l 0.329 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.329 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.329 * [taylor]: Taking taylor expansion of PI in l 0.329 * [taylor]: Taking taylor expansion of l in l 0.329 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.329 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.329 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.329 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.329 * [taylor]: Taking taylor expansion of PI in l 0.329 * [taylor]: Taking taylor expansion of l in l 0.329 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.330 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.330 * [taylor]: Taking taylor expansion of PI in l 0.330 * [taylor]: Taking taylor expansion of l in l 0.331 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 0.331 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.331 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.331 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.331 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.331 * [taylor]: Taking taylor expansion of -1 in l 0.331 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.331 * [taylor]: Taking taylor expansion of PI in l 0.332 * [taylor]: Taking taylor expansion of l in l 0.332 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.332 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.332 * [taylor]: Taking taylor expansion of -1 in l 0.332 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.332 * [taylor]: Taking taylor expansion of PI in l 0.332 * [taylor]: Taking taylor expansion of l in l 0.332 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.332 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.332 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.332 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.332 * [taylor]: Taking taylor expansion of -1 in l 0.332 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.332 * [taylor]: Taking taylor expansion of PI in l 0.332 * [taylor]: Taking taylor expansion of l in l 0.332 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.332 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.332 * [taylor]: Taking taylor expansion of -1 in l 0.332 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.332 * [taylor]: Taking taylor expansion of PI in l 0.332 * [taylor]: Taking taylor expansion of l in l 0.334 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.335 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0 0.335 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l 0.335 * [taylor]: Taking taylor expansion of 1.0 in l 0.335 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 0.335 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 0.335 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.335 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.335 * [taylor]: Taking taylor expansion of (* PI l) in l 0.335 * [taylor]: Taking taylor expansion of PI in l 0.335 * [taylor]: Taking taylor expansion of l in l 0.335 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.335 * [taylor]: Taking taylor expansion of (* PI l) in l 0.335 * [taylor]: Taking taylor expansion of PI in l 0.335 * [taylor]: Taking taylor expansion of l in l 0.335 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.335 * [taylor]: Taking taylor expansion of F in l 0.335 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.336 * [taylor]: Taking taylor expansion of 1.0 in F 0.336 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.336 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.336 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.336 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.336 * [taylor]: Taking taylor expansion of (* PI l) in F 0.336 * [taylor]: Taking taylor expansion of PI in F 0.336 * [taylor]: Taking taylor expansion of l in F 0.336 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.336 * [taylor]: Taking taylor expansion of (* PI l) in F 0.336 * [taylor]: Taking taylor expansion of PI in F 0.336 * [taylor]: Taking taylor expansion of l in F 0.337 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.337 * [taylor]: Taking taylor expansion of F in F 0.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F 0.337 * [taylor]: Taking taylor expansion of 1.0 in F 0.337 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 0.337 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 0.337 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 0.337 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 0.337 * [taylor]: Taking taylor expansion of (* PI l) in F 0.337 * [taylor]: Taking taylor expansion of PI in F 0.337 * [taylor]: Taking taylor expansion of l in F 0.337 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 0.337 * [taylor]: Taking taylor expansion of (* PI l) in F 0.337 * [taylor]: Taking taylor expansion of PI in F 0.337 * [taylor]: Taking taylor expansion of l in F 0.338 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.338 * [taylor]: Taking taylor expansion of F in F 0.338 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 0.338 * [taylor]: Taking taylor expansion of 1.0 in l 0.338 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 0.338 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 0.338 * [taylor]: Taking taylor expansion of (* PI l) in l 0.338 * [taylor]: Taking taylor expansion of PI in l 0.338 * [taylor]: Taking taylor expansion of l in l 0.338 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 0.338 * [taylor]: Taking taylor expansion of (* PI l) in l 0.338 * [taylor]: Taking taylor expansion of PI in l 0.338 * [taylor]: Taking taylor expansion of l in l 0.339 * [taylor]: Taking taylor expansion of 0 in l 0.340 * [taylor]: Taking taylor expansion of 0 in l 0.342 * [taylor]: Taking taylor expansion of 0 in l 0.345 * [taylor]: Taking taylor expansion of 0 in l 0.345 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0 0.345 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l 0.345 * [taylor]: Taking taylor expansion of 1.0 in l 0.345 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 0.345 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 0.346 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.346 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.346 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.346 * [taylor]: Taking taylor expansion of PI in l 0.346 * [taylor]: Taking taylor expansion of l in l 0.346 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.346 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.346 * [taylor]: Taking taylor expansion of PI in l 0.346 * [taylor]: Taking taylor expansion of l in l 0.346 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.346 * [taylor]: Taking taylor expansion of F in l 0.346 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.346 * [taylor]: Taking taylor expansion of 1.0 in F 0.346 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.346 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.346 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.346 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.346 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.346 * [taylor]: Taking taylor expansion of PI in F 0.346 * [taylor]: Taking taylor expansion of l in F 0.346 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.346 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.346 * [taylor]: Taking taylor expansion of PI in F 0.346 * [taylor]: Taking taylor expansion of l in F 0.347 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.347 * [taylor]: Taking taylor expansion of F in F 0.347 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F 0.347 * [taylor]: Taking taylor expansion of 1.0 in F 0.347 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 0.347 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 0.347 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 0.347 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 0.347 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.347 * [taylor]: Taking taylor expansion of PI in F 0.347 * [taylor]: Taking taylor expansion of l in F 0.347 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 0.347 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.347 * [taylor]: Taking taylor expansion of PI in F 0.347 * [taylor]: Taking taylor expansion of l in F 0.347 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.347 * [taylor]: Taking taylor expansion of F in F 0.347 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 0.348 * [taylor]: Taking taylor expansion of 1.0 in l 0.348 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 0.348 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 0.348 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.348 * [taylor]: Taking taylor expansion of PI in l 0.348 * [taylor]: Taking taylor expansion of l in l 0.348 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 0.348 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.348 * [taylor]: Taking taylor expansion of PI in l 0.348 * [taylor]: Taking taylor expansion of l in l 0.349 * [taylor]: Taking taylor expansion of 0 in l 0.350 * [taylor]: Taking taylor expansion of 0 in l 0.352 * [taylor]: Taking taylor expansion of 0 in l 0.352 * [approximate]: Taking taylor expansion of (* 1.0 (* (pow F 2) (tan (* -1 (/ PI l))))) in (F l) around 0 0.352 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow F 2) (tan (* -1 (/ PI l))))) in l 0.352 * [taylor]: Taking taylor expansion of 1.0 in l 0.352 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in l 0.352 * [taylor]: Taking taylor expansion of (pow F 2) in l 0.352 * [taylor]: Taking taylor expansion of F in l 0.352 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 0.352 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.352 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.352 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.352 * [taylor]: Taking taylor expansion of -1 in l 0.352 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.352 * [taylor]: Taking taylor expansion of PI in l 0.352 * [taylor]: Taking taylor expansion of l in l 0.352 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.352 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.353 * [taylor]: Taking taylor expansion of -1 in l 0.353 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.353 * [taylor]: Taking taylor expansion of PI in l 0.353 * [taylor]: Taking taylor expansion of l in l 0.353 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow F 2) (tan (* -1 (/ PI l))))) in F 0.353 * [taylor]: Taking taylor expansion of 1.0 in F 0.353 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in F 0.353 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.353 * [taylor]: Taking taylor expansion of F in F 0.353 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.353 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.353 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.353 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.353 * [taylor]: Taking taylor expansion of -1 in F 0.353 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.353 * [taylor]: Taking taylor expansion of PI in F 0.353 * [taylor]: Taking taylor expansion of l in F 0.353 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.353 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.353 * [taylor]: Taking taylor expansion of -1 in F 0.353 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.353 * [taylor]: Taking taylor expansion of PI in F 0.353 * [taylor]: Taking taylor expansion of l in F 0.354 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow F 2) (tan (* -1 (/ PI l))))) in F 0.354 * [taylor]: Taking taylor expansion of 1.0 in F 0.354 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in F 0.354 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.354 * [taylor]: Taking taylor expansion of F in F 0.354 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 0.354 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 0.354 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 0.354 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.354 * [taylor]: Taking taylor expansion of -1 in F 0.354 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.354 * [taylor]: Taking taylor expansion of PI in F 0.354 * [taylor]: Taking taylor expansion of l in F 0.354 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 0.354 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 0.354 * [taylor]: Taking taylor expansion of -1 in F 0.354 * [taylor]: Taking taylor expansion of (/ PI l) in F 0.354 * [taylor]: Taking taylor expansion of PI in F 0.354 * [taylor]: Taking taylor expansion of l in F 0.355 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 0.355 * [taylor]: Taking taylor expansion of 1.0 in l 0.355 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 0.355 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 0.355 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.355 * [taylor]: Taking taylor expansion of -1 in l 0.355 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.355 * [taylor]: Taking taylor expansion of PI in l 0.355 * [taylor]: Taking taylor expansion of l in l 0.355 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 0.355 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.355 * [taylor]: Taking taylor expansion of -1 in l 0.355 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.355 * [taylor]: Taking taylor expansion of PI in l 0.355 * [taylor]: Taking taylor expansion of l in l 0.357 * [taylor]: Taking taylor expansion of 0 in l 0.358 * [taylor]: Taking taylor expansion of 0 in l 0.360 * [taylor]: Taking taylor expansion of 0 in l 0.361 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.361 * [approximate]: Taking taylor expansion of (/ 1.0 (pow F 2)) in (F) around 0 0.361 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.361 * [taylor]: Taking taylor expansion of 1.0 in F 0.361 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.361 * [taylor]: Taking taylor expansion of F in F 0.361 * [taylor]: Taking taylor expansion of (/ 1.0 (pow F 2)) in F 0.361 * [taylor]: Taking taylor expansion of 1.0 in F 0.361 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.361 * [taylor]: Taking taylor expansion of F in F 0.362 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.362 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.362 * [taylor]: Taking taylor expansion of 1.0 in F 0.362 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.362 * [taylor]: Taking taylor expansion of F in F 0.362 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.362 * [taylor]: Taking taylor expansion of 1.0 in F 0.362 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.362 * [taylor]: Taking taylor expansion of F in F 0.363 * [approximate]: Taking taylor expansion of (* 1.0 (pow F 2)) in (F) around 0 0.363 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.363 * [taylor]: Taking taylor expansion of 1.0 in F 0.363 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.363 * [taylor]: Taking taylor expansion of F in F 0.363 * [taylor]: Taking taylor expansion of (* 1.0 (pow F 2)) in F 0.363 * [taylor]: Taking taylor expansion of 1.0 in F 0.363 * [taylor]: Taking taylor expansion of (pow F 2) in F 0.363 * [taylor]: Taking taylor expansion of F in F 0.364 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 0.364 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 0.364 * [taylor]: Taking taylor expansion of (* PI l) in l 0.364 * [taylor]: Taking taylor expansion of PI in l 0.364 * [taylor]: Taking taylor expansion of l in l 0.364 * [taylor]: Taking taylor expansion of (* PI l) in l 0.364 * [taylor]: Taking taylor expansion of PI in l 0.364 * [taylor]: Taking taylor expansion of l in l 0.364 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 0.364 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.364 * [taylor]: Taking taylor expansion of PI in l 0.364 * [taylor]: Taking taylor expansion of l in l 0.365 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.365 * [taylor]: Taking taylor expansion of PI in l 0.365 * [taylor]: Taking taylor expansion of l in l 0.365 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 0.365 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.365 * [taylor]: Taking taylor expansion of -1 in l 0.365 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.365 * [taylor]: Taking taylor expansion of PI in l 0.365 * [taylor]: Taking taylor expansion of l in l 0.365 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 0.366 * [taylor]: Taking taylor expansion of -1 in l 0.366 * [taylor]: Taking taylor expansion of (/ PI l) in l 0.366 * [taylor]: Taking taylor expansion of PI in l 0.366 * [taylor]: Taking taylor expansion of l in l 0.366 * * * [progress]: simplifying candidates 0.368 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (+ (- (log 1.0) (+ (log F) (log F))) (log (tan (* PI l)))) (+ (- (log 1.0) (log (* F F))) (log (tan (* PI l)))) (+ (log (/ 1.0 (* F F))) (log (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (exp (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) F) (* (* F F) F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) (* F F)) (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (* (* (/ 1.0 (* F F)) (/ 1.0 (* F F))) (/ 1.0 (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (* (* (/ 1.0 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 (* F F)) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) 1) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))) (* (sqrt (/ 1.0 (* F F))) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (* (/ 1 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (- (log 1.0) (+ (log F) (log F))) (- (log 1.0) (log (* F F))) (log (/ 1.0 (* F F))) (exp (/ 1.0 (* F F))) (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) F) (* (* F F) F))) (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) (* F F)) (* F F))) (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (cbrt (/ 1.0 (* F F))) (* (* (/ 1.0 (* F F)) (/ 1.0 (* F F))) (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (neg 1.0) (neg (* F F)) (/ (* (cbrt 1.0) (cbrt 1.0)) F) (/ (cbrt 1.0) F) (/ (sqrt 1.0) F) (/ (sqrt 1.0) F) (/ 1 F) (/ 1.0 F) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ (* F F) (cbrt 1.0)) (/ (* F F) (sqrt 1.0)) (/ (* F F) 1.0) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) (pow F 2))) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (* PI l) (* PI l) (* PI l) 0.368 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.369 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 0.369 * * [simplify]: iteration done : 5 enodes (cost 4 ) 0.370 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.370 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 0.371 * * [simplify]: iteration done : 5 enodes (cost 4 ) 0.371 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.372 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.372 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.373 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.373 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.374 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.375 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 0.375 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 0.376 * * [simplify]: iteration done : 7 enodes (cost 11 ) 0.376 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.377 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.377 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.378 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 0.379 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 0.380 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 0.381 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 0.383 * * [simplify]: iteration 4 : 21 enodes (cost 6 ) 0.390 * * [simplify]: iteration 5 : 31 enodes (cost 6 ) 0.393 * * [simplify]: iteration 6 : 54 enodes (cost 6 ) 0.402 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 0.445 * * [simplify]: iteration 8 : 319 enodes (cost 6 ) 0.879 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 3.142 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 3.142 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 3.143 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 3.143 * * [simplify]: iteration done : 6 enodes (cost 5 ) 3.144 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 3.144 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 3.145 * * [simplify]: iteration done : 6 enodes (cost 5 ) 3.145 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 3.146 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 3.148 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 3.152 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 3.160 * * [simplify]: iteration 4 : 49 enodes (cost 10 ) 3.166 * * [simplify]: iteration 5 : 52 enodes (cost 10 ) 3.172 * * [simplify]: iteration done : 52 enodes (cost 10 ) 3.173 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 3.174 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 3.177 * * [simplify]: iteration 2 : 46 enodes (cost 13 ) 3.183 * * [simplify]: iteration 3 : 78 enodes (cost 13 ) 3.201 * * [simplify]: iteration 4 : 136 enodes (cost 13 ) 3.236 * * [simplify]: iteration 5 : 181 enodes (cost 13 ) 3.276 * * [simplify]: iteration 6 : 235 enodes (cost 13 ) 3.329 * * [simplify]: iteration 7 : 296 enodes (cost 13 ) 3.379 * * [simplify]: iteration 8 : 307 enodes (cost 13 ) 3.434 * * [simplify]: iteration 9 : 308 enodes (cost 13 ) 3.490 * * [simplify]: iteration done : 308 enodes (cost 13 ) 3.491 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 3.492 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 3.494 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 3.499 * * [simplify]: iteration 3 : 70 enodes (cost 13 ) 3.513 * * [simplify]: iteration 4 : 120 enodes (cost 13 ) 3.540 * * [simplify]: iteration 5 : 152 enodes (cost 13 ) 3.580 * * [simplify]: iteration 6 : 226 enodes (cost 13 ) 3.638 * * [simplify]: iteration 7 : 288 enodes (cost 13 ) 3.690 * * [simplify]: iteration 8 : 322 enodes (cost 13 ) 3.749 * * [simplify]: iteration 9 : 323 enodes (cost 13 ) 3.806 * * [simplify]: iteration done : 323 enodes (cost 13 ) 3.806 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 3.807 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 3.809 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 3.812 * * [simplify]: iteration 3 : 51 enodes (cost 12 ) 3.820 * * [simplify]: iteration 4 : 87 enodes (cost 12 ) 3.838 * * [simplify]: iteration 5 : 138 enodes (cost 12 ) 3.873 * * [simplify]: iteration 6 : 184 enodes (cost 12 ) 3.911 * * [simplify]: iteration 7 : 241 enodes (cost 12 ) 3.964 * * [simplify]: iteration 8 : 299 enodes (cost 12 ) 4.017 * * [simplify]: iteration 9 : 311 enodes (cost 12 ) 4.075 * * [simplify]: iteration 10 : 312 enodes (cost 12 ) 4.131 * * [simplify]: iteration done : 312 enodes (cost 12 ) 4.132 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 4.133 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 4.135 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 4.140 * * [simplify]: iteration 3 : 74 enodes (cost 11 ) 4.151 * * [simplify]: iteration 4 : 128 enodes (cost 11 ) 4.179 * * [simplify]: iteration 5 : 203 enodes (cost 11 ) 4.235 * * [simplify]: iteration 6 : 287 enodes (cost 11 ) 4.282 * * [simplify]: iteration 7 : 342 enodes (cost 11 ) 4.355 * * [simplify]: iteration 8 : 430 enodes (cost 11 ) 4.428 * * [simplify]: iteration 9 : 443 enodes (cost 11 ) 4.496 * * [simplify]: iteration done : 443 enodes (cost 11 ) 4.497 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 4.498 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 4.500 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 4.505 * * [simplify]: iteration 3 : 58 enodes (cost 11 ) 4.513 * * [simplify]: iteration 4 : 100 enodes (cost 11 ) 4.528 * * [simplify]: iteration 5 : 185 enodes (cost 11 ) 4.598 * * [simplify]: iteration 6 : 412 enodes (cost 11 ) 4.858 * * [simplify]: iteration 7 : 1080 enodes (cost 11 ) 6.577 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 6.578 * * [simplify]: iteration 0 : 15 enodes (cost 32 ) 6.580 * * [simplify]: iteration 1 : 37 enodes (cost 32 ) 6.588 * * [simplify]: iteration 2 : 157 enodes (cost 18 ) 6.667 * * [simplify]: iteration 3 : 958 enodes (cost 14 ) 8.892 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 8.893 * * [simplify]: iteration 0 : 15 enodes (cost 32 ) 8.895 * * [simplify]: iteration 1 : 38 enodes (cost 32 ) 8.904 * * [simplify]: iteration 2 : 158 enodes (cost 16 ) 8.986 * * [simplify]: iteration 3 : 992 enodes (cost 14 ) 11.189 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 11.190 * * [simplify]: iteration 0 : 13 enodes (cost 32 ) 11.192 * * [simplify]: iteration 1 : 29 enodes (cost 32 ) 11.197 * * [simplify]: iteration 2 : 101 enodes (cost 14 ) 11.237 * * [simplify]: iteration 3 : 464 enodes (cost 14 ) 11.850 * * [simplify]: iteration 4 : 2206 enodes (cost 12 ) 13.443 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 13.444 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 13.445 * * [simplify]: iteration 1 : 17 enodes (cost 23 ) 13.447 * * [simplify]: iteration 2 : 28 enodes (cost 23 ) 13.451 * * [simplify]: iteration 3 : 41 enodes (cost 23 ) 13.456 * * [simplify]: iteration 4 : 51 enodes (cost 23 ) 13.463 * * [simplify]: iteration 5 : 54 enodes (cost 23 ) 13.470 * * [simplify]: iteration done : 54 enodes (cost 23 ) 13.471 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 13.472 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 13.474 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 13.477 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 13.482 * * [simplify]: iteration 4 : 50 enodes (cost 11 ) 13.489 * * [simplify]: iteration 5 : 53 enodes (cost 11 ) 13.495 * * [simplify]: iteration done : 53 enodes (cost 11 ) 13.496 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 13.498 * * [simplify]: iteration 1 : 27 enodes (cost 32 ) 13.503 * * [simplify]: iteration 2 : 99 enodes (cost 12 ) 13.557 * * [simplify]: iteration 3 : 516 enodes (cost 12 ) 14.415 * * [simplify]: iteration 4 : 2472 enodes (cost 12 ) 16.004 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 16.008 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 16.009 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 16.011 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 16.014 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 16.020 * * [simplify]: iteration 4 : 50 enodes (cost 11 ) 16.026 * * [simplify]: iteration 5 : 53 enodes (cost 11 ) 16.032 * * [simplify]: iteration done : 53 enodes (cost 11 ) 16.033 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 16.034 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 16.036 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 16.039 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 16.045 * * [simplify]: iteration 4 : 50 enodes (cost 11 ) 16.051 * * [simplify]: iteration 5 : 53 enodes (cost 11 ) 16.057 * * [simplify]: iteration done : 53 enodes (cost 11 ) 16.058 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 16.058 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 16.059 * * [simplify]: iteration done : 8 enodes (cost 6 ) 16.060 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.060 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 16.062 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 16.064 * * [simplify]: iteration done : 13 enodes (cost 8 ) 16.065 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 16.066 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 16.067 * * [simplify]: iteration done : 15 enodes (cost 12 ) 16.068 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 16.070 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 16.071 * * [simplify]: iteration done : 15 enodes (cost 12 ) 16.072 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 16.073 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 16.074 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 16.076 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 16.078 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 16.080 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 16.082 * * [simplify]: iteration done : 22 enodes (cost 10 ) 16.083 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 16.084 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 16.086 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 16.087 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 16.089 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 16.092 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 16.094 * * [simplify]: iteration done : 22 enodes (cost 10 ) 16.095 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 16.096 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 16.098 * * [simplify]: iteration 2 : 37 enodes (cost 17 ) 16.104 * * [simplify]: iteration 3 : 71 enodes (cost 17 ) 16.117 * * [simplify]: iteration 4 : 118 enodes (cost 17 ) 16.142 * * [simplify]: iteration 5 : 140 enodes (cost 17 ) 16.169 * * [simplify]: iteration 6 : 149 enodes (cost 17 ) 16.199 * * [simplify]: iteration done : 149 enodes (cost 17 ) 16.200 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 16.201 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 16.203 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 16.206 * * [simplify]: iteration 3 : 40 enodes (cost 11 ) 16.211 * * [simplify]: iteration 4 : 50 enodes (cost 11 ) 16.218 * * [simplify]: iteration 5 : 53 enodes (cost 11 ) 16.224 * * [simplify]: iteration done : 53 enodes (cost 11 ) 16.224 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.225 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 16.229 * * [simplify]: iteration 2 : 31 enodes (cost 5 ) 16.232 * * [simplify]: iteration 3 : 43 enodes (cost 5 ) 16.237 * * [simplify]: iteration 4 : 60 enodes (cost 5 ) 16.243 * * [simplify]: iteration 5 : 69 enodes (cost 5 ) 16.251 * * [simplify]: iteration 6 : 81 enodes (cost 5 ) 16.261 * * [simplify]: iteration 7 : 83 enodes (cost 5 ) 16.269 * * [simplify]: iteration done : 83 enodes (cost 5 ) 16.270 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 16.271 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 16.272 * * [simplify]: iteration done : 14 enodes (cost 11 ) 16.273 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 16.274 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 16.276 * * [simplify]: iteration done : 14 enodes (cost 11 ) 16.276 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.277 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 16.279 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 16.280 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 16.282 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 16.286 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 16.289 * * [simplify]: iteration done : 21 enodes (cost 9 ) 16.289 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 16.290 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 16.292 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 16.293 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 16.295 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 16.297 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 16.300 * * [simplify]: iteration done : 21 enodes (cost 9 ) 16.300 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 16.301 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 16.302 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 16.304 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 16.306 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 16.308 * * [simplify]: iteration 5 : 20 enodes (cost 8 ) 16.310 * * [simplify]: iteration done : 20 enodes (cost 8 ) 16.311 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 16.312 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 16.314 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 16.317 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 16.322 * * [simplify]: iteration 4 : 49 enodes (cost 10 ) 16.328 * * [simplify]: iteration 5 : 52 enodes (cost 10 ) 16.335 * * [simplify]: iteration done : 52 enodes (cost 10 ) 16.335 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 16.336 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 16.338 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 16.344 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 16.359 * * [simplify]: iteration 4 : 93 enodes (cost 8 ) 16.372 * * [simplify]: iteration done : 93 enodes (cost 8 ) 16.372 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 16.373 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 16.375 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 16.379 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 16.383 * * [simplify]: iteration 4 : 49 enodes (cost 10 ) 16.389 * * [simplify]: iteration 5 : 52 enodes (cost 10 ) 16.395 * * [simplify]: iteration done : 52 enodes (cost 10 ) 16.396 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 16.399 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 16.400 * * [simplify]: iteration done : 8 enodes (cost 6 ) 16.401 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 16.401 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 16.403 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 16.405 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 16.409 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 16.414 * * [simplify]: iteration 5 : 44 enodes (cost 7 ) 16.420 * * [simplify]: iteration 6 : 57 enodes (cost 7 ) 16.428 * * [simplify]: iteration 7 : 73 enodes (cost 7 ) 16.436 * * [simplify]: iteration 8 : 76 enodes (cost 7 ) 16.444 * * [simplify]: iteration done : 76 enodes (cost 7 ) 16.445 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.446 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 16.447 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 16.449 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 16.452 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 16.458 * * [simplify]: iteration 5 : 43 enodes (cost 7 ) 16.464 * * [simplify]: iteration 6 : 55 enodes (cost 7 ) 16.473 * * [simplify]: iteration 7 : 69 enodes (cost 7 ) 16.481 * * [simplify]: iteration 8 : 84 enodes (cost 7 ) 16.490 * * [simplify]: iteration done : 84 enodes (cost 7 ) 16.491 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 16.492 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 16.493 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 16.495 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 16.497 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 16.501 * * [simplify]: iteration 5 : 44 enodes (cost 6 ) 16.507 * * [simplify]: iteration 6 : 53 enodes (cost 6 ) 16.516 * * [simplify]: iteration 7 : 66 enodes (cost 6 ) 16.525 * * [simplify]: iteration 8 : 82 enodes (cost 6 ) 16.534 * * [simplify]: iteration 9 : 85 enodes (cost 6 ) 16.542 * * [simplify]: iteration done : 85 enodes (cost 6 ) 16.543 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 16.544 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 16.544 * * [simplify]: iteration done : 7 enodes (cost 6 ) 16.545 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 16.546 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 16.551 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 16.588 * * [simplify]: iteration 3 : 323 enodes (cost 7 ) 16.794 * * [simplify]: iteration 4 : 746 enodes (cost 7 ) 17.571 * * [simplify]: iteration 5 : 1849 enodes (cost 7 ) 20.460 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 20.461 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 20.462 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 20.472 * * [simplify]: iteration 2 : 93 enodes (cost 9 ) 20.504 * * [simplify]: iteration 3 : 339 enodes (cost 7 ) 20.745 * * [simplify]: iteration 4 : 806 enodes (cost 7 ) 21.612 * * [simplify]: iteration 5 : 1926 enodes (cost 7 ) 24.376 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 24.377 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 24.378 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 24.379 * * [simplify]: iteration done : 8 enodes (cost 13 ) 24.379 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 24.380 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 24.381 * * [simplify]: iteration done : 7 enodes (cost 6 ) 24.381 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 24.382 * * [simplify]: iteration 1 : 15 enodes (cost 17 ) 24.385 * * [simplify]: iteration 2 : 52 enodes (cost 7 ) 24.398 * * [simplify]: iteration 3 : 188 enodes (cost 7 ) 24.505 * * [simplify]: iteration 4 : 512 enodes (cost 7 ) 24.816 * * [simplify]: iteration 5 : 850 enodes (cost 7 ) 25.678 * * [simplify]: iteration 6 : 1977 enodes (cost 7 ) 28.403 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 28.404 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.404 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.405 * * [simplify]: iteration done : 7 enodes (cost 6 ) 28.406 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.406 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.407 * * [simplify]: iteration done : 7 enodes (cost 6 ) 28.408 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 28.408 * * [simplify]: iteration done : 2 enodes (cost 2 ) 28.408 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 28.409 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 28.409 * * [simplify]: iteration done : 6 enodes (cost 4 ) 28.410 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 28.411 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 28.411 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 28.412 * * [simplify]: iteration 3 : 10 enodes (cost 7 ) 28.413 * * [simplify]: iteration done : 10 enodes (cost 7 ) 28.414 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.414 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.415 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.415 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.416 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.416 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.417 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.417 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 28.418 * * [simplify]: iteration done : 5 enodes (cost 3 ) 28.418 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.419 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.419 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 28.420 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 28.420 * * [simplify]: iteration done : 8 enodes (cost 5 ) 28.421 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 28.421 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 28.422 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 28.423 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 28.424 * * [simplify]: iteration done : 9 enodes (cost 5 ) 28.425 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.425 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.425 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.426 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.427 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 28.428 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 28.429 * * [simplify]: iteration done : 10 enodes (cost 6 ) 28.429 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 28.430 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 28.431 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 28.432 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 28.433 * * [simplify]: iteration done : 10 enodes (cost 6 ) 28.433 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 28.434 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 28.435 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 28.435 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 28.436 * * [simplify]: iteration done : 9 enodes (cost 5 ) 28.437 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.437 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 28.438 * * [simplify]: iteration done : 4 enodes (cost 3 ) 28.438 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 28.439 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 28.439 * * [simplify]: iteration done : 6 enodes (cost 5 ) 28.440 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.441 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 28.441 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 28.442 * * [simplify]: iteration done : 9 enodes (cost 4 ) 28.443 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.443 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 28.444 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 28.446 * * [simplify]: iteration 3 : 21 enodes (cost 4 ) 28.448 * * [simplify]: iteration 4 : 44 enodes (cost 4 ) 28.455 * * [simplify]: iteration 5 : 100 enodes (cost 4 ) 28.490 * * [simplify]: iteration 6 : 239 enodes (cost 4 ) 28.639 * * [simplify]: iteration 7 : 696 enodes (cost 4 ) 29.520 * * [simplify]: iteration 8 : 2441 enodes (cost 4 ) 31.165 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 31.166 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 31.167 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 31.169 * * [simplify]: iteration 2 : 39 enodes (cost 7 ) 31.181 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 31.200 * * [simplify]: iteration 4 : 134 enodes (cost 5 ) 31.251 * * [simplify]: iteration 5 : 258 enodes (cost 5 ) 31.396 * * [simplify]: iteration 6 : 662 enodes (cost 5 ) 32.322 * * [simplify]: iteration 7 : 2440 enodes (cost 5 ) 34.093 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 34.094 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 34.094 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 34.095 * * [simplify]: iteration done : 6 enodes (cost 9 ) 34.095 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 34.096 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 34.096 * * [simplify]: iteration done : 5 enodes (cost 4 ) 34.097 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 34.098 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 34.101 * * [simplify]: iteration 2 : 45 enodes (cost 5 ) 34.116 * * [simplify]: iteration 3 : 91 enodes (cost 5 ) 34.140 * * [simplify]: iteration 4 : 107 enodes (cost 5 ) 34.170 * * [simplify]: iteration 5 : 153 enodes (cost 5 ) 34.229 * * [simplify]: iteration 6 : 293 enodes (cost 5 ) 34.396 * * [simplify]: iteration 7 : 755 enodes (cost 5 ) 35.436 * * [simplify]: iteration 8 : 2745 enodes (cost 5 ) 37.120 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 37.120 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 37.121 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 37.121 * * [simplify]: iteration done : 5 enodes (cost 4 ) 37.122 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 37.122 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 37.123 * * [simplify]: iteration done : 5 enodes (cost 4 ) 37.123 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.124 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 37.124 * * [simplify]: iteration done : 6 enodes (cost 5 ) 37.125 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.125 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 37.126 * * [simplify]: iteration done : 6 enodes (cost 5 ) 37.126 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 37.127 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 37.128 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 37.129 * * [simplify]: iteration done : 10 enodes (cost 7 ) 37.130 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 37.130 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 37.131 * * [simplify]: iteration done : 5 enodes (cost 4 ) 37.131 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.132 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 37.132 * * [simplify]: iteration 2 : 9 enodes (cost 1 ) 37.133 * * [simplify]: iteration done : 9 enodes (cost 1 ) 37.133 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 37.134 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 37.134 * * [simplify]: iteration done : 5 enodes (cost 4 ) 37.135 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 37.135 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 37.136 * * [simplify]: iteration done : 5 enodes (cost 4 ) 37.136 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.137 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 37.137 * * [simplify]: iteration done : 4 enodes (cost 3 ) 37.138 * * [simplify]: iteration 0 : 17 enodes (cost 23 ) 37.140 * * [simplify]: iteration 1 : 49 enodes (cost 23 ) 37.149 * * [simplify]: iteration 2 : 141 enodes (cost 23 ) 37.189 * * [simplify]: iteration 3 : 469 enodes (cost 23 ) 37.493 * * [simplify]: iteration 4 : 1718 enodes (cost 23 ) 38.812 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 38.813 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.814 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 38.814 * * [simplify]: iteration done : 7 enodes (cost 9 ) 38.815 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.816 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 38.816 * * [simplify]: iteration done : 7 enodes (cost 9 ) 38.817 * * [simplify]: iteration 0 : 17 enodes (cost 23 ) 38.819 * * [simplify]: iteration 1 : 47 enodes (cost 23 ) 38.830 * * [simplify]: iteration 2 : 187 enodes (cost 23 ) 38.877 * * [simplify]: iteration 3 : 753 enodes (cost 23 ) 39.698 * * [simplify]: iteration 4 : 4092 enodes (cost 23 ) 41.073 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 41.074 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 41.075 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 41.079 * * [simplify]: iteration 2 : 61 enodes (cost 15 ) 41.087 * * [simplify]: iteration 3 : 119 enodes (cost 15 ) 41.115 * * [simplify]: iteration 4 : 206 enodes (cost 15 ) 41.167 * * [simplify]: iteration 5 : 262 enodes (cost 15 ) 41.220 * * [simplify]: iteration 6 : 290 enodes (cost 15 ) 41.276 * * [simplify]: iteration 7 : 352 enodes (cost 15 ) 41.371 * * [simplify]: iteration 8 : 571 enodes (cost 15 ) 41.883 * * [simplify]: iteration 9 : 1517 enodes (cost 15 ) 44.078 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 44.079 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 44.081 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 44.084 * * [simplify]: iteration 2 : 61 enodes (cost 15 ) 44.092 * * [simplify]: iteration 3 : 119 enodes (cost 15 ) 44.118 * * [simplify]: iteration 4 : 206 enodes (cost 15 ) 44.167 * * [simplify]: iteration 5 : 262 enodes (cost 15 ) 44.219 * * [simplify]: iteration 6 : 290 enodes (cost 15 ) 44.274 * * [simplify]: iteration 7 : 352 enodes (cost 15 ) 44.364 * * [simplify]: iteration 8 : 571 enodes (cost 15 ) 44.868 * * [simplify]: iteration 9 : 1517 enodes (cost 15 ) 47.046 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 47.046 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 47.047 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 47.048 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 47.049 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 47.051 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 47.053 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 47.056 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 47.065 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 47.113 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 47.543 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 49.787 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 49.788 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 49.789 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 49.790 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 49.791 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 49.793 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 49.795 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 49.799 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 49.812 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 49.856 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 50.291 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 52.541 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 52.542 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 52.542 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 52.544 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 52.545 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 52.547 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 52.549 * * [simplify]: iteration 5 : 43 enodes (cost 5 ) 52.552 * * [simplify]: iteration 6 : 65 enodes (cost 5 ) 52.561 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 52.609 * * [simplify]: iteration 8 : 349 enodes (cost 5 ) 53.049 * * [simplify]: iteration 9 : 1270 enodes (cost 5 ) 55.299 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 55.299 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 55.300 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 55.300 * * [simplify]: iteration done : 4 enodes (cost 3 ) 55.301 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 55.301 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 55.301 * * [simplify]: iteration done : 4 enodes (cost 3 ) 55.302 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 55.302 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 55.303 * * [simplify]: iteration done : 4 enodes (cost 3 ) 55.304 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (- (log 1.0) (- (* 2 (log F)) (log (tan (* PI l))))) (+ (- (log 1.0) (log (* F F))) (log (tan (* PI l)))) (+ (log (/ 1.0 (* F F))) (log (tan (* PI l)))) (log (* (/ 1.0 (* F F)) (tan (* PI l)))) (exp (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ (pow 1.0 3) (pow F 6)) (pow (tan (* PI l)) 3)) (* (pow (/ 1.0 (* F F)) 3) (pow (tan (* PI l)) 3)) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (sqrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* (* F F) (cos (* PI l))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l)))) (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 (* F F)) (sqrt (tan (* PI l)))) (/ 1.0 (* F F)) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))) (* (sqrt (/ 1.0 (* F F))) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l))) (/ (tan (* PI l)) (* F F)) (* (/ 1.0 (* F F)) (sin (* PI l))) (* 1.0 (tan (* PI l))) (- (log 1.0) (* 2 (log F))) (- (log 1.0) (log (* F F))) (log (/ 1.0 (* F F))) (exp (/ 1.0 (* F F))) (/ (pow 1.0 3) (pow F 6)) (pow (/ 1.0 (* F F)) 3) (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (cbrt (/ 1.0 (* F F))) (pow (/ 1.0 (* F F)) 3) (sqrt (/ 1.0 (* F F))) (sqrt (/ 1.0 (* F F))) (neg 1.0) (neg (* F F)) (/ (* (cbrt 1.0) (cbrt 1.0)) F) (/ (cbrt 1.0) F) (/ (sqrt 1.0) F) (/ (sqrt 1.0) F) (/ 1 F) (/ 1.0 F) (/ 1 (* F F)) (/ (* F F) 1.0) (/ 1.0 F) (/ (* F F) (cbrt 1.0)) (/ (* F F) (sqrt 1.0)) (/ (* F F) 1.0) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) (pow F 2))) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (/ 1.0 (pow F 2)) (* PI l) (* PI l) (* PI l) 55.304 * * * [progress]: adding candidates to table 55.466 * * [progress]: iteration 2 / 4 55.466 * * * [progress]: picking best candidate 55.510 * * * * [pick]: Picked # 55.510 * * * [progress]: localizing error 55.522 * * * [progress]: generating rewritten candidates 55.522 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 55.524 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 55.533 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1) 55.538 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 55.544 * * * [progress]: generating series expansions 55.544 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 55.544 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 55.544 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 55.544 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 55.544 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 55.544 * [taylor]: Taking taylor expansion of (* PI l) in l 55.544 * [taylor]: Taking taylor expansion of PI in l 55.544 * [taylor]: Taking taylor expansion of l in l 55.544 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 55.544 * [taylor]: Taking taylor expansion of (* PI l) in l 55.544 * [taylor]: Taking taylor expansion of PI in l 55.544 * [taylor]: Taking taylor expansion of l in l 55.545 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 55.545 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 55.545 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 55.545 * [taylor]: Taking taylor expansion of (* PI l) in l 55.545 * [taylor]: Taking taylor expansion of PI in l 55.545 * [taylor]: Taking taylor expansion of l in l 55.545 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 55.545 * [taylor]: Taking taylor expansion of (* PI l) in l 55.545 * [taylor]: Taking taylor expansion of PI in l 55.545 * [taylor]: Taking taylor expansion of l in l 55.548 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 55.548 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 55.548 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 55.548 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 55.548 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.548 * [taylor]: Taking taylor expansion of PI in l 55.548 * [taylor]: Taking taylor expansion of l in l 55.548 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 55.548 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.548 * [taylor]: Taking taylor expansion of PI in l 55.548 * [taylor]: Taking taylor expansion of l in l 55.548 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 55.548 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 55.548 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 55.549 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.549 * [taylor]: Taking taylor expansion of PI in l 55.549 * [taylor]: Taking taylor expansion of l in l 55.549 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 55.549 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.549 * [taylor]: Taking taylor expansion of PI in l 55.549 * [taylor]: Taking taylor expansion of l in l 55.550 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 55.550 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 55.551 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 55.551 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 55.551 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.551 * [taylor]: Taking taylor expansion of -1 in l 55.551 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.551 * [taylor]: Taking taylor expansion of PI in l 55.551 * [taylor]: Taking taylor expansion of l in l 55.551 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 55.551 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.551 * [taylor]: Taking taylor expansion of -1 in l 55.551 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.551 * [taylor]: Taking taylor expansion of PI in l 55.551 * [taylor]: Taking taylor expansion of l in l 55.551 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 55.551 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 55.551 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 55.551 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.551 * [taylor]: Taking taylor expansion of -1 in l 55.551 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.551 * [taylor]: Taking taylor expansion of PI in l 55.551 * [taylor]: Taking taylor expansion of l in l 55.551 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 55.551 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.551 * [taylor]: Taking taylor expansion of -1 in l 55.551 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.551 * [taylor]: Taking taylor expansion of PI in l 55.551 * [taylor]: Taking taylor expansion of l in l 55.554 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 55.554 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (F l) around 0 55.554 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l 55.554 * [taylor]: Taking taylor expansion of 1.0 in l 55.554 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 55.554 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 55.554 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 55.554 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 55.554 * [taylor]: Taking taylor expansion of (* PI l) in l 55.554 * [taylor]: Taking taylor expansion of PI in l 55.554 * [taylor]: Taking taylor expansion of l in l 55.554 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 55.554 * [taylor]: Taking taylor expansion of (* PI l) in l 55.554 * [taylor]: Taking taylor expansion of PI in l 55.554 * [taylor]: Taking taylor expansion of l in l 55.554 * [taylor]: Taking taylor expansion of F in l 55.554 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 55.554 * [taylor]: Taking taylor expansion of 1.0 in F 55.554 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 55.554 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 55.554 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 55.554 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 55.554 * [taylor]: Taking taylor expansion of (* PI l) in F 55.554 * [taylor]: Taking taylor expansion of PI in F 55.554 * [taylor]: Taking taylor expansion of l in F 55.554 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 55.554 * [taylor]: Taking taylor expansion of (* PI l) in F 55.554 * [taylor]: Taking taylor expansion of PI in F 55.555 * [taylor]: Taking taylor expansion of l in F 55.555 * [taylor]: Taking taylor expansion of F in F 55.555 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F 55.555 * [taylor]: Taking taylor expansion of 1.0 in F 55.555 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 55.555 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 55.555 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 55.555 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 55.555 * [taylor]: Taking taylor expansion of (* PI l) in F 55.555 * [taylor]: Taking taylor expansion of PI in F 55.555 * [taylor]: Taking taylor expansion of l in F 55.555 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 55.555 * [taylor]: Taking taylor expansion of (* PI l) in F 55.555 * [taylor]: Taking taylor expansion of PI in F 55.555 * [taylor]: Taking taylor expansion of l in F 55.556 * [taylor]: Taking taylor expansion of F in F 55.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l 55.556 * [taylor]: Taking taylor expansion of 1.0 in l 55.556 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 55.556 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 55.556 * [taylor]: Taking taylor expansion of (* PI l) in l 55.556 * [taylor]: Taking taylor expansion of PI in l 55.556 * [taylor]: Taking taylor expansion of l in l 55.556 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 55.556 * [taylor]: Taking taylor expansion of (* PI l) in l 55.556 * [taylor]: Taking taylor expansion of PI in l 55.556 * [taylor]: Taking taylor expansion of l in l 55.557 * [taylor]: Taking taylor expansion of 0 in l 55.558 * [taylor]: Taking taylor expansion of 0 in l 55.560 * [taylor]: Taking taylor expansion of 0 in l 55.563 * [taylor]: Taking taylor expansion of 0 in l 55.563 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (F l) around 0 55.563 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l 55.563 * [taylor]: Taking taylor expansion of 1.0 in l 55.563 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 55.563 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 55.563 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 55.563 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 55.563 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.563 * [taylor]: Taking taylor expansion of PI in l 55.564 * [taylor]: Taking taylor expansion of l in l 55.564 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 55.564 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.564 * [taylor]: Taking taylor expansion of PI in l 55.564 * [taylor]: Taking taylor expansion of l in l 55.564 * [taylor]: Taking taylor expansion of F in l 55.564 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 55.564 * [taylor]: Taking taylor expansion of 1.0 in F 55.564 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 55.564 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 55.564 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 55.564 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 55.564 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.564 * [taylor]: Taking taylor expansion of PI in F 55.564 * [taylor]: Taking taylor expansion of l in F 55.564 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 55.564 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.564 * [taylor]: Taking taylor expansion of PI in F 55.564 * [taylor]: Taking taylor expansion of l in F 55.565 * [taylor]: Taking taylor expansion of F in F 55.565 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F 55.565 * [taylor]: Taking taylor expansion of 1.0 in F 55.565 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 55.565 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 55.565 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 55.565 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 55.565 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.565 * [taylor]: Taking taylor expansion of PI in F 55.565 * [taylor]: Taking taylor expansion of l in F 55.565 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 55.565 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.565 * [taylor]: Taking taylor expansion of PI in F 55.565 * [taylor]: Taking taylor expansion of l in F 55.565 * [taylor]: Taking taylor expansion of F in F 55.566 * [taylor]: Taking taylor expansion of 0 in l 55.566 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l 55.566 * [taylor]: Taking taylor expansion of 1.0 in l 55.566 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 55.566 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 55.566 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.566 * [taylor]: Taking taylor expansion of PI in l 55.567 * [taylor]: Taking taylor expansion of l in l 55.567 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 55.567 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.567 * [taylor]: Taking taylor expansion of PI in l 55.567 * [taylor]: Taking taylor expansion of l in l 55.568 * [taylor]: Taking taylor expansion of 0 in l 55.570 * [taylor]: Taking taylor expansion of 0 in l 55.570 * [approximate]: Taking taylor expansion of (* -1.0 (* F (tan (* -1 (/ PI l))))) in (F l) around 0 55.570 * [taylor]: Taking taylor expansion of (* -1.0 (* F (tan (* -1 (/ PI l))))) in l 55.570 * [taylor]: Taking taylor expansion of -1.0 in l 55.570 * [taylor]: Taking taylor expansion of (* F (tan (* -1 (/ PI l)))) in l 55.570 * [taylor]: Taking taylor expansion of F in l 55.570 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 55.570 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 55.570 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 55.570 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.570 * [taylor]: Taking taylor expansion of -1 in l 55.570 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.570 * [taylor]: Taking taylor expansion of PI in l 55.570 * [taylor]: Taking taylor expansion of l in l 55.570 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 55.570 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.570 * [taylor]: Taking taylor expansion of -1 in l 55.570 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.570 * [taylor]: Taking taylor expansion of PI in l 55.570 * [taylor]: Taking taylor expansion of l in l 55.571 * [taylor]: Taking taylor expansion of (* -1.0 (* F (tan (* -1 (/ PI l))))) in F 55.571 * [taylor]: Taking taylor expansion of -1.0 in F 55.571 * [taylor]: Taking taylor expansion of (* F (tan (* -1 (/ PI l)))) in F 55.571 * [taylor]: Taking taylor expansion of F in F 55.571 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 55.571 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 55.571 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 55.571 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 55.571 * [taylor]: Taking taylor expansion of -1 in F 55.571 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.571 * [taylor]: Taking taylor expansion of PI in F 55.571 * [taylor]: Taking taylor expansion of l in F 55.571 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 55.571 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 55.571 * [taylor]: Taking taylor expansion of -1 in F 55.571 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.571 * [taylor]: Taking taylor expansion of PI in F 55.571 * [taylor]: Taking taylor expansion of l in F 55.571 * [taylor]: Taking taylor expansion of (* -1.0 (* F (tan (* -1 (/ PI l))))) in F 55.572 * [taylor]: Taking taylor expansion of -1.0 in F 55.572 * [taylor]: Taking taylor expansion of (* F (tan (* -1 (/ PI l)))) in F 55.572 * [taylor]: Taking taylor expansion of F in F 55.572 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 55.572 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 55.572 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 55.572 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 55.572 * [taylor]: Taking taylor expansion of -1 in F 55.572 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.572 * [taylor]: Taking taylor expansion of PI in F 55.572 * [taylor]: Taking taylor expansion of l in F 55.572 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 55.572 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 55.572 * [taylor]: Taking taylor expansion of -1 in F 55.572 * [taylor]: Taking taylor expansion of (/ PI l) in F 55.572 * [taylor]: Taking taylor expansion of PI in F 55.572 * [taylor]: Taking taylor expansion of l in F 55.573 * [taylor]: Taking taylor expansion of 0 in l 55.574 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))))) in l 55.574 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l 55.574 * [taylor]: Taking taylor expansion of 1.0 in l 55.574 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 55.574 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 55.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.574 * [taylor]: Taking taylor expansion of -1 in l 55.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.574 * [taylor]: Taking taylor expansion of PI in l 55.574 * [taylor]: Taking taylor expansion of l in l 55.574 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 55.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.574 * [taylor]: Taking taylor expansion of -1 in l 55.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.574 * [taylor]: Taking taylor expansion of PI in l 55.574 * [taylor]: Taking taylor expansion of l in l 55.576 * [taylor]: Taking taylor expansion of 0 in l 55.578 * [taylor]: Taking taylor expansion of 0 in l 55.578 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1) 55.578 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 55.578 * [taylor]: Taking taylor expansion of (* PI l) in l 55.578 * [taylor]: Taking taylor expansion of PI in l 55.578 * [taylor]: Taking taylor expansion of l in l 55.578 * [taylor]: Taking taylor expansion of (* PI l) in l 55.578 * [taylor]: Taking taylor expansion of PI in l 55.578 * [taylor]: Taking taylor expansion of l in l 55.582 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 55.582 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.582 * [taylor]: Taking taylor expansion of PI in l 55.582 * [taylor]: Taking taylor expansion of l in l 55.582 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.582 * [taylor]: Taking taylor expansion of PI in l 55.582 * [taylor]: Taking taylor expansion of l in l 55.583 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 55.583 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.583 * [taylor]: Taking taylor expansion of -1 in l 55.583 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.583 * [taylor]: Taking taylor expansion of PI in l 55.583 * [taylor]: Taking taylor expansion of l in l 55.583 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.583 * [taylor]: Taking taylor expansion of -1 in l 55.583 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.583 * [taylor]: Taking taylor expansion of PI in l 55.583 * [taylor]: Taking taylor expansion of l in l 55.584 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 55.584 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 55.584 * [taylor]: Taking taylor expansion of (* PI l) in l 55.584 * [taylor]: Taking taylor expansion of PI in l 55.584 * [taylor]: Taking taylor expansion of l in l 55.584 * [taylor]: Taking taylor expansion of (* PI l) in l 55.584 * [taylor]: Taking taylor expansion of PI in l 55.584 * [taylor]: Taking taylor expansion of l in l 55.585 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 55.585 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.585 * [taylor]: Taking taylor expansion of PI in l 55.585 * [taylor]: Taking taylor expansion of l in l 55.585 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.585 * [taylor]: Taking taylor expansion of PI in l 55.585 * [taylor]: Taking taylor expansion of l in l 55.586 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 55.586 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.586 * [taylor]: Taking taylor expansion of -1 in l 55.586 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.586 * [taylor]: Taking taylor expansion of PI in l 55.586 * [taylor]: Taking taylor expansion of l in l 55.586 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 55.586 * [taylor]: Taking taylor expansion of -1 in l 55.586 * [taylor]: Taking taylor expansion of (/ PI l) in l 55.586 * [taylor]: Taking taylor expansion of PI in l 55.586 * [taylor]: Taking taylor expansion of l in l 55.587 * * * [progress]: simplifying candidates 55.588 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (+ (- (log 1.0) (log F)) (log (tan (* PI l)))) (+ (log (/ 1.0 F)) (log (tan (* PI l)))) (log (* (/ 1.0 F) (tan (* PI l)))) (exp (* (/ 1.0 F) (tan (* PI l)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* F F) F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (* (* (/ 1.0 F) (/ 1.0 F)) (/ 1.0 F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))) (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l)))) (* (* (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l)))) (* (/ 1.0 F) (tan (* PI l)))) (sqrt (* (/ 1.0 F) (tan (* PI l)))) (sqrt (* (/ 1.0 F) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* F (cos (* PI l))) (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 F) (sqrt (tan (* PI l)))) (* (/ 1.0 F) 1) (* (cbrt (/ 1.0 F)) (tan (* PI l))) (* (sqrt (/ 1.0 F)) (tan (* PI l))) (* (/ (cbrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (cbrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 (cbrt F)) (tan (* PI l))) (* (/ 1.0 (sqrt F)) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1 F) (tan (* PI l))) (* (/ 1.0 F) (sin (* PI l))) (* 1.0 (tan (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) F)) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 55.588 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.589 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 55.589 * * [simplify]: iteration done : 5 enodes (cost 4 ) 55.590 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.590 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 55.591 * * [simplify]: iteration done : 5 enodes (cost 4 ) 55.591 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.592 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 55.593 * * [simplify]: iteration done : 6 enodes (cost 5 ) 55.593 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.594 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 55.594 * * [simplify]: iteration done : 6 enodes (cost 5 ) 55.595 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 55.596 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 55.597 * * [simplify]: iteration done : 7 enodes (cost 11 ) 55.597 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.598 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 55.598 * * [simplify]: iteration done : 6 enodes (cost 5 ) 55.599 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 55.600 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 55.601 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 55.602 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 55.603 * * [simplify]: iteration 4 : 21 enodes (cost 6 ) 55.606 * * [simplify]: iteration 5 : 31 enodes (cost 6 ) 55.609 * * [simplify]: iteration 6 : 54 enodes (cost 6 ) 55.619 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 55.664 * * [simplify]: iteration 8 : 319 enodes (cost 6 ) 56.112 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 58.370 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 58.371 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.371 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.372 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.372 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.373 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.373 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.374 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 58.375 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 58.376 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 58.378 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 58.379 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 58.381 * * [simplify]: iteration 5 : 20 enodes (cost 8 ) 58.384 * * [simplify]: iteration done : 20 enodes (cost 8 ) 58.384 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 58.386 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 58.387 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 58.390 * * [simplify]: iteration 3 : 36 enodes (cost 11 ) 58.395 * * [simplify]: iteration 4 : 45 enodes (cost 11 ) 58.400 * * [simplify]: iteration 5 : 50 enodes (cost 11 ) 58.405 * * [simplify]: iteration 6 : 59 enodes (cost 11 ) 58.413 * * [simplify]: iteration 7 : 76 enodes (cost 11 ) 58.428 * * [simplify]: iteration 8 : 95 enodes (cost 11 ) 58.439 * * [simplify]: iteration 9 : 103 enodes (cost 11 ) 58.451 * * [simplify]: iteration done : 103 enodes (cost 11 ) 58.451 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 58.452 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 58.454 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 58.456 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 58.459 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 58.465 * * [simplify]: iteration 5 : 49 enodes (cost 10 ) 58.470 * * [simplify]: iteration 6 : 54 enodes (cost 10 ) 58.478 * * [simplify]: iteration 7 : 63 enodes (cost 10 ) 58.485 * * [simplify]: iteration 8 : 80 enodes (cost 10 ) 58.498 * * [simplify]: iteration 9 : 99 enodes (cost 10 ) 58.509 * * [simplify]: iteration 10 : 107 enodes (cost 10 ) 58.521 * * [simplify]: iteration done : 107 enodes (cost 10 ) 58.522 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 58.523 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 58.524 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 58.527 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 58.534 * * [simplify]: iteration 4 : 55 enodes (cost 9 ) 58.540 * * [simplify]: iteration 5 : 68 enodes (cost 9 ) 58.549 * * [simplify]: iteration 6 : 80 enodes (cost 9 ) 58.557 * * [simplify]: iteration 7 : 92 enodes (cost 9 ) 58.569 * * [simplify]: iteration 8 : 115 enodes (cost 9 ) 58.585 * * [simplify]: iteration 9 : 125 enodes (cost 9 ) 58.600 * * [simplify]: iteration 10 : 141 enodes (cost 9 ) 58.615 * * [simplify]: iteration 11 : 143 enodes (cost 9 ) 58.630 * * [simplify]: iteration done : 143 enodes (cost 9 ) 58.630 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 58.631 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 58.633 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 58.636 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 58.643 * * [simplify]: iteration 4 : 61 enodes (cost 9 ) 58.652 * * [simplify]: iteration 5 : 127 enodes (cost 9 ) 58.691 * * [simplify]: iteration 6 : 298 enodes (cost 9 ) 58.874 * * [simplify]: iteration 7 : 833 enodes (cost 9 ) 60.579 * * [simplify]: iteration 8 : 3514 enodes (cost 9 ) 61.734 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 61.735 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 61.737 * * [simplify]: iteration 1 : 30 enodes (cost 26 ) 61.742 * * [simplify]: iteration 2 : 107 enodes (cost 14 ) 61.783 * * [simplify]: iteration 3 : 458 enodes (cost 12 ) 62.266 * * [simplify]: iteration 4 : 1799 enodes (cost 12 ) 65.987 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 65.988 * * [simplify]: iteration 0 : 12 enodes (cost 26 ) 65.990 * * [simplify]: iteration 1 : 26 enodes (cost 26 ) 65.994 * * [simplify]: iteration 2 : 75 enodes (cost 12 ) 66.014 * * [simplify]: iteration 3 : 233 enodes (cost 12 ) 66.166 * * [simplify]: iteration 4 : 809 enodes (cost 10 ) 67.488 * * [simplify]: iteration 5 : 2650 enodes (cost 10 ) 70.492 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 70.493 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 70.494 * * [simplify]: iteration 1 : 14 enodes (cost 19 ) 70.495 * * [simplify]: iteration 2 : 17 enodes (cost 19 ) 70.497 * * [simplify]: iteration 3 : 19 enodes (cost 19 ) 70.499 * * [simplify]: iteration 4 : 21 enodes (cost 19 ) 70.502 * * [simplify]: iteration 5 : 22 enodes (cost 19 ) 70.504 * * [simplify]: iteration done : 22 enodes (cost 19 ) 70.505 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 70.506 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 70.507 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 70.509 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 70.511 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 70.513 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 70.515 * * [simplify]: iteration done : 21 enodes (cost 9 ) 70.516 * * [simplify]: iteration 0 : 10 enodes (cost 26 ) 70.517 * * [simplify]: iteration 1 : 24 enodes (cost 26 ) 70.521 * * [simplify]: iteration 2 : 78 enodes (cost 10 ) 70.555 * * [simplify]: iteration 3 : 297 enodes (cost 10 ) 70.787 * * [simplify]: iteration 4 : 843 enodes (cost 10 ) 71.983 * * [simplify]: iteration 5 : 2454 enodes (cost 10 ) 77.398 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 77.399 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.403 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 77.405 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 77.407 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 77.409 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 77.411 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 77.413 * * [simplify]: iteration done : 21 enodes (cost 9 ) 77.414 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.415 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 77.416 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 77.418 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 77.420 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 77.422 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 77.425 * * [simplify]: iteration done : 21 enodes (cost 9 ) 77.425 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 77.426 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 77.427 * * [simplify]: iteration done : 8 enodes (cost 6 ) 77.427 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 77.428 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 77.429 * * [simplify]: iteration done : 8 enodes (cost 6 ) 77.429 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 77.430 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 77.431 * * [simplify]: iteration done : 12 enodes (cost 10 ) 77.432 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 77.433 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 77.434 * * [simplify]: iteration done : 12 enodes (cost 10 ) 77.434 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 77.435 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 77.437 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 77.439 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 77.441 * * [simplify]: iteration 4 : 22 enodes (cost 11 ) 77.443 * * [simplify]: iteration 5 : 23 enodes (cost 11 ) 77.445 * * [simplify]: iteration done : 23 enodes (cost 11 ) 77.446 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 77.447 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 77.449 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 77.451 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 77.453 * * [simplify]: iteration 4 : 22 enodes (cost 11 ) 77.455 * * [simplify]: iteration 5 : 23 enodes (cost 11 ) 77.457 * * [simplify]: iteration done : 23 enodes (cost 11 ) 77.458 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 77.459 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 77.461 * * [simplify]: iteration 2 : 24 enodes (cost 15 ) 77.467 * * [simplify]: iteration 3 : 32 enodes (cost 15 ) 77.472 * * [simplify]: iteration 4 : 41 enodes (cost 15 ) 77.478 * * [simplify]: iteration 5 : 47 enodes (cost 15 ) 77.484 * * [simplify]: iteration 6 : 52 enodes (cost 15 ) 77.491 * * [simplify]: iteration done : 52 enodes (cost 15 ) 77.492 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.493 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 77.494 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 77.496 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 77.498 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 77.500 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 77.502 * * [simplify]: iteration done : 21 enodes (cost 9 ) 77.503 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 77.503 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 77.505 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 77.506 * * [simplify]: iteration done : 20 enodes (cost 3 ) 77.506 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.507 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 77.508 * * [simplify]: iteration done : 11 enodes (cost 9 ) 77.509 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.510 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 77.511 * * [simplify]: iteration done : 11 enodes (cost 9 ) 77.511 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 77.512 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 77.514 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 77.515 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 77.518 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 77.520 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 77.526 * * [simplify]: iteration done : 22 enodes (cost 10 ) 77.527 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 77.528 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 77.529 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 77.531 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 77.533 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 77.535 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 77.537 * * [simplify]: iteration done : 22 enodes (cost 10 ) 77.538 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.539 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 77.540 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 77.542 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 77.544 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 77.546 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 77.548 * * [simplify]: iteration done : 21 enodes (cost 9 ) 77.549 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 77.550 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 77.551 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 77.553 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 77.555 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 77.557 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 77.559 * * [simplify]: iteration done : 22 enodes (cost 10 ) 77.560 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 77.561 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 77.562 * * [simplify]: iteration 2 : 17 enodes (cost 10 ) 77.564 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 77.566 * * [simplify]: iteration 4 : 21 enodes (cost 10 ) 77.568 * * [simplify]: iteration 5 : 22 enodes (cost 10 ) 77.570 * * [simplify]: iteration done : 22 enodes (cost 10 ) 77.571 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.572 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 77.574 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 77.576 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 77.578 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 77.580 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 77.582 * * [simplify]: iteration done : 21 enodes (cost 9 ) 77.583 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.586 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 77.587 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 77.589 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 77.591 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 77.593 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 77.595 * * [simplify]: iteration done : 21 enodes (cost 9 ) 77.596 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 77.597 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 77.598 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 77.600 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 77.602 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 77.604 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 77.606 * * [simplify]: iteration done : 21 enodes (cost 9 ) 77.607 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 77.607 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 77.609 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 77.610 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 77.612 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 77.614 * * [simplify]: iteration 5 : 20 enodes (cost 8 ) 77.616 * * [simplify]: iteration done : 20 enodes (cost 8 ) 77.617 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 77.618 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 77.619 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 77.620 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 77.622 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 77.624 * * [simplify]: iteration 5 : 20 enodes (cost 8 ) 77.627 * * [simplify]: iteration done : 20 enodes (cost 8 ) 77.628 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 77.629 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 77.630 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 77.632 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 77.637 * * [simplify]: iteration 4 : 35 enodes (cost 6 ) 77.640 * * [simplify]: iteration done : 35 enodes (cost 6 ) 77.641 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 77.641 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 77.646 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 77.648 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 77.650 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 77.652 * * [simplify]: iteration 5 : 20 enodes (cost 8 ) 77.654 * * [simplify]: iteration done : 20 enodes (cost 8 ) 77.655 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 77.655 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 77.656 * * [simplify]: iteration done : 8 enodes (cost 6 ) 77.657 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 77.657 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 77.657 * * [simplify]: iteration done : 4 enodes (cost 3 ) 77.658 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 77.658 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 77.659 * * [simplify]: iteration done : 6 enodes (cost 5 ) 77.659 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.660 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 77.661 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 77.662 * * [simplify]: iteration done : 9 enodes (cost 4 ) 77.662 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.663 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 77.664 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 77.665 * * [simplify]: iteration 3 : 21 enodes (cost 4 ) 77.668 * * [simplify]: iteration 4 : 44 enodes (cost 4 ) 77.675 * * [simplify]: iteration 5 : 100 enodes (cost 4 ) 77.710 * * [simplify]: iteration 6 : 239 enodes (cost 4 ) 77.857 * * [simplify]: iteration 7 : 696 enodes (cost 4 ) 78.745 * * [simplify]: iteration 8 : 2441 enodes (cost 4 ) 80.407 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 80.408 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 80.409 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 80.411 * * [simplify]: iteration 2 : 39 enodes (cost 7 ) 80.419 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 80.443 * * [simplify]: iteration 4 : 134 enodes (cost 5 ) 80.495 * * [simplify]: iteration 5 : 258 enodes (cost 5 ) 80.638 * * [simplify]: iteration 6 : 662 enodes (cost 5 ) 81.722 * * [simplify]: iteration 7 : 2440 enodes (cost 5 ) 83.529 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 83.530 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 83.531 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 83.531 * * [simplify]: iteration done : 6 enodes (cost 9 ) 83.532 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 83.532 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 83.533 * * [simplify]: iteration done : 5 enodes (cost 4 ) 83.533 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 83.535 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 83.538 * * [simplify]: iteration 2 : 45 enodes (cost 5 ) 83.550 * * [simplify]: iteration 3 : 91 enodes (cost 5 ) 83.577 * * [simplify]: iteration 4 : 107 enodes (cost 5 ) 83.604 * * [simplify]: iteration 5 : 153 enodes (cost 5 ) 83.663 * * [simplify]: iteration 6 : 293 enodes (cost 5 ) 83.836 * * [simplify]: iteration 7 : 755 enodes (cost 5 ) 84.898 * * [simplify]: iteration 8 : 2745 enodes (cost 5 ) 86.619 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 86.620 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.620 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 86.621 * * [simplify]: iteration done : 5 enodes (cost 4 ) 86.621 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.622 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 86.622 * * [simplify]: iteration done : 5 enodes (cost 4 ) 86.623 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 86.623 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 86.624 * * [simplify]: iteration done : 6 enodes (cost 5 ) 86.624 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 86.625 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 86.625 * * [simplify]: iteration done : 6 enodes (cost 5 ) 86.626 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 86.626 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 86.627 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 86.629 * * [simplify]: iteration done : 10 enodes (cost 7 ) 86.629 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.630 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 86.630 * * [simplify]: iteration done : 5 enodes (cost 4 ) 86.631 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.631 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 86.632 * * [simplify]: iteration 2 : 9 enodes (cost 1 ) 86.632 * * [simplify]: iteration done : 9 enodes (cost 1 ) 86.633 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.633 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 86.634 * * [simplify]: iteration done : 5 enodes (cost 4 ) 86.634 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.635 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 86.635 * * [simplify]: iteration done : 5 enodes (cost 4 ) 86.636 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.636 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 86.636 * * [simplify]: iteration done : 4 enodes (cost 3 ) 86.637 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.637 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 86.638 * * [simplify]: iteration done : 4 enodes (cost 3 ) 86.638 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 86.639 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 86.639 * * [simplify]: iteration done : 6 enodes (cost 5 ) 86.640 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.640 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 86.645 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 86.646 * * [simplify]: iteration done : 9 enodes (cost 4 ) 86.646 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 86.647 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 86.648 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 86.649 * * [simplify]: iteration 3 : 21 enodes (cost 4 ) 86.652 * * [simplify]: iteration 4 : 44 enodes (cost 4 ) 86.659 * * [simplify]: iteration 5 : 100 enodes (cost 4 ) 86.691 * * [simplify]: iteration 6 : 239 enodes (cost 4 ) 86.842 * * [simplify]: iteration 7 : 696 enodes (cost 4 ) 87.738 * * [simplify]: iteration 8 : 2441 enodes (cost 4 ) 89.411 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 89.412 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 89.413 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 89.415 * * [simplify]: iteration 2 : 39 enodes (cost 7 ) 89.423 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 89.444 * * [simplify]: iteration 4 : 134 enodes (cost 5 ) 89.496 * * [simplify]: iteration 5 : 258 enodes (cost 5 ) 89.644 * * [simplify]: iteration 6 : 662 enodes (cost 5 ) 90.587 * * [simplify]: iteration 7 : 2440 enodes (cost 5 ) 92.362 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 92.363 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 92.364 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 92.364 * * [simplify]: iteration done : 6 enodes (cost 9 ) 92.365 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 92.365 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 92.366 * * [simplify]: iteration done : 5 enodes (cost 4 ) 92.366 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 92.367 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 92.370 * * [simplify]: iteration 2 : 45 enodes (cost 5 ) 92.382 * * [simplify]: iteration 3 : 91 enodes (cost 5 ) 92.404 * * [simplify]: iteration 4 : 107 enodes (cost 5 ) 92.435 * * [simplify]: iteration 5 : 153 enodes (cost 5 ) 92.494 * * [simplify]: iteration 6 : 293 enodes (cost 5 ) 92.663 * * [simplify]: iteration 7 : 755 enodes (cost 5 ) 93.713 * * [simplify]: iteration 8 : 2745 enodes (cost 5 ) 95.410 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 95.410 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.411 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 95.411 * * [simplify]: iteration done : 5 enodes (cost 4 ) 95.412 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.412 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 95.413 * * [simplify]: iteration done : 5 enodes (cost 4 ) 95.413 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 95.414 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 95.414 * * [simplify]: iteration done : 6 enodes (cost 5 ) 95.415 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 95.415 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 95.416 * * [simplify]: iteration done : 6 enodes (cost 5 ) 95.416 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 95.417 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 95.418 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 95.419 * * [simplify]: iteration done : 10 enodes (cost 7 ) 95.420 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.420 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 95.421 * * [simplify]: iteration done : 5 enodes (cost 4 ) 95.421 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 95.421 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 95.422 * * [simplify]: iteration 2 : 9 enodes (cost 1 ) 95.423 * * [simplify]: iteration done : 9 enodes (cost 1 ) 95.423 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.424 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 95.424 * * [simplify]: iteration done : 5 enodes (cost 4 ) 95.425 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.425 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 95.426 * * [simplify]: iteration done : 5 enodes (cost 4 ) 95.426 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 95.427 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 95.427 * * [simplify]: iteration done : 4 enodes (cost 3 ) 95.428 * * [simplify]: iteration 0 : 17 enodes (cost 23 ) 95.430 * * [simplify]: iteration 1 : 49 enodes (cost 23 ) 95.439 * * [simplify]: iteration 2 : 141 enodes (cost 23 ) 95.481 * * [simplify]: iteration 3 : 469 enodes (cost 23 ) 95.792 * * [simplify]: iteration 4 : 1718 enodes (cost 23 ) 96.968 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 96.968 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 96.969 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 96.970 * * [simplify]: iteration done : 7 enodes (cost 9 ) 96.970 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 96.971 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 96.972 * * [simplify]: iteration done : 7 enodes (cost 9 ) 96.972 * * [simplify]: iteration 0 : 15 enodes (cost 19 ) 96.979 * * [simplify]: iteration 1 : 41 enodes (cost 19 ) 96.985 * * [simplify]: iteration 2 : 117 enodes (cost 19 ) 97.013 * * [simplify]: iteration 3 : 436 enodes (cost 19 ) 97.363 * * [simplify]: iteration 4 : 1987 enodes (cost 19 ) 99.224 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 99.225 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 99.226 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 99.228 * * [simplify]: iteration 2 : 34 enodes (cost 13 ) 99.233 * * [simplify]: iteration 3 : 60 enodes (cost 13 ) 99.242 * * [simplify]: iteration 4 : 82 enodes (cost 13 ) 99.254 * * [simplify]: iteration 5 : 83 enodes (cost 13 ) 99.269 * * [simplify]: iteration done : 83 enodes (cost 13 ) 99.270 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 99.271 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 99.273 * * [simplify]: iteration 2 : 34 enodes (cost 13 ) 99.278 * * [simplify]: iteration 3 : 60 enodes (cost 13 ) 99.287 * * [simplify]: iteration 4 : 82 enodes (cost 13 ) 99.299 * * [simplify]: iteration 5 : 83 enodes (cost 13 ) 99.310 * * [simplify]: iteration done : 83 enodes (cost 13 ) 99.311 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.312 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 99.315 * * [simplify]: iteration done : 4 enodes (cost 3 ) 99.315 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.316 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 99.316 * * [simplify]: iteration done : 4 enodes (cost 3 ) 99.317 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.317 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 99.317 * * [simplify]: iteration done : 4 enodes (cost 3 ) 99.318 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.318 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 99.319 * * [simplify]: iteration done : 4 enodes (cost 3 ) 99.319 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.320 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 99.320 * * [simplify]: iteration done : 4 enodes (cost 3 ) 99.321 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.321 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 99.321 * * [simplify]: iteration done : 4 enodes (cost 3 ) 99.322 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (+ (- (log 1.0) (log F)) (log (tan (* PI l)))) (+ (log (/ 1.0 F)) (log (tan (* PI l)))) (log (* (/ 1.0 F) (tan (* PI l)))) (exp (* (/ 1.0 F) (tan (* PI l)))) (* (pow (tan (* PI l)) 3) (pow (/ 1.0 F) 3)) (pow (* (/ 1.0 F) (tan (* PI l))) 3) (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l)))) (pow (* (/ 1.0 F) (tan (* PI l))) 3) (sqrt (* (/ 1.0 F) (tan (* PI l)))) (sqrt (* (/ 1.0 F) (tan (* PI l)))) (* 1.0 (sin (* PI l))) (* F (cos (* PI l))) (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l)))) (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l)))) (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (* (/ 1.0 F) (sqrt (tan (* PI l)))) (/ 1.0 F) (* (cbrt (/ 1.0 F)) (tan (* PI l))) (* (sqrt (/ 1.0 F)) (tan (* PI l))) (* (/ (cbrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (cbrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (cbrt 1.0) F) (tan (* PI l))) (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l))) (* (/ (sqrt 1.0) F) (tan (* PI l))) (* (/ 1.0 (cbrt F)) (tan (* PI l))) (* (/ 1.0 (sqrt F)) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l))) (/ (tan (* PI l)) F) (* (/ 1.0 F) (sin (* PI l))) (* 1.0 (tan (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (+ (* 1.0 (/ (* PI l) F)) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) 99.323 * * * [progress]: adding candidates to table 99.455 * * [progress]: iteration 3 / 4 99.455 * * * [progress]: picking best candidate 99.522 * * * * [pick]: Picked # 99.522 * * * [progress]: localizing error 99.533 * * * [progress]: generating rewritten candidates 99.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 99.536 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 99.540 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 99.544 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 99.551 * * * [progress]: generating series expansions 99.551 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 99.551 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 99.551 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 99.551 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 99.551 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 99.551 * [taylor]: Taking taylor expansion of (* PI l) in l 99.551 * [taylor]: Taking taylor expansion of PI in l 99.551 * [taylor]: Taking taylor expansion of l in l 99.552 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 99.552 * [taylor]: Taking taylor expansion of (* PI l) in l 99.552 * [taylor]: Taking taylor expansion of PI in l 99.552 * [taylor]: Taking taylor expansion of l in l 99.552 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 99.552 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 99.552 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 99.552 * [taylor]: Taking taylor expansion of (* PI l) in l 99.552 * [taylor]: Taking taylor expansion of PI in l 99.552 * [taylor]: Taking taylor expansion of l in l 99.552 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 99.552 * [taylor]: Taking taylor expansion of (* PI l) in l 99.552 * [taylor]: Taking taylor expansion of PI in l 99.552 * [taylor]: Taking taylor expansion of l in l 99.555 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 99.555 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 99.555 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 99.555 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 99.555 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.555 * [taylor]: Taking taylor expansion of PI in l 99.555 * [taylor]: Taking taylor expansion of l in l 99.556 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 99.556 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.556 * [taylor]: Taking taylor expansion of PI in l 99.556 * [taylor]: Taking taylor expansion of l in l 99.556 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 99.556 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 99.556 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 99.556 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.556 * [taylor]: Taking taylor expansion of PI in l 99.556 * [taylor]: Taking taylor expansion of l in l 99.556 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 99.556 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.556 * [taylor]: Taking taylor expansion of PI in l 99.556 * [taylor]: Taking taylor expansion of l in l 99.558 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 99.558 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 99.558 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 99.558 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 99.558 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.558 * [taylor]: Taking taylor expansion of -1 in l 99.558 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.558 * [taylor]: Taking taylor expansion of PI in l 99.558 * [taylor]: Taking taylor expansion of l in l 99.558 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 99.558 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.558 * [taylor]: Taking taylor expansion of -1 in l 99.558 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.558 * [taylor]: Taking taylor expansion of PI in l 99.558 * [taylor]: Taking taylor expansion of l in l 99.558 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 99.558 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 99.558 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 99.558 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.558 * [taylor]: Taking taylor expansion of -1 in l 99.558 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.558 * [taylor]: Taking taylor expansion of PI in l 99.558 * [taylor]: Taking taylor expansion of l in l 99.559 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 99.559 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.559 * [taylor]: Taking taylor expansion of -1 in l 99.559 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.559 * [taylor]: Taking taylor expansion of PI in l 99.559 * [taylor]: Taking taylor expansion of l in l 99.561 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 99.561 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 99.561 * [taylor]: Taking taylor expansion of (* PI l) in l 99.561 * [taylor]: Taking taylor expansion of PI in l 99.561 * [taylor]: Taking taylor expansion of l in l 99.561 * [taylor]: Taking taylor expansion of (* PI l) in l 99.561 * [taylor]: Taking taylor expansion of PI in l 99.561 * [taylor]: Taking taylor expansion of l in l 99.562 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 99.562 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.562 * [taylor]: Taking taylor expansion of PI in l 99.562 * [taylor]: Taking taylor expansion of l in l 99.562 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.562 * [taylor]: Taking taylor expansion of PI in l 99.562 * [taylor]: Taking taylor expansion of l in l 99.562 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 99.562 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.562 * [taylor]: Taking taylor expansion of -1 in l 99.562 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.562 * [taylor]: Taking taylor expansion of PI in l 99.562 * [taylor]: Taking taylor expansion of l in l 99.563 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.563 * [taylor]: Taking taylor expansion of -1 in l 99.563 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.563 * [taylor]: Taking taylor expansion of PI in l 99.563 * [taylor]: Taking taylor expansion of l in l 99.564 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 99.564 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 99.564 * [taylor]: Taking taylor expansion of (* PI l) in l 99.564 * [taylor]: Taking taylor expansion of PI in l 99.564 * [taylor]: Taking taylor expansion of l in l 99.564 * [taylor]: Taking taylor expansion of (* PI l) in l 99.564 * [taylor]: Taking taylor expansion of PI in l 99.564 * [taylor]: Taking taylor expansion of l in l 99.564 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 99.564 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.564 * [taylor]: Taking taylor expansion of PI in l 99.564 * [taylor]: Taking taylor expansion of l in l 99.564 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.564 * [taylor]: Taking taylor expansion of PI in l 99.564 * [taylor]: Taking taylor expansion of l in l 99.565 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 99.565 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.565 * [taylor]: Taking taylor expansion of -1 in l 99.565 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.565 * [taylor]: Taking taylor expansion of PI in l 99.565 * [taylor]: Taking taylor expansion of l in l 99.565 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.565 * [taylor]: Taking taylor expansion of -1 in l 99.565 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.565 * [taylor]: Taking taylor expansion of PI in l 99.565 * [taylor]: Taking taylor expansion of l in l 99.566 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 99.566 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) F) in (l F) around 0 99.566 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 99.566 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 99.566 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 99.566 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 99.566 * [taylor]: Taking taylor expansion of (* PI l) in F 99.566 * [taylor]: Taking taylor expansion of PI in F 99.566 * [taylor]: Taking taylor expansion of l in F 99.567 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 99.567 * [taylor]: Taking taylor expansion of (* PI l) in F 99.567 * [taylor]: Taking taylor expansion of PI in F 99.567 * [taylor]: Taking taylor expansion of l in F 99.567 * [taylor]: Taking taylor expansion of F in F 99.567 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 99.567 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 99.567 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 99.567 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 99.567 * [taylor]: Taking taylor expansion of (* PI l) in l 99.567 * [taylor]: Taking taylor expansion of PI in l 99.567 * [taylor]: Taking taylor expansion of l in l 99.567 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 99.567 * [taylor]: Taking taylor expansion of (* PI l) in l 99.567 * [taylor]: Taking taylor expansion of PI in l 99.567 * [taylor]: Taking taylor expansion of l in l 99.567 * [taylor]: Taking taylor expansion of F in l 99.567 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 99.567 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 99.568 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 99.568 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 99.568 * [taylor]: Taking taylor expansion of (* PI l) in l 99.568 * [taylor]: Taking taylor expansion of PI in l 99.568 * [taylor]: Taking taylor expansion of l in l 99.568 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 99.568 * [taylor]: Taking taylor expansion of (* PI l) in l 99.568 * [taylor]: Taking taylor expansion of PI in l 99.568 * [taylor]: Taking taylor expansion of l in l 99.568 * [taylor]: Taking taylor expansion of F in l 99.568 * [taylor]: Taking taylor expansion of (/ PI F) in F 99.568 * [taylor]: Taking taylor expansion of PI in F 99.568 * [taylor]: Taking taylor expansion of F in F 99.569 * [taylor]: Taking taylor expansion of 0 in F 99.570 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) F)) in F 99.570 * [taylor]: Taking taylor expansion of 1/3 in F 99.570 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F 99.570 * [taylor]: Taking taylor expansion of (pow PI 3) in F 99.570 * [taylor]: Taking taylor expansion of PI in F 99.570 * [taylor]: Taking taylor expansion of F in F 99.571 * [taylor]: Taking taylor expansion of 0 in F 99.573 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) F)) in F 99.573 * [taylor]: Taking taylor expansion of 2/15 in F 99.573 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F 99.573 * [taylor]: Taking taylor expansion of (pow PI 5) in F 99.573 * [taylor]: Taking taylor expansion of PI in F 99.573 * [taylor]: Taking taylor expansion of F in F 99.574 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) F) in (l F) around 0 99.574 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 99.574 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 99.574 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 99.574 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 99.574 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.574 * [taylor]: Taking taylor expansion of PI in F 99.574 * [taylor]: Taking taylor expansion of l in F 99.574 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 99.574 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.574 * [taylor]: Taking taylor expansion of PI in F 99.574 * [taylor]: Taking taylor expansion of l in F 99.574 * [taylor]: Taking taylor expansion of F in F 99.574 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 99.574 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 99.574 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 99.574 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 99.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.574 * [taylor]: Taking taylor expansion of PI in l 99.574 * [taylor]: Taking taylor expansion of l in l 99.574 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 99.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.574 * [taylor]: Taking taylor expansion of PI in l 99.574 * [taylor]: Taking taylor expansion of l in l 99.575 * [taylor]: Taking taylor expansion of F in l 99.575 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 99.575 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 99.575 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 99.575 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 99.575 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.575 * [taylor]: Taking taylor expansion of PI in l 99.575 * [taylor]: Taking taylor expansion of l in l 99.575 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 99.575 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.575 * [taylor]: Taking taylor expansion of PI in l 99.575 * [taylor]: Taking taylor expansion of l in l 99.575 * [taylor]: Taking taylor expansion of F in l 99.575 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F 99.575 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F 99.575 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 99.575 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.575 * [taylor]: Taking taylor expansion of PI in F 99.575 * [taylor]: Taking taylor expansion of l in F 99.575 * [taylor]: Taking taylor expansion of F in F 99.575 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 99.575 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.575 * [taylor]: Taking taylor expansion of PI in F 99.575 * [taylor]: Taking taylor expansion of l in F 99.576 * [taylor]: Taking taylor expansion of 0 in F 99.577 * [taylor]: Taking taylor expansion of 0 in F 99.578 * [taylor]: Taking taylor expansion of 0 in F 99.578 * [approximate]: Taking taylor expansion of (* -1 (* F (tan (* -1 (/ PI l))))) in (l F) around 0 99.578 * [taylor]: Taking taylor expansion of (* -1 (* F (tan (* -1 (/ PI l))))) in F 99.578 * [taylor]: Taking taylor expansion of -1 in F 99.578 * [taylor]: Taking taylor expansion of (* F (tan (* -1 (/ PI l)))) in F 99.578 * [taylor]: Taking taylor expansion of F in F 99.578 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 99.578 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 99.578 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 99.578 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 99.578 * [taylor]: Taking taylor expansion of -1 in F 99.578 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.578 * [taylor]: Taking taylor expansion of PI in F 99.578 * [taylor]: Taking taylor expansion of l in F 99.578 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 99.578 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 99.578 * [taylor]: Taking taylor expansion of -1 in F 99.579 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.579 * [taylor]: Taking taylor expansion of PI in F 99.579 * [taylor]: Taking taylor expansion of l in F 99.579 * [taylor]: Taking taylor expansion of (* -1 (* F (tan (* -1 (/ PI l))))) in l 99.579 * [taylor]: Taking taylor expansion of -1 in l 99.579 * [taylor]: Taking taylor expansion of (* F (tan (* -1 (/ PI l)))) in l 99.579 * [taylor]: Taking taylor expansion of F in l 99.579 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 99.579 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 99.579 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 99.579 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.579 * [taylor]: Taking taylor expansion of -1 in l 99.579 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.579 * [taylor]: Taking taylor expansion of PI in l 99.579 * [taylor]: Taking taylor expansion of l in l 99.579 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 99.579 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.579 * [taylor]: Taking taylor expansion of -1 in l 99.579 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.579 * [taylor]: Taking taylor expansion of PI in l 99.579 * [taylor]: Taking taylor expansion of l in l 99.580 * [taylor]: Taking taylor expansion of (* -1 (* F (tan (* -1 (/ PI l))))) in l 99.580 * [taylor]: Taking taylor expansion of -1 in l 99.580 * [taylor]: Taking taylor expansion of (* F (tan (* -1 (/ PI l)))) in l 99.580 * [taylor]: Taking taylor expansion of F in l 99.580 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 99.580 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 99.580 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 99.580 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.580 * [taylor]: Taking taylor expansion of -1 in l 99.580 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.580 * [taylor]: Taking taylor expansion of PI in l 99.580 * [taylor]: Taking taylor expansion of l in l 99.580 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 99.580 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 99.580 * [taylor]: Taking taylor expansion of -1 in l 99.580 * [taylor]: Taking taylor expansion of (/ PI l) in l 99.580 * [taylor]: Taking taylor expansion of PI in l 99.580 * [taylor]: Taking taylor expansion of l in l 99.580 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sin (* -1 (/ PI l))) F) (cos (* -1 (/ PI l))))) in F 99.580 * [taylor]: Taking taylor expansion of -1 in F 99.580 * [taylor]: Taking taylor expansion of (/ (* (sin (* -1 (/ PI l))) F) (cos (* -1 (/ PI l)))) in F 99.580 * [taylor]: Taking taylor expansion of (* (sin (* -1 (/ PI l))) F) in F 99.580 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 99.580 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 99.580 * [taylor]: Taking taylor expansion of -1 in F 99.580 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.581 * [taylor]: Taking taylor expansion of PI in F 99.581 * [taylor]: Taking taylor expansion of l in F 99.581 * [taylor]: Taking taylor expansion of F in F 99.581 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 99.581 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 99.581 * [taylor]: Taking taylor expansion of -1 in F 99.581 * [taylor]: Taking taylor expansion of (/ PI l) in F 99.581 * [taylor]: Taking taylor expansion of PI in F 99.581 * [taylor]: Taking taylor expansion of l in F 99.582 * [taylor]: Taking taylor expansion of 0 in F 99.583 * [taylor]: Taking taylor expansion of 0 in F 99.584 * [taylor]: Taking taylor expansion of 0 in F 99.585 * * * [progress]: simplifying candidates 99.586 * [simplify]: Simplifying using # : (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (* (* (* PI PI) PI) (* (* l l) l)) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (* (* (* PI l) (* PI l)) (* PI l)) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) (* PI 1) (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (- (log (tan (* PI l))) (log F)) (log (/ (tan (* PI l)) F)) (exp (/ (tan (* PI l)) F)) (/ (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (* (* F F) F)) (* (cbrt (/ (tan (* PI l)) F)) (cbrt (/ (tan (* PI l)) F))) (cbrt (/ (tan (* PI l)) F)) (* (* (/ (tan (* PI l)) F) (/ (tan (* PI l)) F)) (/ (tan (* PI l)) F)) (sqrt (/ (tan (* PI l)) F)) (sqrt (/ (tan (* PI l)) F)) (neg (tan (* PI l))) (neg F) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (* (cbrt F) (cbrt F))) (/ (cbrt (tan (* PI l))) (cbrt F)) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (sqrt F)) (/ (cbrt (tan (* PI l))) (sqrt F)) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) 1) (/ (cbrt (tan (* PI l))) F) (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F))) (/ (sqrt (tan (* PI l))) (cbrt F)) (/ (sqrt (tan (* PI l))) (sqrt F)) (/ (sqrt (tan (* PI l))) (sqrt F)) (/ (sqrt (tan (* PI l))) 1) (/ (sqrt (tan (* PI l))) F) (/ 1 (* (cbrt F) (cbrt F))) (/ (tan (* PI l)) (cbrt F)) (/ 1 (sqrt F)) (/ (tan (* PI l)) (sqrt F)) (/ 1 1) (/ (tan (* PI l)) F) (/ 1 F) (/ F (tan (* PI l))) (/ (tan (* PI l)) (* (cbrt F) (cbrt F))) (/ (tan (* PI l)) (sqrt F)) (/ (tan (* PI l)) 1) (/ F (cbrt (tan (* PI l)))) (/ F (sqrt (tan (* PI l)))) (/ F (tan (* PI l))) (* F (cos (* PI l))) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (+ (/ (* PI l) F) (+ (* 2/15 (/ (* (pow PI 5) (pow l 5)) F)) (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)))) (/ (sin (* PI l)) (* (cos (* PI l)) F)) (/ (sin (* PI l)) (* (cos (* PI l)) F)) 99.586 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 99.587 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 99.587 * * [simplify]: iteration done : 5 enodes (cost 4 ) 99.588 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 99.588 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 99.589 * * [simplify]: iteration done : 5 enodes (cost 4 ) 99.589 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 99.590 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 99.590 * * [simplify]: iteration done : 6 enodes (cost 5 ) 99.591 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 99.591 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 99.592 * * [simplify]: iteration done : 6 enodes (cost 5 ) 99.592 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 99.593 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 99.594 * * [simplify]: iteration done : 7 enodes (cost 11 ) 99.594 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 99.595 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 99.595 * * [simplify]: iteration done : 6 enodes (cost 5 ) 99.596 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 99.597 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 99.598 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 99.599 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 99.601 * * [simplify]: iteration 4 : 21 enodes (cost 6 ) 99.607 * * [simplify]: iteration 5 : 31 enodes (cost 6 ) 99.611 * * [simplify]: iteration 6 : 54 enodes (cost 6 ) 99.620 * * [simplify]: iteration 7 : 110 enodes (cost 6 ) 99.666 * * [simplify]: iteration 8 : 319 enodes (cost 6 ) 100.125 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 102.622 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 102.623 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 102.628 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 102.629 * * [simplify]: iteration done : 6 enodes (cost 5 ) 102.630 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 102.630 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 102.631 * * [simplify]: iteration done : 6 enodes (cost 5 ) 102.631 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 102.631 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 102.632 * * [simplify]: iteration done : 4 enodes (cost 3 ) 102.633 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 102.633 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 102.634 * * [simplify]: iteration done : 6 enodes (cost 5 ) 102.634 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 102.635 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 102.636 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 102.637 * * [simplify]: iteration done : 9 enodes (cost 4 ) 102.637 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 102.638 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 102.638 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 102.644 * * [simplify]: iteration 3 : 21 enodes (cost 4 ) 102.647 * * [simplify]: iteration 4 : 44 enodes (cost 4 ) 102.654 * * [simplify]: iteration 5 : 100 enodes (cost 4 ) 102.686 * * [simplify]: iteration 6 : 239 enodes (cost 4 ) 102.838 * * [simplify]: iteration 7 : 696 enodes (cost 4 ) 103.738 * * [simplify]: iteration 8 : 2441 enodes (cost 4 ) 105.419 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 105.419 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 105.420 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 105.423 * * [simplify]: iteration 2 : 39 enodes (cost 7 ) 105.431 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 105.451 * * [simplify]: iteration 4 : 134 enodes (cost 5 ) 105.502 * * [simplify]: iteration 5 : 258 enodes (cost 5 ) 105.648 * * [simplify]: iteration 6 : 662 enodes (cost 5 ) 106.576 * * [simplify]: iteration 7 : 2440 enodes (cost 5 ) 108.356 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 108.357 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 108.357 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 108.358 * * [simplify]: iteration done : 6 enodes (cost 9 ) 108.358 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 108.359 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 108.359 * * [simplify]: iteration done : 5 enodes (cost 4 ) 108.360 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 108.361 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 108.368 * * [simplify]: iteration 2 : 45 enodes (cost 5 ) 108.380 * * [simplify]: iteration 3 : 91 enodes (cost 5 ) 108.403 * * [simplify]: iteration 4 : 107 enodes (cost 5 ) 108.433 * * [simplify]: iteration 5 : 153 enodes (cost 5 ) 108.490 * * [simplify]: iteration 6 : 293 enodes (cost 5 ) 108.654 * * [simplify]: iteration 7 : 755 enodes (cost 5 ) 109.689 * * [simplify]: iteration 8 : 2745 enodes (cost 5 ) 111.392 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 111.393 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.394 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 111.394 * * [simplify]: iteration done : 5 enodes (cost 4 ) 111.395 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.395 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 111.396 * * [simplify]: iteration done : 5 enodes (cost 4 ) 111.396 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 111.397 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 111.397 * * [simplify]: iteration done : 6 enodes (cost 5 ) 111.398 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 111.398 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 111.399 * * [simplify]: iteration done : 6 enodes (cost 5 ) 111.400 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 111.400 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 111.401 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 111.402 * * [simplify]: iteration done : 10 enodes (cost 7 ) 111.403 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.403 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 111.404 * * [simplify]: iteration done : 5 enodes (cost 4 ) 111.404 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 111.405 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 111.406 * * [simplify]: iteration 2 : 9 enodes (cost 1 ) 111.406 * * [simplify]: iteration done : 9 enodes (cost 1 ) 111.407 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.407 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 111.408 * * [simplify]: iteration done : 5 enodes (cost 4 ) 111.408 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.408 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 111.409 * * [simplify]: iteration done : 5 enodes (cost 4 ) 111.410 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 111.410 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 111.410 * * [simplify]: iteration done : 4 enodes (cost 3 ) 111.411 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 111.411 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 111.412 * * [simplify]: iteration done : 4 enodes (cost 3 ) 111.412 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 111.413 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 111.413 * * [simplify]: iteration done : 6 enodes (cost 5 ) 111.414 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.414 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 111.415 * * [simplify]: iteration 2 : 9 enodes (cost 4 ) 111.416 * * [simplify]: iteration done : 9 enodes (cost 4 ) 111.417 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.417 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 111.418 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 111.419 * * [simplify]: iteration 3 : 21 enodes (cost 4 ) 111.422 * * [simplify]: iteration 4 : 44 enodes (cost 4 ) 111.429 * * [simplify]: iteration 5 : 100 enodes (cost 4 ) 111.465 * * [simplify]: iteration 6 : 239 enodes (cost 4 ) 111.617 * * [simplify]: iteration 7 : 696 enodes (cost 4 ) 112.505 * * [simplify]: iteration 8 : 2441 enodes (cost 4 ) 114.169 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 114.169 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 114.170 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 114.173 * * [simplify]: iteration 2 : 39 enodes (cost 7 ) 114.184 * * [simplify]: iteration 3 : 76 enodes (cost 7 ) 114.205 * * [simplify]: iteration 4 : 134 enodes (cost 5 ) 114.256 * * [simplify]: iteration 5 : 258 enodes (cost 5 ) 114.401 * * [simplify]: iteration 6 : 662 enodes (cost 5 ) 115.335 * * [simplify]: iteration 7 : 2440 enodes (cost 5 ) 117.120 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 117.120 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 117.121 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 117.121 * * [simplify]: iteration done : 6 enodes (cost 9 ) 117.122 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 117.122 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 117.123 * * [simplify]: iteration done : 5 enodes (cost 4 ) 117.123 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 117.124 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 117.127 * * [simplify]: iteration 2 : 45 enodes (cost 5 ) 117.143 * * [simplify]: iteration 3 : 91 enodes (cost 5 ) 117.166 * * [simplify]: iteration 4 : 107 enodes (cost 5 ) 117.196 * * [simplify]: iteration 5 : 153 enodes (cost 5 ) 117.255 * * [simplify]: iteration 6 : 293 enodes (cost 5 ) 117.423 * * [simplify]: iteration 7 : 755 enodes (cost 5 ) 118.474 * * [simplify]: iteration 8 : 2745 enodes (cost 5 ) 120.183 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 120.183 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.184 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 120.184 * * [simplify]: iteration done : 5 enodes (cost 4 ) 120.185 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.185 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 120.186 * * [simplify]: iteration done : 5 enodes (cost 4 ) 120.186 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 120.187 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 120.187 * * [simplify]: iteration done : 6 enodes (cost 5 ) 120.188 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 120.188 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 120.189 * * [simplify]: iteration done : 6 enodes (cost 5 ) 120.189 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 120.190 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 120.191 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 120.192 * * [simplify]: iteration done : 10 enodes (cost 7 ) 120.193 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.193 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 120.194 * * [simplify]: iteration done : 5 enodes (cost 4 ) 120.194 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.195 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 120.195 * * [simplify]: iteration 2 : 9 enodes (cost 1 ) 120.196 * * [simplify]: iteration done : 9 enodes (cost 1 ) 120.197 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.197 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 120.198 * * [simplify]: iteration done : 5 enodes (cost 4 ) 120.198 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 120.199 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 120.199 * * [simplify]: iteration done : 5 enodes (cost 4 ) 120.200 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.200 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 120.200 * * [simplify]: iteration done : 4 enodes (cost 3 ) 120.201 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 120.202 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 120.203 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 120.204 * * [simplify]: iteration done : 12 enodes (cost 8 ) 120.205 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 120.206 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 120.207 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 120.208 * * [simplify]: iteration 3 : 14 enodes (cost 7 ) 120.209 * * [simplify]: iteration done : 14 enodes (cost 7 ) 120.210 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 120.210 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 120.211 * * [simplify]: iteration done : 8 enodes (cost 7 ) 120.212 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 120.213 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 120.217 * * [simplify]: iteration 2 : 52 enodes (cost 10 ) 120.226 * * [simplify]: iteration 3 : 119 enodes (cost 8 ) 120.258 * * [simplify]: iteration 4 : 198 enodes (cost 8 ) 120.314 * * [simplify]: iteration 5 : 316 enodes (cost 8 ) 120.443 * * [simplify]: iteration 6 : 779 enodes (cost 8 ) 121.621 * * [simplify]: iteration 7 : 3364 enodes (cost 8 ) 122.850 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 122.851 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 122.852 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 122.853 * * [simplify]: iteration done : 9 enodes (cost 15 ) 122.853 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 122.854 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 122.855 * * [simplify]: iteration done : 8 enodes (cost 7 ) 122.855 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 122.856 * * [simplify]: iteration 1 : 16 enodes (cost 20 ) 122.858 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 122.864 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 122.878 * * [simplify]: iteration 4 : 137 enodes (cost 8 ) 122.912 * * [simplify]: iteration 5 : 201 enodes (cost 8 ) 122.965 * * [simplify]: iteration 6 : 327 enodes (cost 8 ) 123.098 * * [simplify]: iteration 7 : 828 enodes (cost 8 ) 124.115 * * [simplify]: iteration 8 : 3568 enodes (cost 8 ) 125.618 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 125.619 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.619 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.620 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.621 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.621 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.622 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.623 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 125.623 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 125.624 * * [simplify]: iteration done : 6 enodes (cost 5 ) 125.624 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 125.625 * * [simplify]: iteration done : 2 enodes (cost 2 ) 125.625 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 125.626 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 125.628 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 125.631 * * [simplify]: iteration 3 : 32 enodes (cost 17 ) 125.635 * * [simplify]: iteration done : 32 enodes (cost 17 ) 125.636 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 125.637 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 125.637 * * [simplify]: iteration done : 9 enodes (cost 8 ) 125.638 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 125.639 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 125.640 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 125.642 * * [simplify]: iteration 3 : 15 enodes (cost 14 ) 125.643 * * [simplify]: iteration done : 15 enodes (cost 14 ) 125.644 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 125.644 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 125.645 * * [simplify]: iteration done : 9 enodes (cost 8 ) 125.646 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 125.647 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 125.648 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 125.650 * * [simplify]: iteration 3 : 24 enodes (cost 11 ) 125.652 * * [simplify]: iteration done : 24 enodes (cost 11 ) 125.653 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.653 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.654 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.655 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 125.656 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 125.657 * * [simplify]: iteration done : 12 enodes (cost 11 ) 125.657 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 125.658 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 125.659 * * [simplify]: iteration done : 9 enodes (cost 8 ) 125.660 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 125.660 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 125.661 * * [simplify]: iteration done : 9 enodes (cost 8 ) 125.663 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 125.664 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 125.664 * * [simplify]: iteration done : 9 enodes (cost 8 ) 125.665 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.666 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 125.667 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 125.667 * * [simplify]: iteration done : 12 enodes (cost 5 ) 125.668 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.669 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.669 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.670 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 125.671 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 125.671 * * [simplify]: iteration done : 9 enodes (cost 7 ) 125.672 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.673 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.673 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.674 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 125.674 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 125.675 * * [simplify]: iteration done : 6 enodes (cost 4 ) 125.675 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.676 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.679 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.680 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 125.680 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 125.680 * * [simplify]: iteration done : 4 enodes (cost 1 ) 125.681 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 125.681 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 125.682 * * [simplify]: iteration done : 7 enodes (cost 6 ) 125.683 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 125.683 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 125.683 * * [simplify]: iteration done : 5 enodes (cost 3 ) 125.684 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 125.684 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 125.685 * * [simplify]: iteration done : 7 enodes (cost 6 ) 125.686 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 125.687 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 125.688 * * [simplify]: iteration done : 11 enodes (cost 10 ) 125.688 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.689 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.690 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.690 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 125.691 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 125.692 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 125.692 * * [simplify]: iteration done : 11 enodes (cost 4 ) 125.693 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.694 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.695 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.695 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 125.696 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 125.697 * * [simplify]: iteration done : 8 enodes (cost 7 ) 125.697 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 125.698 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 125.699 * * [simplify]: iteration done : 7 enodes (cost 6 ) 125.700 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 125.700 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 125.701 * * [simplify]: iteration done : 8 enodes (cost 6 ) 125.702 * * [simplify]: iteration 0 : 17 enodes (cost 23 ) 125.704 * * [simplify]: iteration 1 : 49 enodes (cost 23 ) 125.713 * * [simplify]: iteration 2 : 141 enodes (cost 23 ) 125.754 * * [simplify]: iteration 3 : 469 enodes (cost 23 ) 126.064 * * [simplify]: iteration 4 : 1718 enodes (cost 23 ) 127.236 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 127.237 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 127.238 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 127.239 * * [simplify]: iteration done : 7 enodes (cost 9 ) 127.240 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 127.240 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 127.241 * * [simplify]: iteration done : 7 enodes (cost 9 ) 127.242 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 127.242 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 127.243 * * [simplify]: iteration done : 4 enodes (cost 3 ) 127.243 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 127.243 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 127.244 * * [simplify]: iteration done : 4 enodes (cost 3 ) 127.244 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 127.245 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 127.245 * * [simplify]: iteration done : 4 enodes (cost 3 ) 127.246 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 127.246 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 127.247 * * [simplify]: iteration done : 4 enodes (cost 3 ) 127.247 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 127.248 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 127.248 * * [simplify]: iteration done : 4 enodes (cost 3 ) 127.249 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 127.249 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 127.249 * * [simplify]: iteration done : 4 enodes (cost 3 ) 127.250 * * [simplify]: iteration 0 : 21 enodes (cost 29 ) 127.253 * * [simplify]: iteration 1 : 59 enodes (cost 29 ) 127.262 * * [simplify]: iteration 2 : 170 enodes (cost 29 ) 127.307 * * [simplify]: iteration 3 : 617 enodes (cost 29 ) 127.739 * * [simplify]: iteration 4 : 2788 enodes (cost 29 ) 128.861 * * [simplify]: iteration done : 5001 enodes (cost 29 ) 128.862 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 128.863 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 128.864 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 128.865 * * [simplify]: iteration done : 14 enodes (cost 11 ) 128.866 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 128.867 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 128.868 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 128.870 * * [simplify]: iteration done : 14 enodes (cost 11 ) 128.870 * [simplify]: Simplified to: (sin (* PI l)) (cos (* PI l)) (log (tan (* PI l))) (exp (tan (* PI l))) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (cbrt (tan (* PI l))) (pow (tan (* PI l)) 3) (sqrt (tan (* PI l))) (sqrt (tan (* PI l))) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (* PI l) (+ (log PI) (log l)) (log (* PI l)) (exp (* PI l)) (pow (* PI l) 3) (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)) (pow (* PI l) 3) (sqrt (* PI l)) (sqrt (* PI l)) (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l)) (* PI (* (cbrt l) (cbrt l))) (* PI (sqrt l)) PI (* (cbrt PI) l) (* (sqrt PI) l) (* PI l) (- (log (tan (* PI l))) (log F)) (log (/ (tan (* PI l)) F)) (exp (/ (tan (* PI l)) F)) (pow (/ (tan (* PI l)) F) 3) (* (cbrt (/ (tan (* PI l)) F)) (cbrt (/ (tan (* PI l)) F))) (cbrt (/ (tan (* PI l)) F)) (pow (/ (tan (* PI l)) F) 3) (sqrt (/ (tan (* PI l)) F)) (sqrt (/ (tan (* PI l)) F)) (neg (tan (* PI l))) (neg F) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (* (cbrt F) (cbrt F))) (/ (cbrt (tan (* PI l))) (cbrt F)) (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (sqrt F)) (/ (cbrt (tan (* PI l))) (sqrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (/ (cbrt (tan (* PI l))) F) (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F))) (/ (sqrt (tan (* PI l))) (cbrt F)) (/ (sqrt (tan (* PI l))) (sqrt F)) (/ (sqrt (tan (* PI l))) (sqrt F)) (sqrt (tan (* PI l))) (/ (sqrt (tan (* PI l))) F) (/ 1 (* (cbrt F) (cbrt F))) (/ (tan (* PI l)) (cbrt F)) (/ 1 (sqrt F)) (/ (tan (* PI l)) (sqrt F)) 1 (/ (tan (* PI l)) F) (/ 1 F) (/ F (tan (* PI l))) (/ (tan (* PI l)) (* (cbrt F) (cbrt F))) (/ (tan (* PI l)) (sqrt F)) (tan (* PI l)) (/ F (cbrt (tan (* PI l)))) (/ F (sqrt (tan (* PI l)))) (/ F (tan (* PI l))) (* F (cos (* PI l))) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (* PI l) (+ (/ (* PI l) F) (+ (* 2/15 (/ (* (pow PI 5) (pow l 5)) F)) (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)))) (/ (sin (* PI l)) (* (cos (* PI l)) F)) (/ (sin (* PI l)) (* (cos (* PI l)) F)) 128.871 * * * [progress]: adding candidates to table 128.967 * * [progress]: iteration 4 / 4 128.967 * * * [progress]: picking best candidate 129.029 * * * * [pick]: Picked # 129.029 * * * [progress]: localizing error 129.045 * * * [progress]: generating rewritten candidates 129.045 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 129.050 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2) 129.054 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1 2) 129.057 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 1 1) 129.060 * * * [progress]: generating series expansions 129.061 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 129.061 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 129.061 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 129.061 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 129.061 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 129.061 * [taylor]: Taking taylor expansion of (* PI l) in l 129.061 * [taylor]: Taking taylor expansion of PI in l 129.061 * [taylor]: Taking taylor expansion of l in l 129.061 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 129.061 * [taylor]: Taking taylor expansion of (* PI l) in l 129.061 * [taylor]: Taking taylor expansion of PI in l 129.061 * [taylor]: Taking taylor expansion of l in l 129.061 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 129.061 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 129.061 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 129.061 * [taylor]: Taking taylor expansion of (* PI l) in l 129.061 * [taylor]: Taking taylor expansion of PI in l 129.061 * [taylor]: Taking taylor expansion of l in l 129.062 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 129.062 * [taylor]: Taking taylor expansion of (* PI l) in l 129.062 * [taylor]: Taking taylor expansion of PI in l 129.062 * [taylor]: Taking taylor expansion of l in l 129.065 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 129.065 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 129.065 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 129.065 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 129.065 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.065 * [taylor]: Taking taylor expansion of PI in l 129.065 * [taylor]: Taking taylor expansion of l in l 129.065 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 129.065 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.065 * [taylor]: Taking taylor expansion of PI in l 129.065 * [taylor]: Taking taylor expansion of l in l 129.065 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 129.065 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 129.065 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 129.065 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.065 * [taylor]: Taking taylor expansion of PI in l 129.065 * [taylor]: Taking taylor expansion of l in l 129.065 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 129.065 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.065 * [taylor]: Taking taylor expansion of PI in l 129.065 * [taylor]: Taking taylor expansion of l in l 129.067 * [approximate]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in (l) around 0 129.067 * [taylor]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in l 129.068 * [taylor]: Rewrote expression to (/ (sin (/ (* (pow (cbrt -1) 3) PI) l)) (cos (/ (* (pow (cbrt -1) 3) PI) l))) 129.068 * [taylor]: Taking taylor expansion of (sin (/ (* (pow (cbrt -1) 3) PI) l)) in l 129.068 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 129.068 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 129.068 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 129.068 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.068 * [taylor]: Taking taylor expansion of -1 in l 129.068 * [taylor]: Taking taylor expansion of PI in l 129.068 * [taylor]: Taking taylor expansion of l in l 129.068 * [taylor]: Taking taylor expansion of (cos (/ (* (pow (cbrt -1) 3) PI) l)) in l 129.069 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 129.069 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 129.069 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 129.069 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.069 * [taylor]: Taking taylor expansion of -1 in l 129.069 * [taylor]: Taking taylor expansion of PI in l 129.069 * [taylor]: Taking taylor expansion of l in l 129.069 * [taylor]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in l 129.069 * [taylor]: Rewrote expression to (/ (sin (/ (* (pow (cbrt -1) 3) PI) l)) (cos (/ (* (pow (cbrt -1) 3) PI) l))) 129.069 * [taylor]: Taking taylor expansion of (sin (/ (* (pow (cbrt -1) 3) PI) l)) in l 129.069 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 129.069 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 129.069 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 129.069 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.069 * [taylor]: Taking taylor expansion of -1 in l 129.070 * [taylor]: Taking taylor expansion of PI in l 129.070 * [taylor]: Taking taylor expansion of l in l 129.070 * [taylor]: Taking taylor expansion of (cos (/ (* (pow (cbrt -1) 3) PI) l)) in l 129.070 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 129.070 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 129.070 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 129.070 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.070 * [taylor]: Taking taylor expansion of -1 in l 129.070 * [taylor]: Taking taylor expansion of PI in l 129.070 * [taylor]: Taking taylor expansion of l in l 129.073 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2) 129.073 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 129.073 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 129.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 129.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 129.073 * [taylor]: Taking taylor expansion of 1/3 in l 129.073 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 129.073 * [taylor]: Taking taylor expansion of (* PI l) in l 129.073 * [taylor]: Taking taylor expansion of PI in l 129.073 * [taylor]: Taking taylor expansion of l in l 129.074 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 129.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 129.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 129.074 * [taylor]: Taking taylor expansion of 1/3 in l 129.074 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 129.074 * [taylor]: Taking taylor expansion of (* PI l) in l 129.074 * [taylor]: Taking taylor expansion of PI in l 129.074 * [taylor]: Taking taylor expansion of l in l 129.082 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 129.082 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.082 * [taylor]: Taking taylor expansion of 1/3 in l 129.082 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.082 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.082 * [taylor]: Taking taylor expansion of PI in l 129.082 * [taylor]: Taking taylor expansion of l in l 129.082 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.083 * [taylor]: Taking taylor expansion of 1/3 in l 129.083 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.083 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.083 * [taylor]: Taking taylor expansion of PI in l 129.083 * [taylor]: Taking taylor expansion of l in l 129.090 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 129.090 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 129.090 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.090 * [taylor]: Taking taylor expansion of -1 in l 129.090 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.090 * [taylor]: Taking taylor expansion of 1/3 in l 129.090 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.090 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.090 * [taylor]: Taking taylor expansion of PI in l 129.090 * [taylor]: Taking taylor expansion of l in l 129.091 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 129.091 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.091 * [taylor]: Taking taylor expansion of -1 in l 129.091 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.091 * [taylor]: Taking taylor expansion of 1/3 in l 129.091 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.091 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.091 * [taylor]: Taking taylor expansion of PI in l 129.091 * [taylor]: Taking taylor expansion of l in l 129.100 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1 2) 129.100 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 129.100 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 129.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 129.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 129.101 * [taylor]: Taking taylor expansion of 1/3 in l 129.101 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 129.101 * [taylor]: Taking taylor expansion of (* PI l) in l 129.101 * [taylor]: Taking taylor expansion of PI in l 129.101 * [taylor]: Taking taylor expansion of l in l 129.101 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 129.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 129.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 129.101 * [taylor]: Taking taylor expansion of 1/3 in l 129.101 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 129.101 * [taylor]: Taking taylor expansion of (* PI l) in l 129.101 * [taylor]: Taking taylor expansion of PI in l 129.101 * [taylor]: Taking taylor expansion of l in l 129.109 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 129.109 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.109 * [taylor]: Taking taylor expansion of 1/3 in l 129.109 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.109 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.109 * [taylor]: Taking taylor expansion of PI in l 129.109 * [taylor]: Taking taylor expansion of l in l 129.109 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.109 * [taylor]: Taking taylor expansion of 1/3 in l 129.109 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.109 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.109 * [taylor]: Taking taylor expansion of PI in l 129.109 * [taylor]: Taking taylor expansion of l in l 129.117 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 129.117 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 129.117 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.117 * [taylor]: Taking taylor expansion of -1 in l 129.117 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.117 * [taylor]: Taking taylor expansion of 1/3 in l 129.117 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.117 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.117 * [taylor]: Taking taylor expansion of PI in l 129.117 * [taylor]: Taking taylor expansion of l in l 129.118 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 129.118 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.118 * [taylor]: Taking taylor expansion of -1 in l 129.122 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.122 * [taylor]: Taking taylor expansion of 1/3 in l 129.122 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.122 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.122 * [taylor]: Taking taylor expansion of PI in l 129.122 * [taylor]: Taking taylor expansion of l in l 129.132 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 1 1) 129.132 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 129.132 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 129.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 129.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 129.132 * [taylor]: Taking taylor expansion of 1/3 in l 129.132 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 129.132 * [taylor]: Taking taylor expansion of (* PI l) in l 129.132 * [taylor]: Taking taylor expansion of PI in l 129.132 * [taylor]: Taking taylor expansion of l in l 129.132 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 129.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 129.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 129.132 * [taylor]: Taking taylor expansion of 1/3 in l 129.132 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 129.132 * [taylor]: Taking taylor expansion of (* PI l) in l 129.132 * [taylor]: Taking taylor expansion of PI in l 129.132 * [taylor]: Taking taylor expansion of l in l 129.139 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 129.139 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.140 * [taylor]: Taking taylor expansion of 1/3 in l 129.140 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.140 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.140 * [taylor]: Taking taylor expansion of PI in l 129.140 * [taylor]: Taking taylor expansion of l in l 129.140 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.140 * [taylor]: Taking taylor expansion of 1/3 in l 129.140 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.140 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.140 * [taylor]: Taking taylor expansion of PI in l 129.140 * [taylor]: Taking taylor expansion of l in l 129.148 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 129.148 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 129.148 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.148 * [taylor]: Taking taylor expansion of -1 in l 129.148 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.148 * [taylor]: Taking taylor expansion of 1/3 in l 129.148 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.148 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.148 * [taylor]: Taking taylor expansion of PI in l 129.148 * [taylor]: Taking taylor expansion of l in l 129.148 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 129.148 * [taylor]: Taking taylor expansion of (cbrt -1) in l 129.148 * [taylor]: Taking taylor expansion of -1 in l 129.148 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 129.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 129.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 129.148 * [taylor]: Taking taylor expansion of 1/3 in l 129.148 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 129.148 * [taylor]: Taking taylor expansion of (/ PI l) in l 129.148 * [taylor]: Taking taylor expansion of PI in l 129.148 * [taylor]: Taking taylor expansion of l in l 129.158 * * * [progress]: simplifying candidates 129.159 * [simplify]: Simplifying using # : (sin (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))) (cos (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))) (log (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (exp (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (* (cbrt (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (cbrt (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))) (cbrt (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (* (* (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (sqrt (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (sqrt (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))) (log (cbrt (* PI l))) (exp (cbrt (* PI l))) (cbrt PI) (cbrt l) (* (cbrt (cbrt (* PI l))) (cbrt (cbrt (* PI l)))) (cbrt (cbrt (* PI l))) (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (log (cbrt (* PI l))) (exp (cbrt (* PI l))) (cbrt PI) (cbrt l) (* (cbrt (cbrt (* PI l))) (cbrt (cbrt (* PI l)))) (cbrt (cbrt (* PI l))) (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (log (cbrt (* PI l))) (exp (cbrt (* PI l))) (cbrt PI) (cbrt l) (* (cbrt (cbrt (* PI l))) (cbrt (cbrt (* PI l)))) (cbrt (cbrt (* PI l))) (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (exp (* 1/3 (+ (log PI) (log l)))) (exp (* 1/3 (- (log PI) (log (/ 1 l))))) (* (exp (* 1/3 (- (log PI) (log (/ -1 l))))) (cbrt -1)) (exp (* 1/3 (+ (log PI) (log l)))) (exp (* 1/3 (- (log PI) (log (/ 1 l))))) (* (exp (* 1/3 (- (log PI) (log (/ -1 l))))) (cbrt -1)) (exp (* 1/3 (+ (log PI) (log l)))) (exp (* 1/3 (- (log PI) (log (/ 1 l))))) (* (exp (* 1/3 (- (log PI) (log (/ -1 l))))) (cbrt -1)) 129.159 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 129.160 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 129.161 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 129.163 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 129.164 * * [simplify]: iteration 4 : 22 enodes (cost 4 ) 129.167 * * [simplify]: iteration 5 : 32 enodes (cost 4 ) 129.170 * * [simplify]: iteration 6 : 53 enodes (cost 4 ) 129.180 * * [simplify]: iteration 7 : 118 enodes (cost 4 ) 129.229 * * [simplify]: iteration 8 : 328 enodes (cost 4 ) 129.681 * * [simplify]: iteration 9 : 1259 enodes (cost 4 ) 131.990 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 131.990 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 131.991 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 131.992 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 131.994 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 131.995 * * [simplify]: iteration 4 : 22 enodes (cost 4 ) 131.998 * * [simplify]: iteration 5 : 32 enodes (cost 4 ) 132.001 * * [simplify]: iteration 6 : 53 enodes (cost 4 ) 132.011 * * [simplify]: iteration 7 : 118 enodes (cost 4 ) 132.060 * * [simplify]: iteration 8 : 328 enodes (cost 4 ) 132.515 * * [simplify]: iteration 9 : 1259 enodes (cost 4 ) 134.828 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 134.829 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 134.830 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 134.831 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 134.833 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 134.834 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 134.837 * * [simplify]: iteration 5 : 33 enodes (cost 5 ) 134.841 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 134.850 * * [simplify]: iteration 7 : 116 enodes (cost 5 ) 134.899 * * [simplify]: iteration 8 : 332 enodes (cost 5 ) 135.374 * * [simplify]: iteration 9 : 1267 enodes (cost 5 ) 137.757 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 137.758 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 137.759 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 137.760 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 137.766 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 137.768 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 137.770 * * [simplify]: iteration 5 : 33 enodes (cost 5 ) 137.774 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 137.784 * * [simplify]: iteration 7 : 116 enodes (cost 5 ) 137.832 * * [simplify]: iteration 8 : 332 enodes (cost 5 ) 138.311 * * [simplify]: iteration 9 : 1267 enodes (cost 5 ) 140.687 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 140.688 * * [simplify]: iteration 0 : 9 enodes (cost 33 ) 140.689 * * [simplify]: iteration 1 : 11 enodes (cost 33 ) 140.690 * * [simplify]: iteration 2 : 13 enodes (cost 17 ) 140.692 * * [simplify]: iteration 3 : 18 enodes (cost 11 ) 140.694 * * [simplify]: iteration 4 : 24 enodes (cost 11 ) 140.697 * * [simplify]: iteration 5 : 34 enodes (cost 11 ) 140.701 * * [simplify]: iteration 6 : 55 enodes (cost 11 ) 140.717 * * [simplify]: iteration 7 : 120 enodes (cost 11 ) 140.761 * * [simplify]: iteration 8 : 335 enodes (cost 11 ) 141.243 * * [simplify]: iteration 9 : 1258 enodes (cost 11 ) 143.827 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 143.828 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 143.828 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 143.830 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 143.831 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 143.833 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 143.835 * * [simplify]: iteration 5 : 33 enodes (cost 5 ) 143.839 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 143.854 * * [simplify]: iteration 7 : 116 enodes (cost 5 ) 143.899 * * [simplify]: iteration 8 : 332 enodes (cost 5 ) 144.377 * * [simplify]: iteration 9 : 1267 enodes (cost 5 ) 146.745 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 146.745 * * [simplify]: iteration 0 : 9 enodes (cost 47 ) 146.747 * * [simplify]: iteration 1 : 12 enodes (cost 47 ) 146.748 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 146.750 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 146.753 * * [simplify]: iteration 4 : 31 enodes (cost 6 ) 146.756 * * [simplify]: iteration 5 : 48 enodes (cost 6 ) 146.763 * * [simplify]: iteration 6 : 91 enodes (cost 6 ) 146.785 * * [simplify]: iteration 7 : 212 enodes (cost 6 ) 146.876 * * [simplify]: iteration 8 : 619 enodes (cost 6 ) 147.770 * * [simplify]: iteration 9 : 2444 enodes (cost 6 ) 149.760 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 149.761 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 149.762 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 149.763 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 149.771 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 149.773 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 149.775 * * [simplify]: iteration 5 : 33 enodes (cost 5 ) 149.779 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 149.788 * * [simplify]: iteration 7 : 116 enodes (cost 5 ) 149.837 * * [simplify]: iteration 8 : 332 enodes (cost 5 ) 150.314 * * [simplify]: iteration 9 : 1267 enodes (cost 5 ) 152.693 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 152.694 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 152.695 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 152.696 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 152.697 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 152.699 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 152.701 * * [simplify]: iteration 5 : 33 enodes (cost 5 ) 152.705 * * [simplify]: iteration 6 : 56 enodes (cost 5 ) 152.721 * * [simplify]: iteration 7 : 116 enodes (cost 5 ) 152.766 * * [simplify]: iteration 8 : 332 enodes (cost 5 ) 153.241 * * [simplify]: iteration 9 : 1267 enodes (cost 5 ) 155.624 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 155.624 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 155.625 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 155.625 * * [simplify]: iteration done : 6 enodes (cost 5 ) 155.626 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 155.626 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 155.627 * * [simplify]: iteration done : 6 enodes (cost 5 ) 155.628 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 155.628 * * [simplify]: iteration done : 2 enodes (cost 2 ) 155.628 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 155.628 * * [simplify]: iteration done : 2 enodes (cost 2 ) 155.629 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 155.630 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 155.630 * * [simplify]: iteration done : 7 enodes (cost 11 ) 155.631 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 155.631 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 155.632 * * [simplify]: iteration done : 6 enodes (cost 5 ) 155.633 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 155.633 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 155.634 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 155.636 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 155.637 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 155.639 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 155.643 * * [simplify]: iteration 6 : 54 enodes (cost 3 ) 155.652 * * [simplify]: iteration 7 : 110 enodes (cost 3 ) 155.699 * * [simplify]: iteration 8 : 319 enodes (cost 3 ) 156.149 * * [simplify]: iteration 9 : 1259 enodes (cost 3 ) 158.432 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 158.433 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 158.433 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 158.434 * * [simplify]: iteration done : 6 enodes (cost 5 ) 158.434 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 158.435 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 158.435 * * [simplify]: iteration done : 6 enodes (cost 5 ) 158.436 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 158.436 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 158.437 * * [simplify]: iteration done : 6 enodes (cost 5 ) 158.438 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 158.438 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 158.439 * * [simplify]: iteration done : 6 enodes (cost 5 ) 158.439 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 158.439 * * [simplify]: iteration done : 2 enodes (cost 2 ) 158.440 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 158.440 * * [simplify]: iteration done : 2 enodes (cost 2 ) 158.441 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 158.441 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 158.442 * * [simplify]: iteration done : 7 enodes (cost 11 ) 158.442 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 158.443 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 158.443 * * [simplify]: iteration done : 6 enodes (cost 5 ) 158.444 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 158.445 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 158.446 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 158.447 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 158.449 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 158.451 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 158.455 * * [simplify]: iteration 6 : 54 enodes (cost 3 ) 158.465 * * [simplify]: iteration 7 : 110 enodes (cost 3 ) 158.513 * * [simplify]: iteration 8 : 319 enodes (cost 3 ) 158.964 * * [simplify]: iteration 9 : 1259 enodes (cost 3 ) 161.249 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 161.249 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 161.250 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 161.250 * * [simplify]: iteration done : 6 enodes (cost 5 ) 161.251 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 161.251 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 161.252 * * [simplify]: iteration done : 6 enodes (cost 5 ) 161.252 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 161.253 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 161.253 * * [simplify]: iteration done : 6 enodes (cost 5 ) 161.254 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 161.255 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 161.255 * * [simplify]: iteration done : 6 enodes (cost 5 ) 161.256 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 161.256 * * [simplify]: iteration done : 2 enodes (cost 2 ) 161.257 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 161.257 * * [simplify]: iteration done : 2 enodes (cost 2 ) 161.258 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 161.258 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 161.259 * * [simplify]: iteration done : 7 enodes (cost 11 ) 161.260 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 161.260 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 161.261 * * [simplify]: iteration done : 6 enodes (cost 5 ) 161.261 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 161.262 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 161.263 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 161.264 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 161.266 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 161.268 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 161.272 * * [simplify]: iteration 6 : 54 enodes (cost 3 ) 161.285 * * [simplify]: iteration 7 : 110 enodes (cost 3 ) 161.329 * * [simplify]: iteration 8 : 319 enodes (cost 3 ) 161.785 * * [simplify]: iteration 9 : 1259 enodes (cost 3 ) 164.082 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 164.083 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 164.084 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 164.085 * * [simplify]: iteration done : 6 enodes (cost 5 ) 164.085 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 164.086 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 164.086 * * [simplify]: iteration done : 6 enodes (cost 5 ) 164.087 * * [simplify]: iteration 0 : 17 enodes (cost 23 ) 164.090 * * [simplify]: iteration 1 : 49 enodes (cost 23 ) 164.098 * * [simplify]: iteration 2 : 141 enodes (cost 23 ) 164.140 * * [simplify]: iteration 3 : 469 enodes (cost 23 ) 164.448 * * [simplify]: iteration 4 : 1718 enodes (cost 23 ) 165.624 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 165.624 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 165.629 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 165.630 * * [simplify]: iteration done : 7 enodes (cost 9 ) 165.631 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 165.632 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 165.632 * * [simplify]: iteration done : 7 enodes (cost 9 ) 165.633 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 165.634 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 165.636 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 165.640 * * [simplify]: iteration 3 : 49 enodes (cost 7 ) 165.647 * * [simplify]: iteration 4 : 89 enodes (cost 4 ) 165.660 * * [simplify]: iteration 5 : 195 enodes (cost 4 ) 165.729 * * [simplify]: iteration 6 : 503 enodes (cost 4 ) 166.099 * * [simplify]: iteration 7 : 1645 enodes (cost 4 ) 167.459 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 167.460 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 167.461 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 167.463 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 167.468 * * [simplify]: iteration 3 : 77 enodes (cost 7 ) 167.482 * * [simplify]: iteration 4 : 152 enodes (cost 4 ) 167.518 * * [simplify]: iteration 5 : 310 enodes (cost 4 ) 167.842 * * [simplify]: iteration 6 : 647 enodes (cost 4 ) 168.478 * * [simplify]: iteration 7 : 2095 enodes (cost 4 ) 169.878 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 169.878 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 169.880 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 169.882 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 169.887 * * [simplify]: iteration 3 : 85 enodes (cost 12 ) 169.910 * * [simplify]: iteration 4 : 194 enodes (cost 9 ) 169.946 * * [simplify]: iteration 5 : 450 enodes (cost 9 ) 170.128 * * [simplify]: iteration 6 : 1071 enodes (cost 8 ) 171.254 * * [simplify]: iteration 7 : 3669 enodes (cost 7 ) 172.579 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 172.580 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 172.581 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 172.589 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 172.593 * * [simplify]: iteration 3 : 49 enodes (cost 7 ) 172.600 * * [simplify]: iteration 4 : 89 enodes (cost 4 ) 172.613 * * [simplify]: iteration 5 : 195 enodes (cost 4 ) 172.682 * * [simplify]: iteration 6 : 503 enodes (cost 4 ) 173.057 * * [simplify]: iteration 7 : 1645 enodes (cost 4 ) 174.442 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 174.443 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 174.444 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 174.447 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 174.452 * * [simplify]: iteration 3 : 77 enodes (cost 7 ) 174.465 * * [simplify]: iteration 4 : 152 enodes (cost 4 ) 174.501 * * [simplify]: iteration 5 : 310 enodes (cost 4 ) 174.610 * * [simplify]: iteration 6 : 647 enodes (cost 4 ) 175.244 * * [simplify]: iteration 7 : 2095 enodes (cost 4 ) 176.664 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 176.665 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 176.666 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 176.668 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 176.674 * * [simplify]: iteration 3 : 85 enodes (cost 12 ) 176.696 * * [simplify]: iteration 4 : 194 enodes (cost 9 ) 176.733 * * [simplify]: iteration 5 : 450 enodes (cost 9 ) 176.916 * * [simplify]: iteration 6 : 1071 enodes (cost 8 ) 178.042 * * [simplify]: iteration 7 : 3669 enodes (cost 7 ) 179.354 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 179.355 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 179.356 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 179.358 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 179.367 * * [simplify]: iteration 3 : 49 enodes (cost 7 ) 179.374 * * [simplify]: iteration 4 : 89 enodes (cost 4 ) 179.387 * * [simplify]: iteration 5 : 195 enodes (cost 4 ) 179.455 * * [simplify]: iteration 6 : 503 enodes (cost 4 ) 179.821 * * [simplify]: iteration 7 : 1645 enodes (cost 4 ) 181.179 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 181.181 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 181.182 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 181.184 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 181.189 * * [simplify]: iteration 3 : 77 enodes (cost 7 ) 181.202 * * [simplify]: iteration 4 : 152 enodes (cost 4 ) 181.238 * * [simplify]: iteration 5 : 310 enodes (cost 4 ) 181.346 * * [simplify]: iteration 6 : 647 enodes (cost 4 ) 181.979 * * [simplify]: iteration 7 : 2095 enodes (cost 4 ) 183.383 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 183.384 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 183.386 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 183.388 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 183.393 * * [simplify]: iteration 3 : 85 enodes (cost 12 ) 183.409 * * [simplify]: iteration 4 : 194 enodes (cost 9 ) 183.451 * * [simplify]: iteration 5 : 450 enodes (cost 9 ) 183.631 * * [simplify]: iteration 6 : 1071 enodes (cost 8 ) 184.745 * * [simplify]: iteration 7 : 3669 enodes (cost 7 ) 186.263 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 186.263 * [simplify]: Simplified to: (sin (* l PI)) (cos (* l PI)) (log (tan (* l PI))) (exp (tan (* l PI))) (* (cbrt (tan (* l PI))) (cbrt (tan (* l PI)))) (cbrt (tan (* l PI))) (pow (tan (* l PI)) 3) (sqrt (tan (* l PI))) (sqrt (tan (* l PI))) (log (cbrt (* PI l))) (exp (cbrt (* PI l))) (cbrt PI) (cbrt l) (* (cbrt (cbrt (* PI l))) (cbrt (cbrt (* PI l)))) (cbrt (cbrt (* PI l))) (* PI l) (sqrt (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (log (cbrt (* PI l))) (exp (cbrt (* PI l))) (cbrt PI) (cbrt l) (* (cbrt (cbrt (* PI l))) (cbrt (cbrt (* PI l)))) (cbrt (cbrt (* PI l))) (* PI l) (sqrt (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (log (cbrt (* PI l))) (exp (cbrt (* PI l))) (cbrt PI) (cbrt l) (* (cbrt (cbrt (* PI l))) (cbrt (cbrt (* PI l)))) (cbrt (cbrt (* PI l))) (* PI l) (sqrt (cbrt (* PI l))) (sqrt (cbrt (* PI l))) (+ (* PI l) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* 2/15 (* (pow PI 5) (pow l 5))))) (/ (sin (* PI l)) (cos (* PI l))) (/ (sin (* PI l)) (cos (* PI l))) (cbrt (* PI l)) (cbrt (* PI l)) (* (cbrt (neg l)) (cbrt (neg PI))) (cbrt (* PI l)) (cbrt (* PI l)) (* (cbrt (neg l)) (cbrt (neg PI))) (cbrt (* PI l)) (cbrt (* PI l)) (* (cbrt (neg l)) (cbrt (neg PI))) 186.263 * * * [progress]: adding candidates to table 186.335 * [progress]: [Phase 3 of 3] Extracting. 186.336 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # #) 186.341 * * * [regime-changes]: Trying 5 branch expressions: ((* F F) (/ 1.0 (* F F)) (* PI l) l F) 186.342 * * * * [regimes]: Trying to branch on (* F F) from (# # # # # # # # # # # # # # # # # # # # #) 186.449 * * * * [regimes]: Trying to branch on (* F F) from (# # # # # # # # #) 186.506 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (# # # # # # # # # # # # # # # # # # # # #) 186.610 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (# # # # # # #) 186.659 * * * * [regimes]: Trying to branch on (* PI l) from (# # # # # # # # # # # # # # # # # # # # #) 186.765 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # # # # # # # #) 186.870 * * * * [regimes]: Trying to branch on F from (# # # # # # # # # # # # # # # # # # # # #) 186.977 * * * [regime]: Found split indices: #