0.858 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.057 * * * [progress]: [2/2] Setting up program. 1.059 * [progress]: [Phase 2 of 3] Improving. 1.215 * [simplify]: Simplifying using # : (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) 1.239 * * [simplify]: iteration 0 : 299 enodes (cost 20 ) 1.239 * * [simplify]: iteration 1 : 299 enodes (cost 20 ) 1.240 * [simplify]: Simplified to: (-.f64 (*.f64 PI.f64 l) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) 1.244 * * [progress]: iteration 1 / 4 1.244 * * * [progress]: picking best candidate 1.246 * * * * [pick]: Picked # 1.246 * * * [progress]: localizing error 1.262 * * * [progress]: generating rewritten candidates 1.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.265 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.272 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.275 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.284 * * * [progress]: generating series expansions 1.284 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.291 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.292 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.298 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.298 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.298 * [taylor]: Taking taylor expansion of (* PI l) in l 1.298 * [taylor]: Taking taylor expansion of PI in l 1.298 * [taylor]: Taking taylor expansion of l in l 1.300 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.300 * [taylor]: Taking taylor expansion of (* PI l) in l 1.300 * [taylor]: Taking taylor expansion of PI in l 1.300 * [taylor]: Taking taylor expansion of l in l 1.301 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.301 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.302 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.302 * [taylor]: Taking taylor expansion of (* PI l) in l 1.302 * [taylor]: Taking taylor expansion of PI in l 1.302 * [taylor]: Taking taylor expansion of l in l 1.302 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.302 * [taylor]: Taking taylor expansion of (* PI l) in l 1.302 * [taylor]: Taking taylor expansion of PI in l 1.302 * [taylor]: Taking taylor expansion of l in l 1.326 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.326 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.327 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.327 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.327 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.327 * [taylor]: Taking taylor expansion of PI in l 1.327 * [taylor]: Taking taylor expansion of l in l 1.327 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.327 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.327 * [taylor]: Taking taylor expansion of PI in l 1.327 * [taylor]: Taking taylor expansion of l in l 1.328 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.328 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.328 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.328 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.328 * [taylor]: Taking taylor expansion of PI in l 1.328 * [taylor]: Taking taylor expansion of l in l 1.329 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.329 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.329 * [taylor]: Taking taylor expansion of PI in l 1.329 * [taylor]: Taking taylor expansion of l in l 1.348 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.348 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.348 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.348 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.348 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.348 * [taylor]: Taking taylor expansion of -1 in l 1.348 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.348 * [taylor]: Taking taylor expansion of PI in l 1.348 * [taylor]: Taking taylor expansion of l in l 1.349 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.349 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.349 * [taylor]: Taking taylor expansion of -1 in l 1.349 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.349 * [taylor]: Taking taylor expansion of PI in l 1.349 * [taylor]: Taking taylor expansion of l in l 1.350 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.350 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.350 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.350 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.350 * [taylor]: Taking taylor expansion of -1 in l 1.350 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.350 * [taylor]: Taking taylor expansion of PI in l 1.350 * [taylor]: Taking taylor expansion of l in l 1.351 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.351 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.351 * [taylor]: Taking taylor expansion of -1 in l 1.351 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.351 * [taylor]: Taking taylor expansion of PI in l 1.351 * [taylor]: Taking taylor expansion of l in l 1.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.371 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (l F) around 0 1.371 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.371 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.371 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.371 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.371 * [taylor]: Taking taylor expansion of (* PI l) in F 1.371 * [taylor]: Taking taylor expansion of PI in F 1.371 * [taylor]: Taking taylor expansion of l in F 1.372 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.372 * [taylor]: Taking taylor expansion of (* PI l) in F 1.372 * [taylor]: Taking taylor expansion of PI in F 1.372 * [taylor]: Taking taylor expansion of l in F 1.375 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.375 * [taylor]: Taking taylor expansion of F in F 1.376 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.376 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.376 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.376 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.376 * [taylor]: Taking taylor expansion of (* PI l) in l 1.376 * [taylor]: Taking taylor expansion of PI in l 1.376 * [taylor]: Taking taylor expansion of l in l 1.377 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.377 * [taylor]: Taking taylor expansion of (* PI l) in l 1.377 * [taylor]: Taking taylor expansion of PI in l 1.377 * [taylor]: Taking taylor expansion of l in l 1.378 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.378 * [taylor]: Taking taylor expansion of F in l 1.378 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.378 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.379 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.379 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.379 * [taylor]: Taking taylor expansion of (* PI l) in l 1.379 * [taylor]: Taking taylor expansion of PI in l 1.379 * [taylor]: Taking taylor expansion of l in l 1.379 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.379 * [taylor]: Taking taylor expansion of (* PI l) in l 1.379 * [taylor]: Taking taylor expansion of PI in l 1.379 * [taylor]: Taking taylor expansion of l in l 1.380 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.380 * [taylor]: Taking taylor expansion of F in l 1.381 * [taylor]: Taking taylor expansion of (/ PI (pow F 2)) in F 1.381 * [taylor]: Taking taylor expansion of PI in F 1.381 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.381 * [taylor]: Taking taylor expansion of F in F 1.384 * [taylor]: Taking taylor expansion of 0 in F 1.389 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) (pow F 2))) in F 1.389 * [taylor]: Taking taylor expansion of 1/3 in F 1.389 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow F 2)) in F 1.389 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.390 * [taylor]: Taking taylor expansion of PI in F 1.390 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.390 * [taylor]: Taking taylor expansion of F in F 1.399 * [taylor]: Taking taylor expansion of 0 in F 1.415 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) (pow F 2))) in F 1.415 * [taylor]: Taking taylor expansion of 2/15 in F 1.415 * [taylor]: Taking taylor expansion of (/ (pow PI 5) (pow F 2)) in F 1.415 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.415 * [taylor]: Taking taylor expansion of PI in F 1.415 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.415 * [taylor]: Taking taylor expansion of F in F 1.421 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (l F) around 0 1.421 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.421 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.421 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.421 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.421 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.421 * [taylor]: Taking taylor expansion of PI in F 1.421 * [taylor]: Taking taylor expansion of l in F 1.422 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.422 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.422 * [taylor]: Taking taylor expansion of PI in F 1.422 * [taylor]: Taking taylor expansion of l in F 1.424 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.424 * [taylor]: Taking taylor expansion of F in F 1.425 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.425 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.425 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.425 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.425 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.425 * [taylor]: Taking taylor expansion of PI in l 1.425 * [taylor]: Taking taylor expansion of l in l 1.425 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.425 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.425 * [taylor]: Taking taylor expansion of PI in l 1.425 * [taylor]: Taking taylor expansion of l in l 1.426 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.426 * [taylor]: Taking taylor expansion of F in l 1.426 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.426 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.426 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.426 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.426 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.426 * [taylor]: Taking taylor expansion of PI in l 1.426 * [taylor]: Taking taylor expansion of l in l 1.427 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.427 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.427 * [taylor]: Taking taylor expansion of PI in l 1.427 * [taylor]: Taking taylor expansion of l in l 1.428 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.428 * [taylor]: Taking taylor expansion of F in l 1.428 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (pow F 2)) (cos (/ PI l))) in F 1.428 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (pow F 2)) in F 1.429 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.429 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.429 * [taylor]: Taking taylor expansion of PI in F 1.429 * [taylor]: Taking taylor expansion of l in F 1.429 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.429 * [taylor]: Taking taylor expansion of F in F 1.429 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.429 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.429 * [taylor]: Taking taylor expansion of PI in F 1.429 * [taylor]: Taking taylor expansion of l in F 1.435 * [taylor]: Taking taylor expansion of 0 in F 1.444 * [taylor]: Taking taylor expansion of 0 in F 1.460 * [taylor]: Taking taylor expansion of 0 in F 1.463 * [approximate]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in (l F) around 0 1.463 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in F 1.463 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.463 * [taylor]: Taking taylor expansion of F in F 1.463 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.463 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.464 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.464 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.464 * [taylor]: Taking taylor expansion of -1 in F 1.464 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.464 * [taylor]: Taking taylor expansion of PI in F 1.464 * [taylor]: Taking taylor expansion of l in F 1.465 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.465 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.465 * [taylor]: Taking taylor expansion of -1 in F 1.465 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.465 * [taylor]: Taking taylor expansion of PI in F 1.465 * [taylor]: Taking taylor expansion of l in F 1.469 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in l 1.469 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.469 * [taylor]: Taking taylor expansion of F in l 1.469 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.469 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.469 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.469 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.469 * [taylor]: Taking taylor expansion of -1 in l 1.469 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.469 * [taylor]: Taking taylor expansion of PI in l 1.469 * [taylor]: Taking taylor expansion of l in l 1.470 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.470 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.470 * [taylor]: Taking taylor expansion of -1 in l 1.470 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.470 * [taylor]: Taking taylor expansion of PI in l 1.470 * [taylor]: Taking taylor expansion of l in l 1.471 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in l 1.471 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.471 * [taylor]: Taking taylor expansion of F in l 1.471 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.471 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.471 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.471 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.471 * [taylor]: Taking taylor expansion of -1 in l 1.471 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.471 * [taylor]: Taking taylor expansion of PI in l 1.471 * [taylor]: Taking taylor expansion of l in l 1.472 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.472 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.472 * [taylor]: Taking taylor expansion of -1 in l 1.472 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.472 * [taylor]: Taking taylor expansion of PI in l 1.472 * [taylor]: Taking taylor expansion of l in l 1.474 * [taylor]: Taking taylor expansion of (/ (* (sin (* -1 (/ PI l))) (pow F 2)) (cos (* -1 (/ PI l)))) in F 1.474 * [taylor]: Taking taylor expansion of (* (sin (* -1 (/ PI l))) (pow F 2)) in F 1.474 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.474 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.474 * [taylor]: Taking taylor expansion of -1 in F 1.474 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.474 * [taylor]: Taking taylor expansion of PI in F 1.474 * [taylor]: Taking taylor expansion of l in F 1.475 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.475 * [taylor]: Taking taylor expansion of F in F 1.475 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.475 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.475 * [taylor]: Taking taylor expansion of -1 in F 1.475 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.475 * [taylor]: Taking taylor expansion of PI in F 1.475 * [taylor]: Taking taylor expansion of l in F 1.487 * [taylor]: Taking taylor expansion of 0 in F 1.499 * [taylor]: Taking taylor expansion of 0 in F 1.519 * [taylor]: Taking taylor expansion of 0 in F 1.521 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.522 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.522 * [taylor]: Taking taylor expansion of (* PI l) in l 1.522 * [taylor]: Taking taylor expansion of PI in l 1.522 * [taylor]: Taking taylor expansion of l in l 1.522 * [taylor]: Taking taylor expansion of (* PI l) in l 1.522 * [taylor]: Taking taylor expansion of PI in l 1.522 * [taylor]: Taking taylor expansion of l in l 1.528 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.528 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.528 * [taylor]: Taking taylor expansion of PI in l 1.528 * [taylor]: Taking taylor expansion of l in l 1.528 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.528 * [taylor]: Taking taylor expansion of PI in l 1.528 * [taylor]: Taking taylor expansion of l in l 1.535 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.535 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.535 * [taylor]: Taking taylor expansion of -1 in l 1.535 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.535 * [taylor]: Taking taylor expansion of PI in l 1.535 * [taylor]: Taking taylor expansion of l in l 1.536 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.536 * [taylor]: Taking taylor expansion of -1 in l 1.536 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.536 * [taylor]: Taking taylor expansion of PI in l 1.536 * [taylor]: Taking taylor expansion of l in l 1.547 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.548 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.548 * [taylor]: Taking taylor expansion of (* PI l) in l 1.548 * [taylor]: Taking taylor expansion of PI in l 1.548 * [taylor]: Taking taylor expansion of l in l 1.548 * [taylor]: Taking taylor expansion of (* PI l) in l 1.548 * [taylor]: Taking taylor expansion of PI in l 1.548 * [taylor]: Taking taylor expansion of l in l 1.554 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.554 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.554 * [taylor]: Taking taylor expansion of PI in l 1.554 * [taylor]: Taking taylor expansion of l in l 1.554 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.554 * [taylor]: Taking taylor expansion of PI in l 1.554 * [taylor]: Taking taylor expansion of l in l 1.561 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.562 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.562 * [taylor]: Taking taylor expansion of -1 in l 1.562 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.562 * [taylor]: Taking taylor expansion of PI in l 1.562 * [taylor]: Taking taylor expansion of l in l 1.562 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.562 * [taylor]: Taking taylor expansion of -1 in l 1.562 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.562 * [taylor]: Taking taylor expansion of PI in l 1.562 * [taylor]: Taking taylor expansion of l in l 1.573 * * * [progress]: simplifying candidates 1.574 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (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))) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (log.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))) (*.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)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (*.f64 F F) (*.f64 F F)) (*.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))) (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 (*.f64 F F) (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 (*.f64 F F)) (*.f64 (*.f64 F F) (cos.f64 (*.f64 PI.f64 l))) (/.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 (tan.f64 (*.f64 PI.f64 l)) F) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 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 PI.f64) PI.f64) (*.f64 (*.f64 l l) 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 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 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 PI.f64) PI.f64) (*.f64 (*.f64 l l) 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 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (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.643 * * [simplify]: iteration 0 : 4867 enodes (cost 914 ) 1.643 * * [simplify]: iteration 1 : 4867 enodes (cost 914 ) 1.649 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (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))) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)) 3) (*.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))) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)) 3) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)) 3) (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 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 1 (*.f64 F F)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F 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 (tan.f64 (*.f64 PI.f64 l)) F) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.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 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.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 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (*.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.649 * * * [progress]: adding candidates to table 1.713 * * [progress]: iteration 2 / 4 1.713 * * * [progress]: picking best candidate 1.733 * * * * [pick]: Picked # 1.733 * * * [progress]: localizing error 1.742 * * * [progress]: generating rewritten candidates 1.742 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 1.744 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.758 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 1.762 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.800 * * * [progress]: generating series expansions 1.800 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 1.800 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.800 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.800 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.800 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.800 * [taylor]: Taking taylor expansion of (* PI l) in l 1.800 * [taylor]: Taking taylor expansion of PI in l 1.800 * [taylor]: Taking taylor expansion of l in l 1.801 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.801 * [taylor]: Taking taylor expansion of (* PI l) in l 1.801 * [taylor]: Taking taylor expansion of PI in l 1.801 * [taylor]: Taking taylor expansion of l in l 1.802 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.802 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.802 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.802 * [taylor]: Taking taylor expansion of (* PI l) in l 1.802 * [taylor]: Taking taylor expansion of PI in l 1.802 * [taylor]: Taking taylor expansion of l in l 1.802 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.802 * [taylor]: Taking taylor expansion of (* PI l) in l 1.802 * [taylor]: Taking taylor expansion of PI in l 1.803 * [taylor]: Taking taylor expansion of l in l 1.829 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.829 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.829 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.829 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.829 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.829 * [taylor]: Taking taylor expansion of PI in l 1.829 * [taylor]: Taking taylor expansion of l in l 1.830 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.830 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.830 * [taylor]: Taking taylor expansion of PI in l 1.830 * [taylor]: Taking taylor expansion of l in l 1.831 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.831 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.831 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.831 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.831 * [taylor]: Taking taylor expansion of PI in l 1.831 * [taylor]: Taking taylor expansion of l in l 1.831 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.831 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.831 * [taylor]: Taking taylor expansion of PI in l 1.831 * [taylor]: Taking taylor expansion of l in l 1.846 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.846 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.846 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.846 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.846 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.846 * [taylor]: Taking taylor expansion of -1 in l 1.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.846 * [taylor]: Taking taylor expansion of PI in l 1.846 * [taylor]: Taking taylor expansion of l in l 1.847 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.847 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.847 * [taylor]: Taking taylor expansion of -1 in l 1.847 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.847 * [taylor]: Taking taylor expansion of PI in l 1.847 * [taylor]: Taking taylor expansion of l in l 1.848 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.848 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.848 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.848 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.848 * [taylor]: Taking taylor expansion of -1 in l 1.848 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.848 * [taylor]: Taking taylor expansion of PI in l 1.848 * [taylor]: Taking taylor expansion of l in l 1.849 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.849 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.849 * [taylor]: Taking taylor expansion of -1 in l 1.849 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.849 * [taylor]: Taking taylor expansion of PI in l 1.849 * [taylor]: Taking taylor expansion of l in l 1.872 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.873 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (F l) around 0 1.873 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.873 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.873 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.873 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.873 * [taylor]: Taking taylor expansion of (* PI l) in l 1.873 * [taylor]: Taking taylor expansion of PI in l 1.873 * [taylor]: Taking taylor expansion of l in l 1.874 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.874 * [taylor]: Taking taylor expansion of (* PI l) in l 1.874 * [taylor]: Taking taylor expansion of PI in l 1.874 * [taylor]: Taking taylor expansion of l in l 1.875 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.875 * [taylor]: Taking taylor expansion of F in l 1.875 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.875 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.875 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.875 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.875 * [taylor]: Taking taylor expansion of (* PI l) in F 1.875 * [taylor]: Taking taylor expansion of PI in F 1.875 * [taylor]: Taking taylor expansion of l in F 1.876 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.876 * [taylor]: Taking taylor expansion of (* PI l) in F 1.876 * [taylor]: Taking taylor expansion of PI in F 1.876 * [taylor]: Taking taylor expansion of l in F 1.878 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.878 * [taylor]: Taking taylor expansion of F in F 1.879 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.879 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.879 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.879 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.879 * [taylor]: Taking taylor expansion of (* PI l) in F 1.879 * [taylor]: Taking taylor expansion of PI in F 1.879 * [taylor]: Taking taylor expansion of l in F 1.880 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.880 * [taylor]: Taking taylor expansion of (* PI l) in F 1.880 * [taylor]: Taking taylor expansion of PI in F 1.880 * [taylor]: Taking taylor expansion of l in F 1.883 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.883 * [taylor]: Taking taylor expansion of F in F 1.884 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 1.884 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.884 * [taylor]: Taking taylor expansion of (* PI l) in l 1.884 * [taylor]: Taking taylor expansion of PI in l 1.884 * [taylor]: Taking taylor expansion of l in l 1.884 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.884 * [taylor]: Taking taylor expansion of (* PI l) in l 1.884 * [taylor]: Taking taylor expansion of PI in l 1.884 * [taylor]: Taking taylor expansion of l in l 1.890 * [taylor]: Taking taylor expansion of 0 in l 1.899 * [taylor]: Taking taylor expansion of 0 in l 1.916 * [taylor]: Taking taylor expansion of 0 in l 1.937 * [taylor]: Taking taylor expansion of 0 in l 1.941 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (F l) around 0 1.941 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.941 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.941 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.941 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.941 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.941 * [taylor]: Taking taylor expansion of PI in l 1.941 * [taylor]: Taking taylor expansion of l in l 1.941 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.941 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.941 * [taylor]: Taking taylor expansion of PI in l 1.941 * [taylor]: Taking taylor expansion of l in l 1.942 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.942 * [taylor]: Taking taylor expansion of F in l 1.942 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.942 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.942 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.942 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.942 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.942 * [taylor]: Taking taylor expansion of PI in F 1.943 * [taylor]: Taking taylor expansion of l in F 1.943 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.943 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.943 * [taylor]: Taking taylor expansion of PI in F 1.943 * [taylor]: Taking taylor expansion of l in F 1.946 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.946 * [taylor]: Taking taylor expansion of F in F 1.946 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.946 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.946 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.946 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.946 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.946 * [taylor]: Taking taylor expansion of PI in F 1.946 * [taylor]: Taking taylor expansion of l in F 1.947 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.947 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.947 * [taylor]: Taking taylor expansion of PI in F 1.947 * [taylor]: Taking taylor expansion of l in F 1.950 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.950 * [taylor]: Taking taylor expansion of F in F 1.950 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.950 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.950 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.950 * [taylor]: Taking taylor expansion of PI in l 1.950 * [taylor]: Taking taylor expansion of l in l 1.951 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.951 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.951 * [taylor]: Taking taylor expansion of PI in l 1.951 * [taylor]: Taking taylor expansion of l in l 1.960 * [taylor]: Taking taylor expansion of 0 in l 1.973 * [taylor]: Taking taylor expansion of 0 in l 1.990 * [taylor]: Taking taylor expansion of 0 in l 1.993 * [approximate]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in (F l) around 0 1.994 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in l 1.994 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.994 * [taylor]: Taking taylor expansion of F in l 1.994 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.994 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.994 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.994 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.994 * [taylor]: Taking taylor expansion of -1 in l 1.994 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.994 * [taylor]: Taking taylor expansion of PI in l 1.994 * [taylor]: Taking taylor expansion of l in l 1.994 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.994 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.994 * [taylor]: Taking taylor expansion of -1 in l 1.994 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.994 * [taylor]: Taking taylor expansion of PI in l 1.995 * [taylor]: Taking taylor expansion of l in l 1.996 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in F 1.996 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.996 * [taylor]: Taking taylor expansion of F in F 1.996 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.996 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.996 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.996 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.996 * [taylor]: Taking taylor expansion of -1 in F 1.996 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.996 * [taylor]: Taking taylor expansion of PI in F 1.996 * [taylor]: Taking taylor expansion of l in F 1.997 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.997 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.997 * [taylor]: Taking taylor expansion of -1 in F 1.997 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.997 * [taylor]: Taking taylor expansion of PI in F 1.997 * [taylor]: Taking taylor expansion of l in F 2.001 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in F 2.001 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.001 * [taylor]: Taking taylor expansion of F in F 2.001 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.001 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.001 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.001 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.001 * [taylor]: Taking taylor expansion of -1 in F 2.001 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.001 * [taylor]: Taking taylor expansion of PI in F 2.001 * [taylor]: Taking taylor expansion of l in F 2.002 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.002 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.002 * [taylor]: Taking taylor expansion of -1 in F 2.002 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.002 * [taylor]: Taking taylor expansion of PI in F 2.002 * [taylor]: Taking taylor expansion of l in F 2.008 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 2.008 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.008 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.008 * [taylor]: Taking taylor expansion of -1 in l 2.008 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.008 * [taylor]: Taking taylor expansion of PI in l 2.008 * [taylor]: Taking taylor expansion of l in l 2.008 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.008 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.008 * [taylor]: Taking taylor expansion of -1 in l 2.008 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.008 * [taylor]: Taking taylor expansion of PI in l 2.008 * [taylor]: Taking taylor expansion of l in l 2.021 * [taylor]: Taking taylor expansion of 0 in l 2.037 * [taylor]: Taking taylor expansion of 0 in l 2.057 * [taylor]: Taking taylor expansion of 0 in l 2.059 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1) 2.060 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 2.060 * [taylor]: Taking taylor expansion of (* PI l) in l 2.060 * [taylor]: Taking taylor expansion of PI in l 2.060 * [taylor]: Taking taylor expansion of l in l 2.060 * [taylor]: Taking taylor expansion of (* PI l) in l 2.060 * [taylor]: Taking taylor expansion of PI in l 2.060 * [taylor]: Taking taylor expansion of l in l 2.068 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 2.068 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.068 * [taylor]: Taking taylor expansion of PI in l 2.068 * [taylor]: Taking taylor expansion of l in l 2.068 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.068 * [taylor]: Taking taylor expansion of PI in l 2.068 * [taylor]: Taking taylor expansion of l in l 2.075 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 2.075 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.075 * [taylor]: Taking taylor expansion of -1 in l 2.075 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.075 * [taylor]: Taking taylor expansion of PI in l 2.075 * [taylor]: Taking taylor expansion of l in l 2.076 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.076 * [taylor]: Taking taylor expansion of -1 in l 2.076 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.076 * [taylor]: Taking taylor expansion of PI in l 2.076 * [taylor]: Taking taylor expansion of l in l 2.087 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.087 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 2.087 * [taylor]: Taking taylor expansion of (* PI l) in l 2.087 * [taylor]: Taking taylor expansion of PI in l 2.087 * [taylor]: Taking taylor expansion of l in l 2.087 * [taylor]: Taking taylor expansion of (* PI l) in l 2.087 * [taylor]: Taking taylor expansion of PI in l 2.087 * [taylor]: Taking taylor expansion of l in l 2.094 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 2.094 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.094 * [taylor]: Taking taylor expansion of PI in l 2.094 * [taylor]: Taking taylor expansion of l in l 2.094 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.094 * [taylor]: Taking taylor expansion of PI in l 2.094 * [taylor]: Taking taylor expansion of l in l 2.101 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 2.101 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.101 * [taylor]: Taking taylor expansion of -1 in l 2.101 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.101 * [taylor]: Taking taylor expansion of PI in l 2.101 * [taylor]: Taking taylor expansion of l in l 2.102 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.102 * [taylor]: Taking taylor expansion of -1 in l 2.102 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.102 * [taylor]: Taking taylor expansion of PI in l 2.102 * [taylor]: Taking taylor expansion of l in l 2.116 * * * [progress]: simplifying candidates 2.120 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.f64 1) (-.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)))) (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)))) (exp.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (log.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)))) (*.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 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 (*.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 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)))) (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 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) 1) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 F) (/.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 (*.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 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 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 PI.f64) PI.f64) (*.f64 (*.f64 l l) 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 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 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 PI.f64) PI.f64) (*.f64 (*.f64 l l) 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 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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) 2.224 * * [simplify]: iteration 0 : 4942 enodes (cost 6334 ) 2.225 * * [simplify]: iteration 1 : 4942 enodes (cost 6334 ) 2.258 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (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)) (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (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) (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) (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 (pow.f64 (cbrt.f64 F) 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 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (pow.f64 (cbrt.f64 F) 2) (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 (pow.f64 (cbrt.f64 F) 2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (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)))) (pow.f64 (cbrt.f64 F) 2))) (/.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 (pow.f64 (cbrt.f64 F) 2) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (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 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (cbrt.f64 F) 2))) (*.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 (pow.f64 (cbrt.f64 F) 2) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (pow.f64 (cbrt.f64 F) 2) (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)) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (cbrt.f64 F) 2)) (/.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)) (pow.f64 (cbrt.f64 F) 2))) (/.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 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (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 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (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 (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 (pow.f64 (cbrt.f64 F) 2) (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)))) (pow.f64 (cbrt.f64 F) 2))) (/.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))) (pow.f64 (cbrt.f64 F) 2))) (*.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)) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.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)) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (pow.f64 (cbrt.f64 F) 2)) (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)))) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (cbrt.f64 F) 2)) (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))) (pow.f64 (cbrt.f64 F) 2)) (/.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)) (pow.f64 (cbrt.f64 F) 2)) (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 F) 2) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 (cbrt.f64 F) 2)) (/.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)))) (pow.f64 (cbrt.f64 F) 2)) (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))) (pow.f64 (cbrt.f64 F) 2)) (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 (pow.f64 (cbrt.f64 F) 2) (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)))) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.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 (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.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)) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (pow.f64 (cbrt.f64 F) 2)) (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)))) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (cbrt.f64 F) 2)) (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))) (pow.f64 (cbrt.f64 F) 2)) (/.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)) (pow.f64 (cbrt.f64 F) 2)) (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 F) 2) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 (cbrt.f64 F) 2)) (/.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)))) (pow.f64 (cbrt.f64 F) 2)) (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))) (pow.f64 (cbrt.f64 F) 2)) (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 (pow.f64 (cbrt.f64 F) 2) (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)))) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.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 (pow.f64 (cbrt.f64 F) 2)) (/.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 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 1 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 (*.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))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (pow.f64 (cbrt.f64 F) 2)) (*.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)))) (pow.f64 (cbrt.f64 F) 2)) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (cbrt.f64 F) 2)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 F) 2) (sqrt.f64 F))) (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 (cbrt.f64 F) 2)) (/.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)))) (pow.f64 (cbrt.f64 F) 2)) (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))) (pow.f64 (cbrt.f64 F) 2)) (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 (pow.f64 (cbrt.f64 F) 2) (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)))) (pow.f64 (cbrt.f64 F) 2)) (/.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))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.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 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.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 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (log.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 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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) 2.260 * * * [progress]: adding candidates to table 2.408 * * [progress]: iteration 3 / 4 2.408 * * * [progress]: picking best candidate 2.426 * * * * [pick]: Picked # 2.427 * * * [progress]: localizing error 2.447 * * * [progress]: generating rewritten candidates 2.447 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1) 2.449 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 1 2 1) 2.451 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 2 1) 2.453 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 2.471 * * * [progress]: generating series expansions 2.471 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1) 2.472 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.472 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.472 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.472 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.472 * [taylor]: Taking taylor expansion of (* PI l) in l 2.472 * [taylor]: Taking taylor expansion of PI in l 2.472 * [taylor]: Taking taylor expansion of l in l 2.473 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.473 * [taylor]: Taking taylor expansion of (* PI l) in l 2.473 * [taylor]: Taking taylor expansion of PI in l 2.473 * [taylor]: Taking taylor expansion of l in l 2.474 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.474 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.474 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.474 * [taylor]: Taking taylor expansion of (* PI l) in l 2.474 * [taylor]: Taking taylor expansion of PI in l 2.474 * [taylor]: Taking taylor expansion of l in l 2.475 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.475 * [taylor]: Taking taylor expansion of (* PI l) in l 2.475 * [taylor]: Taking taylor expansion of PI in l 2.475 * [taylor]: Taking taylor expansion of l in l 2.496 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.497 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.497 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.497 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.497 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.497 * [taylor]: Taking taylor expansion of PI in l 2.497 * [taylor]: Taking taylor expansion of l in l 2.497 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.497 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.497 * [taylor]: Taking taylor expansion of PI in l 2.497 * [taylor]: Taking taylor expansion of l in l 2.498 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.498 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.498 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.498 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.498 * [taylor]: Taking taylor expansion of PI in l 2.498 * [taylor]: Taking taylor expansion of l in l 2.498 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.498 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.498 * [taylor]: Taking taylor expansion of PI in l 2.498 * [taylor]: Taking taylor expansion of l in l 2.513 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 2.513 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.513 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.513 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.513 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.513 * [taylor]: Taking taylor expansion of -1 in l 2.513 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.513 * [taylor]: Taking taylor expansion of PI in l 2.513 * [taylor]: Taking taylor expansion of l in l 2.513 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.513 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.513 * [taylor]: Taking taylor expansion of -1 in l 2.513 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.513 * [taylor]: Taking taylor expansion of PI in l 2.513 * [taylor]: Taking taylor expansion of l in l 2.514 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.514 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.515 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.515 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.515 * [taylor]: Taking taylor expansion of -1 in l 2.515 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.515 * [taylor]: Taking taylor expansion of PI in l 2.515 * [taylor]: Taking taylor expansion of l in l 2.515 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.515 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.515 * [taylor]: Taking taylor expansion of -1 in l 2.515 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.515 * [taylor]: Taking taylor expansion of PI in l 2.515 * [taylor]: Taking taylor expansion of l in l 2.537 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 1 2 1) 2.538 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.538 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.538 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.538 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.538 * [taylor]: Taking taylor expansion of (* PI l) in l 2.538 * [taylor]: Taking taylor expansion of PI in l 2.538 * [taylor]: Taking taylor expansion of l in l 2.538 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.538 * [taylor]: Taking taylor expansion of (* PI l) in l 2.538 * [taylor]: Taking taylor expansion of PI in l 2.538 * [taylor]: Taking taylor expansion of l in l 2.539 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.539 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.539 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.539 * [taylor]: Taking taylor expansion of (* PI l) in l 2.539 * [taylor]: Taking taylor expansion of PI in l 2.539 * [taylor]: Taking taylor expansion of l in l 2.540 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.540 * [taylor]: Taking taylor expansion of (* PI l) in l 2.540 * [taylor]: Taking taylor expansion of PI in l 2.540 * [taylor]: Taking taylor expansion of l in l 2.557 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.557 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.557 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.557 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.557 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.557 * [taylor]: Taking taylor expansion of PI in l 2.557 * [taylor]: Taking taylor expansion of l in l 2.557 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.557 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.557 * [taylor]: Taking taylor expansion of PI in l 2.557 * [taylor]: Taking taylor expansion of l in l 2.558 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.558 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.558 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.558 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.558 * [taylor]: Taking taylor expansion of PI in l 2.558 * [taylor]: Taking taylor expansion of l in l 2.559 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.559 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.559 * [taylor]: Taking taylor expansion of PI in l 2.559 * [taylor]: Taking taylor expansion of l in l 2.574 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 2.574 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.574 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.574 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.574 * [taylor]: Taking taylor expansion of -1 in l 2.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.574 * [taylor]: Taking taylor expansion of PI in l 2.574 * [taylor]: Taking taylor expansion of l in l 2.574 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.574 * [taylor]: Taking taylor expansion of -1 in l 2.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.575 * [taylor]: Taking taylor expansion of PI in l 2.575 * [taylor]: Taking taylor expansion of l in l 2.576 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.576 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.576 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.576 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.576 * [taylor]: Taking taylor expansion of -1 in l 2.576 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.576 * [taylor]: Taking taylor expansion of PI in l 2.576 * [taylor]: Taking taylor expansion of l in l 2.577 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.577 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.577 * [taylor]: Taking taylor expansion of -1 in l 2.577 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.577 * [taylor]: Taking taylor expansion of PI in l 2.577 * [taylor]: Taking taylor expansion of l in l 2.601 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 2 1) 2.602 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.602 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.602 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.602 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.602 * [taylor]: Taking taylor expansion of (* PI l) in l 2.602 * [taylor]: Taking taylor expansion of PI in l 2.602 * [taylor]: Taking taylor expansion of l in l 2.602 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.602 * [taylor]: Taking taylor expansion of (* PI l) in l 2.602 * [taylor]: Taking taylor expansion of PI in l 2.602 * [taylor]: Taking taylor expansion of l in l 2.603 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.603 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.603 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.603 * [taylor]: Taking taylor expansion of (* PI l) in l 2.603 * [taylor]: Taking taylor expansion of PI in l 2.603 * [taylor]: Taking taylor expansion of l in l 2.604 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.604 * [taylor]: Taking taylor expansion of (* PI l) in l 2.604 * [taylor]: Taking taylor expansion of PI in l 2.604 * [taylor]: Taking taylor expansion of l in l 2.624 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.624 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.624 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.624 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.624 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.624 * [taylor]: Taking taylor expansion of PI in l 2.624 * [taylor]: Taking taylor expansion of l in l 2.625 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.625 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.625 * [taylor]: Taking taylor expansion of PI in l 2.625 * [taylor]: Taking taylor expansion of l in l 2.626 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.626 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.626 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.626 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.626 * [taylor]: Taking taylor expansion of PI in l 2.626 * [taylor]: Taking taylor expansion of l in l 2.626 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.627 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.627 * [taylor]: Taking taylor expansion of PI in l 2.627 * [taylor]: Taking taylor expansion of l in l 2.646 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 2.646 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.646 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.646 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.646 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.646 * [taylor]: Taking taylor expansion of -1 in l 2.646 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.646 * [taylor]: Taking taylor expansion of PI in l 2.646 * [taylor]: Taking taylor expansion of l in l 2.646 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.647 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.647 * [taylor]: Taking taylor expansion of -1 in l 2.647 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.647 * [taylor]: Taking taylor expansion of PI in l 2.647 * [taylor]: Taking taylor expansion of l in l 2.648 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.648 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.648 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.648 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.648 * [taylor]: Taking taylor expansion of -1 in l 2.648 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.648 * [taylor]: Taking taylor expansion of PI in l 2.648 * [taylor]: Taking taylor expansion of l in l 2.649 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.649 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.649 * [taylor]: Taking taylor expansion of -1 in l 2.649 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.649 * [taylor]: Taking taylor expansion of PI in l 2.649 * [taylor]: Taking taylor expansion of l in l 2.673 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 2.674 * [approximate]: Taking taylor expansion of (pow (/ (pow F 2) (tan (* PI l))) 1/3) in (F l) around 0 2.674 * [taylor]: Taking taylor expansion of (pow (/ (pow F 2) (tan (* PI l))) 1/3) in l 2.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow F 2) (tan (* PI l)))))) in l 2.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow F 2) (tan (* PI l))))) in l 2.674 * [taylor]: Taking taylor expansion of 1/3 in l 2.674 * [taylor]: Taking taylor expansion of (log (/ (pow F 2) (tan (* PI l)))) in l 2.674 * [taylor]: Taking taylor expansion of (/ (pow F 2) (tan (* PI l))) in l 2.674 * [taylor]: Taking taylor expansion of (pow F 2) in l 2.674 * [taylor]: Taking taylor expansion of F in l 2.674 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.674 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.674 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.674 * [taylor]: Taking taylor expansion of (* PI l) in l 2.674 * [taylor]: Taking taylor expansion of PI in l 2.674 * [taylor]: Taking taylor expansion of l in l 2.675 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.675 * [taylor]: Taking taylor expansion of (* PI l) in l 2.675 * [taylor]: Taking taylor expansion of PI in l 2.675 * [taylor]: Taking taylor expansion of l in l 2.679 * [taylor]: Taking taylor expansion of (pow (/ (pow F 2) (tan (* PI l))) 1/3) in F 2.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow F 2) (tan (* PI l)))))) in F 2.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow F 2) (tan (* PI l))))) in F 2.679 * [taylor]: Taking taylor expansion of 1/3 in F 2.679 * [taylor]: Taking taylor expansion of (log (/ (pow F 2) (tan (* PI l)))) in F 2.679 * [taylor]: Taking taylor expansion of (/ (pow F 2) (tan (* PI l))) in F 2.679 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.679 * [taylor]: Taking taylor expansion of F in F 2.679 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.679 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.679 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.679 * [taylor]: Taking taylor expansion of (* PI l) in F 2.679 * [taylor]: Taking taylor expansion of PI in F 2.679 * [taylor]: Taking taylor expansion of l in F 2.680 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.680 * [taylor]: Taking taylor expansion of (* PI l) in F 2.680 * [taylor]: Taking taylor expansion of PI in F 2.680 * [taylor]: Taking taylor expansion of l in F 2.687 * [taylor]: Taking taylor expansion of (pow (/ (pow F 2) (tan (* PI l))) 1/3) in F 2.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow F 2) (tan (* PI l)))))) in F 2.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow F 2) (tan (* PI l))))) in F 2.687 * [taylor]: Taking taylor expansion of 1/3 in F 2.687 * [taylor]: Taking taylor expansion of (log (/ (pow F 2) (tan (* PI l)))) in F 2.687 * [taylor]: Taking taylor expansion of (/ (pow F 2) (tan (* PI l))) in F 2.687 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.687 * [taylor]: Taking taylor expansion of F in F 2.687 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.688 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.688 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.688 * [taylor]: Taking taylor expansion of (* PI l) in F 2.688 * [taylor]: Taking taylor expansion of PI in F 2.688 * [taylor]: Taking taylor expansion of l in F 2.688 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.688 * [taylor]: Taking taylor expansion of (* PI l) in F 2.688 * [taylor]: Taking taylor expansion of PI in F 2.688 * [taylor]: Taking taylor expansion of l in F 2.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log F)) (log (/ (cos (* PI l)) (sin (* PI l))))))) in l 2.695 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log F)) (log (/ (cos (* PI l)) (sin (* PI l)))))) in l 2.695 * [taylor]: Taking taylor expansion of 1/3 in l 2.695 * [taylor]: Taking taylor expansion of (+ (* 2 (log F)) (log (/ (cos (* PI l)) (sin (* PI l))))) in l 2.695 * [taylor]: Taking taylor expansion of (* 2 (log F)) in l 2.695 * [taylor]: Taking taylor expansion of 2 in l 2.696 * [taylor]: Taking taylor expansion of (log F) in l 2.696 * [taylor]: Taking taylor expansion of F in l 2.696 * [taylor]: Taking taylor expansion of (log (/ (cos (* PI l)) (sin (* PI l)))) in l 2.696 * [taylor]: Taking taylor expansion of (/ (cos (* PI l)) (sin (* PI l))) in l 2.696 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.696 * [taylor]: Taking taylor expansion of (* PI l) in l 2.696 * [taylor]: Taking taylor expansion of PI in l 2.696 * [taylor]: Taking taylor expansion of l in l 2.696 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.696 * [taylor]: Taking taylor expansion of (* PI l) in l 2.696 * [taylor]: Taking taylor expansion of PI in l 2.696 * [taylor]: Taking taylor expansion of l in l 2.715 * [taylor]: Taking taylor expansion of 0 in l 2.740 * [taylor]: Taking taylor expansion of 0 in l 2.779 * [taylor]: Taking taylor expansion of 0 in l 2.827 * [taylor]: Taking taylor expansion of 0 in l 2.833 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (tan (/ PI l)) (pow F 2))) 1/3) in (F l) around 0 2.833 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (tan (/ PI l)) (pow F 2))) 1/3) in l 2.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (tan (/ PI l)) (pow F 2)))))) in l 2.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (tan (/ PI l)) (pow F 2))))) in l 2.833 * [taylor]: Taking taylor expansion of 1/3 in l 2.833 * [taylor]: Taking taylor expansion of (log (/ 1 (* (tan (/ PI l)) (pow F 2)))) in l 2.833 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) (pow F 2))) in l 2.833 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 2.833 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.834 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.834 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.834 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.834 * [taylor]: Taking taylor expansion of PI in l 2.834 * [taylor]: Taking taylor expansion of l in l 2.834 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.834 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.834 * [taylor]: Taking taylor expansion of PI in l 2.834 * [taylor]: Taking taylor expansion of l in l 2.835 * [taylor]: Taking taylor expansion of (pow F 2) in l 2.835 * [taylor]: Taking taylor expansion of F in l 2.838 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (tan (/ PI l)) (pow F 2))) 1/3) in F 2.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (tan (/ PI l)) (pow F 2)))))) in F 2.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (tan (/ PI l)) (pow F 2))))) in F 2.838 * [taylor]: Taking taylor expansion of 1/3 in F 2.838 * [taylor]: Taking taylor expansion of (log (/ 1 (* (tan (/ PI l)) (pow F 2)))) in F 2.838 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) (pow F 2))) in F 2.838 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 2.838 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.838 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.838 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.838 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.838 * [taylor]: Taking taylor expansion of PI in F 2.838 * [taylor]: Taking taylor expansion of l in F 2.839 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.839 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.839 * [taylor]: Taking taylor expansion of PI in F 2.839 * [taylor]: Taking taylor expansion of l in F 2.841 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.841 * [taylor]: Taking taylor expansion of F in F 2.845 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (tan (/ PI l)) (pow F 2))) 1/3) in F 2.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (tan (/ PI l)) (pow F 2)))))) in F 2.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (tan (/ PI l)) (pow F 2))))) in F 2.845 * [taylor]: Taking taylor expansion of 1/3 in F 2.845 * [taylor]: Taking taylor expansion of (log (/ 1 (* (tan (/ PI l)) (pow F 2)))) in F 2.845 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) (pow F 2))) in F 2.845 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 2.845 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.846 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.846 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.846 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.846 * [taylor]: Taking taylor expansion of PI in F 2.846 * [taylor]: Taking taylor expansion of l in F 2.846 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.846 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.846 * [taylor]: Taking taylor expansion of PI in F 2.846 * [taylor]: Taking taylor expansion of l in F 2.848 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.849 * [taylor]: Taking taylor expansion of F in F 2.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (cos (/ PI l)) (sin (/ PI l)))) (* 2 (log F))))) in l 2.853 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (cos (/ PI l)) (sin (/ PI l)))) (* 2 (log F)))) in l 2.853 * [taylor]: Taking taylor expansion of 1/3 in l 2.853 * [taylor]: Taking taylor expansion of (- (log (/ (cos (/ PI l)) (sin (/ PI l)))) (* 2 (log F))) in l 2.853 * [taylor]: Taking taylor expansion of (log (/ (cos (/ PI l)) (sin (/ PI l)))) in l 2.853 * [taylor]: Taking taylor expansion of (/ (cos (/ PI l)) (sin (/ PI l))) in l 2.853 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.853 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.853 * [taylor]: Taking taylor expansion of PI in l 2.853 * [taylor]: Taking taylor expansion of l in l 2.853 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.853 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.853 * [taylor]: Taking taylor expansion of PI in l 2.853 * [taylor]: Taking taylor expansion of l in l 2.854 * [taylor]: Taking taylor expansion of (* 2 (log F)) in l 2.854 * [taylor]: Taking taylor expansion of 2 in l 2.854 * [taylor]: Taking taylor expansion of (log F) in l 2.854 * [taylor]: Taking taylor expansion of F in l 2.873 * [taylor]: Taking taylor expansion of 0 in l 2.898 * [taylor]: Taking taylor expansion of 0 in l 2.933 * [taylor]: Taking taylor expansion of 0 in l 2.938 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))) 1/3) in (F l) around 0 2.938 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))) 1/3) in l 2.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l)))))))) in l 2.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))))) in l 2.938 * [taylor]: Taking taylor expansion of 1/3 in l 2.938 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l)))))) in l 2.938 * [taylor]: Taking taylor expansion of (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))) in l 2.938 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in l 2.938 * [taylor]: Taking taylor expansion of (pow F 2) in l 2.938 * [taylor]: Taking taylor expansion of F in l 2.938 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.938 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.938 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.938 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.939 * [taylor]: Taking taylor expansion of -1 in l 2.939 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.939 * [taylor]: Taking taylor expansion of PI in l 2.939 * [taylor]: Taking taylor expansion of l in l 2.939 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.939 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.939 * [taylor]: Taking taylor expansion of -1 in l 2.939 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.939 * [taylor]: Taking taylor expansion of PI in l 2.939 * [taylor]: Taking taylor expansion of l in l 2.944 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))) 1/3) in F 2.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l)))))))) in F 2.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))))) in F 2.944 * [taylor]: Taking taylor expansion of 1/3 in F 2.944 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l)))))) in F 2.944 * [taylor]: Taking taylor expansion of (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))) in F 2.944 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in F 2.944 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.944 * [taylor]: Taking taylor expansion of F in F 2.944 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.945 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.945 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.945 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.945 * [taylor]: Taking taylor expansion of -1 in F 2.945 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.945 * [taylor]: Taking taylor expansion of PI in F 2.945 * [taylor]: Taking taylor expansion of l in F 2.946 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.946 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.946 * [taylor]: Taking taylor expansion of -1 in F 2.946 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.946 * [taylor]: Taking taylor expansion of PI in F 2.946 * [taylor]: Taking taylor expansion of l in F 2.954 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))) 1/3) in F 2.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l)))))))) in F 2.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))))) in F 2.954 * [taylor]: Taking taylor expansion of 1/3 in F 2.954 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow F 2) (tan (* -1 (/ PI l)))))) in F 2.954 * [taylor]: Taking taylor expansion of (/ 1 (* (pow F 2) (tan (* -1 (/ PI l))))) in F 2.954 * [taylor]: Taking taylor expansion of (* (pow F 2) (tan (* -1 (/ PI l)))) in F 2.954 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.954 * [taylor]: Taking taylor expansion of F in F 2.954 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.954 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.954 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.954 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.954 * [taylor]: Taking taylor expansion of -1 in F 2.954 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.955 * [taylor]: Taking taylor expansion of PI in F 2.955 * [taylor]: Taking taylor expansion of l in F 2.955 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.955 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.955 * [taylor]: Taking taylor expansion of -1 in F 2.955 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.955 * [taylor]: Taking taylor expansion of PI in F 2.955 * [taylor]: Taking taylor expansion of l in F 2.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l))))) (* 2 (log F))))) in l 2.964 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l))))) (* 2 (log F)))) in l 2.964 * [taylor]: Taking taylor expansion of 1/3 in l 2.964 * [taylor]: Taking taylor expansion of (- (log (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l))))) (* 2 (log F))) in l 2.964 * [taylor]: Taking taylor expansion of (log (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l))))) in l 2.964 * [taylor]: Taking taylor expansion of (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l)))) in l 2.964 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.964 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.964 * [taylor]: Taking taylor expansion of -1 in l 2.964 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.964 * [taylor]: Taking taylor expansion of PI in l 2.964 * [taylor]: Taking taylor expansion of l in l 2.965 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.965 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.965 * [taylor]: Taking taylor expansion of -1 in l 2.965 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.965 * [taylor]: Taking taylor expansion of PI in l 2.965 * [taylor]: Taking taylor expansion of l in l 2.966 * [taylor]: Taking taylor expansion of (* 2 (log F)) in l 2.966 * [taylor]: Taking taylor expansion of 2 in l 2.966 * [taylor]: Taking taylor expansion of (log F) in l 2.966 * [taylor]: Taking taylor expansion of F in l 2.988 * [taylor]: Taking taylor expansion of 0 in l 3.022 * [taylor]: Taking taylor expansion of 0 in l 3.065 * [taylor]: Taking taylor expansion of 0 in l 3.069 * * * [progress]: simplifying candidates 3.070 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (log.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.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)))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (*.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))))) (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.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))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.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))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.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)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.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))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 1 F))) (cbrt.f64 (/.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))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.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))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.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)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 1 1))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (sqrt.f64 F) 1)) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (/.f64 1 F))) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (cbrt.f64 (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.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))))) (cbrt.f64 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (cbrt.f64 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (cbrt.f64 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (cbrt.f64 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (cbrt.f64 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (cbrt.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (cbrt.f64 (/.f64 1 (/.f64 1 1))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 1 1)) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (/.f64 F (/.f64 1 F))) (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 F) (cbrt.f64 (/.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 F) (sqrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (sqrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 (exp.f64 (*.f64 1/3 (-.f64 (+.f64 (log.f64 (/.f64 1 PI.f64)) (*.f64 2 (log.f64 F))) (log.f64 l)))) (*.f64 1/9 (*.f64 (exp.f64 (*.f64 1/3 (-.f64 (+.f64 (log.f64 (/.f64 1 PI.f64)) (*.f64 2 (log.f64 F))) (log.f64 l)))) (*.f64 (pow.f64 PI.f64 2) (pow.f64 l 2))))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 (cos.f64 (*.f64 PI.f64 l)) (sin.f64 (*.f64 PI.f64 l)))) (*.f64 2 (log.f64 (/.f64 1 F)))))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 (cos.f64 (*.f64 PI.f64 l)) (sin.f64 (*.f64 PI.f64 l)))) (*.f64 2 (log.f64 (/.f64 -1 F)))))) 3.147 * * [simplify]: iteration 0 : 4907 enodes (cost 2248 ) 3.148 * * [simplify]: iteration 1 : 4907 enodes (cost 2248 ) 3.159 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (log.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (*.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))))) (cbrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.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))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (*.f64 (cbrt.f64 F) (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.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)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (*.f64 F (/.f64 (cbrt.f64 F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (*.f64 F (/.f64 (cbrt.f64 F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (*.f64 F (cbrt.f64 F))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (cbrt.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (*.f64 F (cbrt.f64 F))) (cbrt.f64 (/.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))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.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)))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (*.f64 (sqrt.f64 F) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (cbrt.f64 (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (*.f64 F (/.f64 (sqrt.f64 F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (cbrt.f64 F) (cbrt.f64 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (sqrt.f64 F)) (cbrt.f64 (*.f64 (sqrt.f64 F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (sqrt.f64 F)) (cbrt.f64 (*.f64 (sqrt.f64 F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (cbrt.f64 (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (*.f64 (sqrt.f64 F) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (*.f64 F (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (cbrt.f64 (*.f64 F (/.f64 (cbrt.f64 F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 (sqrt.f64 F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (*.f64 F (/.f64 (sqrt.f64 F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (/.f64 1 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (*.f64 F (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (cbrt.f64 (sqrt.f64 F)) (cbrt.f64 (*.f64 (sqrt.f64 F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (pow.f64 F 2/3) (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 F) (cbrt.f64 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 F) (sqrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (sqrt.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 (*.f64 (pow.f64 PI.f64 2) (*.f64 l l)) -1/9) 1) (/.f64 (/.f64 (pow.f64 F 2/3) (cbrt.f64 l)) (cbrt.f64 PI.f64))) (*.f64 (pow.f64 F 2/3) (cbrt.f64 (/.f64 (cos.f64 (*.f64 PI.f64 l)) (sin.f64 (*.f64 PI.f64 l))))) (*.f64 (pow.f64 F 2/3) (cbrt.f64 (/.f64 (cos.f64 (*.f64 PI.f64 l)) (sin.f64 (*.f64 PI.f64 l))))) 3.160 * * * [progress]: adding candidates to table 3.263 * * [progress]: iteration 4 / 4 3.263 * * * [progress]: picking best candidate 3.287 * * * * [pick]: Picked # 3.287 * * * [progress]: localizing error 3.301 * * * [progress]: generating rewritten candidates 3.301 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 3.303 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1) 3.305 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) 3.307 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 3.312 * * * [progress]: generating series expansions 3.312 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 3.313 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 3.313 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.313 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.313 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.313 * [taylor]: Taking taylor expansion of (* PI l) in l 3.313 * [taylor]: Taking taylor expansion of PI in l 3.313 * [taylor]: Taking taylor expansion of l in l 3.313 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.313 * [taylor]: Taking taylor expansion of (* PI l) in l 3.313 * [taylor]: Taking taylor expansion of PI in l 3.313 * [taylor]: Taking taylor expansion of l in l 3.314 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.314 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.314 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.314 * [taylor]: Taking taylor expansion of (* PI l) in l 3.314 * [taylor]: Taking taylor expansion of PI in l 3.314 * [taylor]: Taking taylor expansion of l in l 3.315 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.315 * [taylor]: Taking taylor expansion of (* PI l) in l 3.315 * [taylor]: Taking taylor expansion of PI in l 3.315 * [taylor]: Taking taylor expansion of l in l 3.333 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 3.333 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.333 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.333 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.333 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.333 * [taylor]: Taking taylor expansion of PI in l 3.333 * [taylor]: Taking taylor expansion of l in l 3.333 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.333 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.333 * [taylor]: Taking taylor expansion of PI in l 3.333 * [taylor]: Taking taylor expansion of l in l 3.334 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.334 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.334 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.334 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.334 * [taylor]: Taking taylor expansion of PI in l 3.334 * [taylor]: Taking taylor expansion of l in l 3.334 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.334 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.334 * [taylor]: Taking taylor expansion of PI in l 3.334 * [taylor]: Taking taylor expansion of l in l 3.350 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 3.350 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.350 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.350 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.350 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.350 * [taylor]: Taking taylor expansion of -1 in l 3.350 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.350 * [taylor]: Taking taylor expansion of PI in l 3.350 * [taylor]: Taking taylor expansion of l in l 3.350 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.350 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.350 * [taylor]: Taking taylor expansion of -1 in l 3.350 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.350 * [taylor]: Taking taylor expansion of PI in l 3.350 * [taylor]: Taking taylor expansion of l in l 3.352 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.352 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.352 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.352 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.352 * [taylor]: Taking taylor expansion of -1 in l 3.352 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.352 * [taylor]: Taking taylor expansion of PI in l 3.352 * [taylor]: Taking taylor expansion of l in l 3.353 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.353 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.353 * [taylor]: Taking taylor expansion of -1 in l 3.353 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.353 * [taylor]: Taking taylor expansion of PI in l 3.353 * [taylor]: Taking taylor expansion of l in l 3.377 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1) 3.378 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 3.378 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.378 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.378 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.378 * [taylor]: Taking taylor expansion of (* PI l) in l 3.378 * [taylor]: Taking taylor expansion of PI in l 3.378 * [taylor]: Taking taylor expansion of l in l 3.378 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.378 * [taylor]: Taking taylor expansion of (* PI l) in l 3.378 * [taylor]: Taking taylor expansion of PI in l 3.378 * [taylor]: Taking taylor expansion of l in l 3.379 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.379 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.379 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.379 * [taylor]: Taking taylor expansion of (* PI l) in l 3.379 * [taylor]: Taking taylor expansion of PI in l 3.379 * [taylor]: Taking taylor expansion of l in l 3.380 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.380 * [taylor]: Taking taylor expansion of (* PI l) in l 3.380 * [taylor]: Taking taylor expansion of PI in l 3.380 * [taylor]: Taking taylor expansion of l in l 3.397 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 3.397 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.397 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.397 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.397 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.397 * [taylor]: Taking taylor expansion of PI in l 3.397 * [taylor]: Taking taylor expansion of l in l 3.397 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.398 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.398 * [taylor]: Taking taylor expansion of PI in l 3.398 * [taylor]: Taking taylor expansion of l in l 3.399 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.399 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.399 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.399 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.399 * [taylor]: Taking taylor expansion of PI in l 3.399 * [taylor]: Taking taylor expansion of l in l 3.399 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.399 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.399 * [taylor]: Taking taylor expansion of PI in l 3.399 * [taylor]: Taking taylor expansion of l in l 3.418 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 3.418 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.418 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.418 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.418 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.418 * [taylor]: Taking taylor expansion of -1 in l 3.418 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.419 * [taylor]: Taking taylor expansion of PI in l 3.419 * [taylor]: Taking taylor expansion of l in l 3.419 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.419 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.419 * [taylor]: Taking taylor expansion of -1 in l 3.419 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.419 * [taylor]: Taking taylor expansion of PI in l 3.419 * [taylor]: Taking taylor expansion of l in l 3.421 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.421 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.421 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.421 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.421 * [taylor]: Taking taylor expansion of -1 in l 3.421 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.421 * [taylor]: Taking taylor expansion of PI in l 3.421 * [taylor]: Taking taylor expansion of l in l 3.421 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.421 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.421 * [taylor]: Taking taylor expansion of -1 in l 3.421 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.421 * [taylor]: Taking taylor expansion of PI in l 3.421 * [taylor]: Taking taylor expansion of l in l 3.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1) 3.445 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 3.445 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.446 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.446 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.446 * [taylor]: Taking taylor expansion of (* PI l) in l 3.446 * [taylor]: Taking taylor expansion of PI in l 3.446 * [taylor]: Taking taylor expansion of l in l 3.446 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.446 * [taylor]: Taking taylor expansion of (* PI l) in l 3.446 * [taylor]: Taking taylor expansion of PI in l 3.446 * [taylor]: Taking taylor expansion of l in l 3.447 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.447 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.447 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.447 * [taylor]: Taking taylor expansion of (* PI l) in l 3.447 * [taylor]: Taking taylor expansion of PI in l 3.447 * [taylor]: Taking taylor expansion of l in l 3.447 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.447 * [taylor]: Taking taylor expansion of (* PI l) in l 3.448 * [taylor]: Taking taylor expansion of PI in l 3.448 * [taylor]: Taking taylor expansion of l in l 3.472 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 3.472 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.472 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.472 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.472 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.472 * [taylor]: Taking taylor expansion of PI in l 3.472 * [taylor]: Taking taylor expansion of l in l 3.472 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.472 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.472 * [taylor]: Taking taylor expansion of PI in l 3.472 * [taylor]: Taking taylor expansion of l in l 3.473 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.473 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.473 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.473 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.473 * [taylor]: Taking taylor expansion of PI in l 3.473 * [taylor]: Taking taylor expansion of l in l 3.474 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.474 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.474 * [taylor]: Taking taylor expansion of PI in l 3.474 * [taylor]: Taking taylor expansion of l in l 3.493 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 3.493 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.494 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.494 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.494 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.494 * [taylor]: Taking taylor expansion of -1 in l 3.494 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.494 * [taylor]: Taking taylor expansion of PI in l 3.494 * [taylor]: Taking taylor expansion of l in l 3.494 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.494 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.494 * [taylor]: Taking taylor expansion of -1 in l 3.494 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.494 * [taylor]: Taking taylor expansion of PI in l 3.494 * [taylor]: Taking taylor expansion of l in l 3.496 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.496 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.496 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.496 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.496 * [taylor]: Taking taylor expansion of -1 in l 3.496 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.496 * [taylor]: Taking taylor expansion of PI in l 3.496 * [taylor]: Taking taylor expansion of l in l 3.497 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.497 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.497 * [taylor]: Taking taylor expansion of -1 in l 3.497 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.497 * [taylor]: Taking taylor expansion of PI in l 3.497 * [taylor]: Taking taylor expansion of l in l 3.521 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 3.522 * [approximate]: Taking taylor expansion of (pow (tan (* PI l)) 1/3) in (l) around 0 3.522 * [taylor]: Taking taylor expansion of (pow (tan (* PI l)) 1/3) in l 3.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (* PI l))))) in l 3.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (* PI l)))) in l 3.522 * [taylor]: Taking taylor expansion of 1/3 in l 3.522 * [taylor]: Taking taylor expansion of (log (tan (* PI l))) in l 3.522 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.522 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.522 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.522 * [taylor]: Taking taylor expansion of (* PI l) in l 3.522 * [taylor]: Taking taylor expansion of PI in l 3.522 * [taylor]: Taking taylor expansion of l in l 3.522 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.522 * [taylor]: Taking taylor expansion of (* PI l) in l 3.522 * [taylor]: Taking taylor expansion of PI in l 3.522 * [taylor]: Taking taylor expansion of l in l 3.524 * [taylor]: Taking taylor expansion of (pow (tan (* PI l)) 1/3) in l 3.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (* PI l))))) in l 3.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (* PI l)))) in l 3.524 * [taylor]: Taking taylor expansion of 1/3 in l 3.524 * [taylor]: Taking taylor expansion of (log (tan (* PI l))) in l 3.524 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 3.524 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 3.524 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 3.524 * [taylor]: Taking taylor expansion of (* PI l) in l 3.524 * [taylor]: Taking taylor expansion of PI in l 3.524 * [taylor]: Taking taylor expansion of l in l 3.525 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 3.525 * [taylor]: Taking taylor expansion of (* PI l) in l 3.525 * [taylor]: Taking taylor expansion of PI in l 3.525 * [taylor]: Taking taylor expansion of l in l 3.568 * [approximate]: Taking taylor expansion of (pow (tan (/ PI l)) 1/3) in (l) around 0 3.568 * [taylor]: Taking taylor expansion of (pow (tan (/ PI l)) 1/3) in l 3.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ PI l))))) in l 3.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ PI l)))) in l 3.568 * [taylor]: Taking taylor expansion of 1/3 in l 3.568 * [taylor]: Taking taylor expansion of (log (tan (/ PI l))) in l 3.568 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.568 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.568 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.568 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.568 * [taylor]: Taking taylor expansion of PI in l 3.568 * [taylor]: Taking taylor expansion of l in l 3.568 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.568 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.568 * [taylor]: Taking taylor expansion of PI in l 3.568 * [taylor]: Taking taylor expansion of l in l 3.571 * [taylor]: Taking taylor expansion of (pow (tan (/ PI l)) 1/3) in l 3.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (/ PI l))))) in l 3.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (/ PI l)))) in l 3.571 * [taylor]: Taking taylor expansion of 1/3 in l 3.571 * [taylor]: Taking taylor expansion of (log (tan (/ PI l))) in l 3.571 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 3.571 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 3.571 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 3.571 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.571 * [taylor]: Taking taylor expansion of PI in l 3.571 * [taylor]: Taking taylor expansion of l in l 3.571 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 3.571 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.571 * [taylor]: Taking taylor expansion of PI in l 3.571 * [taylor]: Taking taylor expansion of l in l 3.660 * [approximate]: Taking taylor expansion of (pow (tan (* -1 (/ PI l))) 1/3) in (l) around 0 3.660 * [taylor]: Taking taylor expansion of (pow (tan (* -1 (/ PI l))) 1/3) in l 3.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (* -1 (/ PI l)))))) in l 3.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (* -1 (/ PI l))))) in l 3.660 * [taylor]: Taking taylor expansion of 1/3 in l 3.660 * [taylor]: Taking taylor expansion of (log (tan (* -1 (/ PI l)))) in l 3.660 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.660 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.660 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.660 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.660 * [taylor]: Taking taylor expansion of -1 in l 3.660 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.660 * [taylor]: Taking taylor expansion of PI in l 3.660 * [taylor]: Taking taylor expansion of l in l 3.661 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.661 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.661 * [taylor]: Taking taylor expansion of -1 in l 3.661 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.661 * [taylor]: Taking taylor expansion of PI in l 3.661 * [taylor]: Taking taylor expansion of l in l 3.665 * [taylor]: Taking taylor expansion of (pow (tan (* -1 (/ PI l))) 1/3) in l 3.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (tan (* -1 (/ PI l)))))) in l 3.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (tan (* -1 (/ PI l))))) in l 3.665 * [taylor]: Taking taylor expansion of 1/3 in l 3.665 * [taylor]: Taking taylor expansion of (log (tan (* -1 (/ PI l)))) in l 3.665 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 3.665 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 3.665 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 3.665 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.665 * [taylor]: Taking taylor expansion of -1 in l 3.665 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.665 * [taylor]: Taking taylor expansion of PI in l 3.665 * [taylor]: Taking taylor expansion of l in l 3.666 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 3.666 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 3.666 * [taylor]: Taking taylor expansion of -1 in l 3.666 * [taylor]: Taking taylor expansion of (/ PI l) in l 3.666 * [taylor]: Taking taylor expansion of PI in l 3.666 * [taylor]: Taking taylor expansion of l in l 3.781 * * * [progress]: simplifying candidates 3.782 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.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))) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (log.f64 (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)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (sin.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cos.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 1) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 13/405 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 PI.f64) (log.f64 l)))) (*.f64 (pow.f64 PI.f64 4) (pow.f64 l 4)))) (+.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 PI.f64) (log.f64 l)))) (*.f64 1/9 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 PI.f64) (log.f64 l)))) (*.f64 (pow.f64 PI.f64 2) (pow.f64 l 2)))))) (pow.f64 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) 1/3) (pow.f64 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) 1/3) 3.849 * * [simplify]: iteration 0 : 5913 enodes (cost 708 ) 3.853 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (*.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))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (log.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (sin.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cos.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 1) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (+.f64 (*.f64 PI.f64 l) (+.f64 (*.f64 1/3 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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 PI.f64 l) (+.f64 (*.f64 1/3 (pow.f64 (*.f64 PI.f64 l) 3)) (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))))) (/.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/9 (pow.f64 (*.f64 PI.f64 l) 7/3)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (+.f64 1 (*.f64 13/405 (pow.f64 (*.f64 PI.f64 l) 4))))) (cbrt.f64 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)))) 3.853 * * * [progress]: adding candidates to table 3.895 * [progress]: [Phase 3 of 3] Extracting. 3.896 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # #) 3.905 * * * [regime-changes]: Trying 6 branch expressions: ((*.f64 F F) (/.f64 1 (*.f64 F F)) (*.f64 PI.f64 l) (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) l F) 3.905 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # # # # # # # # # # # # # #) 3.945 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # # # #) 3.963 * * * * [regimes]: Trying to branch on (/.f64 1 (*.f64 F F)) from (# # # # # # # # # # # # # # # # # # # # #) 3.999 * * * * [regimes]: Trying to branch on (*.f64 PI.f64 l) from (# # # # # # # # # # # # # # # # # # # # #) 4.039 * * * * [regimes]: Trying to branch on (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) from (# # # # # # # # # # # # # # # # # # # # #) 4.080 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # # # # # # # #) 4.119 * * * * [regimes]: Trying to branch on F from (# # # # # # # # # # # # # # # # # # # # #) 4.161 * * * [regime]: Found split indices: #