1.119 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.815 * * * [progress]: [2/2] Setting up program. 0.818 * [progress]: [Phase 2 of 3] Improving. 0.876 * [simplify]: Simplifying using # : (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) 1.356 * * [simplify]: iteration 0 : 300 enodes (cost 20 ) 1.356 * * [simplify]: iteration 1 : 300 enodes (cost 20 ) 1.357 * [simplify]: Simplified to: (-.f64 (*.f64 PI.f64 l) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) 1.362 * * [progress]: iteration 1 / 4 1.362 * * * [progress]: picking best candidate 1.364 * * * * [pick]: Picked # 1.364 * * * [progress]: localizing error 1.375 * * * [progress]: generating rewritten candidates 1.375 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.378 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.385 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.388 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.394 * * * [progress]: generating series expansions 1.395 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.402 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.403 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.411 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.411 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.411 * [taylor]: Taking taylor expansion of (* PI l) in l 1.411 * [taylor]: Taking taylor expansion of PI in l 1.411 * [taylor]: Taking taylor expansion of l in l 1.412 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.412 * [taylor]: Taking taylor expansion of (* PI l) in l 1.412 * [taylor]: Taking taylor expansion of PI in l 1.412 * [taylor]: Taking taylor expansion of l in l 1.414 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.414 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.414 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.414 * [taylor]: Taking taylor expansion of (* PI l) in l 1.414 * [taylor]: Taking taylor expansion of PI in l 1.414 * [taylor]: Taking taylor expansion of l in l 1.414 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.414 * [taylor]: Taking taylor expansion of (* PI l) in l 1.414 * [taylor]: Taking taylor expansion of PI in l 1.414 * [taylor]: Taking taylor expansion of l in l 1.430 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.430 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.430 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.430 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.430 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.430 * [taylor]: Taking taylor expansion of PI in l 1.430 * [taylor]: Taking taylor expansion of l in l 1.430 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.430 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.430 * [taylor]: Taking taylor expansion of PI in l 1.430 * [taylor]: Taking taylor expansion of l in l 1.431 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.431 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.431 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.431 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.431 * [taylor]: Taking taylor expansion of PI in l 1.431 * [taylor]: Taking taylor expansion of l in l 1.431 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.431 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.431 * [taylor]: Taking taylor expansion of PI in l 1.431 * [taylor]: Taking taylor expansion of l in l 1.442 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.442 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.442 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.442 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.442 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.442 * [taylor]: Taking taylor expansion of -1 in l 1.442 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.442 * [taylor]: Taking taylor expansion of PI in l 1.442 * [taylor]: Taking taylor expansion of l in l 1.442 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.442 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.442 * [taylor]: Taking taylor expansion of -1 in l 1.442 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.442 * [taylor]: Taking taylor expansion of PI in l 1.442 * [taylor]: Taking taylor expansion of l in l 1.443 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.443 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.443 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.443 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.443 * [taylor]: Taking taylor expansion of -1 in l 1.443 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.443 * [taylor]: Taking taylor expansion of PI in l 1.443 * [taylor]: Taking taylor expansion of l in l 1.444 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.444 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.444 * [taylor]: Taking taylor expansion of -1 in l 1.444 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.444 * [taylor]: Taking taylor expansion of PI in l 1.444 * [taylor]: Taking taylor expansion of l in l 1.457 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.457 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (l F) around 0 1.457 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.457 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.457 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.457 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.457 * [taylor]: Taking taylor expansion of (* PI l) in F 1.457 * [taylor]: Taking taylor expansion of PI in F 1.457 * [taylor]: Taking taylor expansion of l in F 1.458 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.458 * [taylor]: Taking taylor expansion of (* PI l) in F 1.458 * [taylor]: Taking taylor expansion of PI in F 1.458 * [taylor]: Taking taylor expansion of l in F 1.460 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.460 * [taylor]: Taking taylor expansion of F in F 1.461 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.461 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.461 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.461 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.461 * [taylor]: Taking taylor expansion of (* PI l) in l 1.461 * [taylor]: Taking taylor expansion of PI in l 1.461 * [taylor]: Taking taylor expansion of l in l 1.461 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.461 * [taylor]: Taking taylor expansion of (* PI l) in l 1.461 * [taylor]: Taking taylor expansion of PI in l 1.461 * [taylor]: Taking taylor expansion of l in l 1.462 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.462 * [taylor]: Taking taylor expansion of F in l 1.462 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.462 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.462 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.462 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.462 * [taylor]: Taking taylor expansion of (* PI l) in l 1.462 * [taylor]: Taking taylor expansion of PI in l 1.462 * [taylor]: Taking taylor expansion of l in l 1.463 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.463 * [taylor]: Taking taylor expansion of (* PI l) in l 1.463 * [taylor]: Taking taylor expansion of PI in l 1.463 * [taylor]: Taking taylor expansion of l in l 1.463 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.463 * [taylor]: Taking taylor expansion of F in l 1.464 * [taylor]: Taking taylor expansion of (/ PI (pow F 2)) in F 1.464 * [taylor]: Taking taylor expansion of PI in F 1.464 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.464 * [taylor]: Taking taylor expansion of F in F 1.467 * [taylor]: Taking taylor expansion of 0 in F 1.471 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) (pow F 2))) in F 1.471 * [taylor]: Taking taylor expansion of 1/3 in F 1.471 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow F 2)) in F 1.471 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.471 * [taylor]: Taking taylor expansion of PI in F 1.471 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.472 * [taylor]: Taking taylor expansion of F in F 1.478 * [taylor]: Taking taylor expansion of 0 in F 1.488 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) (pow F 2))) in F 1.488 * [taylor]: Taking taylor expansion of 2/15 in F 1.488 * [taylor]: Taking taylor expansion of (/ (pow PI 5) (pow F 2)) in F 1.488 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.488 * [taylor]: Taking taylor expansion of PI in F 1.488 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.488 * [taylor]: Taking taylor expansion of F in F 1.492 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (l F) around 0 1.492 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.492 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.492 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.492 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.492 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.492 * [taylor]: Taking taylor expansion of PI in F 1.492 * [taylor]: Taking taylor expansion of l in F 1.492 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.492 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.492 * [taylor]: Taking taylor expansion of PI in F 1.492 * [taylor]: Taking taylor expansion of l in F 1.494 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.494 * [taylor]: Taking taylor expansion of F in F 1.494 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.494 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.494 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.494 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.494 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.494 * [taylor]: Taking taylor expansion of PI in l 1.494 * [taylor]: Taking taylor expansion of l in l 1.495 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.495 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.495 * [taylor]: Taking taylor expansion of PI in l 1.495 * [taylor]: Taking taylor expansion of l in l 1.495 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.495 * [taylor]: Taking taylor expansion of F in l 1.495 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.495 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.495 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.495 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.495 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.495 * [taylor]: Taking taylor expansion of PI in l 1.495 * [taylor]: Taking taylor expansion of l in l 1.495 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.495 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.496 * [taylor]: Taking taylor expansion of PI in l 1.496 * [taylor]: Taking taylor expansion of l in l 1.496 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.496 * [taylor]: Taking taylor expansion of F in l 1.497 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (pow F 2)) (cos (/ PI l))) in F 1.497 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (pow F 2)) in F 1.497 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.497 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.497 * [taylor]: Taking taylor expansion of PI in F 1.497 * [taylor]: Taking taylor expansion of l in F 1.497 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.497 * [taylor]: Taking taylor expansion of F in F 1.497 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.497 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.497 * [taylor]: Taking taylor expansion of PI in F 1.497 * [taylor]: Taking taylor expansion of l in F 1.501 * [taylor]: Taking taylor expansion of 0 in F 1.513 * [taylor]: Taking taylor expansion of 0 in F 1.521 * [taylor]: Taking taylor expansion of 0 in F 1.523 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (l F) around 0 1.523 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.523 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.523 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.523 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.523 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.523 * [taylor]: Taking taylor expansion of -1 in F 1.523 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.523 * [taylor]: Taking taylor expansion of PI in F 1.523 * [taylor]: Taking taylor expansion of l in F 1.523 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.523 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.523 * [taylor]: Taking taylor expansion of -1 in F 1.523 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.524 * [taylor]: Taking taylor expansion of PI in F 1.524 * [taylor]: Taking taylor expansion of l in F 1.526 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.526 * [taylor]: Taking taylor expansion of F in F 1.526 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.526 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.526 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.526 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.526 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.526 * [taylor]: Taking taylor expansion of -1 in l 1.526 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.526 * [taylor]: Taking taylor expansion of PI in l 1.526 * [taylor]: Taking taylor expansion of l in l 1.526 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.526 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.526 * [taylor]: Taking taylor expansion of -1 in l 1.526 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.526 * [taylor]: Taking taylor expansion of PI in l 1.526 * [taylor]: Taking taylor expansion of l in l 1.527 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.527 * [taylor]: Taking taylor expansion of F in l 1.527 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.527 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.527 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.527 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.527 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.527 * [taylor]: Taking taylor expansion of -1 in l 1.527 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.527 * [taylor]: Taking taylor expansion of PI in l 1.527 * [taylor]: Taking taylor expansion of l in l 1.527 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.527 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.527 * [taylor]: Taking taylor expansion of -1 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.528 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.528 * [taylor]: Taking taylor expansion of F in l 1.529 * [taylor]: Taking taylor expansion of (/ (* (pow F 2) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 1.529 * [taylor]: Taking taylor expansion of (* (pow F 2) (sin (* -1 (/ PI l)))) in F 1.529 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.529 * [taylor]: Taking taylor expansion of F in F 1.529 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.529 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.529 * [taylor]: Taking taylor expansion of -1 in F 1.529 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.529 * [taylor]: Taking taylor expansion of PI in F 1.529 * [taylor]: Taking taylor expansion of l in F 1.530 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.530 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.530 * [taylor]: Taking taylor expansion of -1 in F 1.530 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.530 * [taylor]: Taking taylor expansion of PI in F 1.530 * [taylor]: Taking taylor expansion of l in F 1.534 * [taylor]: Taking taylor expansion of 0 in F 1.541 * [taylor]: Taking taylor expansion of 0 in F 1.549 * [taylor]: Taking taylor expansion of 0 in F 1.550 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.550 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.550 * [taylor]: Taking taylor expansion of (* PI l) in l 1.550 * [taylor]: Taking taylor expansion of PI in l 1.550 * [taylor]: Taking taylor expansion of l in l 1.550 * [taylor]: Taking taylor expansion of (* PI l) in l 1.551 * [taylor]: Taking taylor expansion of PI in l 1.551 * [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.558 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.558 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.558 * [taylor]: Taking taylor expansion of -1 in l 1.558 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.558 * [taylor]: Taking taylor expansion of PI in l 1.558 * [taylor]: Taking taylor expansion of l in l 1.558 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.558 * [taylor]: Taking taylor expansion of -1 in l 1.558 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.558 * [taylor]: Taking taylor expansion of PI in l 1.558 * [taylor]: Taking taylor expansion of l in l 1.564 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.564 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.564 * [taylor]: Taking taylor expansion of (* PI l) in l 1.564 * [taylor]: Taking taylor expansion of PI in l 1.564 * [taylor]: Taking taylor expansion of l in l 1.564 * [taylor]: Taking taylor expansion of (* PI l) in l 1.564 * [taylor]: Taking taylor expansion of PI in l 1.564 * [taylor]: Taking taylor expansion of l in l 1.568 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.568 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.568 * [taylor]: Taking taylor expansion of PI in l 1.568 * [taylor]: Taking taylor expansion of l in l 1.568 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.568 * [taylor]: Taking taylor expansion of PI in l 1.568 * [taylor]: Taking taylor expansion of l in l 1.573 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.573 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.573 * [taylor]: Taking taylor expansion of -1 in l 1.573 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.573 * [taylor]: Taking taylor expansion of PI in l 1.573 * [taylor]: Taking taylor expansion of l in l 1.573 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.573 * [taylor]: Taking taylor expansion of -1 in l 1.573 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.573 * [taylor]: Taking taylor expansion of PI in l 1.573 * [taylor]: Taking taylor expansion of l in l 1.580 * * * [progress]: simplifying candidates 1.581 * [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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2))) (+.f64 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (pow.f64 F 2))) (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.673 * * [simplify]: iteration 0 : 4868 enodes (cost 914 ) 1.674 * * [simplify]: iteration 1 : 4868 enodes (cost 914 ) 1.679 * [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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F))) (+.f64 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (*.f64 F F))) (/.f64 (*.f64 PI.f64 l) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.679 * * * [progress]: adding candidates to table 1.751 * * [progress]: iteration 2 / 4 1.751 * * * [progress]: picking best candidate 1.769 * * * * [pick]: Picked # 1.769 * * * [progress]: localizing error 1.777 * * * [progress]: generating rewritten candidates 1.777 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.779 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.784 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 1.788 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.793 * * * [progress]: generating series expansions 1.793 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.793 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.793 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.793 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.793 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.793 * [taylor]: Taking taylor expansion of (* PI l) in l 1.793 * [taylor]: Taking taylor expansion of PI in l 1.793 * [taylor]: Taking taylor expansion of l in l 1.794 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.794 * [taylor]: Taking taylor expansion of (* PI l) in l 1.794 * [taylor]: Taking taylor expansion of PI in l 1.794 * [taylor]: Taking taylor expansion of l in l 1.794 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.794 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.794 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.794 * [taylor]: Taking taylor expansion of (* PI l) in l 1.794 * [taylor]: Taking taylor expansion of PI in l 1.794 * [taylor]: Taking taylor expansion of l in l 1.795 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.795 * [taylor]: Taking taylor expansion of (* PI l) in l 1.795 * [taylor]: Taking taylor expansion of PI in l 1.795 * [taylor]: Taking taylor expansion of l in l 1.808 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.808 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.808 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.808 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.808 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.808 * [taylor]: Taking taylor expansion of PI in l 1.808 * [taylor]: Taking taylor expansion of l in l 1.808 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.808 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.808 * [taylor]: Taking taylor expansion of PI in l 1.808 * [taylor]: Taking taylor expansion of l in l 1.808 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.809 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.809 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.809 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.809 * [taylor]: Taking taylor expansion of PI in l 1.809 * [taylor]: Taking taylor expansion of l in l 1.809 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.809 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.809 * [taylor]: Taking taylor expansion of PI in l 1.809 * [taylor]: Taking taylor expansion of l in l 1.820 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.820 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.820 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.820 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.820 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.820 * [taylor]: Taking taylor expansion of -1 in l 1.820 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.820 * [taylor]: Taking taylor expansion of PI in l 1.820 * [taylor]: Taking taylor expansion of l in l 1.820 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.820 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.820 * [taylor]: Taking taylor expansion of -1 in l 1.820 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.820 * [taylor]: Taking taylor expansion of PI in l 1.820 * [taylor]: Taking taylor expansion of l in l 1.821 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.821 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.821 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.821 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.821 * [taylor]: Taking taylor expansion of -1 in l 1.821 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.821 * [taylor]: Taking taylor expansion of PI in l 1.821 * [taylor]: Taking taylor expansion of l in l 1.822 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.822 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.822 * [taylor]: Taking taylor expansion of -1 in l 1.822 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.822 * [taylor]: Taking taylor expansion of PI in l 1.822 * [taylor]: Taking taylor expansion of l in l 1.835 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.835 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) F) in (l F) around 0 1.835 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 1.835 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.835 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.835 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.836 * [taylor]: Taking taylor expansion of (* PI l) in F 1.836 * [taylor]: Taking taylor expansion of PI in F 1.836 * [taylor]: Taking taylor expansion of l in F 1.836 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.836 * [taylor]: Taking taylor expansion of (* PI l) in F 1.836 * [taylor]: Taking taylor expansion of PI in F 1.836 * [taylor]: Taking taylor expansion of l in F 1.838 * [taylor]: Taking taylor expansion of F in F 1.838 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.838 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.838 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.838 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.838 * [taylor]: Taking taylor expansion of (* PI l) in l 1.838 * [taylor]: Taking taylor expansion of PI in l 1.838 * [taylor]: Taking taylor expansion of l in l 1.838 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.838 * [taylor]: Taking taylor expansion of (* PI l) in l 1.838 * [taylor]: Taking taylor expansion of PI in l 1.838 * [taylor]: Taking taylor expansion of l in l 1.839 * [taylor]: Taking taylor expansion of F in l 1.839 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 1.839 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.839 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.839 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.839 * [taylor]: Taking taylor expansion of (* PI l) in l 1.839 * [taylor]: Taking taylor expansion of PI in l 1.839 * [taylor]: Taking taylor expansion of l in l 1.840 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.840 * [taylor]: Taking taylor expansion of (* PI l) in l 1.840 * [taylor]: Taking taylor expansion of PI in l 1.840 * [taylor]: Taking taylor expansion of l in l 1.840 * [taylor]: Taking taylor expansion of F in l 1.840 * [taylor]: Taking taylor expansion of (/ PI F) in F 1.840 * [taylor]: Taking taylor expansion of PI in F 1.840 * [taylor]: Taking taylor expansion of F in F 1.842 * [taylor]: Taking taylor expansion of 0 in F 1.845 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) F)) in F 1.845 * [taylor]: Taking taylor expansion of 1/3 in F 1.845 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F 1.845 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.845 * [taylor]: Taking taylor expansion of PI in F 1.845 * [taylor]: Taking taylor expansion of F in F 1.850 * [taylor]: Taking taylor expansion of 0 in F 1.857 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) F)) in F 1.857 * [taylor]: Taking taylor expansion of 2/15 in F 1.857 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F 1.857 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.857 * [taylor]: Taking taylor expansion of PI in F 1.857 * [taylor]: Taking taylor expansion of F in F 1.861 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) F) in (l F) around 0 1.861 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 1.861 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.861 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.861 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.861 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.861 * [taylor]: Taking taylor expansion of PI in F 1.861 * [taylor]: Taking taylor expansion of l in F 1.861 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.861 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.861 * [taylor]: Taking taylor expansion of PI in F 1.861 * [taylor]: Taking taylor expansion of l in F 1.863 * [taylor]: Taking taylor expansion of F in F 1.863 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.863 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.863 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.863 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.863 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.863 * [taylor]: Taking taylor expansion of PI in l 1.863 * [taylor]: Taking taylor expansion of l in l 1.863 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.863 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.863 * [taylor]: Taking taylor expansion of PI in l 1.863 * [taylor]: Taking taylor expansion of l in l 1.864 * [taylor]: Taking taylor expansion of F in l 1.864 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 1.864 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.864 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.864 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.864 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.864 * [taylor]: Taking taylor expansion of PI in l 1.864 * [taylor]: Taking taylor expansion of l in l 1.864 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.864 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.864 * [taylor]: Taking taylor expansion of PI in l 1.864 * [taylor]: Taking taylor expansion of l in l 1.865 * [taylor]: Taking taylor expansion of F in l 1.865 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F 1.865 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F 1.865 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.865 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.865 * [taylor]: Taking taylor expansion of PI in F 1.865 * [taylor]: Taking taylor expansion of l in F 1.866 * [taylor]: Taking taylor expansion of F in F 1.866 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.866 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.866 * [taylor]: Taking taylor expansion of PI in F 1.866 * [taylor]: Taking taylor expansion of l in F 1.870 * [taylor]: Taking taylor expansion of 0 in F 1.872 * [taylor]: Taking taylor expansion of 0 in F 1.881 * [taylor]: Taking taylor expansion of 0 in F 1.883 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0 1.883 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in F 1.883 * [taylor]: Taking taylor expansion of -1 in F 1.883 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 1.883 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.883 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.883 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.883 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.883 * [taylor]: Taking taylor expansion of -1 in F 1.883 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.883 * [taylor]: Taking taylor expansion of PI in F 1.883 * [taylor]: Taking taylor expansion of l in F 1.884 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.884 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.884 * [taylor]: Taking taylor expansion of -1 in F 1.884 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.884 * [taylor]: Taking taylor expansion of PI in F 1.884 * [taylor]: Taking taylor expansion of l in F 1.886 * [taylor]: Taking taylor expansion of F in F 1.886 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l 1.886 * [taylor]: Taking taylor expansion of -1 in l 1.886 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.886 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.886 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.886 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.886 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.886 * [taylor]: Taking taylor expansion of -1 in l 1.886 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.886 * [taylor]: Taking taylor expansion of PI in l 1.886 * [taylor]: Taking taylor expansion of l in l 1.887 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.887 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.887 * [taylor]: Taking taylor expansion of -1 in l 1.887 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.887 * [taylor]: Taking taylor expansion of PI in l 1.887 * [taylor]: Taking taylor expansion of l in l 1.887 * [taylor]: Taking taylor expansion of F in l 1.888 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l 1.888 * [taylor]: Taking taylor expansion of -1 in l 1.888 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 1.888 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.888 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.888 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.888 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.888 * [taylor]: Taking taylor expansion of -1 in l 1.888 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.888 * [taylor]: Taking taylor expansion of PI in l 1.888 * [taylor]: Taking taylor expansion of l in l 1.888 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.888 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.888 * [taylor]: Taking taylor expansion of -1 in l 1.888 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.888 * [taylor]: Taking taylor expansion of PI in l 1.888 * [taylor]: Taking taylor expansion of l in l 1.889 * [taylor]: Taking taylor expansion of F in l 1.890 * [taylor]: Taking taylor expansion of (* -1 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F 1.890 * [taylor]: Taking taylor expansion of -1 in F 1.890 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 1.890 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F 1.890 * [taylor]: Taking taylor expansion of F in F 1.890 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.890 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.890 * [taylor]: Taking taylor expansion of -1 in F 1.890 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.890 * [taylor]: Taking taylor expansion of PI in F 1.890 * [taylor]: Taking taylor expansion of l in F 1.891 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.891 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.891 * [taylor]: Taking taylor expansion of -1 in F 1.891 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.891 * [taylor]: Taking taylor expansion of PI in F 1.891 * [taylor]: Taking taylor expansion of l in F 1.898 * [taylor]: Taking taylor expansion of 0 in F 1.902 * [taylor]: Taking taylor expansion of 0 in F 1.910 * [taylor]: Taking taylor expansion of 0 in F 1.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 1.912 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.912 * [taylor]: Taking taylor expansion of (* PI l) in l 1.912 * [taylor]: Taking taylor expansion of PI in l 1.912 * [taylor]: Taking taylor expansion of l in l 1.912 * [taylor]: Taking taylor expansion of (* PI l) in l 1.912 * [taylor]: Taking taylor expansion of PI in l 1.912 * [taylor]: Taking taylor expansion of l in l 1.916 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.916 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.916 * [taylor]: Taking taylor expansion of PI in l 1.916 * [taylor]: Taking taylor expansion of l in l 1.916 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.916 * [taylor]: Taking taylor expansion of PI in l 1.916 * [taylor]: Taking taylor expansion of l in l 1.920 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.921 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.921 * [taylor]: Taking taylor expansion of -1 in l 1.921 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.921 * [taylor]: Taking taylor expansion of PI in l 1.921 * [taylor]: Taking taylor expansion of l in l 1.921 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.921 * [taylor]: Taking taylor expansion of -1 in l 1.921 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.921 * [taylor]: Taking taylor expansion of PI in l 1.921 * [taylor]: Taking taylor expansion of l in l 1.928 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.928 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.928 * [taylor]: Taking taylor expansion of (* PI l) in l 1.928 * [taylor]: Taking taylor expansion of PI in l 1.928 * [taylor]: Taking taylor expansion of l in l 1.928 * [taylor]: Taking taylor expansion of (* PI l) in l 1.928 * [taylor]: Taking taylor expansion of PI in l 1.928 * [taylor]: Taking taylor expansion of l in l 1.932 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.932 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.932 * [taylor]: Taking taylor expansion of PI in l 1.932 * [taylor]: Taking taylor expansion of l in l 1.932 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.932 * [taylor]: Taking taylor expansion of PI in l 1.932 * [taylor]: Taking taylor expansion of l in l 1.937 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.937 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.937 * [taylor]: Taking taylor expansion of -1 in l 1.937 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.937 * [taylor]: Taking taylor expansion of PI in l 1.937 * [taylor]: Taking taylor expansion of l in l 1.937 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.937 * [taylor]: Taking taylor expansion of -1 in l 1.937 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.937 * [taylor]: Taking taylor expansion of PI in l 1.937 * [taylor]: Taking taylor expansion of l in l 1.944 * * * [progress]: simplifying candidates 1.945 * [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))) (log.f64 F)) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) 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 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.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 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (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 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 1) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 F) (*.f64 F (cos.f64 (*.f64 PI.f64 l))) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) 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 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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) F) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) F)) (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) 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.065 * * [simplify]: iteration 0 : 4707 enodes (cost 1019 ) 2.066 * * [simplify]: iteration 1 : 4707 enodes (cost 1019 ) 2.072 * [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)) F)) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) 3) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) 3) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.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 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 F) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)) (*.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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) F) (+.f64 (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) (/.f64 1/3 F)) (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) 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.072 * * * [progress]: adding candidates to table 2.124 * * [progress]: iteration 3 / 4 2.124 * * * [progress]: picking best candidate 2.144 * * * * [pick]: Picked # 2.144 * * * [progress]: localizing error 2.156 * * * [progress]: generating rewritten candidates 2.156 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 2.158 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 2.171 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 2.175 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 1) 2.195 * * * [progress]: generating series expansions 2.196 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 2.196 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.196 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.196 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.196 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.196 * [taylor]: Taking taylor expansion of (* PI l) in l 2.196 * [taylor]: Taking taylor expansion of PI in l 2.196 * [taylor]: Taking taylor expansion of l in l 2.196 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.196 * [taylor]: Taking taylor expansion of (* PI l) in l 2.197 * [taylor]: Taking taylor expansion of PI in l 2.197 * [taylor]: Taking taylor expansion of l in l 2.197 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.197 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.197 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.197 * [taylor]: Taking taylor expansion of (* PI l) in l 2.197 * [taylor]: Taking taylor expansion of PI in l 2.197 * [taylor]: Taking taylor expansion of l in l 2.197 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.198 * [taylor]: Taking taylor expansion of (* PI l) in l 2.198 * [taylor]: Taking taylor expansion of PI in l 2.198 * [taylor]: Taking taylor expansion of l in l 2.210 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.210 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.211 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.211 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.211 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.211 * [taylor]: Taking taylor expansion of PI in l 2.211 * [taylor]: Taking taylor expansion of l in l 2.211 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.211 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.211 * [taylor]: Taking taylor expansion of PI in l 2.211 * [taylor]: Taking taylor expansion of l in l 2.211 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.211 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.211 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.211 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.211 * [taylor]: Taking taylor expansion of PI in l 2.211 * [taylor]: Taking taylor expansion of l in l 2.212 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.212 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.212 * [taylor]: Taking taylor expansion of PI in l 2.212 * [taylor]: Taking taylor expansion of l in l 2.222 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 2.222 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.222 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.223 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.223 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.223 * [taylor]: Taking taylor expansion of -1 in l 2.223 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.223 * [taylor]: Taking taylor expansion of PI in l 2.223 * [taylor]: Taking taylor expansion of l in l 2.223 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.223 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.223 * [taylor]: Taking taylor expansion of -1 in l 2.223 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.223 * [taylor]: Taking taylor expansion of PI in l 2.223 * [taylor]: Taking taylor expansion of l in l 2.224 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.224 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.224 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.224 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.224 * [taylor]: Taking taylor expansion of -1 in l 2.224 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.224 * [taylor]: Taking taylor expansion of PI in l 2.224 * [taylor]: Taking taylor expansion of l in l 2.224 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.224 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.224 * [taylor]: Taking taylor expansion of -1 in l 2.224 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.224 * [taylor]: Taking taylor expansion of PI in l 2.224 * [taylor]: Taking taylor expansion of l in l 2.237 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.238 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (F l) around 0 2.238 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 2.238 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.238 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.238 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.238 * [taylor]: Taking taylor expansion of (* PI l) in l 2.238 * [taylor]: Taking taylor expansion of PI in l 2.238 * [taylor]: Taking taylor expansion of l in l 2.238 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.238 * [taylor]: Taking taylor expansion of (* PI l) in l 2.238 * [taylor]: Taking taylor expansion of PI in l 2.238 * [taylor]: Taking taylor expansion of l in l 2.239 * [taylor]: Taking taylor expansion of (pow F 2) in l 2.239 * [taylor]: Taking taylor expansion of F in l 2.239 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 2.239 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.239 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.239 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.239 * [taylor]: Taking taylor expansion of (* PI l) in F 2.239 * [taylor]: Taking taylor expansion of PI in F 2.239 * [taylor]: Taking taylor expansion of l in F 2.239 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.239 * [taylor]: Taking taylor expansion of (* PI l) in F 2.239 * [taylor]: Taking taylor expansion of PI in F 2.239 * [taylor]: Taking taylor expansion of l in F 2.241 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.241 * [taylor]: Taking taylor expansion of F in F 2.242 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 2.242 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.242 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.242 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.242 * [taylor]: Taking taylor expansion of (* PI l) in F 2.242 * [taylor]: Taking taylor expansion of PI in F 2.242 * [taylor]: Taking taylor expansion of l in F 2.242 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.242 * [taylor]: Taking taylor expansion of (* PI l) in F 2.242 * [taylor]: Taking taylor expansion of PI in F 2.242 * [taylor]: Taking taylor expansion of l in F 2.244 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.244 * [taylor]: Taking taylor expansion of F in F 2.244 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 2.244 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.244 * [taylor]: Taking taylor expansion of (* PI l) in l 2.244 * [taylor]: Taking taylor expansion of PI in l 2.244 * [taylor]: Taking taylor expansion of l in l 2.245 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.245 * [taylor]: Taking taylor expansion of (* PI l) in l 2.245 * [taylor]: Taking taylor expansion of PI in l 2.245 * [taylor]: Taking taylor expansion of l in l 2.249 * [taylor]: Taking taylor expansion of 0 in l 2.255 * [taylor]: Taking taylor expansion of 0 in l 2.264 * [taylor]: Taking taylor expansion of 0 in l 2.275 * [taylor]: Taking taylor expansion of 0 in l 2.277 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (F l) around 0 2.277 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 2.277 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.277 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.277 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.277 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.278 * [taylor]: Taking taylor expansion of PI in l 2.278 * [taylor]: Taking taylor expansion of l in l 2.278 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.278 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.278 * [taylor]: Taking taylor expansion of PI in l 2.278 * [taylor]: Taking taylor expansion of l in l 2.278 * [taylor]: Taking taylor expansion of (pow F 2) in l 2.278 * [taylor]: Taking taylor expansion of F in l 2.278 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 2.278 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.278 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.278 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.278 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.278 * [taylor]: Taking taylor expansion of PI in F 2.278 * [taylor]: Taking taylor expansion of l in F 2.279 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.279 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.279 * [taylor]: Taking taylor expansion of PI in F 2.279 * [taylor]: Taking taylor expansion of l in F 2.281 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.281 * [taylor]: Taking taylor expansion of F in F 2.281 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 2.281 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.281 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.281 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.281 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.281 * [taylor]: Taking taylor expansion of PI in F 2.281 * [taylor]: Taking taylor expansion of l in F 2.281 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.281 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.281 * [taylor]: Taking taylor expansion of PI in F 2.281 * [taylor]: Taking taylor expansion of l in F 2.283 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.283 * [taylor]: Taking taylor expansion of F in F 2.284 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 2.284 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.284 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.284 * [taylor]: Taking taylor expansion of PI in l 2.284 * [taylor]: Taking taylor expansion of l in l 2.284 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.284 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.284 * [taylor]: Taking taylor expansion of PI in l 2.284 * [taylor]: Taking taylor expansion of l in l 2.292 * [taylor]: Taking taylor expansion of 0 in l 2.299 * [taylor]: Taking taylor expansion of 0 in l 2.306 * [taylor]: Taking taylor expansion of 0 in l 2.308 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (F l) around 0 2.308 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 2.308 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.309 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.309 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.309 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.309 * [taylor]: Taking taylor expansion of -1 in l 2.309 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.309 * [taylor]: Taking taylor expansion of PI in l 2.309 * [taylor]: Taking taylor expansion of l in l 2.309 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.309 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.309 * [taylor]: Taking taylor expansion of -1 in l 2.309 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.309 * [taylor]: Taking taylor expansion of PI in l 2.309 * [taylor]: Taking taylor expansion of l in l 2.310 * [taylor]: Taking taylor expansion of (pow F 2) in l 2.310 * [taylor]: Taking taylor expansion of F in l 2.310 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 2.310 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.310 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.310 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.310 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.310 * [taylor]: Taking taylor expansion of -1 in F 2.310 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.310 * [taylor]: Taking taylor expansion of PI in F 2.310 * [taylor]: Taking taylor expansion of l in F 2.311 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.311 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.311 * [taylor]: Taking taylor expansion of -1 in F 2.311 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.311 * [taylor]: Taking taylor expansion of PI in F 2.311 * [taylor]: Taking taylor expansion of l in F 2.313 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.313 * [taylor]: Taking taylor expansion of F in F 2.313 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 2.313 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.313 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.313 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.314 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.314 * [taylor]: Taking taylor expansion of -1 in F 2.314 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.314 * [taylor]: Taking taylor expansion of PI in F 2.314 * [taylor]: Taking taylor expansion of l in F 2.314 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.314 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.314 * [taylor]: Taking taylor expansion of -1 in F 2.314 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.314 * [taylor]: Taking taylor expansion of PI in F 2.314 * [taylor]: Taking taylor expansion of l in F 2.317 * [taylor]: Taking taylor expansion of (pow F 2) in F 2.317 * [taylor]: Taking taylor expansion of F in F 2.318 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 2.318 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.318 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.318 * [taylor]: Taking taylor expansion of -1 in l 2.318 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.318 * [taylor]: Taking taylor expansion of PI in l 2.318 * [taylor]: Taking taylor expansion of l in l 2.318 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.318 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.318 * [taylor]: Taking taylor expansion of -1 in l 2.318 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.318 * [taylor]: Taking taylor expansion of PI in l 2.318 * [taylor]: Taking taylor expansion of l in l 2.324 * [taylor]: Taking taylor expansion of 0 in l 2.332 * [taylor]: Taking taylor expansion of 0 in l 2.341 * [taylor]: Taking taylor expansion of 0 in l 2.343 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 2.343 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) F) in (l F) around 0 2.343 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 2.343 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.343 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.343 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.343 * [taylor]: Taking taylor expansion of (* PI l) in F 2.343 * [taylor]: Taking taylor expansion of PI in F 2.343 * [taylor]: Taking taylor expansion of l in F 2.344 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.344 * [taylor]: Taking taylor expansion of (* PI l) in F 2.344 * [taylor]: Taking taylor expansion of PI in F 2.344 * [taylor]: Taking taylor expansion of l in F 2.345 * [taylor]: Taking taylor expansion of F in F 2.346 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 2.346 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.346 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.346 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.346 * [taylor]: Taking taylor expansion of (* PI l) in l 2.346 * [taylor]: Taking taylor expansion of PI in l 2.346 * [taylor]: Taking taylor expansion of l in l 2.346 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.346 * [taylor]: Taking taylor expansion of (* PI l) in l 2.346 * [taylor]: Taking taylor expansion of PI in l 2.346 * [taylor]: Taking taylor expansion of l in l 2.347 * [taylor]: Taking taylor expansion of F in l 2.347 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 2.347 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.347 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.347 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.347 * [taylor]: Taking taylor expansion of (* PI l) in l 2.347 * [taylor]: Taking taylor expansion of PI in l 2.347 * [taylor]: Taking taylor expansion of l in l 2.347 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.347 * [taylor]: Taking taylor expansion of (* PI l) in l 2.347 * [taylor]: Taking taylor expansion of PI in l 2.348 * [taylor]: Taking taylor expansion of l in l 2.348 * [taylor]: Taking taylor expansion of F in l 2.348 * [taylor]: Taking taylor expansion of (/ PI F) in F 2.348 * [taylor]: Taking taylor expansion of PI in F 2.348 * [taylor]: Taking taylor expansion of F in F 2.350 * [taylor]: Taking taylor expansion of 0 in F 2.353 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) F)) in F 2.353 * [taylor]: Taking taylor expansion of 1/3 in F 2.353 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F 2.353 * [taylor]: Taking taylor expansion of (pow PI 3) in F 2.353 * [taylor]: Taking taylor expansion of PI in F 2.353 * [taylor]: Taking taylor expansion of F in F 2.358 * [taylor]: Taking taylor expansion of 0 in F 2.365 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) F)) in F 2.365 * [taylor]: Taking taylor expansion of 2/15 in F 2.365 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F 2.365 * [taylor]: Taking taylor expansion of (pow PI 5) in F 2.365 * [taylor]: Taking taylor expansion of PI in F 2.365 * [taylor]: Taking taylor expansion of F in F 2.369 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) F) in (l F) around 0 2.369 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 2.369 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.369 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.369 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.369 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.369 * [taylor]: Taking taylor expansion of PI in F 2.369 * [taylor]: Taking taylor expansion of l in F 2.369 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.369 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.369 * [taylor]: Taking taylor expansion of PI in F 2.369 * [taylor]: Taking taylor expansion of l in F 2.371 * [taylor]: Taking taylor expansion of F in F 2.371 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 2.371 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.371 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.371 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.371 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.371 * [taylor]: Taking taylor expansion of PI in l 2.371 * [taylor]: Taking taylor expansion of l in l 2.371 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.372 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.372 * [taylor]: Taking taylor expansion of PI in l 2.372 * [taylor]: Taking taylor expansion of l in l 2.372 * [taylor]: Taking taylor expansion of F in l 2.372 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 2.372 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.372 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.372 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.372 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.372 * [taylor]: Taking taylor expansion of PI in l 2.372 * [taylor]: Taking taylor expansion of l in l 2.372 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.372 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.372 * [taylor]: Taking taylor expansion of PI in l 2.372 * [taylor]: Taking taylor expansion of l in l 2.373 * [taylor]: Taking taylor expansion of F in l 2.373 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F 2.373 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F 2.373 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.373 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.373 * [taylor]: Taking taylor expansion of PI in F 2.373 * [taylor]: Taking taylor expansion of l in F 2.374 * [taylor]: Taking taylor expansion of F in F 2.374 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.374 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.374 * [taylor]: Taking taylor expansion of PI in F 2.374 * [taylor]: Taking taylor expansion of l in F 2.379 * [taylor]: Taking taylor expansion of 0 in F 2.381 * [taylor]: Taking taylor expansion of 0 in F 2.388 * [taylor]: Taking taylor expansion of 0 in F 2.389 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0 2.389 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in F 2.389 * [taylor]: Taking taylor expansion of -1 in F 2.389 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 2.389 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.389 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.389 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.389 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.389 * [taylor]: Taking taylor expansion of -1 in F 2.389 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.389 * [taylor]: Taking taylor expansion of PI in F 2.389 * [taylor]: Taking taylor expansion of l in F 2.390 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.390 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.390 * [taylor]: Taking taylor expansion of -1 in F 2.390 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.390 * [taylor]: Taking taylor expansion of PI in F 2.390 * [taylor]: Taking taylor expansion of l in F 2.393 * [taylor]: Taking taylor expansion of F in F 2.393 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l 2.393 * [taylor]: Taking taylor expansion of -1 in l 2.393 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 2.393 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.393 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.393 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.393 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.393 * [taylor]: Taking taylor expansion of -1 in l 2.393 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.393 * [taylor]: Taking taylor expansion of PI in l 2.393 * [taylor]: Taking taylor expansion of l in l 2.393 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.393 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.393 * [taylor]: Taking taylor expansion of -1 in l 2.393 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.393 * [taylor]: Taking taylor expansion of PI in l 2.393 * [taylor]: Taking taylor expansion of l in l 2.394 * [taylor]: Taking taylor expansion of F in l 2.394 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l 2.394 * [taylor]: Taking taylor expansion of -1 in l 2.394 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 2.394 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.394 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.394 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.394 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.394 * [taylor]: Taking taylor expansion of -1 in l 2.394 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.394 * [taylor]: Taking taylor expansion of PI in l 2.394 * [taylor]: Taking taylor expansion of l in l 2.395 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.395 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.395 * [taylor]: Taking taylor expansion of -1 in l 2.395 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.395 * [taylor]: Taking taylor expansion of PI in l 2.395 * [taylor]: Taking taylor expansion of l in l 2.395 * [taylor]: Taking taylor expansion of F in l 2.396 * [taylor]: Taking taylor expansion of (* -1 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F 2.396 * [taylor]: Taking taylor expansion of -1 in F 2.397 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 2.397 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F 2.397 * [taylor]: Taking taylor expansion of F in F 2.397 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.397 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.397 * [taylor]: Taking taylor expansion of -1 in F 2.397 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.397 * [taylor]: Taking taylor expansion of PI in F 2.397 * [taylor]: Taking taylor expansion of l in F 2.397 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.397 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.397 * [taylor]: Taking taylor expansion of -1 in F 2.397 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.397 * [taylor]: Taking taylor expansion of PI in F 2.397 * [taylor]: Taking taylor expansion of l in F 2.404 * [taylor]: Taking taylor expansion of 0 in F 2.408 * [taylor]: Taking taylor expansion of 0 in F 2.417 * [taylor]: Taking taylor expansion of 0 in F 2.418 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 1) 2.418 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 2.418 * [taylor]: Taking taylor expansion of (* PI l) in l 2.418 * [taylor]: Taking taylor expansion of PI in l 2.418 * [taylor]: Taking taylor expansion of l in l 2.418 * [taylor]: Taking taylor expansion of (* PI l) in l 2.419 * [taylor]: Taking taylor expansion of PI in l 2.419 * [taylor]: Taking taylor expansion of l in l 2.422 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 2.422 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.422 * [taylor]: Taking taylor expansion of PI in l 2.422 * [taylor]: Taking taylor expansion of l in l 2.423 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.423 * [taylor]: Taking taylor expansion of PI in l 2.423 * [taylor]: Taking taylor expansion of l in l 2.427 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 2.427 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.427 * [taylor]: Taking taylor expansion of -1 in l 2.427 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.427 * [taylor]: Taking taylor expansion of PI in l 2.427 * [taylor]: Taking taylor expansion of l in l 2.427 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.427 * [taylor]: Taking taylor expansion of -1 in l 2.427 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.427 * [taylor]: Taking taylor expansion of PI in l 2.427 * [taylor]: Taking taylor expansion of l in l 2.434 * * * [progress]: simplifying candidates 2.438 * [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 0 (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (-.f64 0 (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 0 (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 (log.f64 1) (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (-.f64 (log.f64 1) (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 (log.f64 1) (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (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 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) 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 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.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 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (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 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 1) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 F) (*.f64 F (cos.f64 (*.f64 PI.f64 l))) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) 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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (+.f64 (/.f64 (*.f64 PI.f64 l) F) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) F)) (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 2.558 * * [simplify]: iteration 0 : 4969 enodes (cost 6933 ) 2.559 * * [simplify]: iteration 1 : 4969 enodes (cost 6933 ) 2.590 * [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)) (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 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (cbrt.f64 1) F)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 F (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F)) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (pow.f64 F 3/2)) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (cbrt.f64 1) F)) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F F)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1)) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F)) (/.f64 (cbrt.f64 1) F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 1 (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (*.f64 F F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 1 (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (*.f64 F F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 F) (/.f64 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))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 1 F) (/.f64 1 (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (sqrt.f64 F)) 1 1 (tan.f64 (*.f64 PI.f64 l)) 1 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) 3) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) 3) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.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 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 F) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)) (*.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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) (*.f64 F F)) (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (+.f64 (/.f64 (*.f64 PI.f64 l) F) (+.f64 (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) F)) (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 2.592 * * * [progress]: adding candidates to table 2.729 * * [progress]: iteration 4 / 4 2.729 * * * [progress]: picking best candidate 2.751 * * * * [pick]: Picked # 2.751 * * * [progress]: localizing error 2.761 * * * [progress]: generating rewritten candidates 2.761 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 2.763 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 2.768 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 2.772 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.777 * * * [progress]: generating series expansions 2.777 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 2.777 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.777 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.777 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.777 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.777 * [taylor]: Taking taylor expansion of (* PI l) in l 2.777 * [taylor]: Taking taylor expansion of PI in l 2.777 * [taylor]: Taking taylor expansion of l in l 2.778 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.778 * [taylor]: Taking taylor expansion of (* PI l) in l 2.778 * [taylor]: Taking taylor expansion of PI in l 2.778 * [taylor]: Taking taylor expansion of l in l 2.778 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.778 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.779 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.779 * [taylor]: Taking taylor expansion of (* PI l) in l 2.779 * [taylor]: Taking taylor expansion of PI in l 2.779 * [taylor]: Taking taylor expansion of l in l 2.779 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.779 * [taylor]: Taking taylor expansion of (* PI l) in l 2.779 * [taylor]: Taking taylor expansion of PI in l 2.779 * [taylor]: Taking taylor expansion of l in l 2.792 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.792 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.792 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.792 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.792 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.792 * [taylor]: Taking taylor expansion of PI in l 2.792 * [taylor]: Taking taylor expansion of l in l 2.793 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.793 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.793 * [taylor]: Taking taylor expansion of PI in l 2.793 * [taylor]: Taking taylor expansion of l in l 2.793 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.793 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.793 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.793 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.793 * [taylor]: Taking taylor expansion of PI in l 2.793 * [taylor]: Taking taylor expansion of l in l 2.794 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.794 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.794 * [taylor]: Taking taylor expansion of PI in l 2.794 * [taylor]: Taking taylor expansion of l in l 2.804 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 2.804 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.804 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.804 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.804 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.804 * [taylor]: Taking taylor expansion of -1 in l 2.805 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.805 * [taylor]: Taking taylor expansion of PI in l 2.805 * [taylor]: Taking taylor expansion of l in l 2.805 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.805 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.805 * [taylor]: Taking taylor expansion of -1 in l 2.805 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.805 * [taylor]: Taking taylor expansion of PI in l 2.805 * [taylor]: Taking taylor expansion of l in l 2.806 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.806 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.806 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.806 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.806 * [taylor]: Taking taylor expansion of -1 in l 2.806 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.806 * [taylor]: Taking taylor expansion of PI in l 2.806 * [taylor]: Taking taylor expansion of l in l 2.806 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.806 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.806 * [taylor]: Taking taylor expansion of -1 in l 2.806 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.806 * [taylor]: Taking taylor expansion of PI in l 2.806 * [taylor]: Taking taylor expansion of l in l 2.820 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 2.820 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) F) in (l F) around 0 2.820 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F 2.820 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 2.820 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.820 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 2.820 * [taylor]: Taking taylor expansion of (* PI l) in F 2.820 * [taylor]: Taking taylor expansion of PI in F 2.820 * [taylor]: Taking taylor expansion of l in F 2.820 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 2.820 * [taylor]: Taking taylor expansion of (* PI l) in F 2.820 * [taylor]: Taking taylor expansion of PI in F 2.820 * [taylor]: Taking taylor expansion of l in F 2.822 * [taylor]: Taking taylor expansion of F in F 2.822 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 2.822 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.822 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.822 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.822 * [taylor]: Taking taylor expansion of (* PI l) in l 2.822 * [taylor]: Taking taylor expansion of PI in l 2.822 * [taylor]: Taking taylor expansion of l in l 2.823 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.823 * [taylor]: Taking taylor expansion of (* PI l) in l 2.823 * [taylor]: Taking taylor expansion of PI in l 2.823 * [taylor]: Taking taylor expansion of l in l 2.823 * [taylor]: Taking taylor expansion of F in l 2.823 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l 2.823 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.823 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.823 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.823 * [taylor]: Taking taylor expansion of (* PI l) in l 2.823 * [taylor]: Taking taylor expansion of PI in l 2.823 * [taylor]: Taking taylor expansion of l in l 2.824 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.824 * [taylor]: Taking taylor expansion of (* PI l) in l 2.824 * [taylor]: Taking taylor expansion of PI in l 2.824 * [taylor]: Taking taylor expansion of l in l 2.824 * [taylor]: Taking taylor expansion of F in l 2.824 * [taylor]: Taking taylor expansion of (/ PI F) in F 2.824 * [taylor]: Taking taylor expansion of PI in F 2.824 * [taylor]: Taking taylor expansion of F in F 2.826 * [taylor]: Taking taylor expansion of 0 in F 2.829 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) F)) in F 2.829 * [taylor]: Taking taylor expansion of 1/3 in F 2.829 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F 2.829 * [taylor]: Taking taylor expansion of (pow PI 3) in F 2.829 * [taylor]: Taking taylor expansion of PI in F 2.829 * [taylor]: Taking taylor expansion of F in F 2.833 * [taylor]: Taking taylor expansion of 0 in F 2.839 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) F)) in F 2.840 * [taylor]: Taking taylor expansion of 2/15 in F 2.840 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F 2.840 * [taylor]: Taking taylor expansion of (pow PI 5) in F 2.840 * [taylor]: Taking taylor expansion of PI in F 2.840 * [taylor]: Taking taylor expansion of F in F 2.843 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) F) in (l F) around 0 2.843 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F 2.843 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 2.843 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.843 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.843 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.843 * [taylor]: Taking taylor expansion of PI in F 2.843 * [taylor]: Taking taylor expansion of l in F 2.843 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.843 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.843 * [taylor]: Taking taylor expansion of PI in F 2.843 * [taylor]: Taking taylor expansion of l in F 2.845 * [taylor]: Taking taylor expansion of F in F 2.845 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 2.845 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.845 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.845 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.845 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.845 * [taylor]: Taking taylor expansion of PI in l 2.845 * [taylor]: Taking taylor expansion of l in l 2.845 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.845 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.845 * [taylor]: Taking taylor expansion of PI in l 2.845 * [taylor]: Taking taylor expansion of l in l 2.846 * [taylor]: Taking taylor expansion of F in l 2.846 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l 2.846 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.846 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.846 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.846 * [taylor]: Taking taylor expansion of PI in l 2.846 * [taylor]: Taking taylor expansion of l in l 2.846 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.846 * [taylor]: Taking taylor expansion of PI in l 2.846 * [taylor]: Taking taylor expansion of l in l 2.846 * [taylor]: Taking taylor expansion of F in l 2.847 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F 2.847 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F 2.847 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 2.847 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.847 * [taylor]: Taking taylor expansion of PI in F 2.847 * [taylor]: Taking taylor expansion of l in F 2.847 * [taylor]: Taking taylor expansion of F in F 2.847 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 2.847 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.847 * [taylor]: Taking taylor expansion of PI in F 2.847 * [taylor]: Taking taylor expansion of l in F 2.853 * [taylor]: Taking taylor expansion of 0 in F 2.855 * [taylor]: Taking taylor expansion of 0 in F 2.861 * [taylor]: Taking taylor expansion of 0 in F 2.862 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0 2.862 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in F 2.862 * [taylor]: Taking taylor expansion of -1 in F 2.862 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F 2.862 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 2.862 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.862 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.862 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.862 * [taylor]: Taking taylor expansion of -1 in F 2.862 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.862 * [taylor]: Taking taylor expansion of PI in F 2.862 * [taylor]: Taking taylor expansion of l in F 2.863 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.863 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.863 * [taylor]: Taking taylor expansion of -1 in F 2.863 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.863 * [taylor]: Taking taylor expansion of PI in F 2.863 * [taylor]: Taking taylor expansion of l in F 2.865 * [taylor]: Taking taylor expansion of F in F 2.865 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l 2.865 * [taylor]: Taking taylor expansion of -1 in l 2.865 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 2.865 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.865 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.865 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.865 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.865 * [taylor]: Taking taylor expansion of -1 in l 2.865 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.865 * [taylor]: Taking taylor expansion of PI in l 2.865 * [taylor]: Taking taylor expansion of l in l 2.866 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.866 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.866 * [taylor]: Taking taylor expansion of -1 in l 2.866 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.866 * [taylor]: Taking taylor expansion of PI in l 2.866 * [taylor]: Taking taylor expansion of l in l 2.866 * [taylor]: Taking taylor expansion of F in l 2.866 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l 2.866 * [taylor]: Taking taylor expansion of -1 in l 2.866 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l 2.866 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 2.867 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 2.867 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 2.867 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.867 * [taylor]: Taking taylor expansion of -1 in l 2.867 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.867 * [taylor]: Taking taylor expansion of PI in l 2.867 * [taylor]: Taking taylor expansion of l in l 2.867 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 2.867 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.867 * [taylor]: Taking taylor expansion of -1 in l 2.867 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.867 * [taylor]: Taking taylor expansion of PI in l 2.867 * [taylor]: Taking taylor expansion of l in l 2.868 * [taylor]: Taking taylor expansion of F in l 2.869 * [taylor]: Taking taylor expansion of (* -1 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F 2.869 * [taylor]: Taking taylor expansion of -1 in F 2.869 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 2.869 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F 2.869 * [taylor]: Taking taylor expansion of F in F 2.869 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 2.869 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.869 * [taylor]: Taking taylor expansion of -1 in F 2.869 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.869 * [taylor]: Taking taylor expansion of PI in F 2.869 * [taylor]: Taking taylor expansion of l in F 2.870 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 2.870 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 2.870 * [taylor]: Taking taylor expansion of -1 in F 2.870 * [taylor]: Taking taylor expansion of (/ PI l) in F 2.870 * [taylor]: Taking taylor expansion of PI in F 2.870 * [taylor]: Taking taylor expansion of l in F 2.876 * [taylor]: Taking taylor expansion of 0 in F 2.879 * [taylor]: Taking taylor expansion of 0 in F 2.888 * [taylor]: Taking taylor expansion of 0 in F 2.889 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1) 2.889 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 2.889 * [taylor]: Taking taylor expansion of (* PI l) in l 2.889 * [taylor]: Taking taylor expansion of PI in l 2.889 * [taylor]: Taking taylor expansion of l in l 2.889 * [taylor]: Taking taylor expansion of (* PI l) in l 2.889 * [taylor]: Taking taylor expansion of PI in l 2.889 * [taylor]: Taking taylor expansion of l in l 2.893 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 2.893 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.893 * [taylor]: Taking taylor expansion of PI in l 2.893 * [taylor]: Taking taylor expansion of l in l 2.893 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.893 * [taylor]: Taking taylor expansion of PI in l 2.893 * [taylor]: Taking taylor expansion of l in l 2.896 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 2.896 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.896 * [taylor]: Taking taylor expansion of -1 in l 2.896 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.896 * [taylor]: Taking taylor expansion of PI in l 2.897 * [taylor]: Taking taylor expansion of l in l 2.897 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.897 * [taylor]: Taking taylor expansion of -1 in l 2.897 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.897 * [taylor]: Taking taylor expansion of PI in l 2.897 * [taylor]: Taking taylor expansion of l in l 2.903 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.903 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 2.903 * [taylor]: Taking taylor expansion of (* PI l) in l 2.903 * [taylor]: Taking taylor expansion of PI in l 2.903 * [taylor]: Taking taylor expansion of l in l 2.903 * [taylor]: Taking taylor expansion of (* PI l) in l 2.903 * [taylor]: Taking taylor expansion of PI in l 2.903 * [taylor]: Taking taylor expansion of l in l 2.906 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 2.906 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.906 * [taylor]: Taking taylor expansion of PI in l 2.906 * [taylor]: Taking taylor expansion of l in l 2.906 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.906 * [taylor]: Taking taylor expansion of PI in l 2.906 * [taylor]: Taking taylor expansion of l in l 2.910 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 2.910 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.910 * [taylor]: Taking taylor expansion of -1 in l 2.910 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.910 * [taylor]: Taking taylor expansion of PI in l 2.910 * [taylor]: Taking taylor expansion of l in l 2.910 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 2.910 * [taylor]: Taking taylor expansion of -1 in l 2.910 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.910 * [taylor]: Taking taylor expansion of PI in l 2.910 * [taylor]: Taking taylor expansion of l in l 2.916 * * * [progress]: simplifying candidates 2.917 * [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))) (log.f64 F)) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) 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 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.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 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (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 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 1) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 F) (*.f64 F (cos.f64 (*.f64 PI.f64 l))) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) 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 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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) F) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) F)) (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) 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) 3.032 * * [simplify]: iteration 0 : 4707 enodes (cost 1019 ) 3.033 * * [simplify]: iteration 1 : 4707 enodes (cost 1019 ) 3.038 * [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)) F)) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) 3) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (pow.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) 3) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.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 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 F) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 F (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)) (*.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 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) F) (+.f64 (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) (/.f64 1/3 F)) (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) 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) 3.039 * * * [progress]: adding candidates to table 3.093 * [progress]: [Phase 3 of 3] Extracting. 3.093 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # #) 3.098 * * * [regime-changes]: Trying 4 branch expressions: ((*.f64 F F) (*.f64 PI.f64 l) l F) 3.099 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # # # # # # # # # # # # # # #) 3.135 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # # # #) 3.154 * * * * [regimes]: Trying to branch on (*.f64 PI.f64 l) from (# # # # # # # # # # # # # # # # # # # # # #) 3.191 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # # # # # # # # #) 3.226 * * * * [regimes]: Trying to branch on F from (# # # # # # # # # # # # # # # # # # # # # #) 3.263 * * * [regime]: Found split indices: #