1.106 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.835 * * * [progress]: [2/2] Setting up program. 0.839 * [progress]: [Phase 2 of 3] Improving. 0.842 * [simplify]: Simplifying using # : (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) 1.294 * * [simplify]: iteration 0 : 298 enodes (cost 12 ) 1.294 * * [simplify]: iteration 1 : 298 enodes (cost 12 ) 1.295 * [simplify]: Simplified to: (-.f64 (*.f64 PI.f64 l) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) 1.301 * * [progress]: iteration 1 / 4 1.301 * * * [progress]: picking best candidate 1.306 * * * * [pick]: Picked # 1.306 * * * [progress]: localizing error 1.317 * * * [progress]: generating rewritten candidates 1.317 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.320 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.327 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.331 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.337 * * * [progress]: generating series expansions 1.337 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.342 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.343 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.345 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.345 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.345 * [taylor]: Taking taylor expansion of (* PI l) in l 1.345 * [taylor]: Taking taylor expansion of PI in l 1.345 * [taylor]: Taking taylor expansion of l in l 1.346 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.346 * [taylor]: Taking taylor expansion of (* PI l) in l 1.346 * [taylor]: Taking taylor expansion of PI in l 1.346 * [taylor]: Taking taylor expansion of l in l 1.347 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.347 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.347 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.347 * [taylor]: Taking taylor expansion of (* PI l) in l 1.347 * [taylor]: Taking taylor expansion of PI in l 1.347 * [taylor]: Taking taylor expansion of l in l 1.347 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.347 * [taylor]: Taking taylor expansion of (* PI l) in l 1.347 * [taylor]: Taking taylor expansion of PI in l 1.347 * [taylor]: Taking taylor expansion of l in l 1.353 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.353 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.353 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.353 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.353 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.353 * [taylor]: Taking taylor expansion of PI in l 1.353 * [taylor]: Taking taylor expansion of l in l 1.353 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.353 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.353 * [taylor]: Taking taylor expansion of PI in l 1.353 * [taylor]: Taking taylor expansion of l in l 1.353 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.353 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.353 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.353 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.353 * [taylor]: Taking taylor expansion of PI in l 1.353 * [taylor]: Taking taylor expansion of l in l 1.353 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.353 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.353 * [taylor]: Taking taylor expansion of PI in l 1.353 * [taylor]: Taking taylor expansion of l in l 1.355 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.355 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.355 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.355 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.355 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.355 * [taylor]: Taking taylor expansion of -1 in l 1.355 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.355 * [taylor]: Taking taylor expansion of PI in l 1.355 * [taylor]: Taking taylor expansion of l in l 1.355 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.355 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.355 * [taylor]: Taking taylor expansion of -1 in l 1.355 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.355 * [taylor]: Taking taylor expansion of PI in l 1.355 * [taylor]: Taking taylor expansion of l in l 1.356 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.356 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.356 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.356 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.356 * [taylor]: Taking taylor expansion of -1 in l 1.356 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.356 * [taylor]: Taking taylor expansion of PI in l 1.356 * [taylor]: Taking taylor expansion of l in l 1.356 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.356 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.356 * [taylor]: Taking taylor expansion of -1 in l 1.356 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.356 * [taylor]: Taking taylor expansion of PI in l 1.356 * [taylor]: Taking taylor expansion of l in l 1.358 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.358 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (l F) around 0 1.358 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.358 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.358 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.358 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.358 * [taylor]: Taking taylor expansion of (* PI l) in F 1.358 * [taylor]: Taking taylor expansion of PI in F 1.358 * [taylor]: Taking taylor expansion of l in F 1.359 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.359 * [taylor]: Taking taylor expansion of (* PI l) in F 1.359 * [taylor]: Taking taylor expansion of PI in F 1.359 * [taylor]: Taking taylor expansion of l in F 1.360 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.360 * [taylor]: Taking taylor expansion of F in F 1.360 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.360 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.360 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.360 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.360 * [taylor]: Taking taylor expansion of (* PI l) in l 1.360 * [taylor]: Taking taylor expansion of PI in l 1.360 * [taylor]: Taking taylor expansion of l in l 1.360 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.360 * [taylor]: Taking taylor expansion of (* PI l) in l 1.360 * [taylor]: Taking taylor expansion of PI in l 1.360 * [taylor]: Taking taylor expansion of l in l 1.360 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.360 * [taylor]: Taking taylor expansion of F in l 1.360 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.360 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.361 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.361 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.361 * [taylor]: Taking taylor expansion of (* PI l) in l 1.361 * [taylor]: Taking taylor expansion of PI in l 1.361 * [taylor]: Taking taylor expansion of l in l 1.361 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.361 * [taylor]: Taking taylor expansion of (* PI l) in l 1.361 * [taylor]: Taking taylor expansion of PI in l 1.361 * [taylor]: Taking taylor expansion of l in l 1.361 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.361 * [taylor]: Taking taylor expansion of F in l 1.361 * [taylor]: Taking taylor expansion of (/ PI (pow F 2)) in F 1.361 * [taylor]: Taking taylor expansion of PI in F 1.361 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.361 * [taylor]: Taking taylor expansion of F in F 1.362 * [taylor]: Taking taylor expansion of 0 in F 1.363 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) (pow F 2))) in F 1.363 * [taylor]: Taking taylor expansion of 1/3 in F 1.363 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow F 2)) in F 1.363 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.363 * [taylor]: Taking taylor expansion of PI in F 1.363 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.363 * [taylor]: Taking taylor expansion of F in F 1.364 * [taylor]: Taking taylor expansion of 0 in F 1.366 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) (pow F 2))) in F 1.366 * [taylor]: Taking taylor expansion of 2/15 in F 1.366 * [taylor]: Taking taylor expansion of (/ (pow PI 5) (pow F 2)) in F 1.367 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.367 * [taylor]: Taking taylor expansion of PI in F 1.367 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.367 * [taylor]: Taking taylor expansion of F in F 1.368 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (l F) around 0 1.368 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.368 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.368 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.368 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.368 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.368 * [taylor]: Taking taylor expansion of PI in F 1.368 * [taylor]: Taking taylor expansion of l in F 1.368 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.368 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.368 * [taylor]: Taking taylor expansion of PI in F 1.368 * [taylor]: Taking taylor expansion of l in F 1.368 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.368 * [taylor]: Taking taylor expansion of F in F 1.368 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.368 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.368 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.368 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.368 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.368 * [taylor]: Taking taylor expansion of PI in l 1.368 * [taylor]: Taking taylor expansion of l in l 1.369 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.369 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.369 * [taylor]: Taking taylor expansion of PI in l 1.369 * [taylor]: Taking taylor expansion of l in l 1.369 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.369 * [taylor]: Taking taylor expansion of F in l 1.369 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.369 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.369 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.369 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.369 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.369 * [taylor]: Taking taylor expansion of PI in l 1.369 * [taylor]: Taking taylor expansion of l in l 1.369 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.369 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.369 * [taylor]: Taking taylor expansion of PI in l 1.369 * [taylor]: Taking taylor expansion of l in l 1.369 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.369 * [taylor]: Taking taylor expansion of F in l 1.369 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (pow F 2)) (cos (/ PI l))) in F 1.369 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (pow F 2)) in F 1.369 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.369 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.369 * [taylor]: Taking taylor expansion of PI in F 1.369 * [taylor]: Taking taylor expansion of l in F 1.370 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.370 * [taylor]: Taking taylor expansion of F in F 1.370 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.370 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.370 * [taylor]: Taking taylor expansion of PI in F 1.370 * [taylor]: Taking taylor expansion of l in F 1.371 * [taylor]: Taking taylor expansion of 0 in F 1.372 * [taylor]: Taking taylor expansion of 0 in F 1.373 * [taylor]: Taking taylor expansion of 0 in F 1.373 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (l F) around 0 1.373 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.373 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.373 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.373 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.373 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.373 * [taylor]: Taking taylor expansion of -1 in F 1.373 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.373 * [taylor]: Taking taylor expansion of PI in F 1.373 * [taylor]: Taking taylor expansion of l in F 1.374 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.374 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.374 * [taylor]: Taking taylor expansion of -1 in F 1.374 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.374 * [taylor]: Taking taylor expansion of PI in F 1.374 * [taylor]: Taking taylor expansion of l in F 1.374 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.374 * [taylor]: Taking taylor expansion of F in F 1.374 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.374 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.374 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.374 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.374 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.374 * [taylor]: Taking taylor expansion of -1 in l 1.374 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.374 * [taylor]: Taking taylor expansion of PI in l 1.374 * [taylor]: Taking taylor expansion of l in l 1.374 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.374 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.374 * [taylor]: Taking taylor expansion of -1 in l 1.374 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.374 * [taylor]: Taking taylor expansion of PI in l 1.374 * [taylor]: Taking taylor expansion of l in l 1.375 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.375 * [taylor]: Taking taylor expansion of F in l 1.375 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.375 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.375 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.375 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.375 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.375 * [taylor]: Taking taylor expansion of -1 in l 1.375 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.375 * [taylor]: Taking taylor expansion of PI in l 1.375 * [taylor]: Taking taylor expansion of l in l 1.375 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.375 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.375 * [taylor]: Taking taylor expansion of -1 in l 1.375 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.375 * [taylor]: Taking taylor expansion of PI in l 1.375 * [taylor]: Taking taylor expansion of l in l 1.376 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.376 * [taylor]: Taking taylor expansion of F in l 1.376 * [taylor]: Taking taylor expansion of (/ (* (pow F 2) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 1.376 * [taylor]: Taking taylor expansion of (* (pow F 2) (sin (* -1 (/ PI l)))) in F 1.376 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.376 * [taylor]: Taking taylor expansion of F in F 1.376 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.376 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.376 * [taylor]: Taking taylor expansion of -1 in F 1.376 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.376 * [taylor]: Taking taylor expansion of PI in F 1.376 * [taylor]: Taking taylor expansion of l in F 1.376 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.376 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.376 * [taylor]: Taking taylor expansion of -1 in F 1.376 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.376 * [taylor]: Taking taylor expansion of PI in F 1.376 * [taylor]: Taking taylor expansion of l in F 1.377 * [taylor]: Taking taylor expansion of 0 in F 1.379 * [taylor]: Taking taylor expansion of 0 in F 1.380 * [taylor]: Taking taylor expansion of 0 in F 1.380 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.380 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.380 * [taylor]: Taking taylor expansion of (* PI l) in l 1.381 * [taylor]: Taking taylor expansion of PI in l 1.381 * [taylor]: Taking taylor expansion of l in l 1.381 * [taylor]: Taking taylor expansion of (* PI l) in l 1.381 * [taylor]: Taking taylor expansion of PI in l 1.381 * [taylor]: Taking taylor expansion of l in l 1.381 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.381 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.381 * [taylor]: Taking taylor expansion of PI in l 1.381 * [taylor]: Taking taylor expansion of l in l 1.381 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.381 * [taylor]: Taking taylor expansion of PI in l 1.381 * [taylor]: Taking taylor expansion of l in l 1.382 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.382 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.382 * [taylor]: Taking taylor expansion of -1 in l 1.382 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.382 * [taylor]: Taking taylor expansion of PI in l 1.382 * [taylor]: Taking taylor expansion of l in l 1.382 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.382 * [taylor]: Taking taylor expansion of -1 in l 1.382 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.382 * [taylor]: Taking taylor expansion of PI in l 1.382 * [taylor]: Taking taylor expansion of l in l 1.383 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.383 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.383 * [taylor]: Taking taylor expansion of (* PI l) in l 1.383 * [taylor]: Taking taylor expansion of PI in l 1.383 * [taylor]: Taking taylor expansion of l in l 1.383 * [taylor]: Taking taylor expansion of (* PI l) in l 1.383 * [taylor]: Taking taylor expansion of PI in l 1.383 * [taylor]: Taking taylor expansion of l in l 1.384 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.384 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.384 * [taylor]: Taking taylor expansion of PI in l 1.384 * [taylor]: Taking taylor expansion of l in l 1.384 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.384 * [taylor]: Taking taylor expansion of PI in l 1.384 * [taylor]: Taking taylor expansion of l in l 1.384 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.384 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.384 * [taylor]: Taking taylor expansion of -1 in l 1.384 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.385 * [taylor]: Taking taylor expansion of PI in l 1.385 * [taylor]: Taking taylor expansion of l in l 1.385 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.385 * [taylor]: Taking taylor expansion of -1 in l 1.385 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.385 * [taylor]: Taking taylor expansion of PI in l 1.385 * [taylor]: Taking taylor expansion of l in l 1.386 * * * [progress]: simplifying candidates 1.387 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (+.f64 (log.f64 F) (log.f64 F))) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (*.f64 F F))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (*.f64 F F) F) (*.f64 (*.f64 F F) F))) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (*.f64 F F) (*.f64 F F)) (*.f64 F F))) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.f64 (*.f64 F F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (*.f64 F F)) (/.f64 (*.f64 F F) (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (*.f64 F F) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 F F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 F F) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) (cos.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2))) (+.f64 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (pow.f64 F 2))) (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.450 * * [simplify]: iteration 0 : 5225 enodes (cost 541 ) 1.453 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (pow.f64 F 6)) (/.f64 (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (pow.f64 F 6)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (pow.f64 F 6)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.f64 (*.f64 F F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (*.f64 F F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F)) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F))) (+.f64 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (*.f64 F F))) (/.f64 (*.f64 PI.f64 l) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.454 * * * [progress]: adding candidates to table 1.531 * * [progress]: iteration 2 / 4 1.531 * * * [progress]: picking best candidate 1.566 * * * * [pick]: Picked # 1.566 * * * [progress]: localizing error 1.576 * * * [progress]: generating rewritten candidates 1.576 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 1.578 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.590 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 1.594 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.613 * * * [progress]: generating series expansions 1.613 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 1.613 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.613 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.614 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.614 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.614 * [taylor]: Taking taylor expansion of (* PI l) in l 1.614 * [taylor]: Taking taylor expansion of PI in l 1.614 * [taylor]: Taking taylor expansion of l in l 1.614 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.614 * [taylor]: Taking taylor expansion of (* PI l) in l 1.614 * [taylor]: Taking taylor expansion of PI in l 1.614 * [taylor]: Taking taylor expansion of l in l 1.614 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.614 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.614 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.614 * [taylor]: Taking taylor expansion of (* PI l) in l 1.614 * [taylor]: Taking taylor expansion of PI in l 1.614 * [taylor]: Taking taylor expansion of l in l 1.614 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.614 * [taylor]: Taking taylor expansion of (* PI l) in l 1.614 * [taylor]: Taking taylor expansion of PI in l 1.614 * [taylor]: Taking taylor expansion of l in l 1.617 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.617 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.617 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.617 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.618 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.618 * [taylor]: Taking taylor expansion of PI in l 1.618 * [taylor]: Taking taylor expansion of l in l 1.618 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.618 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.618 * [taylor]: Taking taylor expansion of PI in l 1.618 * [taylor]: Taking taylor expansion of l in l 1.618 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.618 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.618 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.618 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.618 * [taylor]: Taking taylor expansion of PI in l 1.618 * [taylor]: Taking taylor expansion of l in l 1.618 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.618 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.618 * [taylor]: Taking taylor expansion of PI in l 1.618 * [taylor]: Taking taylor expansion of l in l 1.620 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.620 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.620 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.620 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.620 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.620 * [taylor]: Taking taylor expansion of -1 in l 1.620 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.620 * [taylor]: Taking taylor expansion of PI in l 1.620 * [taylor]: Taking taylor expansion of l in l 1.620 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.620 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.620 * [taylor]: Taking taylor expansion of -1 in l 1.620 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.620 * [taylor]: Taking taylor expansion of PI in l 1.620 * [taylor]: Taking taylor expansion of l in l 1.620 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.620 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.620 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.620 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.620 * [taylor]: Taking taylor expansion of -1 in l 1.620 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.620 * [taylor]: Taking taylor expansion of PI in l 1.620 * [taylor]: Taking taylor expansion of l in l 1.621 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.621 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.621 * [taylor]: Taking taylor expansion of -1 in l 1.621 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.621 * [taylor]: Taking taylor expansion of PI in l 1.621 * [taylor]: Taking taylor expansion of l in l 1.623 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.623 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (F l) around 0 1.623 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.623 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.623 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.623 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.623 * [taylor]: Taking taylor expansion of (* PI l) in l 1.623 * [taylor]: Taking taylor expansion of PI in l 1.623 * [taylor]: Taking taylor expansion of l in l 1.623 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.623 * [taylor]: Taking taylor expansion of (* PI l) in l 1.623 * [taylor]: Taking taylor expansion of PI in l 1.623 * [taylor]: Taking taylor expansion of l in l 1.623 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.623 * [taylor]: Taking taylor expansion of F in l 1.624 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.624 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.624 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.624 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.624 * [taylor]: Taking taylor expansion of (* PI l) in F 1.624 * [taylor]: Taking taylor expansion of PI in F 1.624 * [taylor]: Taking taylor expansion of l in F 1.624 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.624 * [taylor]: Taking taylor expansion of (* PI l) in F 1.624 * [taylor]: Taking taylor expansion of PI in F 1.624 * [taylor]: Taking taylor expansion of l in F 1.624 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.624 * [taylor]: Taking taylor expansion of F in F 1.624 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.624 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.624 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.624 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.624 * [taylor]: Taking taylor expansion of (* PI l) in F 1.624 * [taylor]: Taking taylor expansion of PI in F 1.624 * [taylor]: Taking taylor expansion of l in F 1.624 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.625 * [taylor]: Taking taylor expansion of (* PI l) in F 1.625 * [taylor]: Taking taylor expansion of PI in F 1.625 * [taylor]: Taking taylor expansion of l in F 1.625 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.625 * [taylor]: Taking taylor expansion of F in F 1.625 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 1.625 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.625 * [taylor]: Taking taylor expansion of (* PI l) in l 1.625 * [taylor]: Taking taylor expansion of PI in l 1.625 * [taylor]: Taking taylor expansion of l in l 1.625 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.625 * [taylor]: Taking taylor expansion of (* PI l) in l 1.625 * [taylor]: Taking taylor expansion of PI in l 1.625 * [taylor]: Taking taylor expansion of l in l 1.626 * [taylor]: Taking taylor expansion of 0 in l 1.627 * [taylor]: Taking taylor expansion of 0 in l 1.628 * [taylor]: Taking taylor expansion of 0 in l 1.634 * [taylor]: Taking taylor expansion of 0 in l 1.635 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (F l) around 0 1.635 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.635 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.635 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.635 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.635 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.635 * [taylor]: Taking taylor expansion of PI in l 1.635 * [taylor]: Taking taylor expansion of l in l 1.635 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.635 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.635 * [taylor]: Taking taylor expansion of PI in l 1.635 * [taylor]: Taking taylor expansion of l in l 1.635 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.635 * [taylor]: Taking taylor expansion of F in l 1.635 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.635 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.635 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.635 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.635 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.635 * [taylor]: Taking taylor expansion of PI in F 1.635 * [taylor]: Taking taylor expansion of l in F 1.635 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.635 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.636 * [taylor]: Taking taylor expansion of PI in F 1.636 * [taylor]: Taking taylor expansion of l in F 1.636 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.636 * [taylor]: Taking taylor expansion of F in F 1.636 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.636 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.636 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.636 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.636 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.636 * [taylor]: Taking taylor expansion of PI in F 1.636 * [taylor]: Taking taylor expansion of l in F 1.636 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.636 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.636 * [taylor]: Taking taylor expansion of PI in F 1.636 * [taylor]: Taking taylor expansion of l in F 1.636 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.637 * [taylor]: Taking taylor expansion of F in F 1.637 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.637 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.637 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.637 * [taylor]: Taking taylor expansion of PI in l 1.637 * [taylor]: Taking taylor expansion of l in l 1.637 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.637 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.637 * [taylor]: Taking taylor expansion of PI in l 1.637 * [taylor]: Taking taylor expansion of l in l 1.638 * [taylor]: Taking taylor expansion of 0 in l 1.639 * [taylor]: Taking taylor expansion of 0 in l 1.640 * [taylor]: Taking taylor expansion of 0 in l 1.640 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (F l) around 0 1.640 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.640 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.640 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.640 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.640 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.640 * [taylor]: Taking taylor expansion of -1 in l 1.640 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.640 * [taylor]: Taking taylor expansion of PI in l 1.640 * [taylor]: Taking taylor expansion of l in l 1.641 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.641 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.641 * [taylor]: Taking taylor expansion of -1 in l 1.641 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.641 * [taylor]: Taking taylor expansion of PI in l 1.641 * [taylor]: Taking taylor expansion of l in l 1.641 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.641 * [taylor]: Taking taylor expansion of F in l 1.641 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.641 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.641 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.641 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.641 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.641 * [taylor]: Taking taylor expansion of -1 in F 1.641 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.641 * [taylor]: Taking taylor expansion of PI in F 1.641 * [taylor]: Taking taylor expansion of l in F 1.641 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.641 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.641 * [taylor]: Taking taylor expansion of -1 in F 1.641 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.641 * [taylor]: Taking taylor expansion of PI in F 1.641 * [taylor]: Taking taylor expansion of l in F 1.642 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.642 * [taylor]: Taking taylor expansion of F in F 1.642 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.642 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.642 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.642 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.642 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.642 * [taylor]: Taking taylor expansion of -1 in F 1.642 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.642 * [taylor]: Taking taylor expansion of PI in F 1.642 * [taylor]: Taking taylor expansion of l in F 1.642 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.642 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.642 * [taylor]: Taking taylor expansion of -1 in F 1.642 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.642 * [taylor]: Taking taylor expansion of PI in F 1.642 * [taylor]: Taking taylor expansion of l in F 1.643 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.643 * [taylor]: Taking taylor expansion of F in F 1.643 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.643 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.643 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.643 * [taylor]: Taking taylor expansion of -1 in l 1.643 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.643 * [taylor]: Taking taylor expansion of PI in l 1.643 * [taylor]: Taking taylor expansion of l in l 1.643 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.643 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.643 * [taylor]: Taking taylor expansion of -1 in l 1.643 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.643 * [taylor]: Taking taylor expansion of PI in l 1.643 * [taylor]: Taking taylor expansion of l in l 1.644 * [taylor]: Taking taylor expansion of 0 in l 1.645 * [taylor]: Taking taylor expansion of 0 in l 1.647 * [taylor]: Taking taylor expansion of 0 in l 1.647 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1) 1.647 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.647 * [taylor]: Taking taylor expansion of (* PI l) in l 1.647 * [taylor]: Taking taylor expansion of PI in l 1.647 * [taylor]: Taking taylor expansion of l in l 1.647 * [taylor]: Taking taylor expansion of (* PI l) in l 1.647 * [taylor]: Taking taylor expansion of PI in l 1.647 * [taylor]: Taking taylor expansion of l in l 1.648 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.648 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.648 * [taylor]: Taking taylor expansion of PI in l 1.648 * [taylor]: Taking taylor expansion of l in l 1.648 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.648 * [taylor]: Taking taylor expansion of PI in l 1.648 * [taylor]: Taking taylor expansion of l in l 1.649 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.649 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.649 * [taylor]: Taking taylor expansion of -1 in l 1.649 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.649 * [taylor]: Taking taylor expansion of PI in l 1.649 * [taylor]: Taking taylor expansion of l in l 1.649 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.649 * [taylor]: Taking taylor expansion of -1 in l 1.649 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.649 * [taylor]: Taking taylor expansion of PI in l 1.649 * [taylor]: Taking taylor expansion of l in l 1.650 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.650 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.650 * [taylor]: Taking taylor expansion of (* PI l) in l 1.650 * [taylor]: Taking taylor expansion of PI in l 1.650 * [taylor]: Taking taylor expansion of l in l 1.650 * [taylor]: Taking taylor expansion of (* PI l) in l 1.650 * [taylor]: Taking taylor expansion of PI in l 1.650 * [taylor]: Taking taylor expansion of l in l 1.650 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.651 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.651 * [taylor]: Taking taylor expansion of PI in l 1.651 * [taylor]: Taking taylor expansion of l in l 1.651 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.651 * [taylor]: Taking taylor expansion of PI in l 1.651 * [taylor]: Taking taylor expansion of l in l 1.651 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.651 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.651 * [taylor]: Taking taylor expansion of -1 in l 1.651 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.651 * [taylor]: Taking taylor expansion of PI in l 1.651 * [taylor]: Taking taylor expansion of l in l 1.651 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.651 * [taylor]: Taking taylor expansion of -1 in l 1.651 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.651 * [taylor]: Taking taylor expansion of PI in l 1.651 * [taylor]: Taking taylor expansion of l in l 1.652 * * * [progress]: simplifying candidates 1.656 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.f64 1) (neg.f64 (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (neg.f64 (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (neg.f64 (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 0 (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (-.f64 0 (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 0 (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 (log.f64 1) (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (-.f64 (log.f64 1) (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 (log.f64 1) (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (log.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (exp.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 F F) F) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) F)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 F F) F) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (cbrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (cbrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (sqrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (sqrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (neg.f64 1) (neg.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 1 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) 1)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 1 1))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 1 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (/.f64 (cbrt.f64 1) (/.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) F) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 1 F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) 1)) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 F))) (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 1 1))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 1 1)) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 1 F))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) F) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 1 F))) (/.f64 1 (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (sqrt.f64 F) 1)) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 F))) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 1 1))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 1 1)) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 F (/.f64 1 F))) (/.f64 1 1) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 F) (/.f64 1 (/.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 F) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 1 (/.f64 (sqrt.f64 F) 1)) (/.f64 1 (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 1 1))) (/.f64 1 (/.f64 1 1)) (/.f64 1 (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 1) (/.f64 1 F) (/.f64 1 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 1)) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 1)) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) 1) (/.f64 1 F) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.724 * * [simplify]: iteration 0 : 5070 enodes (cost 3868 ) 1.738 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) -1 (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (*.f64 (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F))) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) -1 (neg.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (cbrt.f64 1) F)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 F (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F)) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (pow.f64 F 3/2)) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (cbrt.f64 1) F)) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F F)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1)) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F)) (/.f64 (cbrt.f64 1) F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 1 (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (*.f64 F F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 1 (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (*.f64 F F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 1 F) (/.f64 1 (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (sqrt.f64 F)) 1 1 (tan.f64 (*.f64 PI.f64 l)) 1 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1))) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 1 F) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) (*.f64 F F)) (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.740 * * * [progress]: adding candidates to table 1.897 * * [progress]: iteration 3 / 4 1.897 * * * [progress]: picking best candidate 1.930 * * * * [pick]: Picked # 1.930 * * * [progress]: localizing error 1.940 * * * [progress]: generating rewritten candidates 1.940 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.942 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.946 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.963 * * * [progress]: generating series expansions 1.963 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.963 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.963 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.963 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.963 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.963 * [taylor]: Taking taylor expansion of (* PI l) in l 1.963 * [taylor]: Taking taylor expansion of PI in l 1.963 * [taylor]: Taking taylor expansion of l in l 1.963 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.963 * [taylor]: Taking taylor expansion of (* PI l) in l 1.963 * [taylor]: Taking taylor expansion of PI in l 1.963 * [taylor]: Taking taylor expansion of l in l 1.964 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.964 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.964 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.964 * [taylor]: Taking taylor expansion of (* PI l) in l 1.964 * [taylor]: Taking taylor expansion of PI in l 1.964 * [taylor]: Taking taylor expansion of l in l 1.964 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.964 * [taylor]: Taking taylor expansion of (* PI l) in l 1.964 * [taylor]: Taking taylor expansion of PI in l 1.964 * [taylor]: Taking taylor expansion of l in l 1.967 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.967 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.967 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.967 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.967 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.967 * [taylor]: Taking taylor expansion of PI in l 1.967 * [taylor]: Taking taylor expansion of l in l 1.967 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.967 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.967 * [taylor]: Taking taylor expansion of PI in l 1.967 * [taylor]: Taking taylor expansion of l in l 1.967 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.967 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.967 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.967 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.967 * [taylor]: Taking taylor expansion of PI in l 1.967 * [taylor]: Taking taylor expansion of l in l 1.967 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.967 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.967 * [taylor]: Taking taylor expansion of PI in l 1.967 * [taylor]: Taking taylor expansion of l in l 1.969 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.969 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.969 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.969 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.969 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.969 * [taylor]: Taking taylor expansion of -1 in l 1.969 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.969 * [taylor]: Taking taylor expansion of PI in l 1.969 * [taylor]: Taking taylor expansion of l in l 1.969 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.969 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.969 * [taylor]: Taking taylor expansion of -1 in l 1.970 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.970 * [taylor]: Taking taylor expansion of PI in l 1.970 * [taylor]: Taking taylor expansion of l in l 1.970 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.970 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.970 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.970 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.970 * [taylor]: Taking taylor expansion of -1 in l 1.970 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.970 * [taylor]: Taking taylor expansion of PI in l 1.970 * [taylor]: Taking taylor expansion of l in l 1.970 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.970 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.970 * [taylor]: Taking taylor expansion of -1 in l 1.970 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.970 * [taylor]: Taking taylor expansion of PI in l 1.970 * [taylor]: Taking taylor expansion of l in l 1.972 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.972 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.972 * [taylor]: Taking taylor expansion of (* PI l) in l 1.972 * [taylor]: Taking taylor expansion of PI in l 1.972 * [taylor]: Taking taylor expansion of l in l 1.972 * [taylor]: Taking taylor expansion of (* PI l) in l 1.972 * [taylor]: Taking taylor expansion of PI in l 1.972 * [taylor]: Taking taylor expansion of l in l 1.973 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.973 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.973 * [taylor]: Taking taylor expansion of PI in l 1.973 * [taylor]: Taking taylor expansion of l in l 1.973 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.973 * [taylor]: Taking taylor expansion of PI in l 1.973 * [taylor]: Taking taylor expansion of l in l 1.974 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.974 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.974 * [taylor]: Taking taylor expansion of -1 in l 1.974 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.974 * [taylor]: Taking taylor expansion of PI in l 1.974 * [taylor]: Taking taylor expansion of l in l 1.974 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.974 * [taylor]: Taking taylor expansion of -1 in l 1.974 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.974 * [taylor]: Taking taylor expansion of PI in l 1.974 * [taylor]: Taking taylor expansion of l in l 1.975 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.975 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.975 * [taylor]: Taking taylor expansion of (* PI l) in l 1.975 * [taylor]: Taking taylor expansion of PI in l 1.975 * [taylor]: Taking taylor expansion of l in l 1.975 * [taylor]: Taking taylor expansion of (* PI l) in l 1.975 * [taylor]: Taking taylor expansion of PI in l 1.975 * [taylor]: Taking taylor expansion of l in l 1.975 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.975 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.975 * [taylor]: Taking taylor expansion of PI in l 1.975 * [taylor]: Taking taylor expansion of l in l 1.975 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.975 * [taylor]: Taking taylor expansion of PI in l 1.975 * [taylor]: Taking taylor expansion of l in l 1.976 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.976 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.976 * [taylor]: Taking taylor expansion of -1 in l 1.976 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.976 * [taylor]: Taking taylor expansion of PI in l 1.976 * [taylor]: Taking taylor expansion of l in l 1.976 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.976 * [taylor]: Taking taylor expansion of -1 in l 1.976 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.976 * [taylor]: Taking taylor expansion of PI in l 1.976 * [taylor]: Taking taylor expansion of l in l 1.977 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.977 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (F l) around 0 1.977 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.977 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.977 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.977 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.977 * [taylor]: Taking taylor expansion of (* PI l) in l 1.977 * [taylor]: Taking taylor expansion of PI in l 1.977 * [taylor]: Taking taylor expansion of l in l 1.978 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.978 * [taylor]: Taking taylor expansion of (* PI l) in l 1.978 * [taylor]: Taking taylor expansion of PI in l 1.978 * [taylor]: Taking taylor expansion of l in l 1.978 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.978 * [taylor]: Taking taylor expansion of F in l 1.978 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.978 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.978 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.978 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.978 * [taylor]: Taking taylor expansion of (* PI l) in F 1.978 * [taylor]: Taking taylor expansion of PI in F 1.978 * [taylor]: Taking taylor expansion of l in F 1.978 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.978 * [taylor]: Taking taylor expansion of (* PI l) in F 1.978 * [taylor]: Taking taylor expansion of PI in F 1.978 * [taylor]: Taking taylor expansion of l in F 1.978 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.978 * [taylor]: Taking taylor expansion of F in F 1.979 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.979 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.979 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.979 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.979 * [taylor]: Taking taylor expansion of (* PI l) in F 1.979 * [taylor]: Taking taylor expansion of PI in F 1.979 * [taylor]: Taking taylor expansion of l in F 1.979 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.979 * [taylor]: Taking taylor expansion of (* PI l) in F 1.979 * [taylor]: Taking taylor expansion of PI in F 1.979 * [taylor]: Taking taylor expansion of l in F 1.979 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.979 * [taylor]: Taking taylor expansion of F in F 1.979 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 1.979 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.979 * [taylor]: Taking taylor expansion of (* PI l) in l 1.979 * [taylor]: Taking taylor expansion of PI in l 1.979 * [taylor]: Taking taylor expansion of l in l 1.979 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.979 * [taylor]: Taking taylor expansion of (* PI l) in l 1.979 * [taylor]: Taking taylor expansion of PI in l 1.979 * [taylor]: Taking taylor expansion of l in l 1.980 * [taylor]: Taking taylor expansion of 0 in l 1.981 * [taylor]: Taking taylor expansion of 0 in l 1.983 * [taylor]: Taking taylor expansion of 0 in l 1.985 * [taylor]: Taking taylor expansion of 0 in l 1.985 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (F l) around 0 1.985 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.985 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.985 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.985 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.985 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.986 * [taylor]: Taking taylor expansion of PI in l 1.986 * [taylor]: Taking taylor expansion of l in l 1.986 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.986 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.986 * [taylor]: Taking taylor expansion of PI in l 1.986 * [taylor]: Taking taylor expansion of l in l 1.986 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.986 * [taylor]: Taking taylor expansion of F in l 1.986 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.986 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.986 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.986 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.986 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.986 * [taylor]: Taking taylor expansion of PI in F 1.986 * [taylor]: Taking taylor expansion of l in F 1.986 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.986 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.986 * [taylor]: Taking taylor expansion of PI in F 1.986 * [taylor]: Taking taylor expansion of l in F 1.986 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.986 * [taylor]: Taking taylor expansion of F in F 1.986 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.986 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.987 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.987 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.987 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.987 * [taylor]: Taking taylor expansion of PI in F 1.987 * [taylor]: Taking taylor expansion of l in F 1.987 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.987 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.987 * [taylor]: Taking taylor expansion of PI in F 1.987 * [taylor]: Taking taylor expansion of l in F 1.987 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.987 * [taylor]: Taking taylor expansion of F in F 1.987 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.987 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.987 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.987 * [taylor]: Taking taylor expansion of PI in l 1.987 * [taylor]: Taking taylor expansion of l in l 1.987 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.987 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.987 * [taylor]: Taking taylor expansion of PI in l 1.987 * [taylor]: Taking taylor expansion of l in l 1.988 * [taylor]: Taking taylor expansion of 0 in l 1.989 * [taylor]: Taking taylor expansion of 0 in l 1.990 * [taylor]: Taking taylor expansion of 0 in l 1.991 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (F l) around 0 1.991 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.991 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.991 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.991 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.991 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.991 * [taylor]: Taking taylor expansion of -1 in l 1.991 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.991 * [taylor]: Taking taylor expansion of PI in l 1.991 * [taylor]: Taking taylor expansion of l in l 1.991 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.991 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.991 * [taylor]: Taking taylor expansion of -1 in l 1.991 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.991 * [taylor]: Taking taylor expansion of PI in l 1.991 * [taylor]: Taking taylor expansion of l in l 1.991 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.991 * [taylor]: Taking taylor expansion of F in l 1.991 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.991 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.991 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.991 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.991 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.991 * [taylor]: Taking taylor expansion of -1 in F 1.991 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.991 * [taylor]: Taking taylor expansion of PI in F 1.991 * [taylor]: Taking taylor expansion of l in F 1.992 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.992 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.992 * [taylor]: Taking taylor expansion of -1 in F 1.992 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.992 * [taylor]: Taking taylor expansion of PI in F 1.992 * [taylor]: Taking taylor expansion of l in F 1.992 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.992 * [taylor]: Taking taylor expansion of F in F 1.992 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.992 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.992 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.992 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.992 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.992 * [taylor]: Taking taylor expansion of -1 in F 1.992 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.992 * [taylor]: Taking taylor expansion of PI in F 1.992 * [taylor]: Taking taylor expansion of l in F 1.992 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.992 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.992 * [taylor]: Taking taylor expansion of -1 in F 1.992 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.992 * [taylor]: Taking taylor expansion of PI in F 1.992 * [taylor]: Taking taylor expansion of l in F 1.993 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.993 * [taylor]: Taking taylor expansion of F in F 1.993 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.993 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.993 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.993 * [taylor]: Taking taylor expansion of -1 in l 1.993 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.993 * [taylor]: Taking taylor expansion of PI in l 1.993 * [taylor]: Taking taylor expansion of l in l 1.993 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.993 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.993 * [taylor]: Taking taylor expansion of -1 in l 1.993 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.993 * [taylor]: Taking taylor expansion of PI in l 1.993 * [taylor]: Taking taylor expansion of l in l 1.994 * [taylor]: Taking taylor expansion of 0 in l 1.996 * [taylor]: Taking taylor expansion of 0 in l 1.997 * [taylor]: Taking taylor expansion of 0 in l 1.997 * * * [progress]: simplifying candidates 1.999 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (+.f64 (neg.f64 (log.f64 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (neg.f64 (log.f64 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (+.f64 (-.f64 0 (log.f64 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (-.f64 0 (log.f64 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (+.f64 (-.f64 (log.f64 1) (log.f64 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (-.f64 (log.f64 1) (log.f64 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (+.f64 (log.f64 (/.f64 1 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (log.f64 (/.f64 1 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (log.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (exp.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 F F) F)) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) F))) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 F F) F)) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 1 F)) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) F))) (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 1 F)) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 1 (tan.f64 (*.f64 PI.f64 l))) (*.f64 F F) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (/.f64 1 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1)) (*.f64 (/.f64 1 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 1 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1)) (*.f64 (/.f64 1 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 1 F) (/.f64 1 (sqrt.f64 F))) (*.f64 (/.f64 1 F) (/.f64 1 1)) (*.f64 (/.f64 1 F) 1) (*.f64 (/.f64 1 F) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (/.f64 1 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (cbrt.f64 1) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (tan.f64 (*.f64 PI.f64 l))) (*.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) 2.042 * * [simplify]: iteration 0 : 5244 enodes (cost 891 ) 2.046 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (*.f64 (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F))) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) F) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 F 3/2)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (/.f64 1 F) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (pow.f64 F 3/2)) (/.f64 1 F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 (/.f64 1 F))) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 (/.f64 1 F))) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (cbrt.f64 1) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (cbrt.f64 1) F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 F 3/2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 F 3/2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (/.f64 (*.f64 PI.f64 l) (*.f64 F F)) (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) 2.047 * * * [progress]: adding candidates to table 2.122 * * [progress]: iteration 4 / 4 2.122 * * * [progress]: picking best candidate 2.155 * * * * [pick]: Picked # 2.155 * * * [progress]: localizing error 2.171 * * * [progress]: generating rewritten candidates 2.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.175 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2) 2.178 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 2) 2.180 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 1) 2.183 * * * [progress]: generating series expansions 2.183 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.184 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.184 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.184 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.184 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.184 * [taylor]: Taking taylor expansion of (* PI l) in l 2.184 * [taylor]: Taking taylor expansion of PI in l 2.184 * [taylor]: Taking taylor expansion of l in l 2.184 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.184 * [taylor]: Taking taylor expansion of (* PI l) in l 2.184 * [taylor]: Taking taylor expansion of PI in l 2.184 * [taylor]: Taking taylor expansion of l in l 2.184 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.184 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.184 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.184 * [taylor]: Taking taylor expansion of (* PI l) in l 2.184 * [taylor]: Taking taylor expansion of PI in l 2.184 * [taylor]: Taking taylor expansion of l in l 2.184 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.184 * [taylor]: Taking taylor expansion of (* PI l) in l 2.184 * [taylor]: Taking taylor expansion of PI in l 2.184 * [taylor]: Taking taylor expansion of l in l 2.187 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.187 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.187 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.187 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.187 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.187 * [taylor]: Taking taylor expansion of PI in l 2.188 * [taylor]: Taking taylor expansion of l in l 2.188 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.188 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.188 * [taylor]: Taking taylor expansion of PI in l 2.188 * [taylor]: Taking taylor expansion of l in l 2.188 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.188 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.188 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.188 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.188 * [taylor]: Taking taylor expansion of PI in l 2.188 * [taylor]: Taking taylor expansion of l in l 2.188 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.188 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.188 * [taylor]: Taking taylor expansion of PI in l 2.188 * [taylor]: Taking taylor expansion of l in l 2.190 * [approximate]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in (l) around 0 2.190 * [taylor]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.190 * [taylor]: Rewrote expression to (/ (sin (/ (* (pow (cbrt -1) 3) PI) l)) (cos (/ (* (pow (cbrt -1) 3) PI) l))) 2.190 * [taylor]: Taking taylor expansion of (sin (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.190 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.190 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.190 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.190 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.190 * [taylor]: Taking taylor expansion of -1 in l 2.191 * [taylor]: Taking taylor expansion of PI in l 2.191 * [taylor]: Taking taylor expansion of l in l 2.191 * [taylor]: Taking taylor expansion of (cos (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.191 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.191 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.191 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.191 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.191 * [taylor]: Taking taylor expansion of -1 in l 2.192 * [taylor]: Taking taylor expansion of PI in l 2.192 * [taylor]: Taking taylor expansion of l in l 2.192 * [taylor]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.192 * [taylor]: Rewrote expression to (/ (sin (/ (* (pow (cbrt -1) 3) PI) l)) (cos (/ (* (pow (cbrt -1) 3) PI) l))) 2.192 * [taylor]: Taking taylor expansion of (sin (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.192 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.192 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.192 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.192 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.192 * [taylor]: Taking taylor expansion of -1 in l 2.192 * [taylor]: Taking taylor expansion of PI in l 2.192 * [taylor]: Taking taylor expansion of l in l 2.193 * [taylor]: Taking taylor expansion of (cos (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.193 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.193 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.193 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.193 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.193 * [taylor]: Taking taylor expansion of -1 in l 2.193 * [taylor]: Taking taylor expansion of PI in l 2.193 * [taylor]: Taking taylor expansion of l in l 2.196 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2) 2.196 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 2.196 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.196 * [taylor]: Taking taylor expansion of 1/3 in l 2.196 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.196 * [taylor]: Taking taylor expansion of (* PI l) in l 2.196 * [taylor]: Taking taylor expansion of PI in l 2.196 * [taylor]: Taking taylor expansion of l in l 2.196 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.196 * [taylor]: Taking taylor expansion of 1/3 in l 2.196 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.196 * [taylor]: Taking taylor expansion of (* PI l) in l 2.196 * [taylor]: Taking taylor expansion of PI in l 2.197 * [taylor]: Taking taylor expansion of l in l 2.203 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 2.203 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.203 * [taylor]: Taking taylor expansion of 1/3 in l 2.203 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.203 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.203 * [taylor]: Taking taylor expansion of PI in l 2.203 * [taylor]: Taking taylor expansion of l in l 2.203 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.204 * [taylor]: Taking taylor expansion of 1/3 in l 2.204 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.204 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.204 * [taylor]: Taking taylor expansion of PI in l 2.204 * [taylor]: Taking taylor expansion of l in l 2.209 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 2.209 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.209 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.209 * [taylor]: Taking taylor expansion of -1 in l 2.209 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.209 * [taylor]: Taking taylor expansion of 1/3 in l 2.209 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.209 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.209 * [taylor]: Taking taylor expansion of PI in l 2.209 * [taylor]: Taking taylor expansion of l in l 2.209 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.210 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.210 * [taylor]: Taking taylor expansion of -1 in l 2.210 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.210 * [taylor]: Taking taylor expansion of 1/3 in l 2.210 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.210 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.210 * [taylor]: Taking taylor expansion of PI in l 2.210 * [taylor]: Taking taylor expansion of l in l 2.217 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 2) 2.217 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 2.217 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.217 * [taylor]: Taking taylor expansion of 1/3 in l 2.217 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.217 * [taylor]: Taking taylor expansion of (* PI l) in l 2.217 * [taylor]: Taking taylor expansion of PI in l 2.217 * [taylor]: Taking taylor expansion of l in l 2.217 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.217 * [taylor]: Taking taylor expansion of 1/3 in l 2.217 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.217 * [taylor]: Taking taylor expansion of (* PI l) in l 2.217 * [taylor]: Taking taylor expansion of PI in l 2.218 * [taylor]: Taking taylor expansion of l in l 2.223 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 2.223 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.223 * [taylor]: Taking taylor expansion of 1/3 in l 2.223 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.223 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.223 * [taylor]: Taking taylor expansion of PI in l 2.223 * [taylor]: Taking taylor expansion of l in l 2.223 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.223 * [taylor]: Taking taylor expansion of 1/3 in l 2.223 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.223 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.223 * [taylor]: Taking taylor expansion of PI in l 2.223 * [taylor]: Taking taylor expansion of l in l 2.228 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 2.229 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.229 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.229 * [taylor]: Taking taylor expansion of -1 in l 2.229 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.229 * [taylor]: Taking taylor expansion of 1/3 in l 2.229 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.229 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.229 * [taylor]: Taking taylor expansion of PI in l 2.229 * [taylor]: Taking taylor expansion of l in l 2.229 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.229 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.229 * [taylor]: Taking taylor expansion of -1 in l 2.229 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.229 * [taylor]: Taking taylor expansion of 1/3 in l 2.229 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.229 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.229 * [taylor]: Taking taylor expansion of PI in l 2.229 * [taylor]: Taking taylor expansion of l in l 2.237 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 1) 2.237 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 2.237 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.237 * [taylor]: Taking taylor expansion of 1/3 in l 2.237 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.237 * [taylor]: Taking taylor expansion of (* PI l) in l 2.237 * [taylor]: Taking taylor expansion of PI in l 2.237 * [taylor]: Taking taylor expansion of l in l 2.237 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.237 * [taylor]: Taking taylor expansion of 1/3 in l 2.237 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.237 * [taylor]: Taking taylor expansion of (* PI l) in l 2.237 * [taylor]: Taking taylor expansion of PI in l 2.237 * [taylor]: Taking taylor expansion of l in l 2.243 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 2.243 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.243 * [taylor]: Taking taylor expansion of 1/3 in l 2.243 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.243 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.243 * [taylor]: Taking taylor expansion of PI in l 2.243 * [taylor]: Taking taylor expansion of l in l 2.243 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.243 * [taylor]: Taking taylor expansion of 1/3 in l 2.243 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.243 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.243 * [taylor]: Taking taylor expansion of PI in l 2.243 * [taylor]: Taking taylor expansion of l in l 2.248 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 2.248 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.248 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.248 * [taylor]: Taking taylor expansion of -1 in l 2.249 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.249 * [taylor]: Taking taylor expansion of 1/3 in l 2.249 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.249 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.249 * [taylor]: Taking taylor expansion of PI in l 2.249 * [taylor]: Taking taylor expansion of l in l 2.249 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.249 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.249 * [taylor]: Taking taylor expansion of -1 in l 2.249 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.249 * [taylor]: Taking taylor expansion of 1/3 in l 2.249 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.249 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.249 * [taylor]: Taking taylor expansion of PI in l 2.249 * [taylor]: Taking taylor expansion of l in l 2.257 * * * [progress]: simplifying candidates 2.257 * [simplify]: Simplifying using # : (sin.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (log.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (exp.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (sqrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (sqrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 l) (log.f64 PI.f64)))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 1 l))))) (*.f64 (cbrt.f64 -1) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 l)))))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 l) (log.f64 PI.f64)))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 1 l))))) (*.f64 (cbrt.f64 -1) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 l)))))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 l) (log.f64 PI.f64)))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 1 l))))) (*.f64 (cbrt.f64 -1) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 l)))))) 2.314 * * [simplify]: iteration 0 : 5059 enodes (cost 269 ) 2.317 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (pow.f64 (*.f64 PI.f64 l) 3)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 -1) (cbrt.f64 (*.f64 (*.f64 PI.f64 l) -1))) (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 -1) (cbrt.f64 (*.f64 (*.f64 PI.f64 l) -1))) (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 -1) (cbrt.f64 (*.f64 (*.f64 PI.f64 l) -1))) 2.317 * * * [progress]: adding candidates to table 2.358 * [progress]: [Phase 3 of 3] Extracting. 2.358 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 2.362 * * * [regime-changes]: Trying 4 branch expressions: ((*.f64 F F) (*.f64 PI.f64 l) l F) 2.363 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # # # # # # # # # #) 2.438 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # #) 2.485 * * * * [regimes]: Trying to branch on (*.f64 PI.f64 l) from (# # # # # # # # # # # # # # # # #) 2.557 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # # # #) 2.630 * * * * [regimes]: Trying to branch on F from (# # # # # # # # # # # # # # # # #) 2.704 * * * [regime]: Found split indices: #