1.022 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.836 * * * [progress]: [2/2] Setting up program. 0.839 * [progress]: [Phase 2 of 3] Improving. 0.842 * [simplify]: Simplifying using # : (-.f64 (*.f64 PI.f64 l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))) 1.261 * * [simplify]: iteration 0 : 298 enodes (cost 12 ) 1.261 * * [simplify]: iteration 1 : 298 enodes (cost 12 ) 1.262 * [simplify]: Simplified to: (-.f64 (*.f64 PI.f64 l) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) 1.268 * * [progress]: iteration 1 / 4 1.268 * * * [progress]: picking best candidate 1.272 * * * * [pick]: Picked # 1.272 * * * [progress]: localizing error 1.304 * * * [progress]: generating rewritten candidates 1.304 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.307 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.315 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.319 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.325 * * * [progress]: generating series expansions 1.325 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.330 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.331 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.333 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.333 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.333 * [taylor]: Taking taylor expansion of (* PI l) in l 1.333 * [taylor]: Taking taylor expansion of PI in l 1.333 * [taylor]: Taking taylor expansion of l in l 1.334 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.334 * [taylor]: Taking taylor expansion of (* PI l) in l 1.334 * [taylor]: Taking taylor expansion of PI in l 1.334 * [taylor]: Taking taylor expansion of l in l 1.335 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.335 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.335 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.335 * [taylor]: Taking taylor expansion of (* PI l) in l 1.335 * [taylor]: Taking taylor expansion of PI in l 1.335 * [taylor]: Taking taylor expansion of l in l 1.335 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.335 * [taylor]: Taking taylor expansion of (* PI l) in l 1.335 * [taylor]: Taking taylor expansion of PI in l 1.335 * [taylor]: Taking taylor expansion of l in l 1.341 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.341 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.341 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.341 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.341 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.341 * [taylor]: Taking taylor expansion of PI in l 1.341 * [taylor]: Taking taylor expansion of l in l 1.341 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.341 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.341 * [taylor]: Taking taylor expansion of PI in l 1.341 * [taylor]: Taking taylor expansion of l in l 1.341 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.341 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.341 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.342 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.342 * [taylor]: Taking taylor expansion of PI in l 1.342 * [taylor]: Taking taylor expansion of l in l 1.342 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.342 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.342 * [taylor]: Taking taylor expansion of PI in l 1.342 * [taylor]: Taking taylor expansion of l in l 1.344 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.344 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.344 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.344 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.344 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.344 * [taylor]: Taking taylor expansion of -1 in l 1.344 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.344 * [taylor]: Taking taylor expansion of PI in l 1.344 * [taylor]: Taking taylor expansion of l in l 1.344 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.344 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.344 * [taylor]: Taking taylor expansion of -1 in l 1.344 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.344 * [taylor]: Taking taylor expansion of PI in l 1.344 * [taylor]: Taking taylor expansion of l in l 1.344 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.344 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.344 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.344 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.344 * [taylor]: Taking taylor expansion of -1 in l 1.344 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.344 * [taylor]: Taking taylor expansion of PI in l 1.344 * [taylor]: Taking taylor expansion of l in l 1.344 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.344 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.344 * [taylor]: Taking taylor expansion of -1 in l 1.344 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.344 * [taylor]: Taking taylor expansion of PI in l 1.344 * [taylor]: Taking taylor expansion of l in l 1.347 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.347 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (l F) around 0 1.347 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.347 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.347 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.347 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.347 * [taylor]: Taking taylor expansion of (* PI l) in F 1.347 * [taylor]: Taking taylor expansion of PI in F 1.347 * [taylor]: Taking taylor expansion of l in F 1.347 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.347 * [taylor]: Taking taylor expansion of (* PI l) in F 1.347 * [taylor]: Taking taylor expansion of PI in F 1.347 * [taylor]: Taking taylor expansion of l in F 1.349 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.349 * [taylor]: Taking taylor expansion of F in F 1.349 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.349 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.349 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.349 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.349 * [taylor]: Taking taylor expansion of (* PI l) in l 1.349 * [taylor]: Taking taylor expansion of PI in l 1.349 * [taylor]: Taking taylor expansion of l in l 1.349 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.349 * [taylor]: Taking taylor expansion of (* PI l) in l 1.349 * [taylor]: Taking taylor expansion of PI in l 1.349 * [taylor]: Taking taylor expansion of l in l 1.349 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.349 * [taylor]: Taking taylor expansion of F in l 1.349 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.349 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.350 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.350 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.350 * [taylor]: Taking taylor expansion of (* PI l) in l 1.350 * [taylor]: Taking taylor expansion of PI in l 1.350 * [taylor]: Taking taylor expansion of l in l 1.350 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.350 * [taylor]: Taking taylor expansion of (* PI l) in l 1.350 * [taylor]: Taking taylor expansion of PI in l 1.350 * [taylor]: Taking taylor expansion of l in l 1.350 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.350 * [taylor]: Taking taylor expansion of F in l 1.350 * [taylor]: Taking taylor expansion of (/ PI (pow F 2)) in F 1.350 * [taylor]: Taking taylor expansion of PI in F 1.350 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.350 * [taylor]: Taking taylor expansion of F in F 1.351 * [taylor]: Taking taylor expansion of 0 in F 1.352 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) (pow F 2))) in F 1.352 * [taylor]: Taking taylor expansion of 1/3 in F 1.352 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow F 2)) in F 1.352 * [taylor]: Taking taylor expansion of (pow PI 3) in F 1.352 * [taylor]: Taking taylor expansion of PI in F 1.352 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.352 * [taylor]: Taking taylor expansion of F in F 1.354 * [taylor]: Taking taylor expansion of 0 in F 1.356 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) (pow F 2))) in F 1.356 * [taylor]: Taking taylor expansion of 2/15 in F 1.356 * [taylor]: Taking taylor expansion of (/ (pow PI 5) (pow F 2)) in F 1.356 * [taylor]: Taking taylor expansion of (pow PI 5) in F 1.356 * [taylor]: Taking taylor expansion of PI in F 1.356 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.356 * [taylor]: Taking taylor expansion of F in F 1.357 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (l F) around 0 1.357 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.357 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.357 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.357 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.357 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.357 * [taylor]: Taking taylor expansion of PI in F 1.357 * [taylor]: Taking taylor expansion of l in F 1.357 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.357 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.357 * [taylor]: Taking taylor expansion of PI in F 1.357 * [taylor]: Taking taylor expansion of l in F 1.358 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.358 * [taylor]: Taking taylor expansion of F in F 1.358 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.358 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.358 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.358 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.358 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.358 * [taylor]: Taking taylor expansion of PI in l 1.358 * [taylor]: Taking taylor expansion of l in l 1.358 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.358 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.358 * [taylor]: Taking taylor expansion of PI in l 1.358 * [taylor]: Taking taylor expansion of l in l 1.358 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.358 * [taylor]: Taking taylor expansion of F in l 1.358 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.358 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.358 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.358 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.358 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.358 * [taylor]: Taking taylor expansion of PI in l 1.358 * [taylor]: Taking taylor expansion of l in l 1.359 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.359 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.359 * [taylor]: Taking taylor expansion of PI in l 1.359 * [taylor]: Taking taylor expansion of l in l 1.359 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.359 * [taylor]: Taking taylor expansion of F in l 1.359 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (pow F 2)) (cos (/ PI l))) in F 1.359 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (pow F 2)) in F 1.359 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.359 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.359 * [taylor]: Taking taylor expansion of PI in F 1.359 * [taylor]: Taking taylor expansion of l in F 1.359 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.359 * [taylor]: Taking taylor expansion of F in F 1.359 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.359 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.359 * [taylor]: Taking taylor expansion of PI in F 1.359 * [taylor]: Taking taylor expansion of l in F 1.360 * [taylor]: Taking taylor expansion of 0 in F 1.361 * [taylor]: Taking taylor expansion of 0 in F 1.362 * [taylor]: Taking taylor expansion of 0 in F 1.363 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (l F) around 0 1.363 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.363 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.363 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.363 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.363 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.363 * [taylor]: Taking taylor expansion of -1 in F 1.363 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.363 * [taylor]: Taking taylor expansion of PI in F 1.363 * [taylor]: Taking taylor expansion of l in F 1.363 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.363 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.363 * [taylor]: Taking taylor expansion of -1 in F 1.363 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.363 * [taylor]: Taking taylor expansion of PI in F 1.363 * [taylor]: Taking taylor expansion of l in F 1.364 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.364 * [taylor]: Taking taylor expansion of F in F 1.364 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.364 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.364 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.364 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.364 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.364 * [taylor]: Taking taylor expansion of -1 in l 1.364 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.364 * [taylor]: Taking taylor expansion of PI in l 1.364 * [taylor]: Taking taylor expansion of l in l 1.364 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.364 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.364 * [taylor]: Taking taylor expansion of -1 in l 1.364 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.364 * [taylor]: Taking taylor expansion of PI in l 1.364 * [taylor]: Taking taylor expansion of l in l 1.364 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.364 * [taylor]: Taking taylor expansion of F in l 1.364 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.364 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.364 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.364 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.364 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.364 * [taylor]: Taking taylor expansion of -1 in l 1.364 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.364 * [taylor]: Taking taylor expansion of PI in l 1.364 * [taylor]: Taking taylor expansion of l in l 1.365 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.365 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.365 * [taylor]: Taking taylor expansion of -1 in l 1.365 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.365 * [taylor]: Taking taylor expansion of PI in l 1.365 * [taylor]: Taking taylor expansion of l in l 1.365 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.365 * [taylor]: Taking taylor expansion of F in l 1.365 * [taylor]: Taking taylor expansion of (/ (* (pow F 2) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F 1.365 * [taylor]: Taking taylor expansion of (* (pow F 2) (sin (* -1 (/ PI l)))) in F 1.365 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.365 * [taylor]: Taking taylor expansion of F in F 1.365 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.365 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.365 * [taylor]: Taking taylor expansion of -1 in F 1.365 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.365 * [taylor]: Taking taylor expansion of PI in F 1.365 * [taylor]: Taking taylor expansion of l in F 1.365 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.365 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.365 * [taylor]: Taking taylor expansion of -1 in F 1.365 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.365 * [taylor]: Taking taylor expansion of PI in F 1.365 * [taylor]: Taking taylor expansion of l in F 1.366 * [taylor]: Taking taylor expansion of 0 in F 1.368 * [taylor]: Taking taylor expansion of 0 in F 1.369 * [taylor]: Taking taylor expansion of 0 in F 1.369 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.370 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.370 * [taylor]: Taking taylor expansion of (* PI l) in l 1.370 * [taylor]: Taking taylor expansion of PI in l 1.370 * [taylor]: Taking taylor expansion of l in l 1.370 * [taylor]: Taking taylor expansion of (* PI l) in l 1.370 * [taylor]: Taking taylor expansion of PI in l 1.370 * [taylor]: Taking taylor expansion of l in l 1.370 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.370 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.370 * [taylor]: Taking taylor expansion of PI in l 1.370 * [taylor]: Taking taylor expansion of l in l 1.370 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.370 * [taylor]: Taking taylor expansion of PI in l 1.370 * [taylor]: Taking taylor expansion of l in l 1.371 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.371 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.371 * [taylor]: Taking taylor expansion of -1 in l 1.371 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.371 * [taylor]: Taking taylor expansion of PI in l 1.371 * [taylor]: Taking taylor expansion of l in l 1.371 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.371 * [taylor]: Taking taylor expansion of -1 in l 1.371 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.371 * [taylor]: Taking taylor expansion of PI in l 1.371 * [taylor]: Taking taylor expansion of l in l 1.372 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.372 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.372 * [taylor]: Taking taylor expansion of (* PI l) in l 1.372 * [taylor]: Taking taylor expansion of PI in l 1.372 * [taylor]: Taking taylor expansion of l in l 1.372 * [taylor]: Taking taylor expansion of (* PI l) in l 1.372 * [taylor]: Taking taylor expansion of PI in l 1.372 * [taylor]: Taking taylor expansion of l in l 1.373 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.373 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.373 * [taylor]: Taking taylor expansion of PI in l 1.373 * [taylor]: Taking taylor expansion of l in l 1.373 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.373 * [taylor]: Taking taylor expansion of PI in l 1.373 * [taylor]: Taking taylor expansion of l in l 1.374 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.374 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.374 * [taylor]: Taking taylor expansion of -1 in l 1.374 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.374 * [taylor]: Taking taylor expansion of PI in l 1.374 * [taylor]: Taking taylor expansion of l in l 1.374 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.374 * [taylor]: Taking taylor expansion of -1 in l 1.374 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.374 * [taylor]: Taking taylor expansion of PI in l 1.374 * [taylor]: Taking taylor expansion of l in l 1.375 * * * [progress]: simplifying candidates 1.377 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (+.f64 (log.f64 F) (log.f64 F))) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (*.f64 F F))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (*.f64 F F) F) (*.f64 (*.f64 F F) F))) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (*.f64 F F) (*.f64 F F)) (*.f64 F F))) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.f64 (*.f64 F F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (*.f64 F F)) (/.f64 (*.f64 F F) (tan.f64 (*.f64 PI.f64 l))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (*.f64 F F) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 F F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 F F) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) (cos.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2))) (+.f64 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (pow.f64 F 2))) (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.430 * * [simplify]: iteration 0 : 5225 enodes (cost 541 ) 1.433 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (exp.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (pow.f64 F 6)) (/.f64 (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (pow.f64 F 6)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F)))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (pow.f64 F 6)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (neg.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.f64 (*.f64 F F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (*.f64 F F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F)) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F)) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F))) (+.f64 (*.f64 2/15 (/.f64 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5)) (*.f64 F F))) (/.f64 (*.f64 PI.f64 l) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.434 * * * [progress]: adding candidates to table 1.492 * * [progress]: iteration 2 / 4 1.492 * * * [progress]: picking best candidate 1.515 * * * * [pick]: Picked # 1.516 * * * [progress]: localizing error 1.525 * * * [progress]: generating rewritten candidates 1.525 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 1.527 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.540 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 1.544 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.567 * * * [progress]: generating series expansions 1.567 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 1.567 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 1.567 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.567 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.567 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.567 * [taylor]: Taking taylor expansion of (* PI l) in l 1.567 * [taylor]: Taking taylor expansion of PI in l 1.567 * [taylor]: Taking taylor expansion of l in l 1.568 * [taylor]: Taking taylor expansion of (cos (* PI 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.568 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.568 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.568 * [taylor]: Taking taylor expansion of (sin (* PI 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.568 * [taylor]: Taking taylor expansion of (cos (* PI 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.571 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.571 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.571 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.571 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.571 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.571 * [taylor]: Taking taylor expansion of PI in l 1.571 * [taylor]: Taking taylor expansion of l in l 1.571 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.571 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.571 * [taylor]: Taking taylor expansion of PI in l 1.571 * [taylor]: Taking taylor expansion of l in l 1.572 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.572 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.572 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.572 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.572 * [taylor]: Taking taylor expansion of PI in l 1.572 * [taylor]: Taking taylor expansion of l in l 1.572 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.572 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.572 * [taylor]: Taking taylor expansion of PI in l 1.572 * [taylor]: Taking taylor expansion of l in l 1.574 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.574 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.574 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.574 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.574 * [taylor]: Taking taylor expansion of -1 in l 1.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.574 * [taylor]: Taking taylor expansion of PI in l 1.574 * [taylor]: Taking taylor expansion of l in l 1.574 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.574 * [taylor]: Taking taylor expansion of -1 in l 1.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.574 * [taylor]: Taking taylor expansion of PI in l 1.574 * [taylor]: Taking taylor expansion of l in l 1.574 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.574 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.574 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.574 * [taylor]: Taking taylor expansion of -1 in l 1.574 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.574 * [taylor]: Taking taylor expansion of PI in l 1.574 * [taylor]: Taking taylor expansion of l in l 1.574 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.574 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.575 * [taylor]: Taking taylor expansion of -1 in l 1.575 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.575 * [taylor]: Taking taylor expansion of PI in l 1.575 * [taylor]: Taking taylor expansion of l in l 1.577 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.577 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (F l) around 0 1.577 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.577 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.577 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.577 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.577 * [taylor]: Taking taylor expansion of (* PI l) in l 1.577 * [taylor]: Taking taylor expansion of PI in l 1.577 * [taylor]: Taking taylor expansion of l in l 1.577 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.577 * [taylor]: Taking taylor expansion of (* PI l) in l 1.577 * [taylor]: Taking taylor expansion of PI in l 1.577 * [taylor]: Taking taylor expansion of l in l 1.577 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.577 * [taylor]: Taking taylor expansion of F in l 1.578 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.578 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.578 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.578 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.578 * [taylor]: Taking taylor expansion of (* PI l) in F 1.578 * [taylor]: Taking taylor expansion of PI in F 1.578 * [taylor]: Taking taylor expansion of l in F 1.578 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.578 * [taylor]: Taking taylor expansion of (* PI l) in F 1.578 * [taylor]: Taking taylor expansion of PI in F 1.578 * [taylor]: Taking taylor expansion of l in F 1.578 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.578 * [taylor]: Taking taylor expansion of F in F 1.578 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.578 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.578 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.578 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.578 * [taylor]: Taking taylor expansion of (* PI l) in F 1.578 * [taylor]: Taking taylor expansion of PI in F 1.578 * [taylor]: Taking taylor expansion of l in F 1.579 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.579 * [taylor]: Taking taylor expansion of (* PI l) in F 1.579 * [taylor]: Taking taylor expansion of PI in F 1.579 * [taylor]: Taking taylor expansion of l in F 1.579 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.579 * [taylor]: Taking taylor expansion of F in F 1.579 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 1.579 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.579 * [taylor]: Taking taylor expansion of (* PI l) in l 1.579 * [taylor]: Taking taylor expansion of PI in l 1.579 * [taylor]: Taking taylor expansion of l in l 1.579 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.579 * [taylor]: Taking taylor expansion of (* PI l) in l 1.579 * [taylor]: Taking taylor expansion of PI in l 1.579 * [taylor]: Taking taylor expansion of l in l 1.580 * [taylor]: Taking taylor expansion of 0 in l 1.581 * [taylor]: Taking taylor expansion of 0 in l 1.583 * [taylor]: Taking taylor expansion of 0 in l 1.585 * [taylor]: Taking taylor expansion of 0 in l 1.585 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (F l) around 0 1.585 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.585 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.585 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.585 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.585 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.585 * [taylor]: Taking taylor expansion of PI in l 1.585 * [taylor]: Taking taylor expansion of l in l 1.585 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.586 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.586 * [taylor]: Taking taylor expansion of PI in l 1.586 * [taylor]: Taking taylor expansion of l in l 1.586 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.586 * [taylor]: Taking taylor expansion of F in l 1.586 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.586 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.586 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.586 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.586 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.586 * [taylor]: Taking taylor expansion of PI in F 1.586 * [taylor]: Taking taylor expansion of l in F 1.586 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.586 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.586 * [taylor]: Taking taylor expansion of PI in F 1.586 * [taylor]: Taking taylor expansion of l in F 1.586 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.586 * [taylor]: Taking taylor expansion of F in F 1.586 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.586 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.586 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.586 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.587 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.587 * [taylor]: Taking taylor expansion of PI in F 1.587 * [taylor]: Taking taylor expansion of l in F 1.587 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.587 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.587 * [taylor]: Taking taylor expansion of PI in F 1.587 * [taylor]: Taking taylor expansion of l in F 1.587 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.587 * [taylor]: Taking taylor expansion of F in F 1.587 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l 1.587 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.587 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.587 * [taylor]: Taking taylor expansion of PI in l 1.587 * [taylor]: Taking taylor expansion of l in l 1.587 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.587 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.587 * [taylor]: Taking taylor expansion of PI in l 1.587 * [taylor]: Taking taylor expansion of l in l 1.588 * [taylor]: Taking taylor expansion of 0 in l 1.589 * [taylor]: Taking taylor expansion of 0 in l 1.591 * [taylor]: Taking taylor expansion of 0 in l 1.591 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (F l) around 0 1.591 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.591 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.591 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.591 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.591 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.591 * [taylor]: Taking taylor expansion of -1 in l 1.591 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.591 * [taylor]: Taking taylor expansion of PI in l 1.591 * [taylor]: Taking taylor expansion of l in l 1.591 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.591 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.591 * [taylor]: Taking taylor expansion of -1 in l 1.591 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.591 * [taylor]: Taking taylor expansion of PI in l 1.591 * [taylor]: Taking taylor expansion of l in l 1.592 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.592 * [taylor]: Taking taylor expansion of F in l 1.592 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.592 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.592 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.592 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.592 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.592 * [taylor]: Taking taylor expansion of -1 in F 1.592 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.592 * [taylor]: Taking taylor expansion of PI in F 1.592 * [taylor]: Taking taylor expansion of l in F 1.592 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.592 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.592 * [taylor]: Taking taylor expansion of -1 in F 1.592 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.592 * [taylor]: Taking taylor expansion of PI in F 1.592 * [taylor]: Taking taylor expansion of l in F 1.593 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.593 * [taylor]: Taking taylor expansion of F in F 1.593 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.593 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.593 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.593 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.593 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.593 * [taylor]: Taking taylor expansion of -1 in F 1.593 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.593 * [taylor]: Taking taylor expansion of PI in F 1.593 * [taylor]: Taking taylor expansion of l in F 1.593 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.593 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.593 * [taylor]: Taking taylor expansion of -1 in F 1.593 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.593 * [taylor]: Taking taylor expansion of PI in F 1.593 * [taylor]: Taking taylor expansion of l in F 1.593 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.593 * [taylor]: Taking taylor expansion of F in F 1.594 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.594 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.594 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.594 * [taylor]: Taking taylor expansion of -1 in l 1.594 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.594 * [taylor]: Taking taylor expansion of PI in l 1.594 * [taylor]: Taking taylor expansion of l in l 1.594 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.594 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.594 * [taylor]: Taking taylor expansion of -1 in l 1.594 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.594 * [taylor]: Taking taylor expansion of PI in l 1.594 * [taylor]: Taking taylor expansion of l in l 1.595 * [taylor]: Taking taylor expansion of 0 in l 1.596 * [taylor]: Taking taylor expansion of 0 in l 1.598 * [taylor]: Taking taylor expansion of 0 in l 1.598 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1) 1.598 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.598 * [taylor]: Taking taylor expansion of (* PI l) in l 1.598 * [taylor]: Taking taylor expansion of PI in l 1.598 * [taylor]: Taking taylor expansion of l in l 1.598 * [taylor]: Taking taylor expansion of (* PI l) in l 1.598 * [taylor]: Taking taylor expansion of PI in l 1.598 * [taylor]: Taking taylor expansion of l in l 1.599 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.599 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.599 * [taylor]: Taking taylor expansion of PI in l 1.599 * [taylor]: Taking taylor expansion of l in l 1.599 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.599 * [taylor]: Taking taylor expansion of PI in l 1.599 * [taylor]: Taking taylor expansion of l in l 1.600 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.600 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.600 * [taylor]: Taking taylor expansion of -1 in l 1.600 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.600 * [taylor]: Taking taylor expansion of PI in l 1.600 * [taylor]: Taking taylor expansion of l in l 1.600 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.600 * [taylor]: Taking taylor expansion of -1 in l 1.600 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.600 * [taylor]: Taking taylor expansion of PI in l 1.600 * [taylor]: Taking taylor expansion of l in l 1.601 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.601 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.601 * [taylor]: Taking taylor expansion of (* PI l) in l 1.601 * [taylor]: Taking taylor expansion of PI in l 1.601 * [taylor]: Taking taylor expansion of l in l 1.601 * [taylor]: Taking taylor expansion of (* PI l) in l 1.601 * [taylor]: Taking taylor expansion of PI in l 1.601 * [taylor]: Taking taylor expansion of l in l 1.602 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.602 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.602 * [taylor]: Taking taylor expansion of PI in l 1.602 * [taylor]: Taking taylor expansion of l in l 1.602 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.602 * [taylor]: Taking taylor expansion of PI in l 1.602 * [taylor]: Taking taylor expansion of l in l 1.602 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.602 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.602 * [taylor]: Taking taylor expansion of -1 in l 1.602 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.602 * [taylor]: Taking taylor expansion of PI in l 1.602 * [taylor]: Taking taylor expansion of l in l 1.602 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.602 * [taylor]: Taking taylor expansion of -1 in l 1.602 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.602 * [taylor]: Taking taylor expansion of PI in l 1.602 * [taylor]: Taking taylor expansion of l in l 1.603 * * * [progress]: simplifying candidates 1.607 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (neg.f64 1) (neg.f64 (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (neg.f64 (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (neg.f64 (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 0 (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (-.f64 0 (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 0 (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 (log.f64 1) (-.f64 (log.f64 F) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F)))) (-.f64 (log.f64 1) (-.f64 (log.f64 F) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (-.f64 (log.f64 1) (log.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (log.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (exp.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 F F) F) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) F)))) (/.f64 (*.f64 (*.f64 1 1) 1) (/.f64 (*.f64 (*.f64 F F) F) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (cbrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (cbrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (sqrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (sqrt.f64 (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (neg.f64 1) (neg.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 1 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) 1)) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (/.f64 1 1))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 1 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (/.f64 (cbrt.f64 1) (/.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (cbrt.f64 1) F) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 1 F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) 1)) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) (/.f64 (sqrt.f64 F) (/.f64 1 F))) (/.f64 (sqrt.f64 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (sqrt.f64 1) (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 1 1))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 1 1)) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 1 F))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) F) (/.f64 (sqrt.f64 1) (/.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (sqrt.f64 1) (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 1) F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 1 F))) (/.f64 1 (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (sqrt.f64 F) 1)) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 F))) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 F (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))) (/.f64 1 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 1 1))) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 1 1)) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 F (/.f64 1 F))) (/.f64 1 1) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 F) (/.f64 1 (/.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 1 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 F) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) 1) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 1 1))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 (sqrt.f64 F) (/.f64 1 1))) (/.f64 1 (/.f64 (sqrt.f64 F) 1)) (/.f64 1 (/.f64 (sqrt.f64 F) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (/.f64 1 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1))) (/.f64 1 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 1 (/.f64 1 (sqrt.f64 F)))) (/.f64 1 (/.f64 1 (/.f64 1 1))) (/.f64 1 (/.f64 1 1)) (/.f64 1 (/.f64 1 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 1) (/.f64 1 F) (/.f64 1 (/.f64 F (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 1)) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 1)) (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) 1) (/.f64 1 F) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.672 * * [simplify]: iteration 0 : 5070 enodes (cost 3868 ) 1.686 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) -1 (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (*.f64 (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F))) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) -1 (neg.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F)) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (cbrt.f64 1) F)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 F (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 (sqrt.f64 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (sqrt.f64 F) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F))))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F)) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (pow.f64 F 3/2)) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (cbrt.f64 1) (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 1) (/.f64 F (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (/.f64 (cbrt.f64 1) F)) (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (*.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F (/.f64 F (sqrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 F)) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (*.f64 F F)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1)) (*.f64 (tan.f64 (*.f64 PI.f64 l)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) F)) (/.f64 (cbrt.f64 1) F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 1 (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (*.f64 F F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 F) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 F)) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 1 (/.f64 F (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) (cbrt.f64 F)) (sqrt.f64 F)) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) F) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (tan.f64 (*.f64 PI.f64 l)) (/.f64 1 (*.f64 F F)) 1 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 1 F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))))) (/.f64 1 (sqrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 1 (*.f64 F (cbrt.f64 F)))) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 F)) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 F (cbrt.f64 F))) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 1 (/.f64 F (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (/.f64 1 (*.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (sqrt.f64 F))) (/.f64 1 F) (/.f64 1 (sqrt.f64 F)) (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (sqrt.f64 F)) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F)) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F)) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (sqrt.f64 F)) 1 1 (tan.f64 (*.f64 PI.f64 l)) 1 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 F (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 1))) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 1 F) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (+.f64 (/.f64 (*.f64 PI.f64 l) (*.f64 F F)) (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) 1.688 * * * [progress]: adding candidates to table 1.780 * * [progress]: iteration 3 / 4 1.780 * * * [progress]: picking best candidate 1.804 * * * * [pick]: Picked # 1.805 * * * [progress]: localizing error 1.814 * * * [progress]: generating rewritten candidates 1.814 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.816 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.820 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.824 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.839 * * * [progress]: generating series expansions 1.839 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.839 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 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.839 * [taylor]: Taking taylor expansion of (cos (* 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 (tan (* PI l)) in l 1.840 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.840 * [taylor]: Taking taylor expansion of (sin (* 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 (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.843 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 1.843 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.843 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.843 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.843 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.843 * [taylor]: Taking taylor expansion of PI in l 1.843 * [taylor]: Taking taylor expansion of l in l 1.843 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.843 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.843 * [taylor]: Taking taylor expansion of PI in l 1.843 * [taylor]: Taking taylor expansion of l in l 1.843 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.843 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.843 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.843 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.843 * [taylor]: Taking taylor expansion of PI in l 1.843 * [taylor]: Taking taylor expansion of l in l 1.843 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.843 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.844 * [taylor]: Taking taylor expansion of PI in l 1.844 * [taylor]: Taking taylor expansion of l in l 1.845 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0 1.845 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.845 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.845 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.845 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.845 * [taylor]: Taking taylor expansion of -1 in l 1.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.846 * [taylor]: Taking taylor expansion of PI in l 1.846 * [taylor]: Taking taylor expansion of l in l 1.846 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.846 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.846 * [taylor]: Taking taylor expansion of -1 in l 1.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.846 * [taylor]: Taking taylor expansion of PI in l 1.846 * [taylor]: Taking taylor expansion of l in l 1.846 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.846 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.846 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.846 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.846 * [taylor]: Taking taylor expansion of -1 in l 1.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.846 * [taylor]: Taking taylor expansion of PI in l 1.846 * [taylor]: Taking taylor expansion of l in l 1.846 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.846 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.846 * [taylor]: Taking taylor expansion of -1 in l 1.846 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.846 * [taylor]: Taking taylor expansion of PI in l 1.846 * [taylor]: Taking taylor expansion of l in l 1.848 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.848 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.849 * [taylor]: Taking taylor expansion of (* PI l) in l 1.849 * [taylor]: Taking taylor expansion of PI in l 1.849 * [taylor]: Taking taylor expansion of l in l 1.849 * [taylor]: Taking taylor expansion of (* PI l) in l 1.849 * [taylor]: Taking taylor expansion of PI in l 1.849 * [taylor]: Taking taylor expansion of l in l 1.849 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.849 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.849 * [taylor]: Taking taylor expansion of PI in l 1.849 * [taylor]: Taking taylor expansion of l in l 1.849 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.849 * [taylor]: Taking taylor expansion of PI in l 1.849 * [taylor]: Taking taylor expansion of l in l 1.850 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.850 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.850 * [taylor]: Taking taylor expansion of -1 in l 1.850 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.850 * [taylor]: Taking taylor expansion of PI in l 1.850 * [taylor]: Taking taylor expansion of l in l 1.850 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.850 * [taylor]: Taking taylor expansion of -1 in l 1.850 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.850 * [taylor]: Taking taylor expansion of PI in l 1.850 * [taylor]: Taking taylor expansion of l in l 1.851 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.851 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0 1.851 * [taylor]: Taking taylor expansion of (* PI l) in l 1.851 * [taylor]: Taking taylor expansion of PI in l 1.851 * [taylor]: Taking taylor expansion of l in l 1.851 * [taylor]: Taking taylor expansion of (* PI l) in l 1.851 * [taylor]: Taking taylor expansion of PI in l 1.851 * [taylor]: Taking taylor expansion of l in l 1.852 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0 1.852 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.852 * [taylor]: Taking taylor expansion of PI in l 1.852 * [taylor]: Taking taylor expansion of l in l 1.852 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.852 * [taylor]: Taking taylor expansion of PI in l 1.852 * [taylor]: Taking taylor expansion of l in l 1.852 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0 1.853 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.853 * [taylor]: Taking taylor expansion of -1 in l 1.853 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.853 * [taylor]: Taking taylor expansion of PI in l 1.853 * [taylor]: Taking taylor expansion of l in l 1.853 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.853 * [taylor]: Taking taylor expansion of -1 in l 1.853 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.853 * [taylor]: Taking taylor expansion of PI in l 1.853 * [taylor]: Taking taylor expansion of l in l 1.854 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.854 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (F l) around 0 1.854 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l 1.854 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 1.854 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.854 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.854 * [taylor]: Taking taylor expansion of (* PI l) in l 1.854 * [taylor]: Taking taylor expansion of PI in l 1.854 * [taylor]: Taking taylor expansion of l in l 1.854 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.854 * [taylor]: Taking taylor expansion of (* PI l) in l 1.854 * [taylor]: Taking taylor expansion of PI in l 1.854 * [taylor]: Taking taylor expansion of l in l 1.854 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.854 * [taylor]: Taking taylor expansion of F in l 1.854 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.854 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.854 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.854 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.854 * [taylor]: Taking taylor expansion of (* PI l) in F 1.854 * [taylor]: Taking taylor expansion of PI in F 1.854 * [taylor]: Taking taylor expansion of l in F 1.855 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.855 * [taylor]: Taking taylor expansion of (* PI l) in F 1.855 * [taylor]: Taking taylor expansion of PI in F 1.855 * [taylor]: Taking taylor expansion of l in F 1.855 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.855 * [taylor]: Taking taylor expansion of F in F 1.855 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F 1.855 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F 1.855 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 1.855 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F 1.855 * [taylor]: Taking taylor expansion of (* PI l) in F 1.855 * [taylor]: Taking taylor expansion of PI in F 1.855 * [taylor]: Taking taylor expansion of l in F 1.855 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F 1.855 * [taylor]: Taking taylor expansion of (* PI l) in F 1.855 * [taylor]: Taking taylor expansion of PI in F 1.855 * [taylor]: Taking taylor expansion of l in F 1.856 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.856 * [taylor]: Taking taylor expansion of F in F 1.856 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l 1.856 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 1.856 * [taylor]: Taking taylor expansion of (* PI l) in l 1.856 * [taylor]: Taking taylor expansion of PI in l 1.856 * [taylor]: Taking taylor expansion of l in l 1.856 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 1.856 * [taylor]: Taking taylor expansion of (* PI l) in l 1.856 * [taylor]: Taking taylor expansion of PI in l 1.856 * [taylor]: Taking taylor expansion of l in l 1.857 * [taylor]: Taking taylor expansion of 0 in l 1.858 * [taylor]: Taking taylor expansion of 0 in l 1.859 * [taylor]: Taking taylor expansion of 0 in l 1.861 * [taylor]: Taking taylor expansion of 0 in l 1.862 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (F l) around 0 1.862 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l 1.862 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 1.862 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.862 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 1.862 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.862 * [taylor]: Taking taylor expansion of PI in l 1.862 * [taylor]: Taking taylor expansion of l in l 1.862 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 1.862 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.862 * [taylor]: Taking taylor expansion of PI in l 1.862 * [taylor]: Taking taylor expansion of l in l 1.862 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.862 * [taylor]: Taking taylor expansion of F in l 1.862 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.862 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.862 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.862 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.862 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.862 * [taylor]: Taking taylor expansion of PI in F 1.862 * [taylor]: Taking taylor expansion of l in F 1.862 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.862 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.862 * [taylor]: Taking taylor expansion of PI in F 1.862 * [taylor]: Taking taylor expansion of l in F 1.863 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.863 * [taylor]: Taking taylor expansion of F in F 1.863 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F 1.863 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F 1.863 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 1.863 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F 1.863 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.863 * [taylor]: Taking taylor expansion of PI in F 1.863 * [taylor]: Taking taylor expansion of l in F 1.863 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F 1.863 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.863 * [taylor]: Taking taylor expansion of PI in F 1.863 * [taylor]: Taking taylor expansion of l in F 1.863 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.863 * [taylor]: Taking taylor expansion of F in F 1.864 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in 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 0 in l 1.866 * [taylor]: Taking taylor expansion of 0 in l 1.867 * [taylor]: Taking taylor expansion of 0 in l 1.867 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (F l) around 0 1.867 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l 1.867 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l 1.868 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.868 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.868 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.868 * [taylor]: Taking taylor expansion of -1 in l 1.868 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.868 * [taylor]: Taking taylor expansion of PI in l 1.868 * [taylor]: Taking taylor expansion of l in l 1.868 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.868 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.868 * [taylor]: Taking taylor expansion of -1 in l 1.868 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.868 * [taylor]: Taking taylor expansion of PI in l 1.868 * [taylor]: Taking taylor expansion of l in l 1.868 * [taylor]: Taking taylor expansion of (pow F 2) in l 1.868 * [taylor]: Taking taylor expansion of F in l 1.868 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.868 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.868 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.868 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.868 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.868 * [taylor]: Taking taylor expansion of -1 in F 1.868 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.868 * [taylor]: Taking taylor expansion of PI in F 1.868 * [taylor]: Taking taylor expansion of l in F 1.868 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.868 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.868 * [taylor]: Taking taylor expansion of -1 in F 1.868 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.868 * [taylor]: Taking taylor expansion of PI in F 1.868 * [taylor]: Taking taylor expansion of l in F 1.869 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.869 * [taylor]: Taking taylor expansion of F in F 1.869 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F 1.869 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F 1.869 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) 1.869 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F 1.869 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.869 * [taylor]: Taking taylor expansion of -1 in F 1.869 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.869 * [taylor]: Taking taylor expansion of PI in F 1.869 * [taylor]: Taking taylor expansion of l in F 1.869 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F 1.869 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F 1.869 * [taylor]: Taking taylor expansion of -1 in F 1.869 * [taylor]: Taking taylor expansion of (/ PI l) in F 1.869 * [taylor]: Taking taylor expansion of PI in F 1.869 * [taylor]: Taking taylor expansion of l in F 1.870 * [taylor]: Taking taylor expansion of (pow F 2) in F 1.870 * [taylor]: Taking taylor expansion of F in F 1.870 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l 1.870 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l 1.870 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.870 * [taylor]: Taking taylor expansion of -1 in l 1.870 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.870 * [taylor]: Taking taylor expansion of PI in l 1.870 * [taylor]: Taking taylor expansion of l in l 1.870 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l 1.870 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l 1.870 * [taylor]: Taking taylor expansion of -1 in l 1.870 * [taylor]: Taking taylor expansion of (/ PI l) in l 1.870 * [taylor]: Taking taylor expansion of PI in l 1.870 * [taylor]: Taking taylor expansion of l in l 1.871 * [taylor]: Taking taylor expansion of 0 in l 1.873 * [taylor]: Taking taylor expansion of 0 in l 1.874 * [taylor]: Taking taylor expansion of 0 in l 1.875 * * * [progress]: simplifying candidates 1.876 * [simplify]: Simplifying using # : (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (log.f64 PI.f64) (log.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 PI.f64) PI.f64) (*.f64 (*.f64 l l) l)) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (*.f64 (*.f64 PI.f64 l) (*.f64 PI.f64 l)) (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) (*.f64 PI.f64 1) (*.f64 (cbrt.f64 PI.f64) l) (*.f64 (sqrt.f64 PI.f64) l) (*.f64 PI.f64 l) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (+.f64 (neg.f64 (log.f64 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (neg.f64 (log.f64 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (+.f64 (-.f64 0 (log.f64 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (-.f64 0 (log.f64 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (+.f64 (-.f64 (log.f64 1) (log.f64 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (-.f64 (log.f64 1) (log.f64 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (+.f64 (log.f64 (/.f64 1 F)) (-.f64 (log.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 F))) (+.f64 (log.f64 (/.f64 1 F)) (log.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (log.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (exp.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 F F) F)) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) F))) (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 F F) F)) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 1 F)) (/.f64 (*.f64 (*.f64 (tan.f64 (*.f64 PI.f64 l)) (tan.f64 (*.f64 PI.f64 l))) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 F F) F))) (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 1 F)) (/.f64 1 F)) (*.f64 (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (cbrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (*.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (sqrt.f64 (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 1 (tan.f64 (*.f64 PI.f64 l))) (*.f64 F F) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 F) (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))) (*.f64 (/.f64 1 F) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (sqrt.f64 F))) (*.f64 (/.f64 1 F) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) 1)) (*.f64 (/.f64 1 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 1 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (/.f64 1 F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) 1)) (*.f64 (/.f64 1 F) (/.f64 1 (*.f64 (cbrt.f64 F) (cbrt.f64 F)))) (*.f64 (/.f64 1 F) (/.f64 1 (sqrt.f64 F))) (*.f64 (/.f64 1 F) (/.f64 1 1)) (*.f64 (/.f64 1 F) 1) (*.f64 (/.f64 1 F) (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (/.f64 1 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (cbrt.f64 1) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 (sqrt.f64 1) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (*.f64 (/.f64 1 F) (tan.f64 (*.f64 PI.f64 l))) (*.f64 1 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (/.f64 (*.f64 PI.f64 l) (pow.f64 F 2)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3)) (pow.f64 F 2)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (pow.f64 F 2))) 1.919 * * [simplify]: iteration 0 : 5244 enodes (cost 891 ) 1.923 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (log.f64 (*.f64 PI.f64 l)) (log.f64 (*.f64 PI.f64 l)) (exp.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (pow.f64 (*.f64 PI.f64 l) 3) (sqrt.f64 (*.f64 PI.f64 l)) (sqrt.f64 (*.f64 PI.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 (sqrt.f64 PI.f64) (sqrt.f64 l)) (*.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (*.f64 PI.f64 (sqrt.f64 l)) PI.f64 (*.f64 l (cbrt.f64 PI.f64)) (*.f64 l (sqrt.f64 PI.f64)) (*.f64 PI.f64 l) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (*.f64 (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F))) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) 3) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F)) (tan.f64 (*.f64 PI.f64 l)) (*.f64 F F) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (*.f64 (sqrt.f64 (/.f64 1 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 F))) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (sqrt.f64 F)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F))) F) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)) F) (/.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (/.f64 (pow.f64 F 3/2) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))))) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) F) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 F 3/2)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) F) (/.f64 (/.f64 1 F) (*.f64 (cbrt.f64 F) (cbrt.f64 F))) (/.f64 1 (pow.f64 F 3/2)) (/.f64 1 F) (/.f64 1 F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 (/.f64 1 F))) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (sqrt.f64 (/.f64 1 F))) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (cbrt.f64 1) (cbrt.f64 F))) (/.f64 (cbrt.f64 1) (/.f64 (pow.f64 F 3/2) (tan.f64 (*.f64 PI.f64 l)))) (*.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (cbrt.f64 1) F)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 F 3/2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (cbrt.f64 F)) (/.f64 (tan.f64 (*.f64 PI.f64 l)) (pow.f64 F 3/2)) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (/.f64 (tan.f64 (*.f64 PI.f64 l)) F) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 (pow.f64 (*.f64 PI.f64 l) 3) 1/3))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (*.f64 PI.f64 l) (+.f64 (/.f64 (*.f64 PI.f64 l) (*.f64 F F)) (*.f64 1/3 (/.f64 (pow.f64 (*.f64 PI.f64 l) 3) (*.f64 F F)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (*.f64 (cos.f64 (*.f64 PI.f64 l)) (*.f64 F F))) 1.924 * * * [progress]: adding candidates to table 1.964 * * [progress]: iteration 4 / 4 1.964 * * * [progress]: picking best candidate 1.988 * * * * [pick]: Picked # 1.988 * * * [progress]: localizing error 2.002 * * * [progress]: generating rewritten candidates 2.002 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.006 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2) 2.009 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 2) 2.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 1) 2.015 * * * [progress]: generating series expansions 2.015 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.015 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0 2.015 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.015 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.015 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.015 * [taylor]: Taking taylor expansion of (* PI l) in l 2.015 * [taylor]: Taking taylor expansion of PI in l 2.015 * [taylor]: Taking taylor expansion of l in l 2.015 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.015 * [taylor]: Taking taylor expansion of (* PI l) in l 2.016 * [taylor]: Taking taylor expansion of PI in l 2.016 * [taylor]: Taking taylor expansion of l in l 2.016 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l 2.016 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l))) 2.016 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l 2.016 * [taylor]: Taking taylor expansion of (* PI l) in l 2.016 * [taylor]: Taking taylor expansion of PI in l 2.016 * [taylor]: Taking taylor expansion of l in l 2.016 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l 2.016 * [taylor]: Taking taylor expansion of (* PI l) in l 2.016 * [taylor]: Taking taylor expansion of PI in l 2.016 * [taylor]: Taking taylor expansion of l in l 2.019 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0 2.019 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.019 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.019 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.019 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.019 * [taylor]: Taking taylor expansion of PI in l 2.019 * [taylor]: Taking taylor expansion of l in l 2.019 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.019 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.019 * [taylor]: Taking taylor expansion of PI in l 2.019 * [taylor]: Taking taylor expansion of l in l 2.020 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l 2.020 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l))) 2.020 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l 2.020 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.020 * [taylor]: Taking taylor expansion of PI in l 2.020 * [taylor]: Taking taylor expansion of l in l 2.020 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l 2.020 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.020 * [taylor]: Taking taylor expansion of PI in l 2.020 * [taylor]: Taking taylor expansion of l in l 2.022 * [approximate]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in (l) around 0 2.022 * [taylor]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.022 * [taylor]: Rewrote expression to (/ (sin (/ (* (pow (cbrt -1) 3) PI) l)) (cos (/ (* (pow (cbrt -1) 3) PI) l))) 2.022 * [taylor]: Taking taylor expansion of (sin (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.022 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.022 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.022 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.022 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.022 * [taylor]: Taking taylor expansion of -1 in l 2.023 * [taylor]: Taking taylor expansion of PI in l 2.023 * [taylor]: Taking taylor expansion of l in l 2.023 * [taylor]: Taking taylor expansion of (cos (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.023 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.023 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.023 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.023 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.023 * [taylor]: Taking taylor expansion of -1 in l 2.024 * [taylor]: Taking taylor expansion of PI in l 2.024 * [taylor]: Taking taylor expansion of l in l 2.024 * [taylor]: Taking taylor expansion of (tan (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.024 * [taylor]: Rewrote expression to (/ (sin (/ (* (pow (cbrt -1) 3) PI) l)) (cos (/ (* (pow (cbrt -1) 3) PI) l))) 2.024 * [taylor]: Taking taylor expansion of (sin (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.024 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.024 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.024 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.024 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.024 * [taylor]: Taking taylor expansion of -1 in l 2.025 * [taylor]: Taking taylor expansion of PI in l 2.025 * [taylor]: Taking taylor expansion of l in l 2.025 * [taylor]: Taking taylor expansion of (cos (/ (* (pow (cbrt -1) 3) PI) l)) in l 2.025 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) PI) l) in l 2.025 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) PI) in l 2.025 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l 2.025 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.025 * [taylor]: Taking taylor expansion of -1 in l 2.025 * [taylor]: Taking taylor expansion of PI in l 2.025 * [taylor]: Taking taylor expansion of l in l 2.028 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2) 2.028 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 2.028 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.028 * [taylor]: Taking taylor expansion of 1/3 in l 2.028 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.028 * [taylor]: Taking taylor expansion of (* PI l) in l 2.028 * [taylor]: Taking taylor expansion of PI in l 2.028 * [taylor]: Taking taylor expansion of l in l 2.029 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.029 * [taylor]: Taking taylor expansion of 1/3 in l 2.029 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.029 * [taylor]: Taking taylor expansion of (* PI l) in l 2.029 * [taylor]: Taking taylor expansion of PI in l 2.029 * [taylor]: Taking taylor expansion of l in l 2.035 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 2.035 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.036 * [taylor]: Taking taylor expansion of 1/3 in l 2.036 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.036 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.036 * [taylor]: Taking taylor expansion of PI in l 2.036 * [taylor]: Taking taylor expansion of l in l 2.036 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.036 * [taylor]: Taking taylor expansion of 1/3 in l 2.036 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.036 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.036 * [taylor]: Taking taylor expansion of PI in l 2.036 * [taylor]: Taking taylor expansion of l in l 2.042 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 2.042 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.042 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.042 * [taylor]: Taking taylor expansion of -1 in l 2.042 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.042 * [taylor]: Taking taylor expansion of 1/3 in l 2.042 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.042 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.042 * [taylor]: Taking taylor expansion of PI in l 2.042 * [taylor]: Taking taylor expansion of l in l 2.042 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.042 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.042 * [taylor]: Taking taylor expansion of -1 in l 2.042 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.042 * [taylor]: Taking taylor expansion of 1/3 in l 2.042 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.042 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.042 * [taylor]: Taking taylor expansion of PI in l 2.042 * [taylor]: Taking taylor expansion of l in l 2.050 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 2) 2.051 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 2.051 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.051 * [taylor]: Taking taylor expansion of 1/3 in l 2.051 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.051 * [taylor]: Taking taylor expansion of (* PI l) in l 2.051 * [taylor]: Taking taylor expansion of PI in l 2.051 * [taylor]: Taking taylor expansion of l in l 2.051 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.051 * [taylor]: Taking taylor expansion of 1/3 in l 2.051 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.051 * [taylor]: Taking taylor expansion of (* PI l) in l 2.051 * [taylor]: Taking taylor expansion of PI in l 2.051 * [taylor]: Taking taylor expansion of l in l 2.059 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 2.059 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.059 * [taylor]: Taking taylor expansion of 1/3 in l 2.059 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.059 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.059 * [taylor]: Taking taylor expansion of PI in l 2.059 * [taylor]: Taking taylor expansion of l in l 2.059 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.059 * [taylor]: Taking taylor expansion of 1/3 in l 2.059 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.059 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.059 * [taylor]: Taking taylor expansion of PI in l 2.059 * [taylor]: Taking taylor expansion of l in l 2.065 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 2.065 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.065 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.065 * [taylor]: Taking taylor expansion of -1 in l 2.065 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.065 * [taylor]: Taking taylor expansion of 1/3 in l 2.065 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.065 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.065 * [taylor]: Taking taylor expansion of PI in l 2.065 * [taylor]: Taking taylor expansion of l in l 2.066 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.066 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.066 * [taylor]: Taking taylor expansion of -1 in l 2.066 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.066 * [taylor]: Taking taylor expansion of 1/3 in l 2.066 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.066 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.066 * [taylor]: Taking taylor expansion of PI in l 2.066 * [taylor]: Taking taylor expansion of l in l 2.073 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 1) 2.073 * [approximate]: Taking taylor expansion of (pow (* PI l) 1/3) in (l) around 0 2.073 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.073 * [taylor]: Taking taylor expansion of 1/3 in l 2.073 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.073 * [taylor]: Taking taylor expansion of (* PI l) in l 2.073 * [taylor]: Taking taylor expansion of PI in l 2.073 * [taylor]: Taking taylor expansion of l in l 2.073 * [taylor]: Taking taylor expansion of (pow (* PI l) 1/3) in l 2.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* PI l)))) in l 2.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (* PI l))) in l 2.074 * [taylor]: Taking taylor expansion of 1/3 in l 2.074 * [taylor]: Taking taylor expansion of (log (* PI l)) in l 2.074 * [taylor]: Taking taylor expansion of (* PI l) in l 2.074 * [taylor]: Taking taylor expansion of PI in l 2.074 * [taylor]: Taking taylor expansion of l in l 2.079 * [approximate]: Taking taylor expansion of (pow (/ PI l) 1/3) in (l) around 0 2.079 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.079 * [taylor]: Taking taylor expansion of 1/3 in l 2.079 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.079 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.079 * [taylor]: Taking taylor expansion of PI in l 2.079 * [taylor]: Taking taylor expansion of l in l 2.079 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.079 * [taylor]: Taking taylor expansion of 1/3 in l 2.079 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.079 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.079 * [taylor]: Taking taylor expansion of PI in l 2.079 * [taylor]: Taking taylor expansion of l in l 2.085 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in (l) around 0 2.085 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.085 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.085 * [taylor]: Taking taylor expansion of -1 in l 2.085 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.085 * [taylor]: Taking taylor expansion of 1/3 in l 2.085 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.085 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.085 * [taylor]: Taking taylor expansion of PI in l 2.085 * [taylor]: Taking taylor expansion of l in l 2.085 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ PI l) 1/3)) in l 2.085 * [taylor]: Taking taylor expansion of (cbrt -1) in l 2.085 * [taylor]: Taking taylor expansion of -1 in l 2.086 * [taylor]: Taking taylor expansion of (pow (/ PI l) 1/3) in l 2.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ PI l)))) in l 2.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ PI l))) in l 2.086 * [taylor]: Taking taylor expansion of 1/3 in l 2.086 * [taylor]: Taking taylor expansion of (log (/ PI l)) in l 2.086 * [taylor]: Taking taylor expansion of (/ PI l) in l 2.086 * [taylor]: Taking taylor expansion of PI in l 2.086 * [taylor]: Taking taylor expansion of l in l 2.093 * * * [progress]: simplifying candidates 2.094 * [simplify]: Simplifying using # : (sin.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (log.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (exp.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (cbrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))))) (cbrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (*.f64 (*.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)))) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (sqrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (sqrt.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 (*.f64 (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (*.f64 (pow.f64 PI.f64 3) (pow.f64 l 3))))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 l) (log.f64 PI.f64)))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 1 l))))) (*.f64 (cbrt.f64 -1) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 l)))))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 l) (log.f64 PI.f64)))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 1 l))))) (*.f64 (cbrt.f64 -1) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 l)))))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 l) (log.f64 PI.f64)))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 1 l))))) (*.f64 (cbrt.f64 -1) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 PI.f64) (log.f64 (/.f64 -1 l)))))) 2.153 * * [simplify]: iteration 0 : 5059 enodes (cost 269 ) 2.155 * [simplify]: Simplified to: (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l)) (log.f64 (tan.f64 (*.f64 PI.f64 l))) (exp.f64 (tan.f64 (*.f64 PI.f64 l))) (*.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) (pow.f64 (tan.f64 (*.f64 PI.f64 l)) 3) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (sqrt.f64 (tan.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (log.f64 (cbrt.f64 (*.f64 PI.f64 l))) (exp.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 PI.f64) (cbrt.f64 l) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l)))) (cbrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (*.f64 PI.f64 l) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (sqrt.f64 (cbrt.f64 (*.f64 PI.f64 l))) (+.f64 (*.f64 2/15 (*.f64 (pow.f64 PI.f64 5) (pow.f64 l 5))) (+.f64 (*.f64 PI.f64 l) (*.f64 1/3 (pow.f64 (*.f64 PI.f64 l) 3)))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (/.f64 (sin.f64 (*.f64 PI.f64 l)) (cos.f64 (*.f64 PI.f64 l))) (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 -1) (cbrt.f64 (*.f64 (*.f64 PI.f64 l) -1))) (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 -1) (cbrt.f64 (*.f64 (*.f64 PI.f64 l) -1))) (cbrt.f64 (*.f64 PI.f64 l)) (cbrt.f64 (*.f64 PI.f64 l)) (*.f64 (cbrt.f64 -1) (cbrt.f64 (*.f64 (*.f64 PI.f64 l) -1))) 2.156 * * * [progress]: adding candidates to table 2.185 * [progress]: [Phase 3 of 3] Extracting. 2.185 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 2.190 * * * [regime-changes]: Trying 4 branch expressions: ((*.f64 F F) (*.f64 PI.f64 l) l F) 2.190 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # # # # # # # # # #) 2.242 * * * * [regimes]: Trying to branch on (*.f64 F F) from (# # # # # # # # #) 2.275 * * * * [regimes]: Trying to branch on (*.f64 PI.f64 l) from (# # # # # # # # # # # # # # # # #) 2.332 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # # # # # # # #) 2.384 * * * * [regimes]: Trying to branch on F from (# # # # # # # # # # # # # # # # #) 2.436 * * * [regime]: Found split indices: #