15.262 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.098 * * * [progress]: [2/2] Setting up program. 0.101 * [progress]: [Phase 2 of 3] Improving. 0.101 * [simplify]: Simplifying using # : (+ (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) 0.104 * * [simplify]: iteration 0 : 25 enodes (cost 7 ) 0.105 * * [simplify]: iteration 1 : 50 enodes (cost 7 ) 0.106 * * [simplify]: iteration 2 : 77 enodes (cost 7 ) 0.108 * * [simplify]: iteration 3 : 96 enodes (cost 7 ) 0.110 * * [simplify]: iteration 4 : 112 enodes (cost 7 ) 0.113 * * [simplify]: iteration 5 : 127 enodes (cost 7 ) 0.115 * * [simplify]: iteration 6 : 141 enodes (cost 7 ) 0.117 * * [simplify]: iteration 7 : 141 enodes (cost 7 ) 0.117 * [simplify]: Simplified to: (* (/ (cos th) (sqrt 2.0)) (+ (* a1 a1) (* a2 a2))) 0.121 * * [progress]: iteration 1 / 4 0.121 * * * [progress]: picking best candidate 0.123 * * * * [pick]: Picked # 0.123 * * * [progress]: localizing error 0.135 * * * [progress]: generating rewritten candidates 0.135 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.139 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.143 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.157 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.180 * * * [progress]: generating series expansions 0.180 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.181 * [approximate]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in (th) around 0 0.181 * [taylor]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in th 0.181 * [taylor]: Taking taylor expansion of (cos th) in th 0.181 * [taylor]: Taking taylor expansion of th in th 0.181 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.181 * [taylor]: Taking taylor expansion of 2.0 in th 0.182 * [taylor]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in th 0.182 * [taylor]: Taking taylor expansion of (cos th) in th 0.182 * [taylor]: Taking taylor expansion of th in th 0.183 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.183 * [taylor]: Taking taylor expansion of 2.0 in th 0.201 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in (th) around 0 0.201 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in th 0.201 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.201 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.201 * [taylor]: Taking taylor expansion of th in th 0.201 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.201 * [taylor]: Taking taylor expansion of 2.0 in th 0.202 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in th 0.202 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.202 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.202 * [taylor]: Taking taylor expansion of th in th 0.203 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.203 * [taylor]: Taking taylor expansion of 2.0 in th 0.219 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in (th) around 0 0.219 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in th 0.219 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.219 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.219 * [taylor]: Taking taylor expansion of -1 in th 0.219 * [taylor]: Taking taylor expansion of th in th 0.219 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.219 * [taylor]: Taking taylor expansion of 2.0 in th 0.220 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in th 0.220 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.220 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.220 * [taylor]: Taking taylor expansion of -1 in th 0.220 * [taylor]: Taking taylor expansion of th in th 0.221 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.221 * [taylor]: Taking taylor expansion of 2.0 in th 0.237 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.237 * [approximate]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in (th) around 0 0.237 * [taylor]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in th 0.237 * [taylor]: Taking taylor expansion of (cos th) in th 0.237 * [taylor]: Taking taylor expansion of th in th 0.237 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.237 * [taylor]: Taking taylor expansion of 2.0 in th 0.238 * [taylor]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in th 0.238 * [taylor]: Taking taylor expansion of (cos th) in th 0.238 * [taylor]: Taking taylor expansion of th in th 0.238 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.238 * [taylor]: Taking taylor expansion of 2.0 in th 0.262 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in (th) around 0 0.262 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in th 0.262 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.262 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.262 * [taylor]: Taking taylor expansion of th in th 0.263 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.263 * [taylor]: Taking taylor expansion of 2.0 in th 0.264 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in th 0.264 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.264 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.264 * [taylor]: Taking taylor expansion of th in th 0.264 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.264 * [taylor]: Taking taylor expansion of 2.0 in th 0.280 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in (th) around 0 0.280 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in th 0.280 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.280 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.280 * [taylor]: Taking taylor expansion of -1 in th 0.280 * [taylor]: Taking taylor expansion of th in th 0.281 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.281 * [taylor]: Taking taylor expansion of 2.0 in th 0.282 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in th 0.282 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.282 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.282 * [taylor]: Taking taylor expansion of -1 in th 0.282 * [taylor]: Taking taylor expansion of th in th 0.282 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.282 * [taylor]: Taking taylor expansion of 2.0 in th 0.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.298 * [approximate]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in (th a2) around 0 0.298 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in a2 0.298 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in a2 0.298 * [taylor]: Taking taylor expansion of (cos th) in a2 0.298 * [taylor]: Taking taylor expansion of th in a2 0.298 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.298 * [taylor]: Taking taylor expansion of a2 in a2 0.299 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 0.299 * [taylor]: Taking taylor expansion of 2.0 in a2 0.300 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in th 0.300 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in th 0.300 * [taylor]: Taking taylor expansion of (cos th) in th 0.300 * [taylor]: Taking taylor expansion of th in th 0.300 * [taylor]: Taking taylor expansion of (pow a2 2) in th 0.300 * [taylor]: Taking taylor expansion of a2 in th 0.300 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.300 * [taylor]: Taking taylor expansion of 2.0 in th 0.302 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in th 0.302 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in th 0.302 * [taylor]: Taking taylor expansion of (cos th) in th 0.302 * [taylor]: Taking taylor expansion of th in th 0.302 * [taylor]: Taking taylor expansion of (pow a2 2) in th 0.302 * [taylor]: Taking taylor expansion of a2 in th 0.302 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.302 * [taylor]: Taking taylor expansion of 2.0 in th 0.303 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 0.303 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.303 * [taylor]: Taking taylor expansion of a2 in a2 0.303 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 0.303 * [taylor]: Taking taylor expansion of 2.0 in a2 0.306 * [taylor]: Taking taylor expansion of 0 in a2 0.311 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow a2 2) (sqrt 2.0)))) in a2 0.311 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow a2 2) (sqrt 2.0))) in a2 0.311 * [taylor]: Taking taylor expansion of 1/2 in a2 0.311 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 0.311 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.311 * [taylor]: Taking taylor expansion of a2 in a2 0.311 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 0.311 * [taylor]: Taking taylor expansion of 2.0 in a2 0.322 * [taylor]: Taking taylor expansion of 0 in a2 0.328 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in (th a2) around 0 0.328 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 0.328 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a2 0.328 * [taylor]: Taking taylor expansion of (/ 1 th) in a2 0.328 * [taylor]: Taking taylor expansion of th in a2 0.328 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 0.328 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 0.328 * [taylor]: Taking taylor expansion of 2.0 in a2 0.329 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.329 * [taylor]: Taking taylor expansion of a2 in a2 0.331 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in th 0.331 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.331 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.331 * [taylor]: Taking taylor expansion of th in th 0.331 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 0.331 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.331 * [taylor]: Taking taylor expansion of 2.0 in th 0.332 * [taylor]: Taking taylor expansion of (pow a2 2) in th 0.332 * [taylor]: Taking taylor expansion of a2 in th 0.332 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in th 0.332 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.333 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.333 * [taylor]: Taking taylor expansion of th in th 0.333 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 0.333 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.333 * [taylor]: Taking taylor expansion of 2.0 in th 0.334 * [taylor]: Taking taylor expansion of (pow a2 2) in th 0.334 * [taylor]: Taking taylor expansion of a2 in th 0.334 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 0.334 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a2 0.334 * [taylor]: Taking taylor expansion of (/ 1 th) in a2 0.334 * [taylor]: Taking taylor expansion of th in a2 0.334 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 0.334 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 0.334 * [taylor]: Taking taylor expansion of 2.0 in a2 0.335 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.335 * [taylor]: Taking taylor expansion of a2 in a2 0.338 * [taylor]: Taking taylor expansion of 0 in a2 0.351 * [taylor]: Taking taylor expansion of 0 in a2 0.360 * [taylor]: Taking taylor expansion of 0 in a2 0.371 * [taylor]: Taking taylor expansion of 0 in a2 0.372 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in (th a2) around 0 0.372 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 0.372 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a2 0.372 * [taylor]: Taking taylor expansion of (/ -1 th) in a2 0.372 * [taylor]: Taking taylor expansion of -1 in a2 0.372 * [taylor]: Taking taylor expansion of th in a2 0.372 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 0.372 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 0.372 * [taylor]: Taking taylor expansion of 2.0 in a2 0.373 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.373 * [taylor]: Taking taylor expansion of a2 in a2 0.374 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in th 0.375 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.375 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.375 * [taylor]: Taking taylor expansion of -1 in th 0.375 * [taylor]: Taking taylor expansion of th in th 0.375 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 0.375 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.375 * [taylor]: Taking taylor expansion of 2.0 in th 0.376 * [taylor]: Taking taylor expansion of (pow a2 2) in th 0.376 * [taylor]: Taking taylor expansion of a2 in th 0.376 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in th 0.376 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.376 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.376 * [taylor]: Taking taylor expansion of -1 in th 0.376 * [taylor]: Taking taylor expansion of th in th 0.377 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 0.377 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.377 * [taylor]: Taking taylor expansion of 2.0 in th 0.377 * [taylor]: Taking taylor expansion of (pow a2 2) in th 0.378 * [taylor]: Taking taylor expansion of a2 in th 0.378 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 0.378 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a2 0.378 * [taylor]: Taking taylor expansion of (/ -1 th) in a2 0.378 * [taylor]: Taking taylor expansion of -1 in a2 0.378 * [taylor]: Taking taylor expansion of th in a2 0.378 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 0.378 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 0.378 * [taylor]: Taking taylor expansion of 2.0 in a2 0.379 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 0.379 * [taylor]: Taking taylor expansion of a2 in a2 0.382 * [taylor]: Taking taylor expansion of 0 in a2 0.389 * [taylor]: Taking taylor expansion of 0 in a2 0.398 * [taylor]: Taking taylor expansion of 0 in a2 0.409 * [taylor]: Taking taylor expansion of 0 in a2 0.409 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.410 * [approximate]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in (th a1) around 0 0.410 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in a1 0.410 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in a1 0.410 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 0.410 * [taylor]: Taking taylor expansion of a1 in a1 0.410 * [taylor]: Taking taylor expansion of (cos th) in a1 0.410 * [taylor]: Taking taylor expansion of th in a1 0.410 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 0.410 * [taylor]: Taking taylor expansion of 2.0 in a1 0.411 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in th 0.411 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in th 0.411 * [taylor]: Taking taylor expansion of (pow a1 2) in th 0.411 * [taylor]: Taking taylor expansion of a1 in th 0.411 * [taylor]: Taking taylor expansion of (cos th) in th 0.412 * [taylor]: Taking taylor expansion of th in th 0.412 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.412 * [taylor]: Taking taylor expansion of 2.0 in th 0.413 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in th 0.413 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in th 0.413 * [taylor]: Taking taylor expansion of (pow a1 2) in th 0.413 * [taylor]: Taking taylor expansion of a1 in th 0.413 * [taylor]: Taking taylor expansion of (cos th) in th 0.413 * [taylor]: Taking taylor expansion of th in th 0.413 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.413 * [taylor]: Taking taylor expansion of 2.0 in th 0.414 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 0.414 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 0.414 * [taylor]: Taking taylor expansion of a1 in a1 0.414 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 0.414 * [taylor]: Taking taylor expansion of 2.0 in a1 0.418 * [taylor]: Taking taylor expansion of 0 in a1 0.422 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow a1 2) (sqrt 2.0)))) in a1 0.422 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow a1 2) (sqrt 2.0))) in a1 0.422 * [taylor]: Taking taylor expansion of 1/2 in a1 0.422 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 0.422 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 0.422 * [taylor]: Taking taylor expansion of a1 in a1 0.422 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 0.422 * [taylor]: Taking taylor expansion of 2.0 in a1 0.439 * [taylor]: Taking taylor expansion of 0 in a1 0.445 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in (th a1) around 0 0.445 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 0.445 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 0.445 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 0.445 * [taylor]: Taking taylor expansion of th in a1 0.445 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 0.445 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 0.445 * [taylor]: Taking taylor expansion of a1 in a1 0.445 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 0.445 * [taylor]: Taking taylor expansion of 2.0 in a1 0.447 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in th 0.447 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.447 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.447 * [taylor]: Taking taylor expansion of th in th 0.448 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 0.448 * [taylor]: Taking taylor expansion of (pow a1 2) in th 0.448 * [taylor]: Taking taylor expansion of a1 in th 0.448 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.448 * [taylor]: Taking taylor expansion of 2.0 in th 0.449 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in th 0.449 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 0.449 * [taylor]: Taking taylor expansion of (/ 1 th) in th 0.449 * [taylor]: Taking taylor expansion of th in th 0.450 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 0.450 * [taylor]: Taking taylor expansion of (pow a1 2) in th 0.450 * [taylor]: Taking taylor expansion of a1 in th 0.450 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.450 * [taylor]: Taking taylor expansion of 2.0 in th 0.451 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 0.451 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 0.451 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 0.451 * [taylor]: Taking taylor expansion of th in a1 0.451 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 0.451 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 0.451 * [taylor]: Taking taylor expansion of a1 in a1 0.451 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 0.451 * [taylor]: Taking taylor expansion of 2.0 in a1 0.455 * [taylor]: Taking taylor expansion of 0 in a1 0.463 * [taylor]: Taking taylor expansion of 0 in a1 0.471 * [taylor]: Taking taylor expansion of 0 in a1 0.481 * [taylor]: Taking taylor expansion of 0 in a1 0.482 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in (th a1) around 0 0.482 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 0.482 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 0.482 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 0.482 * [taylor]: Taking taylor expansion of -1 in a1 0.482 * [taylor]: Taking taylor expansion of th in a1 0.483 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 0.483 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 0.483 * [taylor]: Taking taylor expansion of a1 in a1 0.483 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 0.483 * [taylor]: Taking taylor expansion of 2.0 in a1 0.485 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in th 0.485 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.485 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.485 * [taylor]: Taking taylor expansion of -1 in th 0.485 * [taylor]: Taking taylor expansion of th in th 0.485 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 0.485 * [taylor]: Taking taylor expansion of (pow a1 2) in th 0.485 * [taylor]: Taking taylor expansion of a1 in th 0.485 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.485 * [taylor]: Taking taylor expansion of 2.0 in th 0.487 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in th 0.487 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 0.487 * [taylor]: Taking taylor expansion of (/ -1 th) in th 0.487 * [taylor]: Taking taylor expansion of -1 in th 0.487 * [taylor]: Taking taylor expansion of th in th 0.487 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 0.487 * [taylor]: Taking taylor expansion of (pow a1 2) in th 0.487 * [taylor]: Taking taylor expansion of a1 in th 0.487 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 0.487 * [taylor]: Taking taylor expansion of 2.0 in th 0.488 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 0.488 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 0.488 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 0.488 * [taylor]: Taking taylor expansion of -1 in a1 0.488 * [taylor]: Taking taylor expansion of th in a1 0.489 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 0.489 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 0.489 * [taylor]: Taking taylor expansion of a1 in a1 0.489 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 0.489 * [taylor]: Taking taylor expansion of 2.0 in a1 0.492 * [taylor]: Taking taylor expansion of 0 in a1 0.499 * [taylor]: Taking taylor expansion of 0 in a1 0.507 * [taylor]: Taking taylor expansion of 0 in a1 0.518 * [taylor]: Taking taylor expansion of 0 in a1 0.519 * * * [progress]: simplifying candidates 0.527 * [simplify]: Simplifying using # : (- (log (cos th)) (log (sqrt 2.0))) (log (/ (cos th) (sqrt 2.0))) (exp (/ (cos th) (sqrt 2.0))) (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (cos th) (sqrt 2.0))) (cbrt (/ (cos th) (sqrt 2.0)))) (cbrt (/ (cos th) (sqrt 2.0))) (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (- (cos th)) (- (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt 1)) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) 1) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt 1)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) 1) (/ (sqrt (cos th)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cos th) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (/ 1 1) (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cos th) (sqrt (sqrt 2.0))) (/ (cos th) (sqrt 1)) (/ (cos th) (sqrt (sqrt 2.0))) (/ (cos th) 1) (/ (sqrt 2.0) (cbrt (cos th))) (/ (sqrt 2.0) (sqrt (cos th))) (/ (sqrt 2.0) (cos th)) (- (log (cos th)) (log (sqrt 2.0))) (log (/ (cos th) (sqrt 2.0))) (exp (/ (cos th) (sqrt 2.0))) (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (cos th) (sqrt 2.0))) (cbrt (/ (cos th) (sqrt 2.0)))) (cbrt (/ (cos th) (sqrt 2.0))) (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (- (cos th)) (- (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt 1)) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) 1) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt 1)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) 1) (/ (sqrt (cos th)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cos th) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (/ 1 1) (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cos th) (sqrt (sqrt 2.0))) (/ (cos th) (sqrt 1)) (/ (cos th) (sqrt (sqrt 2.0))) (/ (cos th) 1) (/ (sqrt 2.0) (cbrt (cos th))) (/ (sqrt 2.0) (sqrt (cos th))) (/ (sqrt 2.0) (cos th)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (+ (- (log (cos th)) (log (sqrt 2.0))) (+ (log a2) (log a2))) (+ (- (log (cos th)) (log (sqrt 2.0))) (log (* a2 a2))) (+ (log (/ (cos th) (sqrt 2.0))) (+ (log a2) (log a2))) (+ (log (/ (cos th) (sqrt 2.0))) (log (* a2 a2))) (log (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (exp (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (* (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* a2 a2) a2) (* (* a2 a2) a2))) (* (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* a2 a2) (* a2 a2)) (* a2 a2))) (* (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (* (* (* a2 a2) a2) (* (* a2 a2) a2))) (* (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (* (* (* a2 a2) (* a2 a2)) (* a2 a2))) (* (cbrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2)))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (* (* (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (* (sqrt (/ (cos th) (sqrt 2.0))) a2) (* (sqrt (/ (cos th) (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (cos th) (sqrt 2.0)) a2) (* (cbrt (/ (cos th) (sqrt 2.0))) (* a2 a2)) (* (sqrt (/ (cos th) (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (cbrt (sqrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt (cbrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ 1 (sqrt 2.0)) (* a2 a2)) (* (cos th) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (+ (- (log (cos th)) (log (sqrt 2.0))) (+ (log a1) (log a1))) (+ (- (log (cos th)) (log (sqrt 2.0))) (log (* a1 a1))) (+ (log (/ (cos th) (sqrt 2.0))) (+ (log a1) (log a1))) (+ (log (/ (cos th) (sqrt 2.0))) (log (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (exp (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* a1 a1) a1) (* (* a1 a1) a1))) (* (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* a1 a1) (* a1 a1)) (* a1 a1))) (* (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (* (* (* a1 a1) a1) (* (* a1 a1) a1))) (* (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (* (* (* a1 a1) (* a1 a1)) (* a1 a1))) (* (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1)))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (* (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (cos th) (sqrt 2.0)) a1) (* (cbrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (sqrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ 1 (sqrt 2.0)) (* a1 a1)) (* (cos th) (* a1 a1)) (- (+ (/ 1 (sqrt 2.0)) (* 1/24 (/ (pow th 4) (sqrt 2.0)))) (* 1/2 (/ (pow th 2) (sqrt 2.0)))) (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0)) (- (+ (/ 1 (sqrt 2.0)) (* 1/24 (/ (pow th 4) (sqrt 2.0)))) (* 1/2 (/ (pow th 2) (sqrt 2.0)))) (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0)) (- (/ (pow a2 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a2 2)) (sqrt 2.0)))) (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) (- (/ (pow a1 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a1 2)) (sqrt 2.0)))) (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) 0.534 * * [simplify]: iteration 0 : 504 enodes (cost 1284 ) 0.543 * * [simplify]: iteration 1 : 2009 enodes (cost 1156 ) 0.569 * * [simplify]: iteration 2 : 5001 enodes (cost 1136 ) 0.574 * [simplify]: Simplified to: (log (/ (cos th) (sqrt 2.0))) (log (/ (cos th) (sqrt 2.0))) (exp (/ (cos th) (sqrt 2.0))) (pow (/ (cos th) (sqrt 2.0)) 3) (* (cbrt (/ (cos th) (sqrt 2.0))) (cbrt (/ (cos th) (sqrt 2.0)))) (cbrt (/ (cos th) (sqrt 2.0))) (pow (/ (cos th) (sqrt 2.0)) 3) (sqrt (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (- (cos th)) (- (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (/ (cbrt (cos th)) (/ (fabs (cbrt 2.0)) (cbrt (cos th)))) (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* (cbrt (cos th)) (cbrt (cos th))) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* (cbrt (cos th)) (cbrt (cos th))) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (/ (sqrt (cos th)) (fabs (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (sqrt (cos th)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (sqrt (cos th)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (cbrt (sqrt 2.0))) (/ 1 (* (fabs (cbrt 2.0)) 1)) (/ (cos th) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) 1 (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) 1 (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (sqrt 2.0) (cbrt (cos th))) (/ (sqrt 2.0) (sqrt (cos th))) (/ (sqrt 2.0) (cos th)) (log (/ (cos th) (sqrt 2.0))) (log (/ (cos th) (sqrt 2.0))) (exp (/ (cos th) (sqrt 2.0))) (pow (/ (cos th) (sqrt 2.0)) 3) (* (cbrt (/ (cos th) (sqrt 2.0))) (cbrt (/ (cos th) (sqrt 2.0)))) (cbrt (/ (cos th) (sqrt 2.0))) (pow (/ (cos th) (sqrt 2.0)) 3) (sqrt (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (- (cos th)) (- (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (/ (cbrt (cos th)) (/ (fabs (cbrt 2.0)) (cbrt (cos th)))) (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* (cbrt (cos th)) (cbrt (cos th))) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* (cbrt (cos th)) (cbrt (cos th))) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (/ (sqrt (cos th)) (fabs (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (sqrt (cos th)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (sqrt (cos th)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (cbrt (sqrt 2.0))) (/ 1 (* (fabs (cbrt 2.0)) 1)) (/ (cos th) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) 1 (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) 1 (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (sqrt 2.0) (cbrt (cos th))) (/ (sqrt 2.0) (sqrt (cos th))) (/ (sqrt 2.0) (cos th)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (log (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (log (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (log (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (log (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (log (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (exp (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (pow (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) 3) (* (cbrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2)))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (pow (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) 3) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a2 a2))) (* (sqrt (/ (cos th) (sqrt 2.0))) a2) (* (sqrt (/ (cos th) (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a2) (* (/ (cos th) (sqrt 2.0)) a2) (* (cbrt (/ (cos th) (sqrt 2.0))) (* a2 a2)) (* (sqrt (/ (cos th) (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (cbrt (sqrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt (cbrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (/ (pow a2 2) (sqrt 2.0)) (* (cos th) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (exp (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (* (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1)))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (cos th) (sqrt 2.0)) a1) (* (cbrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (sqrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (/ (pow a1 2) (sqrt 2.0)) (* (cos th) (* a1 a1)) (- (+ (/ 1 (sqrt 2.0)) (* 1/24 (/ (pow th 4) (sqrt 2.0)))) (* 1/2 (/ (pow th 2) (sqrt 2.0)))) (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0)) (- (+ (/ 1 (sqrt 2.0)) (* 1/24 (/ (pow th 4) (sqrt 2.0)))) (* 1/2 (/ (pow th 2) (sqrt 2.0)))) (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0)) (- (/ (pow a2 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a2 2)) (sqrt 2.0)))) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (* (/ (cos th) (sqrt 2.0)) (* a2 a2)) (- (/ (pow a1 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a1 2)) (sqrt 2.0)))) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 0.576 * * * [progress]: adding candidates to table 1.010 * * [progress]: iteration 2 / 4 1.010 * * * [progress]: picking best candidate 1.041 * * * * [pick]: Picked # 1.041 * * * [progress]: localizing error 1.054 * * * [progress]: generating rewritten candidates 1.054 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.058 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.063 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.077 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.111 * * * [progress]: generating series expansions 1.111 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.112 * [approximate]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in (th) around 0 1.112 * [taylor]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in th 1.112 * [taylor]: Taking taylor expansion of (cos th) in th 1.112 * [taylor]: Taking taylor expansion of th in th 1.112 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.112 * [taylor]: Taking taylor expansion of 2.0 in th 1.113 * [taylor]: Taking taylor expansion of (/ (cos th) (sqrt 2.0)) in th 1.113 * [taylor]: Taking taylor expansion of (cos th) in th 1.113 * [taylor]: Taking taylor expansion of th in th 1.113 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.113 * [taylor]: Taking taylor expansion of 2.0 in th 1.132 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in (th) around 0 1.132 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in th 1.132 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 1.132 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.132 * [taylor]: Taking taylor expansion of th in th 1.132 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.132 * [taylor]: Taking taylor expansion of 2.0 in th 1.133 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (sqrt 2.0)) in th 1.133 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 1.133 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.133 * [taylor]: Taking taylor expansion of th in th 1.133 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.133 * [taylor]: Taking taylor expansion of 2.0 in th 1.150 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in (th) around 0 1.150 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in th 1.150 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 1.150 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.150 * [taylor]: Taking taylor expansion of -1 in th 1.150 * [taylor]: Taking taylor expansion of th in th 1.150 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.150 * [taylor]: Taking taylor expansion of 2.0 in th 1.151 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (sqrt 2.0)) in th 1.151 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 1.151 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.151 * [taylor]: Taking taylor expansion of -1 in th 1.151 * [taylor]: Taking taylor expansion of th in th 1.152 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.152 * [taylor]: Taking taylor expansion of 2.0 in th 1.174 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.174 * [approximate]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in (a2) around 0 1.174 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 1.174 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.174 * [taylor]: Taking taylor expansion of a2 in a2 1.174 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.174 * [taylor]: Taking taylor expansion of 2.0 in a2 1.176 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 1.176 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.176 * [taylor]: Taking taylor expansion of a2 in a2 1.176 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.176 * [taylor]: Taking taylor expansion of 2.0 in a2 1.190 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in (a2) around 0 1.190 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 1.190 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.190 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.190 * [taylor]: Taking taylor expansion of 2.0 in a2 1.190 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.190 * [taylor]: Taking taylor expansion of a2 in a2 1.192 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 1.192 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.192 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.192 * [taylor]: Taking taylor expansion of 2.0 in a2 1.192 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.192 * [taylor]: Taking taylor expansion of a2 in a2 1.210 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in (a2) around 0 1.210 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 1.210 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.210 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.210 * [taylor]: Taking taylor expansion of 2.0 in a2 1.211 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.211 * [taylor]: Taking taylor expansion of a2 in a2 1.212 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 1.212 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.212 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.212 * [taylor]: Taking taylor expansion of 2.0 in a2 1.213 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.213 * [taylor]: Taking taylor expansion of a2 in a2 1.230 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.231 * [approximate]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in (th a1) around 0 1.231 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in a1 1.231 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in a1 1.231 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 1.231 * [taylor]: Taking taylor expansion of a1 in a1 1.231 * [taylor]: Taking taylor expansion of (cos th) in a1 1.231 * [taylor]: Taking taylor expansion of th in a1 1.231 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 1.231 * [taylor]: Taking taylor expansion of 2.0 in a1 1.232 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in th 1.232 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in th 1.232 * [taylor]: Taking taylor expansion of (pow a1 2) in th 1.232 * [taylor]: Taking taylor expansion of a1 in th 1.232 * [taylor]: Taking taylor expansion of (cos th) in th 1.232 * [taylor]: Taking taylor expansion of th in th 1.232 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.232 * [taylor]: Taking taylor expansion of 2.0 in th 1.234 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in th 1.234 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in th 1.234 * [taylor]: Taking taylor expansion of (pow a1 2) in th 1.234 * [taylor]: Taking taylor expansion of a1 in th 1.234 * [taylor]: Taking taylor expansion of (cos th) in th 1.234 * [taylor]: Taking taylor expansion of th in th 1.234 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.234 * [taylor]: Taking taylor expansion of 2.0 in th 1.235 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 1.235 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 1.235 * [taylor]: Taking taylor expansion of a1 in a1 1.235 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 1.235 * [taylor]: Taking taylor expansion of 2.0 in a1 1.238 * [taylor]: Taking taylor expansion of 0 in a1 1.248 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow a1 2) (sqrt 2.0)))) in a1 1.248 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow a1 2) (sqrt 2.0))) in a1 1.248 * [taylor]: Taking taylor expansion of 1/2 in a1 1.248 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 1.248 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 1.249 * [taylor]: Taking taylor expansion of a1 in a1 1.249 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 1.249 * [taylor]: Taking taylor expansion of 2.0 in a1 1.259 * [taylor]: Taking taylor expansion of 0 in a1 1.266 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in (th a1) around 0 1.266 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 1.266 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 1.266 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 1.266 * [taylor]: Taking taylor expansion of th in a1 1.266 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 1.266 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 1.266 * [taylor]: Taking taylor expansion of a1 in a1 1.266 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 1.266 * [taylor]: Taking taylor expansion of 2.0 in a1 1.268 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in th 1.268 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 1.268 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.268 * [taylor]: Taking taylor expansion of th in th 1.268 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 1.268 * [taylor]: Taking taylor expansion of (pow a1 2) in th 1.268 * [taylor]: Taking taylor expansion of a1 in th 1.268 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.268 * [taylor]: Taking taylor expansion of 2.0 in th 1.270 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in th 1.270 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 1.270 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.270 * [taylor]: Taking taylor expansion of th in th 1.270 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 1.270 * [taylor]: Taking taylor expansion of (pow a1 2) in th 1.270 * [taylor]: Taking taylor expansion of a1 in th 1.270 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.270 * [taylor]: Taking taylor expansion of 2.0 in th 1.272 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 1.272 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 1.272 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 1.272 * [taylor]: Taking taylor expansion of th in a1 1.272 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 1.272 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 1.272 * [taylor]: Taking taylor expansion of a1 in a1 1.272 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 1.272 * [taylor]: Taking taylor expansion of 2.0 in a1 1.276 * [taylor]: Taking taylor expansion of 0 in a1 1.282 * [taylor]: Taking taylor expansion of 0 in a1 1.291 * [taylor]: Taking taylor expansion of 0 in a1 1.301 * [taylor]: Taking taylor expansion of 0 in a1 1.302 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in (th a1) around 0 1.302 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 1.302 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 1.302 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 1.302 * [taylor]: Taking taylor expansion of -1 in a1 1.302 * [taylor]: Taking taylor expansion of th in a1 1.302 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 1.302 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 1.302 * [taylor]: Taking taylor expansion of a1 in a1 1.302 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 1.302 * [taylor]: Taking taylor expansion of 2.0 in a1 1.304 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in th 1.304 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 1.304 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.304 * [taylor]: Taking taylor expansion of -1 in th 1.304 * [taylor]: Taking taylor expansion of th in th 1.305 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 1.305 * [taylor]: Taking taylor expansion of (pow a1 2) in th 1.305 * [taylor]: Taking taylor expansion of a1 in th 1.305 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.305 * [taylor]: Taking taylor expansion of 2.0 in th 1.306 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in th 1.306 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 1.306 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.306 * [taylor]: Taking taylor expansion of -1 in th 1.306 * [taylor]: Taking taylor expansion of th in th 1.307 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 1.307 * [taylor]: Taking taylor expansion of (pow a1 2) in th 1.307 * [taylor]: Taking taylor expansion of a1 in th 1.307 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.307 * [taylor]: Taking taylor expansion of 2.0 in th 1.308 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 1.308 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 1.308 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 1.308 * [taylor]: Taking taylor expansion of -1 in a1 1.308 * [taylor]: Taking taylor expansion of th in a1 1.308 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 1.308 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 1.308 * [taylor]: Taking taylor expansion of a1 in a1 1.308 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 1.308 * [taylor]: Taking taylor expansion of 2.0 in a1 1.312 * [taylor]: Taking taylor expansion of 0 in a1 1.318 * [taylor]: Taking taylor expansion of 0 in a1 1.327 * [taylor]: Taking taylor expansion of 0 in a1 1.343 * [taylor]: Taking taylor expansion of 0 in a1 1.344 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.344 * [approximate]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in (th a2) around 0 1.344 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in a2 1.344 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in a2 1.344 * [taylor]: Taking taylor expansion of (cos th) in a2 1.344 * [taylor]: Taking taylor expansion of th in a2 1.344 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.344 * [taylor]: Taking taylor expansion of a2 in a2 1.344 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.344 * [taylor]: Taking taylor expansion of 2.0 in a2 1.346 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in th 1.346 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in th 1.346 * [taylor]: Taking taylor expansion of (cos th) in th 1.346 * [taylor]: Taking taylor expansion of th in th 1.346 * [taylor]: Taking taylor expansion of (pow a2 2) in th 1.346 * [taylor]: Taking taylor expansion of a2 in th 1.346 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.346 * [taylor]: Taking taylor expansion of 2.0 in th 1.347 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in th 1.347 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in th 1.347 * [taylor]: Taking taylor expansion of (cos th) in th 1.347 * [taylor]: Taking taylor expansion of th in th 1.347 * [taylor]: Taking taylor expansion of (pow a2 2) in th 1.347 * [taylor]: Taking taylor expansion of a2 in th 1.347 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.347 * [taylor]: Taking taylor expansion of 2.0 in th 1.348 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 1.348 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.348 * [taylor]: Taking taylor expansion of a2 in a2 1.348 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.348 * [taylor]: Taking taylor expansion of 2.0 in a2 1.352 * [taylor]: Taking taylor expansion of 0 in a2 1.356 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow a2 2) (sqrt 2.0)))) in a2 1.356 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow a2 2) (sqrt 2.0))) in a2 1.356 * [taylor]: Taking taylor expansion of 1/2 in a2 1.356 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 1.356 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.356 * [taylor]: Taking taylor expansion of a2 in a2 1.356 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.356 * [taylor]: Taking taylor expansion of 2.0 in a2 1.368 * [taylor]: Taking taylor expansion of 0 in a2 1.374 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in (th a2) around 0 1.374 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 1.374 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a2 1.374 * [taylor]: Taking taylor expansion of (/ 1 th) in a2 1.374 * [taylor]: Taking taylor expansion of th in a2 1.375 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.375 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.375 * [taylor]: Taking taylor expansion of 2.0 in a2 1.375 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.375 * [taylor]: Taking taylor expansion of a2 in a2 1.377 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in th 1.377 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 1.377 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.377 * [taylor]: Taking taylor expansion of th in th 1.377 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 1.377 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.377 * [taylor]: Taking taylor expansion of 2.0 in th 1.378 * [taylor]: Taking taylor expansion of (pow a2 2) in th 1.378 * [taylor]: Taking taylor expansion of a2 in th 1.379 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in th 1.379 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 1.379 * [taylor]: Taking taylor expansion of (/ 1 th) in th 1.379 * [taylor]: Taking taylor expansion of th in th 1.379 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 1.379 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.379 * [taylor]: Taking taylor expansion of 2.0 in th 1.380 * [taylor]: Taking taylor expansion of (pow a2 2) in th 1.380 * [taylor]: Taking taylor expansion of a2 in th 1.380 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 1.380 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a2 1.380 * [taylor]: Taking taylor expansion of (/ 1 th) in a2 1.380 * [taylor]: Taking taylor expansion of th in a2 1.380 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.380 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.381 * [taylor]: Taking taylor expansion of 2.0 in a2 1.381 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.381 * [taylor]: Taking taylor expansion of a2 in a2 1.384 * [taylor]: Taking taylor expansion of 0 in a2 1.391 * [taylor]: Taking taylor expansion of 0 in a2 1.399 * [taylor]: Taking taylor expansion of 0 in a2 1.410 * [taylor]: Taking taylor expansion of 0 in a2 1.411 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in (th a2) around 0 1.411 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 1.411 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a2 1.411 * [taylor]: Taking taylor expansion of (/ -1 th) in a2 1.411 * [taylor]: Taking taylor expansion of -1 in a2 1.411 * [taylor]: Taking taylor expansion of th in a2 1.411 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.411 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.411 * [taylor]: Taking taylor expansion of 2.0 in a2 1.412 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.412 * [taylor]: Taking taylor expansion of a2 in a2 1.414 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in th 1.414 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 1.414 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.414 * [taylor]: Taking taylor expansion of -1 in th 1.414 * [taylor]: Taking taylor expansion of th in th 1.414 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 1.414 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.414 * [taylor]: Taking taylor expansion of 2.0 in th 1.415 * [taylor]: Taking taylor expansion of (pow a2 2) in th 1.415 * [taylor]: Taking taylor expansion of a2 in th 1.415 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in th 1.415 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 1.415 * [taylor]: Taking taylor expansion of (/ -1 th) in th 1.415 * [taylor]: Taking taylor expansion of -1 in th 1.415 * [taylor]: Taking taylor expansion of th in th 1.416 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 1.416 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 1.416 * [taylor]: Taking taylor expansion of 2.0 in th 1.416 * [taylor]: Taking taylor expansion of (pow a2 2) in th 1.416 * [taylor]: Taking taylor expansion of a2 in th 1.417 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 1.417 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a2 1.417 * [taylor]: Taking taylor expansion of (/ -1 th) in a2 1.417 * [taylor]: Taking taylor expansion of -1 in a2 1.417 * [taylor]: Taking taylor expansion of th in a2 1.423 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 1.423 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 1.423 * [taylor]: Taking taylor expansion of 2.0 in a2 1.424 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 1.424 * [taylor]: Taking taylor expansion of a2 in a2 1.427 * [taylor]: Taking taylor expansion of 0 in a2 1.433 * [taylor]: Taking taylor expansion of 0 in a2 1.442 * [taylor]: Taking taylor expansion of 0 in a2 1.453 * [taylor]: Taking taylor expansion of 0 in a2 1.453 * * * [progress]: simplifying candidates 1.457 * [simplify]: Simplifying using # : (- (log (cos th)) (log (sqrt 2.0))) (log (/ (cos th) (sqrt 2.0))) (exp (/ (cos th) (sqrt 2.0))) (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (cos th) (sqrt 2.0))) (cbrt (/ (cos th) (sqrt 2.0)))) (cbrt (/ (cos th) (sqrt 2.0))) (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (- (cos th)) (- (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt 1)) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) 1) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt 1)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) 1) (/ (sqrt (cos th)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cos th) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (/ 1 1) (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cos th) (sqrt (sqrt 2.0))) (/ (cos th) (sqrt 1)) (/ (cos th) (sqrt (sqrt 2.0))) (/ (cos th) 1) (/ (sqrt 2.0) (cbrt (cos th))) (/ (sqrt 2.0) (sqrt (cos th))) (/ (sqrt 2.0) (cos th)) (- (* (log a2) 2) (log (sqrt 2.0))) (- (* (log a2) 2) (log (sqrt 2.0))) (- (log (pow a2 2)) (log (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (exp (/ (pow a2 2) (sqrt 2.0))) (/ (* (* (pow a2 2) (pow a2 2)) (pow a2 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0)))) (cbrt (/ (pow a2 2) (sqrt 2.0))) (* (* (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0))) (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (- (pow a2 2)) (- (sqrt 2.0)) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (cbrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (cbrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt 1)) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) 1) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (sqrt a2) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (sqrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (sqrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt 1)) (/ (pow (sqrt a2) 2) (sqrt 2.0)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) 1) (/ (pow (sqrt a2) 2) (sqrt 2.0)) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) (sqrt 1)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) 1) (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt 1)) (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 1) (/ a2 (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt 1)) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) 1) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (sqrt (pow a2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt 1)) (/ (sqrt (pow a2 2)) (sqrt 2.0)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) 1) (/ (sqrt (pow a2 2)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ 1 1) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 (/ 2 2)) (cbrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 (/ 2 2)) (sqrt (cbrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt 1)) (/ (pow a2 (/ 2 2)) (sqrt 2.0)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) 1) (/ (pow a2 (/ 2 2)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a2 2)) (/ (pow a2 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt 1)) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) 1) (/ (sqrt 2.0) (pow (cbrt a2) 2)) (/ (sqrt 2.0) (pow (sqrt a2) 2)) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (cbrt (pow a2 2))) (/ (sqrt 2.0) (sqrt (pow a2 2))) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) (pow a2 (/ 2 2))) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (+ (- (log (cos th)) (log (sqrt 2.0))) (+ (log a1) (log a1))) (+ (- (log (cos th)) (log (sqrt 2.0))) (log (* a1 a1))) (+ (log (/ (cos th) (sqrt 2.0))) (+ (log a1) (log a1))) (+ (log (/ (cos th) (sqrt 2.0))) (log (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (exp (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* a1 a1) a1) (* (* a1 a1) a1))) (* (/ (* (* (cos th) (cos th)) (cos th)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* a1 a1) (* a1 a1)) (* a1 a1))) (* (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (* (* (* a1 a1) a1) (* (* a1 a1) a1))) (* (* (* (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0))) (/ (cos th) (sqrt 2.0))) (* (* (* a1 a1) (* a1 a1)) (* a1 a1))) (* (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1)))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (* (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (cos th) (sqrt 2.0)) a1) (* (cbrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (sqrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ 1 (sqrt 2.0)) (* a1 a1)) (* (cos th) (* a1 a1)) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (+ (log (cos th)) (- (* (log a2) 2) (log (sqrt 2.0)))) (+ (log (cos th)) (- (* (log a2) 2) (log (sqrt 2.0)))) (+ (log (cos th)) (- (log (pow a2 2)) (log (sqrt 2.0)))) (+ (log (cos th)) (log (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (exp (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (* (* (cos th) (cos th)) (cos th)) (/ (* (* (pow a2 2) (pow a2 2)) (pow a2 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (cos th) (cos th)) (cos th)) (* (* (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0))) (/ (pow a2 2) (sqrt 2.0)))) (* (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0))))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (* (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0))))) (* (cos th) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt 1))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) 1)) (* (cos th) (/ (pow (sqrt a2) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt 1))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (sqrt a2) 2) 1)) (* (cos th) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow 1 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow 1 2) (sqrt 1))) (* (cos th) (/ (pow 1 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow 1 2) 1)) (* (cos th) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ a2 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ a2 (sqrt (sqrt 2.0)))) (* (cos th) (/ a2 (sqrt 1))) (* (cos th) (/ a2 (sqrt (sqrt 2.0)))) (* (cos th) (/ a2 1)) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt 1))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) 1)) (* (cos th) (/ (sqrt (pow a2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt 1))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (sqrt (pow a2 2)) 1)) (* (cos th) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ 1 (sqrt (sqrt 2.0)))) (* (cos th) (/ 1 (sqrt 1))) (* (cos th) (/ 1 (sqrt (sqrt 2.0)))) (* (cos th) (/ 1 1)) (* (cos th) (/ (pow a2 (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt 1))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow a2 (/ 2 2)) 1)) (* (cos th) 1) (* (cos th) (pow a2 2)) (* (cbrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (sqrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (pow a2 2)) (- (+ (/ 1 (sqrt 2.0)) (* 1/24 (/ (pow th 4) (sqrt 2.0)))) (* 1/2 (/ (pow th 2) (sqrt 2.0)))) (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (- (/ (pow a1 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a1 2)) (sqrt 2.0)))) (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) (- (/ (pow a2 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a2 2)) (sqrt 2.0)))) (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) 1.466 * * [simplify]: iteration 0 : 693 enodes (cost 1786 ) 1.478 * * [simplify]: iteration 1 : 3017 enodes (cost 1552 ) 1.520 * * [simplify]: iteration 2 : 5001 enodes (cost 1540 ) 1.528 * [simplify]: Simplified to: (log (/ (cos th) (sqrt 2.0))) (log (/ (cos th) (sqrt 2.0))) (exp (/ (cos th) (sqrt 2.0))) (pow (/ (cos th) (sqrt 2.0)) 3) (* (cbrt (/ (cos th) (sqrt 2.0))) (cbrt (/ (cos th) (sqrt 2.0)))) (cbrt (/ (cos th) (sqrt 2.0))) (pow (/ (cos th) (sqrt 2.0)) 3) (sqrt (/ (cos th) (sqrt 2.0))) (sqrt (/ (cos th) (sqrt 2.0))) (- (cos th)) (- (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (/ (cbrt (cos th)) (/ (fabs (cbrt 2.0)) (cbrt (cos th)))) (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* (cbrt (cos th)) (cbrt (cos th))) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (* (cbrt (cos th)) (cbrt (cos th))) (sqrt (sqrt 2.0))) (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* (cbrt (cos th)) (cbrt (cos th))) (/ (cbrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (/ (sqrt (cos th)) (fabs (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (sqrt (cos th)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (sqrt (cos th)) (/ (sqrt (cos th)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (cos th) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) 1 (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) 1 (/ (cos th) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (sqrt 2.0) (cbrt (cos th))) (/ (sqrt 2.0) (sqrt (cos th))) (/ (sqrt 2.0) (cos th)) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (exp (/ (pow a2 2) (sqrt 2.0))) (pow (/ (pow a2 2) (sqrt 2.0)) 3) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0)))) (cbrt (/ (pow a2 2) (sqrt 2.0))) (pow (/ (pow a2 2) (sqrt 2.0)) 3) (sqrt (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (- (pow a2 2)) (- (sqrt 2.0)) (/ (pow (cbrt a2) 4) (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)) (/ (pow (cbrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (cbrt a2) 4) (* (fabs (cbrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (cbrt a2) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (pow (cbrt a2) 4) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (cbrt a2) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (pow (cbrt a2) 4) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (/ (fabs (cbrt 2.0)) (cbrt (pow a2 2)))) (/ (cbrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (/ (fabs a2) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0))) (/ (fabs a2) (cbrt (sqrt 2.0))) (/ (fabs a2) (fabs (cbrt 2.0))) (/ (fabs a2) (sqrt (cbrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (fabs a2) (/ (fabs a2) (sqrt 2.0)) (/ (fabs a2) (sqrt (sqrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (fabs a2) (/ (fabs a2) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a2 2)) (/ (pow a2 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (/ (fabs (cbrt 2.0)) a2)) (/ (pow a2 2) (sqrt (sqrt 2.0))) (pow a2 2) (/ (pow a2 2) (sqrt (sqrt 2.0))) (pow a2 2) (/ (sqrt 2.0) (pow (cbrt a2) 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (cbrt (pow a2 2))) (/ (sqrt 2.0) (fabs a2)) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (log (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (exp (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (* (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1)))) (cbrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (pow (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) 3) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (sqrt (* (/ (cos th) (sqrt 2.0)) (* a1 a1))) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (sqrt (/ (cos th) (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) a1) (* (/ (cos th) (sqrt 2.0)) a1) (* (cbrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (sqrt (/ (cos th) (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cbrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (sqrt (cos th)) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (cbrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (cbrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (/ (pow a1 2) (sqrt 2.0)) (* (cos th) (* a1 a1)) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (exp (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (pow (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 3) (pow (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 3) (* (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0))))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (pow (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 3) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (* (cos th) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0))))) (* (cos th) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (/ (* (cos th) (pow (cbrt a2) 4)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) (pow (cbrt a2) 4)) (fabs (cbrt 2.0))) (/ (* (cos th) (pow (cbrt a2) 4)) (sqrt (sqrt 2.0))) (* (pow (cbrt a2) 4) (cos th)) (/ (* (cos th) (pow (cbrt a2) 4)) (sqrt (sqrt 2.0))) (* (pow (cbrt a2) 4) (cos th)) (/ (* (cos th) a2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a2) (fabs (cbrt 2.0))) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (* (cos th) a2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a2) (fabs (cbrt 2.0))) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (cos th) (* (cbrt (pow a2 2)) (cbrt (pow a2 2)))) (fabs (cbrt 2.0))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (cos th)) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (cos th)) (* (/ (cos th) (cbrt (sqrt 2.0))) (/ (fabs a2) (cbrt (sqrt 2.0)))) (/ (* (cos th) (fabs a2)) (fabs (cbrt 2.0))) (/ (* (cos th) (fabs a2)) (sqrt (sqrt 2.0))) (* (fabs a2) (cos th)) (/ (* (cos th) (fabs a2)) (sqrt (sqrt 2.0))) (* (fabs a2) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (* (cos th) a2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a2) (fabs (cbrt 2.0))) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (cos th) (* (cos th) (pow a2 2)) (* (cbrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (sqrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (pow a2 2)) (- (+ (/ 1 (sqrt 2.0)) (* 1/24 (/ (pow th 4) (sqrt 2.0)))) (* 1/2 (/ (pow th 2) (sqrt 2.0)))) (/ (cos th) (sqrt 2.0)) (/ (cos th) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (- (/ (pow a1 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a1 2)) (sqrt 2.0)))) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (* (/ (cos th) (sqrt 2.0)) (* a1 a1)) (- (/ (pow a2 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a2 2)) (sqrt 2.0)))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 1.529 * * * [progress]: adding candidates to table 2.089 * * [progress]: iteration 3 / 4 2.089 * * * [progress]: picking best candidate 2.108 * * * * [pick]: Picked # 2.108 * * * [progress]: localizing error 2.122 * * * [progress]: generating rewritten candidates 2.122 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.131 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 2.136 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.157 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 2.194 * * * [progress]: generating series expansions 2.194 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.195 * [approximate]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in (a1) around 0 2.195 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 2.195 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.195 * [taylor]: Taking taylor expansion of a1 in a1 2.195 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.195 * [taylor]: Taking taylor expansion of 2.0 in a1 2.197 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 2.197 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.197 * [taylor]: Taking taylor expansion of a1 in a1 2.197 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.197 * [taylor]: Taking taylor expansion of 2.0 in a1 2.211 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a1 2) (sqrt 2.0))) in (a1) around 0 2.211 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a1 2) (sqrt 2.0))) in a1 2.211 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.211 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.211 * [taylor]: Taking taylor expansion of a1 in a1 2.211 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.211 * [taylor]: Taking taylor expansion of 2.0 in a1 2.213 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a1 2) (sqrt 2.0))) in a1 2.213 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.213 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.213 * [taylor]: Taking taylor expansion of a1 in a1 2.213 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.213 * [taylor]: Taking taylor expansion of 2.0 in a1 2.232 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a1 2) (sqrt 2.0))) in (a1) around 0 2.232 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a1 2) (sqrt 2.0))) in a1 2.232 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.232 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.232 * [taylor]: Taking taylor expansion of a1 in a1 2.232 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.232 * [taylor]: Taking taylor expansion of 2.0 in a1 2.234 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a1 2) (sqrt 2.0))) in a1 2.234 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.234 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.234 * [taylor]: Taking taylor expansion of a1 in a1 2.234 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.234 * [taylor]: Taking taylor expansion of 2.0 in a1 2.252 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 2.252 * [approximate]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in (a2) around 0 2.253 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 2.253 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.253 * [taylor]: Taking taylor expansion of a2 in a2 2.253 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.253 * [taylor]: Taking taylor expansion of 2.0 in a2 2.254 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 2.254 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.254 * [taylor]: Taking taylor expansion of a2 in a2 2.254 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.254 * [taylor]: Taking taylor expansion of 2.0 in a2 2.268 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in (a2) around 0 2.268 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 2.268 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.268 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.268 * [taylor]: Taking taylor expansion of 2.0 in a2 2.268 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.268 * [taylor]: Taking taylor expansion of a2 in a2 2.276 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 2.276 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.276 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.276 * [taylor]: Taking taylor expansion of 2.0 in a2 2.276 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.276 * [taylor]: Taking taylor expansion of a2 in a2 2.294 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in (a2) around 0 2.294 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 2.294 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.294 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.294 * [taylor]: Taking taylor expansion of 2.0 in a2 2.295 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.295 * [taylor]: Taking taylor expansion of a2 in a2 2.296 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 2.296 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.296 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.296 * [taylor]: Taking taylor expansion of 2.0 in a2 2.297 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.297 * [taylor]: Taking taylor expansion of a2 in a2 2.314 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 2.315 * [approximate]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in (th a1) around 0 2.315 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in a1 2.315 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in a1 2.315 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.315 * [taylor]: Taking taylor expansion of a1 in a1 2.315 * [taylor]: Taking taylor expansion of (cos th) in a1 2.315 * [taylor]: Taking taylor expansion of th in a1 2.315 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.315 * [taylor]: Taking taylor expansion of 2.0 in a1 2.316 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in th 2.316 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in th 2.316 * [taylor]: Taking taylor expansion of (pow a1 2) in th 2.316 * [taylor]: Taking taylor expansion of a1 in th 2.316 * [taylor]: Taking taylor expansion of (cos th) in th 2.316 * [taylor]: Taking taylor expansion of th in th 2.316 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.316 * [taylor]: Taking taylor expansion of 2.0 in th 2.318 * [taylor]: Taking taylor expansion of (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) in th 2.318 * [taylor]: Taking taylor expansion of (* (pow a1 2) (cos th)) in th 2.318 * [taylor]: Taking taylor expansion of (pow a1 2) in th 2.318 * [taylor]: Taking taylor expansion of a1 in th 2.318 * [taylor]: Taking taylor expansion of (cos th) in th 2.318 * [taylor]: Taking taylor expansion of th in th 2.318 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.318 * [taylor]: Taking taylor expansion of 2.0 in th 2.319 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 2.319 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.319 * [taylor]: Taking taylor expansion of a1 in a1 2.319 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.319 * [taylor]: Taking taylor expansion of 2.0 in a1 2.323 * [taylor]: Taking taylor expansion of 0 in a1 2.327 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow a1 2) (sqrt 2.0)))) in a1 2.327 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow a1 2) (sqrt 2.0))) in a1 2.327 * [taylor]: Taking taylor expansion of 1/2 in a1 2.327 * [taylor]: Taking taylor expansion of (/ (pow a1 2) (sqrt 2.0)) in a1 2.327 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.327 * [taylor]: Taking taylor expansion of a1 in a1 2.327 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.327 * [taylor]: Taking taylor expansion of 2.0 in a1 2.338 * [taylor]: Taking taylor expansion of 0 in a1 2.344 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in (th a1) around 0 2.345 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 2.345 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 2.345 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 2.345 * [taylor]: Taking taylor expansion of th in a1 2.345 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.345 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.345 * [taylor]: Taking taylor expansion of a1 in a1 2.345 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.345 * [taylor]: Taking taylor expansion of 2.0 in a1 2.347 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in th 2.347 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 2.347 * [taylor]: Taking taylor expansion of (/ 1 th) in th 2.347 * [taylor]: Taking taylor expansion of th in th 2.347 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 2.347 * [taylor]: Taking taylor expansion of (pow a1 2) in th 2.347 * [taylor]: Taking taylor expansion of a1 in th 2.347 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.347 * [taylor]: Taking taylor expansion of 2.0 in th 2.349 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in th 2.349 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 2.349 * [taylor]: Taking taylor expansion of (/ 1 th) in th 2.349 * [taylor]: Taking taylor expansion of th in th 2.349 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 2.349 * [taylor]: Taking taylor expansion of (pow a1 2) in th 2.349 * [taylor]: Taking taylor expansion of a1 in th 2.349 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.349 * [taylor]: Taking taylor expansion of 2.0 in th 2.350 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 2.350 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 2.350 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 2.350 * [taylor]: Taking taylor expansion of th in a1 2.351 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.351 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.351 * [taylor]: Taking taylor expansion of a1 in a1 2.351 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.351 * [taylor]: Taking taylor expansion of 2.0 in a1 2.360 * [taylor]: Taking taylor expansion of 0 in a1 2.366 * [taylor]: Taking taylor expansion of 0 in a1 2.375 * [taylor]: Taking taylor expansion of 0 in a1 2.385 * [taylor]: Taking taylor expansion of 0 in a1 2.386 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in (th a1) around 0 2.386 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 2.386 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 2.386 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 2.386 * [taylor]: Taking taylor expansion of -1 in a1 2.386 * [taylor]: Taking taylor expansion of th in a1 2.386 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.386 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.386 * [taylor]: Taking taylor expansion of a1 in a1 2.386 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.386 * [taylor]: Taking taylor expansion of 2.0 in a1 2.388 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in th 2.388 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 2.388 * [taylor]: Taking taylor expansion of (/ -1 th) in th 2.388 * [taylor]: Taking taylor expansion of -1 in th 2.388 * [taylor]: Taking taylor expansion of th in th 2.389 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 2.389 * [taylor]: Taking taylor expansion of (pow a1 2) in th 2.389 * [taylor]: Taking taylor expansion of a1 in th 2.389 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.389 * [taylor]: Taking taylor expansion of 2.0 in th 2.390 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in th 2.390 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 2.390 * [taylor]: Taking taylor expansion of (/ -1 th) in th 2.390 * [taylor]: Taking taylor expansion of -1 in th 2.390 * [taylor]: Taking taylor expansion of th in th 2.391 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in th 2.391 * [taylor]: Taking taylor expansion of (pow a1 2) in th 2.391 * [taylor]: Taking taylor expansion of a1 in th 2.391 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.391 * [taylor]: Taking taylor expansion of 2.0 in th 2.392 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (pow a1 2) (sqrt 2.0))) in a1 2.392 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 2.392 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 2.392 * [taylor]: Taking taylor expansion of -1 in a1 2.392 * [taylor]: Taking taylor expansion of th in a1 2.392 * [taylor]: Taking taylor expansion of (* (pow a1 2) (sqrt 2.0)) in a1 2.392 * [taylor]: Taking taylor expansion of (pow a1 2) in a1 2.392 * [taylor]: Taking taylor expansion of a1 in a1 2.392 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 2.392 * [taylor]: Taking taylor expansion of 2.0 in a1 2.396 * [taylor]: Taking taylor expansion of 0 in a1 2.402 * [taylor]: Taking taylor expansion of 0 in a1 2.411 * [taylor]: Taking taylor expansion of 0 in a1 2.422 * [taylor]: Taking taylor expansion of 0 in a1 2.422 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 2.423 * [approximate]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in (th a2) around 0 2.423 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in a2 2.423 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in a2 2.423 * [taylor]: Taking taylor expansion of (cos th) in a2 2.423 * [taylor]: Taking taylor expansion of th in a2 2.423 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.423 * [taylor]: Taking taylor expansion of a2 in a2 2.423 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.423 * [taylor]: Taking taylor expansion of 2.0 in a2 2.424 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in th 2.424 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in th 2.424 * [taylor]: Taking taylor expansion of (cos th) in th 2.424 * [taylor]: Taking taylor expansion of th in th 2.424 * [taylor]: Taking taylor expansion of (pow a2 2) in th 2.424 * [taylor]: Taking taylor expansion of a2 in th 2.424 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.424 * [taylor]: Taking taylor expansion of 2.0 in th 2.425 * [taylor]: Taking taylor expansion of (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) in th 2.425 * [taylor]: Taking taylor expansion of (* (cos th) (pow a2 2)) in th 2.425 * [taylor]: Taking taylor expansion of (cos th) in th 2.425 * [taylor]: Taking taylor expansion of th in th 2.426 * [taylor]: Taking taylor expansion of (pow a2 2) in th 2.426 * [taylor]: Taking taylor expansion of a2 in th 2.426 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.426 * [taylor]: Taking taylor expansion of 2.0 in th 2.427 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 2.427 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.427 * [taylor]: Taking taylor expansion of a2 in a2 2.427 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.427 * [taylor]: Taking taylor expansion of 2.0 in a2 2.431 * [taylor]: Taking taylor expansion of 0 in a2 2.435 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow a2 2) (sqrt 2.0)))) in a2 2.435 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow a2 2) (sqrt 2.0))) in a2 2.435 * [taylor]: Taking taylor expansion of 1/2 in a2 2.435 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 2.435 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.435 * [taylor]: Taking taylor expansion of a2 in a2 2.435 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.435 * [taylor]: Taking taylor expansion of 2.0 in a2 2.452 * [taylor]: Taking taylor expansion of 0 in a2 2.458 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in (th a2) around 0 2.458 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 2.458 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a2 2.458 * [taylor]: Taking taylor expansion of (/ 1 th) in a2 2.458 * [taylor]: Taking taylor expansion of th in a2 2.458 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.458 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.458 * [taylor]: Taking taylor expansion of 2.0 in a2 2.459 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.459 * [taylor]: Taking taylor expansion of a2 in a2 2.461 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in th 2.461 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 2.461 * [taylor]: Taking taylor expansion of (/ 1 th) in th 2.461 * [taylor]: Taking taylor expansion of th in th 2.461 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 2.461 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.461 * [taylor]: Taking taylor expansion of 2.0 in th 2.462 * [taylor]: Taking taylor expansion of (pow a2 2) in th 2.462 * [taylor]: Taking taylor expansion of a2 in th 2.462 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in th 2.462 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 2.462 * [taylor]: Taking taylor expansion of (/ 1 th) in th 2.462 * [taylor]: Taking taylor expansion of th in th 2.463 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 2.463 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.463 * [taylor]: Taking taylor expansion of 2.0 in th 2.463 * [taylor]: Taking taylor expansion of (pow a2 2) in th 2.463 * [taylor]: Taking taylor expansion of a2 in th 2.464 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 2.464 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a2 2.464 * [taylor]: Taking taylor expansion of (/ 1 th) in a2 2.464 * [taylor]: Taking taylor expansion of th in a2 2.464 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.464 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.464 * [taylor]: Taking taylor expansion of 2.0 in a2 2.465 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.465 * [taylor]: Taking taylor expansion of a2 in a2 2.468 * [taylor]: Taking taylor expansion of 0 in a2 2.474 * [taylor]: Taking taylor expansion of 0 in a2 2.483 * [taylor]: Taking taylor expansion of 0 in a2 2.495 * [taylor]: Taking taylor expansion of 0 in a2 2.495 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in (th a2) around 0 2.495 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 2.495 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a2 2.496 * [taylor]: Taking taylor expansion of (/ -1 th) in a2 2.496 * [taylor]: Taking taylor expansion of -1 in a2 2.496 * [taylor]: Taking taylor expansion of th in a2 2.496 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.496 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.496 * [taylor]: Taking taylor expansion of 2.0 in a2 2.496 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.496 * [taylor]: Taking taylor expansion of a2 in a2 2.498 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in th 2.498 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 2.498 * [taylor]: Taking taylor expansion of (/ -1 th) in th 2.498 * [taylor]: Taking taylor expansion of -1 in th 2.498 * [taylor]: Taking taylor expansion of th in th 2.498 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 2.498 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.498 * [taylor]: Taking taylor expansion of 2.0 in th 2.499 * [taylor]: Taking taylor expansion of (pow a2 2) in th 2.499 * [taylor]: Taking taylor expansion of a2 in th 2.500 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in th 2.500 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 2.500 * [taylor]: Taking taylor expansion of (/ -1 th) in th 2.500 * [taylor]: Taking taylor expansion of -1 in th 2.500 * [taylor]: Taking taylor expansion of th in th 2.500 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in th 2.500 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 2.500 * [taylor]: Taking taylor expansion of 2.0 in th 2.501 * [taylor]: Taking taylor expansion of (pow a2 2) in th 2.501 * [taylor]: Taking taylor expansion of a2 in th 2.501 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 th)) (* (sqrt 2.0) (pow a2 2))) in a2 2.501 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a2 2.502 * [taylor]: Taking taylor expansion of (/ -1 th) in a2 2.502 * [taylor]: Taking taylor expansion of -1 in a2 2.502 * [taylor]: Taking taylor expansion of th in a2 2.502 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 2.502 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 2.502 * [taylor]: Taking taylor expansion of 2.0 in a2 2.502 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 2.502 * [taylor]: Taking taylor expansion of a2 in a2 2.505 * [taylor]: Taking taylor expansion of 0 in a2 2.512 * [taylor]: Taking taylor expansion of 0 in a2 2.521 * [taylor]: Taking taylor expansion of 0 in a2 2.532 * [taylor]: Taking taylor expansion of 0 in a2 2.538 * * * [progress]: simplifying candidates 2.542 * [simplify]: Simplifying using # : (- (* (log a1) 2) (log (sqrt 2.0))) (- (* (log a1) 2) (log (sqrt 2.0))) (- (log (pow a1 2)) (log (sqrt 2.0))) (log (/ (pow a1 2) (sqrt 2.0))) (exp (/ (pow a1 2) (sqrt 2.0))) (/ (* (* (pow a1 2) (pow a1 2)) (pow a1 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (pow a1 2) (sqrt 2.0))) (cbrt (/ (pow a1 2) (sqrt 2.0)))) (cbrt (/ (pow a1 2) (sqrt 2.0))) (* (* (/ (pow a1 2) (sqrt 2.0)) (/ (pow a1 2) (sqrt 2.0))) (/ (pow a1 2) (sqrt 2.0))) (sqrt (/ (pow a1 2) (sqrt 2.0))) (sqrt (/ (pow a1 2) (sqrt 2.0))) (- (pow a1 2)) (- (sqrt 2.0)) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (cbrt a1) 2) (cbrt (sqrt 2.0))) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (cbrt a1) 2) (sqrt (cbrt 2.0))) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a1) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt 1)) (/ (pow (cbrt a1) 2) (sqrt 2.0)) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a1) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a1) (cbrt a1)) 2) 1) (/ (pow (cbrt a1) 2) (sqrt 2.0)) (/ (pow (sqrt a1) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (sqrt a1) 2) (cbrt (sqrt 2.0))) (/ (pow (sqrt a1) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (sqrt a1) 2) (sqrt (cbrt 2.0))) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a1) 2) (sqrt 1)) (/ (pow (sqrt a1) 2) (sqrt 2.0)) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a1) 2) 1) (/ (pow (sqrt a1) 2) (sqrt 2.0)) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a1 2) (cbrt (sqrt 2.0))) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a1 2) (sqrt (cbrt 2.0))) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) (sqrt 1)) (/ (pow a1 2) (sqrt 2.0)) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) 1) (/ (pow a1 2) (sqrt 2.0)) (/ a1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a1 (cbrt (sqrt 2.0))) (/ a1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ a1 (sqrt (cbrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt 1)) (/ a1 (sqrt 2.0)) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) (/ a1 1) (/ a1 (sqrt 2.0)) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a1 2)) (cbrt (sqrt 2.0))) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (pow a1 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt 1)) (/ (cbrt (pow a1 2)) (sqrt 2.0)) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) 1) (/ (cbrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt (pow a1 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a1 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a1 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt 1)) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) 1) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a1 2) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a1 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (pow a1 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) (/ 1 1) (/ (pow a1 2) (sqrt 2.0)) (/ (pow a1 (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a1 (/ 2 2)) (cbrt (sqrt 2.0))) (/ (pow a1 (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a1 (/ 2 2)) (sqrt (cbrt 2.0))) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a1 (/ 2 2)) (sqrt 1)) (/ (pow a1 (/ 2 2)) (sqrt 2.0)) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a1 (/ 2 2)) 1) (/ (pow a1 (/ 2 2)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a1 2)) (/ (pow a1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a1 2) (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt 1)) (/ (pow a1 2) (sqrt (sqrt 2.0))) (/ (pow a1 2) 1) (/ (sqrt 2.0) (pow (cbrt a1) 2)) (/ (sqrt 2.0) (pow (sqrt a1) 2)) (/ (sqrt 2.0) (pow a1 2)) (/ (sqrt 2.0) a1) (/ (sqrt 2.0) (cbrt (pow a1 2))) (/ (sqrt 2.0) (sqrt (pow a1 2))) (/ (sqrt 2.0) (pow a1 2)) (/ (sqrt 2.0) (pow a1 (/ 2 2))) (- (* (log a2) 2) (log (sqrt 2.0))) (- (* (log a2) 2) (log (sqrt 2.0))) (- (log (pow a2 2)) (log (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (exp (/ (pow a2 2) (sqrt 2.0))) (/ (* (* (pow a2 2) (pow a2 2)) (pow a2 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0)))) (cbrt (/ (pow a2 2) (sqrt 2.0))) (* (* (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0))) (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (- (pow a2 2)) (- (sqrt 2.0)) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (cbrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (cbrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt 1)) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) 1) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (sqrt a2) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (sqrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (sqrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt 1)) (/ (pow (sqrt a2) 2) (sqrt 2.0)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) 1) (/ (pow (sqrt a2) 2) (sqrt 2.0)) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) (sqrt 1)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) 1) (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt 1)) (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 1) (/ a2 (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt 1)) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) 1) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (sqrt (pow a2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt 1)) (/ (sqrt (pow a2 2)) (sqrt 2.0)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) 1) (/ (sqrt (pow a2 2)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ 1 1) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 (/ 2 2)) (cbrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 (/ 2 2)) (sqrt (cbrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt 1)) (/ (pow a2 (/ 2 2)) (sqrt 2.0)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) 1) (/ (pow a2 (/ 2 2)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a2 2)) (/ (pow a2 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt 1)) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) 1) (/ (sqrt 2.0) (pow (cbrt a2) 2)) (/ (sqrt 2.0) (pow (sqrt a2) 2)) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (cbrt (pow a2 2))) (/ (sqrt 2.0) (sqrt (pow a2 2))) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) (pow a2 (/ 2 2))) (* (cos th) (/ (pow a1 2) (sqrt 2.0))) (+ (log (cos th)) (- (* (log a1) 2) (log (sqrt 2.0)))) (+ (log (cos th)) (- (* (log a1) 2) (log (sqrt 2.0)))) (+ (log (cos th)) (- (log (pow a1 2)) (log (sqrt 2.0)))) (+ (log (cos th)) (log (/ (pow a1 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (exp (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (* (* (* (cos th) (cos th)) (cos th)) (/ (* (* (pow a1 2) (pow a1 2)) (pow a1 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (cos th) (cos th)) (cos th)) (* (* (/ (pow a1 2) (sqrt 2.0)) (/ (pow a1 2) (sqrt 2.0))) (/ (pow a1 2) (sqrt 2.0)))) (* (cbrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (cbrt (* (cos th) (/ (pow a1 2) (sqrt 2.0))))) (cbrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (* (* (* (cos th) (/ (pow a1 2) (sqrt 2.0))) (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a1 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a1 2) (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a1 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a1 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a1 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a1 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (* (cbrt (/ (pow a1 2) (sqrt 2.0))) (cbrt (/ (pow a1 2) (sqrt 2.0))))) (* (cos th) (sqrt (/ (pow a1 2) (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt 1))) (* (cos th) (/ (pow (* (cbrt a1) (cbrt a1)) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a1) (cbrt a1)) 2) 1)) (* (cos th) (/ (pow (sqrt a1) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow (sqrt a1) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (sqrt a1) 2) (sqrt 1))) (* (cos th) (/ (pow (sqrt a1) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (sqrt a1) 2) 1)) (* (cos th) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow 1 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow 1 2) (sqrt 1))) (* (cos th) (/ (pow 1 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow 1 2) 1)) (* (cos th) (/ a1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ a1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ a1 (sqrt (sqrt 2.0)))) (* (cos th) (/ a1 (sqrt 1))) (* (cos th) (/ a1 (sqrt (sqrt 2.0)))) (* (cos th) (/ a1 1)) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt 1))) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) 1)) (* (cos th) (/ (sqrt (pow a1 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (sqrt (pow a1 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (sqrt (pow a1 2)) (sqrt 1))) (* (cos th) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (sqrt (pow a1 2)) 1)) (* (cos th) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ 1 (sqrt (sqrt 2.0)))) (* (cos th) (/ 1 (sqrt 1))) (* (cos th) (/ 1 (sqrt (sqrt 2.0)))) (* (cos th) (/ 1 1)) (* (cos th) (/ (pow a1 (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow a1 (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow a1 (/ 2 2)) (sqrt 1))) (* (cos th) (/ (pow a1 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow a1 (/ 2 2)) 1)) (* (cos th) 1) (* (cos th) (pow a1 2)) (* (cbrt (cos th)) (/ (pow a1 2) (sqrt 2.0))) (* (sqrt (cos th)) (/ (pow a1 2) (sqrt 2.0))) (* (cos th) (/ (pow a1 2) (sqrt 2.0))) (* (cos th) (pow a1 2)) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (+ (log (cos th)) (- (* (log a2) 2) (log (sqrt 2.0)))) (+ (log (cos th)) (- (* (log a2) 2) (log (sqrt 2.0)))) (+ (log (cos th)) (- (log (pow a2 2)) (log (sqrt 2.0)))) (+ (log (cos th)) (log (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (exp (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (* (* (cos th) (cos th)) (cos th)) (/ (* (* (pow a2 2) (pow a2 2)) (pow a2 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (cos th) (cos th)) (cos th)) (* (* (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0))) (/ (pow a2 2) (sqrt 2.0)))) (* (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0))))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (* (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ a2 (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (sqrt (cos th)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0))))) (* (cos th) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt 1))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (* (cbrt a2) (cbrt a2)) 2) 1)) (* (cos th) (/ (pow (sqrt a2) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt 1))) (* (cos th) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow (sqrt a2) 2) 1)) (* (cos th) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow 1 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow 1 2) (sqrt 1))) (* (cos th) (/ (pow 1 2) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow 1 2) 1)) (* (cos th) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ a2 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ a2 (sqrt (sqrt 2.0)))) (* (cos th) (/ a2 (sqrt 1))) (* (cos th) (/ a2 (sqrt (sqrt 2.0)))) (* (cos th) (/ a2 1)) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt 1))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) 1)) (* (cos th) (/ (sqrt (pow a2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt 1))) (* (cos th) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (sqrt (pow a2 2)) 1)) (* (cos th) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ 1 (sqrt (sqrt 2.0)))) (* (cos th) (/ 1 (sqrt 1))) (* (cos th) (/ 1 (sqrt (sqrt 2.0)))) (* (cos th) (/ 1 1)) (* (cos th) (/ (pow a2 (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt 1))) (* (cos th) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0)))) (* (cos th) (/ (pow a2 (/ 2 2)) 1)) (* (cos th) 1) (* (cos th) (pow a2 2)) (* (cbrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (sqrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (pow a2 2)) (/ (pow a1 2) (sqrt 2.0)) (/ (pow a1 2) (sqrt 2.0)) (/ (pow a1 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (- (/ (pow a1 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a1 2)) (sqrt 2.0)))) (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) (/ (* (pow a1 2) (cos th)) (sqrt 2.0)) (- (/ (pow a2 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a2 2)) (sqrt 2.0)))) (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) (/ (* (cos th) (pow a2 2)) (sqrt 2.0)) 2.553 * * [simplify]: iteration 0 : 746 enodes (cost 2292 ) 2.565 * * [simplify]: iteration 1 : 3355 enodes (cost 1966 ) 2.613 * * [simplify]: iteration 2 : 5001 enodes (cost 1946 ) 2.622 * [simplify]: Simplified to: (log (/ (pow a1 2) (sqrt 2.0))) (log (/ (pow a1 2) (sqrt 2.0))) (log (/ (pow a1 2) (sqrt 2.0))) (log (/ (pow a1 2) (sqrt 2.0))) (exp (/ (pow a1 2) (sqrt 2.0))) (pow (/ (pow a1 2) (sqrt 2.0)) 3) (* (cbrt (/ (pow a1 2) (sqrt 2.0))) (cbrt (/ (pow a1 2) (sqrt 2.0)))) (cbrt (/ (pow a1 2) (sqrt 2.0))) (pow (/ (pow a1 2) (sqrt 2.0)) 3) (sqrt (/ (pow a1 2) (sqrt 2.0))) (sqrt (/ (pow a1 2) (sqrt 2.0))) (- (pow a1 2)) (- (sqrt 2.0)) (/ (pow (cbrt a1) 4) (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)) (/ (pow (cbrt a1) 2) (cbrt (sqrt 2.0))) (/ (pow (cbrt a1) 4) (* (fabs (cbrt 2.0)) 1)) (/ (pow (cbrt a1) 2) (sqrt (cbrt 2.0))) (/ (pow (cbrt a1) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a1) 2) (sqrt (sqrt 2.0))) (pow (cbrt a1) 4) (/ (pow (cbrt a1) 2) (sqrt 2.0)) (/ (pow (cbrt a1) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a1) 2) (sqrt (sqrt 2.0))) (pow (cbrt a1) 4) (/ (pow (cbrt a1) 2) (sqrt 2.0)) (/ a1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a1 (cbrt (sqrt 2.0))) (/ a1 (* (fabs (cbrt 2.0)) 1)) (/ a1 (sqrt (cbrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) a1 (/ a1 (sqrt 2.0)) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) a1 (/ a1 (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a1 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a1 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) 1 (/ (pow a1 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) 1 (/ (pow a1 2) (sqrt 2.0)) (/ a1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a1 (cbrt (sqrt 2.0))) (/ a1 (* (fabs (cbrt 2.0)) 1)) (/ a1 (sqrt (cbrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) a1 (/ a1 (sqrt 2.0)) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) a1 (/ a1 (sqrt 2.0)) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a1 2)) (cbrt (sqrt 2.0))) (/ (cbrt (pow a1 2)) (/ (fabs (cbrt 2.0)) (cbrt (pow a1 2)))) (/ (cbrt (pow a1 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a1 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (/ (cbrt (pow a1 2)) (sqrt 2.0)) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a1 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (/ (cbrt (pow a1 2)) (sqrt 2.0)) (/ (/ (fabs a1) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0))) (/ (fabs a1) (cbrt (sqrt 2.0))) (/ (fabs a1) (fabs (cbrt 2.0))) (/ (fabs a1) (sqrt (cbrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) (fabs a1) (/ (fabs a1) (sqrt 2.0)) (/ (fabs a1) (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) (fabs a1) (/ (fabs a1) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a1 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a1 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) 1 (/ (pow a1 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a1 2) (sqrt (sqrt 2.0))) 1 (/ (pow a1 2) (sqrt 2.0)) (/ a1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a1 (cbrt (sqrt 2.0))) (/ a1 (* (fabs (cbrt 2.0)) 1)) (/ a1 (sqrt (cbrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) a1 (/ a1 (sqrt 2.0)) (/ a1 (sqrt (sqrt 2.0))) (/ a1 (sqrt (sqrt 2.0))) a1 (/ a1 (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a1 2)) (/ (pow a1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a1 (/ (fabs (cbrt 2.0)) a1)) (/ (pow a1 2) (sqrt (sqrt 2.0))) (pow a1 2) (/ (pow a1 2) (sqrt (sqrt 2.0))) (pow a1 2) (/ (sqrt 2.0) (pow (cbrt a1) 2)) (/ (sqrt 2.0) a1) (/ (sqrt 2.0) (pow a1 2)) (/ (sqrt 2.0) a1) (/ (sqrt 2.0) (cbrt (pow a1 2))) (/ (sqrt 2.0) (fabs a1)) (/ (sqrt 2.0) (pow a1 2)) (/ (sqrt 2.0) a1) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (exp (/ (pow a2 2) (sqrt 2.0))) (pow (/ (pow a2 2) (sqrt 2.0)) 3) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0)))) (cbrt (/ (pow a2 2) (sqrt 2.0))) (pow (/ (pow a2 2) (sqrt 2.0)) 3) (sqrt (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (- (pow a2 2)) (- (sqrt 2.0)) (/ (pow (cbrt a2) 4) (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)) (/ (pow (cbrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (cbrt a2) 4) (* (fabs (cbrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (cbrt a2) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (pow (cbrt a2) 4) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (cbrt a2) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (pow (cbrt a2) 4) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (/ (fabs (cbrt 2.0)) (cbrt (pow a2 2)))) (/ (cbrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (/ (fabs a2) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0))) (/ (fabs a2) (cbrt (sqrt 2.0))) (/ (fabs a2) (fabs (cbrt 2.0))) (/ (fabs a2) (sqrt (cbrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (fabs a2) (/ (fabs a2) (sqrt 2.0)) (/ (fabs a2) (sqrt (sqrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (fabs a2) (/ (fabs a2) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a2 2)) (/ (pow a2 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (/ (fabs (cbrt 2.0)) a2)) (/ (pow a2 2) (sqrt (sqrt 2.0))) (pow a2 2) (/ (pow a2 2) (sqrt (sqrt 2.0))) (pow a2 2) (/ (sqrt 2.0) (pow (cbrt a2) 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (cbrt (pow a2 2))) (/ (sqrt 2.0) (fabs a2)) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (* (cos th) (/ (pow a1 2) (sqrt 2.0))) (log (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (exp (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (pow (* (cos th) (/ (pow a1 2) (sqrt 2.0))) 3) (pow (* (cos th) (/ (pow a1 2) (sqrt 2.0))) 3) (* (cbrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (cbrt (* (cos th) (/ (pow a1 2) (sqrt 2.0))))) (cbrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (pow (* (cos th) (/ (pow a1 2) (sqrt 2.0))) 3) (sqrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a1 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a1 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a1 2) (sqrt 2.0)))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a1)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a1)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a1)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a1)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a1) (sqrt (sqrt 2.0))) (* (cos th) (* (cbrt (/ (pow a1 2) (sqrt 2.0))) (cbrt (/ (pow a1 2) (sqrt 2.0))))) (* (cos th) (sqrt (/ (pow a1 2) (sqrt 2.0)))) (/ (* (cos th) (pow (cbrt a1) 4)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) (pow (cbrt a1) 4)) (fabs (cbrt 2.0))) (/ (* (cos th) (pow (cbrt a1) 4)) (sqrt (sqrt 2.0))) (* (pow (cbrt a1) 4) (cos th)) (/ (* (cos th) (pow (cbrt a1) 4)) (sqrt (sqrt 2.0))) (* (pow (cbrt a1) 4) (cos th)) (/ (* (cos th) a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a1) (fabs (cbrt 2.0))) (/ (* (cos th) a1) (sqrt (sqrt 2.0))) (* a1 (cos th)) (/ (* (cos th) a1) (sqrt (sqrt 2.0))) (* a1 (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (* (cos th) a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a1) (fabs (cbrt 2.0))) (/ (* (cos th) a1) (sqrt (sqrt 2.0))) (* a1 (cos th)) (/ (* (cos th) a1) (sqrt (sqrt 2.0))) (* a1 (cos th)) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (cos th) (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (fabs (cbrt 2.0))) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (cos th)) (* (cos th) (/ (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (* (cbrt (pow a1 2)) (cbrt (pow a1 2))) (cos th)) (* (/ (cos th) (cbrt (sqrt 2.0))) (/ (fabs a1) (cbrt (sqrt 2.0)))) (/ (* (cos th) (fabs a1)) (fabs (cbrt 2.0))) (/ (* (cos th) (fabs a1)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (/ (* (cos th) (fabs a1)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (* (cos th) a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a1) (fabs (cbrt 2.0))) (/ (* (cos th) a1) (sqrt (sqrt 2.0))) (* a1 (cos th)) (/ (* (cos th) a1) (sqrt (sqrt 2.0))) (* a1 (cos th)) (cos th) (* (cos th) (pow a1 2)) (* (cbrt (cos th)) (/ (pow a1 2) (sqrt 2.0))) (* (sqrt (cos th)) (/ (pow a1 2) (sqrt 2.0))) (* (cos th) (/ (pow a1 2) (sqrt 2.0))) (* (cos th) (pow a1 2)) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (log (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (exp (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (pow (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 3) (pow (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 3) (* (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0))))) (cbrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (pow (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 3) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (sqrt (* (cos th) (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (* (sqrt (cos th)) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) (fabs a2)) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (/ (* (sqrt (cos th)) a2) (sqrt (sqrt 2.0))) (* (cos th) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0))))) (* (cos th) (sqrt (/ (pow a2 2) (sqrt 2.0)))) (/ (* (cos th) (pow (cbrt a2) 4)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) (pow (cbrt a2) 4)) (fabs (cbrt 2.0))) (/ (* (cos th) (pow (cbrt a2) 4)) (sqrt (sqrt 2.0))) (* (pow (cbrt a2) 4) (cos th)) (/ (* (cos th) (pow (cbrt a2) 4)) (sqrt (sqrt 2.0))) (* (pow (cbrt a2) 4) (cos th)) (/ (* (cos th) a2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a2) (fabs (cbrt 2.0))) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (* (cos th) a2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a2) (fabs (cbrt 2.0))) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (cos th) (* (cbrt (pow a2 2)) (cbrt (pow a2 2)))) (fabs (cbrt 2.0))) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (cos th)) (* (cos th) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0)))) (* (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (cos th)) (* (/ (cos th) (cbrt (sqrt 2.0))) (/ (fabs a2) (cbrt (sqrt 2.0)))) (/ (* (cos th) (fabs a2)) (fabs (cbrt 2.0))) (/ (* (cos th) (fabs a2)) (sqrt (sqrt 2.0))) (* (fabs a2) (cos th)) (/ (* (cos th) (fabs a2)) (sqrt (sqrt 2.0))) (* (fabs a2) (cos th)) (/ (cos th) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cos th) (fabs (cbrt 2.0))) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (cos th) (sqrt (sqrt 2.0))) (cos th) (/ (* (cos th) a2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cos th) a2) (fabs (cbrt 2.0))) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (/ (* (cos th) a2) (sqrt (sqrt 2.0))) (* a2 (cos th)) (cos th) (* (cos th) (pow a2 2)) (* (cbrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (sqrt (cos th)) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (pow a2 2)) (/ (pow a1 2) (sqrt 2.0)) (/ (pow a1 2) (sqrt 2.0)) (/ (pow a1 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (- (/ (pow a1 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a1 2)) (sqrt 2.0)))) (* (cos th) (/ (pow a1 2) (sqrt 2.0))) (* (cos th) (/ (pow a1 2) (sqrt 2.0))) (- (/ (pow a2 2) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (pow a2 2)) (sqrt 2.0)))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) (* (cos th) (/ (pow a2 2) (sqrt 2.0))) 2.624 * * * [progress]: adding candidates to table 3.495 * * [progress]: iteration 4 / 4 3.495 * * * [progress]: picking best candidate 3.513 * * * * [pick]: Picked # 3.513 * * * [progress]: localizing error 3.533 * * * [progress]: generating rewritten candidates 3.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 3.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.542 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 3.547 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.584 * * * [progress]: generating series expansions 3.584 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 3.584 * [approximate]: Taking taylor expansion of a1 in (a1) around 0 3.584 * [taylor]: Taking taylor expansion of a1 in a1 3.584 * [taylor]: Taking taylor expansion of a1 in a1 3.584 * [approximate]: Taking taylor expansion of (/ 1 a1) in (a1) around 0 3.584 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1 3.584 * [taylor]: Taking taylor expansion of a1 in a1 3.585 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1 3.585 * [taylor]: Taking taylor expansion of a1 in a1 3.588 * [approximate]: Taking taylor expansion of (/ 1 a1) in (a1) around 0 3.588 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1 3.588 * [taylor]: Taking taylor expansion of a1 in a1 3.588 * [taylor]: Taking taylor expansion of (/ 1 a1) in a1 3.588 * [taylor]: Taking taylor expansion of a1 in a1 3.592 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.592 * [approximate]: Taking taylor expansion of (/ a1 (sqrt 2.0)) in (a1) around 0 3.592 * [taylor]: Taking taylor expansion of (/ a1 (sqrt 2.0)) in a1 3.592 * [taylor]: Taking taylor expansion of a1 in a1 3.592 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.592 * [taylor]: Taking taylor expansion of 2.0 in a1 3.594 * [taylor]: Taking taylor expansion of (/ a1 (sqrt 2.0)) in a1 3.594 * [taylor]: Taking taylor expansion of a1 in a1 3.594 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.594 * [taylor]: Taking taylor expansion of 2.0 in a1 3.608 * [approximate]: Taking taylor expansion of (/ 1 (* a1 (sqrt 2.0))) in (a1) around 0 3.608 * [taylor]: Taking taylor expansion of (/ 1 (* a1 (sqrt 2.0))) in a1 3.608 * [taylor]: Taking taylor expansion of (* a1 (sqrt 2.0)) in a1 3.609 * [taylor]: Taking taylor expansion of a1 in a1 3.609 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.609 * [taylor]: Taking taylor expansion of 2.0 in a1 3.611 * [taylor]: Taking taylor expansion of (/ 1 (* a1 (sqrt 2.0))) in a1 3.611 * [taylor]: Taking taylor expansion of (* a1 (sqrt 2.0)) in a1 3.611 * [taylor]: Taking taylor expansion of a1 in a1 3.611 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.611 * [taylor]: Taking taylor expansion of 2.0 in a1 3.628 * [approximate]: Taking taylor expansion of (/ 1 (* a1 (sqrt 2.0))) in (a1) around 0 3.628 * [taylor]: Taking taylor expansion of (/ 1 (* a1 (sqrt 2.0))) in a1 3.628 * [taylor]: Taking taylor expansion of (* a1 (sqrt 2.0)) in a1 3.628 * [taylor]: Taking taylor expansion of a1 in a1 3.628 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.628 * [taylor]: Taking taylor expansion of 2.0 in a1 3.631 * [taylor]: Taking taylor expansion of (/ 1 (* a1 (sqrt 2.0))) in a1 3.631 * [taylor]: Taking taylor expansion of (* a1 (sqrt 2.0)) in a1 3.631 * [taylor]: Taking taylor expansion of a1 in a1 3.631 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.631 * [taylor]: Taking taylor expansion of 2.0 in a1 3.648 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 3.648 * [approximate]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in (a2) around 0 3.648 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 3.648 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 3.648 * [taylor]: Taking taylor expansion of a2 in a2 3.648 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 3.648 * [taylor]: Taking taylor expansion of 2.0 in a2 3.649 * [taylor]: Taking taylor expansion of (/ (pow a2 2) (sqrt 2.0)) in a2 3.650 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 3.650 * [taylor]: Taking taylor expansion of a2 in a2 3.650 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 3.650 * [taylor]: Taking taylor expansion of 2.0 in a2 3.663 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in (a2) around 0 3.663 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 3.663 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 3.663 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 3.663 * [taylor]: Taking taylor expansion of 2.0 in a2 3.664 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 3.664 * [taylor]: Taking taylor expansion of a2 in a2 3.665 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 3.665 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 3.665 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 3.665 * [taylor]: Taking taylor expansion of 2.0 in a2 3.666 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 3.666 * [taylor]: Taking taylor expansion of a2 in a2 3.687 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in (a2) around 0 3.687 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 3.687 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 3.687 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 3.687 * [taylor]: Taking taylor expansion of 2.0 in a2 3.687 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 3.687 * [taylor]: Taking taylor expansion of a2 in a2 3.689 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 2.0) (pow a2 2))) in a2 3.689 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow a2 2)) in a2 3.689 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a2 3.689 * [taylor]: Taking taylor expansion of 2.0 in a2 3.689 * [taylor]: Taking taylor expansion of (pow a2 2) in a2 3.689 * [taylor]: Taking taylor expansion of a2 in a2 3.707 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.707 * [approximate]: Taking taylor expansion of (/ (* (fabs a1) (* a1 (cos th))) (sqrt 2.0)) in (a1 th) around 0 3.707 * [taylor]: Taking taylor expansion of (/ (* (fabs a1) (* a1 (cos th))) (sqrt 2.0)) in th 3.707 * [taylor]: Taking taylor expansion of (* (fabs a1) (* a1 (cos th))) in th 3.707 * [taylor]: Taking taylor expansion of (fabs a1) in th 3.707 * [taylor]: Taking taylor expansion of (* a1 (cos th)) in th 3.707 * [taylor]: Taking taylor expansion of a1 in th 3.707 * [taylor]: Taking taylor expansion of (cos th) in th 3.707 * [taylor]: Taking taylor expansion of th in th 3.707 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 3.707 * [taylor]: Taking taylor expansion of 2.0 in th 3.708 * [taylor]: Taking taylor expansion of (/ (* (fabs a1) (* a1 (cos th))) (sqrt 2.0)) in a1 3.708 * [taylor]: Taking taylor expansion of (* (fabs a1) (* a1 (cos th))) in a1 3.708 * [taylor]: Taking taylor expansion of (fabs a1) in a1 3.708 * [taylor]: Taking taylor expansion of (* a1 (cos th)) in a1 3.708 * [taylor]: Taking taylor expansion of a1 in a1 3.708 * [taylor]: Taking taylor expansion of (cos th) in a1 3.708 * [taylor]: Taking taylor expansion of th in a1 3.708 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.709 * [taylor]: Taking taylor expansion of 2.0 in a1 3.712 * [taylor]: Taking taylor expansion of (/ (* (fabs a1) (* a1 (cos th))) (sqrt 2.0)) in a1 3.712 * [taylor]: Taking taylor expansion of (* (fabs a1) (* a1 (cos th))) in a1 3.712 * [taylor]: Taking taylor expansion of (fabs a1) in a1 3.712 * [taylor]: Taking taylor expansion of (* a1 (cos th)) in a1 3.712 * [taylor]: Taking taylor expansion of a1 in a1 3.712 * [taylor]: Taking taylor expansion of (cos th) in a1 3.712 * [taylor]: Taking taylor expansion of th in a1 3.712 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.712 * [taylor]: Taking taylor expansion of 2.0 in a1 3.716 * [taylor]: Taking taylor expansion of (/ (* (fabs a1) (cos th)) (sqrt 2.0)) in th 3.716 * [taylor]: Taking taylor expansion of (* (fabs a1) (cos th)) in th 3.716 * [taylor]: Taking taylor expansion of (fabs a1) in th 3.716 * [taylor]: Taking taylor expansion of (cos th) in th 3.716 * [taylor]: Taking taylor expansion of th in th 3.716 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 3.716 * [taylor]: Taking taylor expansion of 2.0 in th 3.721 * [taylor]: Taking taylor expansion of 0 in th 3.728 * [taylor]: Taking taylor expansion of 0 in th 3.738 * [taylor]: Taking taylor expansion of 0 in th 3.750 * [taylor]: Taking taylor expansion of 0 in th 3.752 * [approximate]: Taking taylor expansion of (/ (* (fabs (/ 1 a1)) (cos (/ 1 th))) (* a1 (sqrt 2.0))) in (a1 th) around 0 3.752 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 a1)) (cos (/ 1 th))) (* a1 (sqrt 2.0))) in th 3.752 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 a1)) (cos (/ 1 th))) in th 3.752 * [taylor]: Taking taylor expansion of (fabs (/ 1 a1)) in th 3.752 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 3.752 * [taylor]: Taking taylor expansion of (/ 1 th) in th 3.752 * [taylor]: Taking taylor expansion of th in th 3.752 * [taylor]: Taking taylor expansion of (* a1 (sqrt 2.0)) in th 3.752 * [taylor]: Taking taylor expansion of a1 in th 3.752 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 3.752 * [taylor]: Taking taylor expansion of 2.0 in th 3.754 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 a1)) (cos (/ 1 th))) (* a1 (sqrt 2.0))) in a1 3.754 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 a1)) (cos (/ 1 th))) in a1 3.754 * [taylor]: Taking taylor expansion of (fabs (/ 1 a1)) in a1 3.754 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 3.754 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 3.754 * [taylor]: Taking taylor expansion of th in a1 3.754 * [taylor]: Taking taylor expansion of (* a1 (sqrt 2.0)) in a1 3.754 * [taylor]: Taking taylor expansion of a1 in a1 3.754 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.754 * [taylor]: Taking taylor expansion of 2.0 in a1 3.760 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 a1)) (cos (/ 1 th))) (* a1 (sqrt 2.0))) in a1 3.760 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 a1)) (cos (/ 1 th))) in a1 3.760 * [taylor]: Taking taylor expansion of (fabs (/ 1 a1)) in a1 3.760 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in a1 3.760 * [taylor]: Taking taylor expansion of (/ 1 th) in a1 3.760 * [taylor]: Taking taylor expansion of th in a1 3.760 * [taylor]: Taking taylor expansion of (* a1 (sqrt 2.0)) in a1 3.760 * [taylor]: Taking taylor expansion of a1 in a1 3.760 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.760 * [taylor]: Taking taylor expansion of 2.0 in a1 3.763 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 a1)) (cos (/ 1 th))) (sqrt 2.0)) in th 3.763 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 a1)) (cos (/ 1 th))) in th 3.763 * [taylor]: Taking taylor expansion of (fabs (/ 1 a1)) in th 3.763 * [taylor]: Taking taylor expansion of (cos (/ 1 th)) in th 3.763 * [taylor]: Taking taylor expansion of (/ 1 th) in th 3.763 * [taylor]: Taking taylor expansion of th in th 3.763 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 3.763 * [taylor]: Taking taylor expansion of 2.0 in th 3.769 * [taylor]: Taking taylor expansion of 0 in th 3.775 * [taylor]: Taking taylor expansion of 0 in th 3.783 * [taylor]: Taking taylor expansion of 0 in th 3.784 * [approximate]: Taking taylor expansion of (/ (* (fabs (/ -1 a1)) (cos (/ -1 th))) (* (sqrt 2.0) a1)) in (a1 th) around 0 3.784 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 a1)) (cos (/ -1 th))) (* (sqrt 2.0) a1)) in th 3.784 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 a1)) (cos (/ -1 th))) in th 3.784 * [taylor]: Taking taylor expansion of (fabs (/ -1 a1)) in th 3.784 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 3.784 * [taylor]: Taking taylor expansion of (/ -1 th) in th 3.784 * [taylor]: Taking taylor expansion of -1 in th 3.784 * [taylor]: Taking taylor expansion of th in th 3.785 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) a1) in th 3.785 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 3.785 * [taylor]: Taking taylor expansion of 2.0 in th 3.785 * [taylor]: Taking taylor expansion of a1 in th 3.786 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 a1)) (cos (/ -1 th))) (* (sqrt 2.0) a1)) in a1 3.786 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 a1)) (cos (/ -1 th))) in a1 3.786 * [taylor]: Taking taylor expansion of (fabs (/ -1 a1)) in a1 3.786 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 3.786 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 3.786 * [taylor]: Taking taylor expansion of -1 in a1 3.786 * [taylor]: Taking taylor expansion of th in a1 3.786 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) a1) in a1 3.786 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.786 * [taylor]: Taking taylor expansion of 2.0 in a1 3.787 * [taylor]: Taking taylor expansion of a1 in a1 3.789 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 a1)) (cos (/ -1 th))) (* (sqrt 2.0) a1)) in a1 3.789 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 a1)) (cos (/ -1 th))) in a1 3.789 * [taylor]: Taking taylor expansion of (fabs (/ -1 a1)) in a1 3.789 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in a1 3.789 * [taylor]: Taking taylor expansion of (/ -1 th) in a1 3.789 * [taylor]: Taking taylor expansion of -1 in a1 3.789 * [taylor]: Taking taylor expansion of th in a1 3.790 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) a1) in a1 3.790 * [taylor]: Taking taylor expansion of (sqrt 2.0) in a1 3.790 * [taylor]: Taking taylor expansion of 2.0 in a1 3.790 * [taylor]: Taking taylor expansion of a1 in a1 3.792 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 a1)) (cos (/ -1 th))) (sqrt 2.0)) in th 3.793 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 a1)) (cos (/ -1 th))) in th 3.793 * [taylor]: Taking taylor expansion of (fabs (/ -1 a1)) in th 3.793 * [taylor]: Taking taylor expansion of (cos (/ -1 th)) in th 3.793 * [taylor]: Taking taylor expansion of (/ -1 th) in th 3.793 * [taylor]: Taking taylor expansion of -1 in th 3.793 * [taylor]: Taking taylor expansion of th in th 3.793 * [taylor]: Taking taylor expansion of (sqrt 2.0) in th 3.793 * [taylor]: Taking taylor expansion of 2.0 in th 3.798 * [taylor]: Taking taylor expansion of 0 in th 3.805 * [taylor]: Taking taylor expansion of 0 in th 3.813 * [taylor]: Taking taylor expansion of 0 in th 3.814 * * * [progress]: simplifying candidates 3.818 * [simplify]: Simplifying using # : (log (sqrt (pow a1 2))) (exp (sqrt (pow a1 2))) (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (cbrt (sqrt (pow a1 2))) (* (* (sqrt (pow a1 2)) (sqrt (pow a1 2))) (sqrt (pow a1 2))) (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt (pow (cbrt a1) 2)) (sqrt (pow (sqrt a1) 2)) (sqrt (pow (sqrt a1) 2)) (sqrt (pow 1 2)) (sqrt (pow a1 2)) (sqrt a1) (sqrt a1) (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt (cbrt (pow a1 2))) (sqrt (sqrt (pow a1 2))) (sqrt (sqrt (pow a1 2))) (sqrt 1) (sqrt (pow a1 2)) (sqrt (pow a1 (/ 2 2))) (sqrt (pow a1 (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow a1 2))) (sqrt (sqrt (pow a1 2))) (- (log (sqrt (pow a1 2))) (log (sqrt 2.0))) (log (/ (sqrt (pow a1 2)) (sqrt 2.0))) (exp (/ (sqrt (pow a1 2)) (sqrt 2.0))) (/ (* (* (sqrt (pow a1 2)) (sqrt (pow a1 2))) (sqrt (pow a1 2))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (* (* (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (/ (pow a1 2) 2.0) (sqrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (sqrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (- (sqrt (pow a1 2))) (- (sqrt 2.0)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (sqrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt 1)) (/ (cbrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) 1) (/ (cbrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow (cbrt a1) 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow (cbrt a1) 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (cbrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt 1)) (/ (sqrt (pow (cbrt a1) 2)) (sqrt 2.0)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (cbrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) 1) (/ (sqrt (pow (cbrt a1) 2)) (sqrt 2.0)) (/ (sqrt (pow (sqrt a1) 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow (sqrt a1) 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (sqrt a1) 2)) (sqrt 1)) (/ (sqrt (pow (sqrt a1) 2)) (sqrt 2.0)) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (sqrt a1) 2)) 1) (/ (sqrt (pow (sqrt a1) 2)) (sqrt 2.0)) (/ (sqrt (pow 1 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a1 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow 1 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a1 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow 1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow 1 2)) (sqrt 1)) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt (pow 1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow 1 2)) 1) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt a1) (cbrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt a1) (sqrt (cbrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt 1)) (/ (sqrt a1) (sqrt 2.0)) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) 1) (/ (sqrt a1) (sqrt 2.0)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (cbrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (cbrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt 1)) (/ (sqrt (cbrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt (sqrt 2.0))) (/ (sqrt (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) 1) (/ (sqrt (cbrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt 1)) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) 1) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a1 2)) (cbrt (sqrt 2.0))) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a1 2)) (sqrt (cbrt 2.0))) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt 1) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt 1) 1) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt (pow a1 (/ 2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a1 (/ 2 2))) (cbrt (sqrt 2.0))) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (cbrt 2.0))) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 (/ 2 2))) (sqrt 1)) (/ (sqrt (pow a1 (/ 2 2))) (sqrt 2.0)) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 (/ 2 2))) 1) (/ (sqrt (pow a1 (/ 2 2))) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt 1)) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) 1) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a1 2)) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a1 2)) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ 1 1) (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (sqrt (pow a1 2))) (/ (sqrt (pow a1 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a1 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt 1)) (/ (sqrt (pow a1 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a1 2)) 1) (/ (sqrt 2.0) (cbrt (sqrt (pow a1 2)))) (/ (sqrt 2.0) (sqrt (pow (cbrt a1) 2))) (/ (sqrt 2.0) (sqrt (pow (sqrt a1) 2))) (/ (sqrt 2.0) (sqrt (pow a1 2))) (/ (sqrt 2.0) (sqrt a1)) (/ (sqrt 2.0) (sqrt (cbrt (pow a1 2)))) (/ (sqrt 2.0) (sqrt (sqrt (pow a1 2)))) (/ (sqrt 2.0) (sqrt (pow a1 2))) (/ (sqrt 2.0) (sqrt (pow a1 (/ 2 2)))) (/ (sqrt 2.0) (sqrt (sqrt (pow a1 2)))) (/ (sqrt 2.0) (sqrt (pow a1 2))) (- (* (log a2) 2) (log (sqrt 2.0))) (- (* (log a2) 2) (log (sqrt 2.0))) (- (log (pow a2 2)) (log (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (exp (/ (pow a2 2) (sqrt 2.0))) (/ (* (* (pow a2 2) (pow a2 2)) (pow a2 2)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0)))) (cbrt (/ (pow a2 2) (sqrt 2.0))) (* (* (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0))) (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (- (pow a2 2)) (- (sqrt 2.0)) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (cbrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (cbrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt 1)) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (* (cbrt a2) (cbrt a2)) 2) (sqrt (sqrt 2.0))) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (* (cbrt a2) (cbrt a2)) 2) 1) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (sqrt a2) 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow (sqrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow (sqrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt 1)) (/ (pow (sqrt a2) 2) (sqrt 2.0)) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) (sqrt (sqrt 2.0))) (/ (pow (sqrt a2) 2) 1) (/ (pow (sqrt a2) 2) (sqrt 2.0)) (/ (pow 1 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ (pow 1 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) (sqrt 1)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow 1 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow 1 2) 1) (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt 1)) (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 1) (/ a2 (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (cbrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt 1)) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) 1) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (sqrt (pow a2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (sqrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt 1)) (/ (sqrt (pow a2 2)) (sqrt 2.0)) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow a2 2)) 1) (/ (sqrt (pow a2 2)) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ 1 (sqrt 1)) (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ 1 1) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 (/ 2 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 (/ 2 2)) (cbrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 (/ 2 2)) (sqrt (cbrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt 1)) (/ (pow a2 (/ 2 2)) (sqrt 2.0)) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) (sqrt (sqrt 2.0))) (/ (pow a2 (/ 2 2)) 1) (/ (pow a2 (/ 2 2)) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a2 2)) (/ (pow a2 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt 1)) (/ (pow a2 2) (sqrt (sqrt 2.0))) (/ (pow a2 2) 1) (/ (sqrt 2.0) (pow (cbrt a2) 2)) (/ (sqrt 2.0) (pow (sqrt a2) 2)) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (cbrt (pow a2 2))) (/ (sqrt 2.0) (sqrt (pow a2 2))) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) (pow a2 (/ 2 2))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (+ (+ (log (fabs a1)) (log (cos th))) (- (log (sqrt (pow a1 2))) (log (sqrt 2.0)))) (+ (+ (log (fabs a1)) (log (cos th))) (log (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (+ (log (* (fabs a1) (cos th))) (- (log (sqrt (pow a1 2))) (log (sqrt 2.0)))) (+ (log (* (fabs a1) (cos th))) (log (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (log (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (exp (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (* (* (fabs a1) (fabs a1)) (fabs a1)) (* (* (cos th) (cos th)) (cos th))) (/ (* (* (sqrt (pow a1 2)) (sqrt (pow a1 2))) (sqrt (pow a1 2))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (* (fabs a1) (fabs a1)) (fabs a1)) (* (* (cos th) (cos th)) (cos th))) (* (* (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (* (* (fabs a1) (cos th)) (* (fabs a1) (cos th))) (* (fabs a1) (cos th))) (/ (* (* (sqrt (pow a1 2)) (sqrt (pow a1 2))) (sqrt (pow a1 2))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* (* (fabs a1) (cos th)) (* (fabs a1) (cos th))) (* (fabs a1) (cos th))) (* (* (/ (sqrt (pow a1 2)) (sqrt 2.0)) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (cbrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (cbrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0))))) (cbrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (sqrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (sqrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (* (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (sqrt (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (* (cbrt a1) (cbrt a1)) 2)) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (sqrt a1) 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (sqrt a1) 2)) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (sqrt a1) 2)) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow (sqrt a1) 2)) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt (pow 1 2)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow 1 2)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow 1 2)) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow 1 2)) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow 1 2)) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow 1 2)) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (* (cbrt (pow a1 2)) (cbrt (pow a1 2)))) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt 1) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt 1) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt 1) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt 1) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt 1) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 (/ 2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 (/ 2 2))) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 (/ 2 2))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 (/ 2 2))) 1)) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt 1))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) 1)) (* (* (fabs a1) (cos th)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (/ 1 (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (fabs a1) (cos th)) (/ 1 (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ 1 (sqrt 1))) (* (* (fabs a1) (cos th)) (/ 1 (sqrt (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ 1 1)) (* (* (fabs a1) (cos th)) 1) (* (* (fabs a1) (cos th)) (sqrt (pow a1 2))) (* (cos th) (/ (sqrt (pow a1 2)) (sqrt 2.0))) (* (* (fabs a1) (cos th)) (sqrt (pow a1 2))) a1 a1 (* -1 a1) (/ a1 (sqrt 2.0)) (/ a1 (sqrt 2.0)) (* -1 (/ a1 (sqrt 2.0))) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (- (/ (* a1 (fabs a1)) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (* a1 (fabs a1))) (sqrt 2.0)))) (/ (* (cos th) (* a1 (fabs a1))) (sqrt 2.0)) (* -1 (/ (* (cos th) (* a1 (fabs a1))) (sqrt 2.0))) 3.829 * * [simplify]: iteration 0 : 782 enodes (cost 2387 ) 3.844 * * [simplify]: iteration 1 : 3859 enodes (cost 2041 ) 3.890 * * [simplify]: iteration 2 : 5002 enodes (cost 1985 ) 3.900 * [simplify]: Simplified to: (log (fabs a1)) (exp (fabs a1)) (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (cbrt (sqrt (pow a1 2))) (pow (fabs a1) 3) (fabs (pow (cbrt a1) 2)) (fabs (cbrt a1)) (sqrt a1) (sqrt a1) 1 (fabs a1) (sqrt a1) (sqrt a1) (fabs (cbrt (pow a1 2))) (sqrt (cbrt (pow a1 2))) (sqrt (sqrt (pow a1 2))) (sqrt (sqrt (pow a1 2))) 1 (fabs a1) (sqrt a1) (sqrt a1) 1 (sqrt (sqrt (pow a1 2))) (sqrt (sqrt (pow a1 2))) (log (/ (sqrt (pow a1 2)) (sqrt 2.0))) (log (/ (sqrt (pow a1 2)) (sqrt 2.0))) (exp (/ (sqrt (pow a1 2)) (sqrt 2.0))) (pow (/ (sqrt (pow a1 2)) (sqrt 2.0)) 3) (* (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (pow (/ (sqrt (pow a1 2)) (sqrt 2.0)) 3) (/ (pow a1 2) 2.0) (sqrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (sqrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (- (fabs a1)) (- (sqrt 2.0)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (sqrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (cbrt (sqrt (pow a1 2))) (/ (fabs (cbrt 2.0)) (cbrt (sqrt (pow a1 2))))) (/ (cbrt (sqrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (/ (cbrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0))) (/ (cbrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (/ (cbrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (/ (fabs (pow (cbrt a1) 2)) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0))) (/ (sqrt (pow (cbrt a1) 2)) (cbrt (sqrt 2.0))) (/ (fabs (pow (cbrt a1) 2)) (fabs (cbrt 2.0))) (/ (sqrt (pow (cbrt a1) 2)) (sqrt (cbrt 2.0))) (/ (fabs (pow (cbrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (cbrt a1) 2)) (sqrt (sqrt 2.0))) (fabs (pow (cbrt a1) 2)) (/ (sqrt (pow (cbrt a1) 2)) (sqrt 2.0)) (/ (fabs (pow (cbrt a1) 2)) (sqrt (sqrt 2.0))) (/ (sqrt (pow (cbrt a1) 2)) (sqrt (sqrt 2.0))) (fabs (pow (cbrt a1) 2)) (/ (sqrt (pow (cbrt a1) 2)) (sqrt 2.0)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt a1) (cbrt (sqrt 2.0))) (/ (sqrt a1) (fabs (cbrt 2.0))) (/ (sqrt a1) (sqrt (cbrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (sqrt a1) (/ (sqrt a1) (sqrt 2.0)) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (sqrt a1) (/ (sqrt a1) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (fabs a1) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (fabs a1) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) 1 (/ (fabs a1) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) 1 (/ (fabs a1) (sqrt 2.0)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt a1) (cbrt (sqrt 2.0))) (/ (sqrt a1) (fabs (cbrt 2.0))) (/ (sqrt a1) (sqrt (cbrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (sqrt a1) (/ (sqrt a1) (sqrt 2.0)) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (sqrt a1) (/ (sqrt a1) (sqrt 2.0)) (/ (/ (fabs (cbrt (pow a1 2))) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0))) (/ (sqrt (cbrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (fabs (cbrt (pow a1 2))) (* (fabs (cbrt 2.0)) 1)) (/ (sqrt (cbrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (fabs (cbrt (pow a1 2))) (* (sqrt (sqrt 2.0)) 1)) (/ (sqrt (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (fabs (cbrt (pow a1 2))) (/ (sqrt (cbrt (pow a1 2))) (sqrt 2.0)) (/ (fabs (cbrt (pow a1 2))) (* (sqrt (sqrt 2.0)) 1)) (/ (sqrt (cbrt (pow a1 2))) (sqrt (sqrt 2.0))) (fabs (cbrt (pow a1 2))) (/ (sqrt (cbrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (fabs (cbrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (sqrt (sqrt (pow a1 2))) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (sqrt (sqrt (pow a1 2))) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (fabs a1) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (fabs a1) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) 1 (/ (fabs a1) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) 1 (/ (fabs a1) (sqrt 2.0)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt a1) (cbrt (sqrt 2.0))) (/ (sqrt a1) (fabs (cbrt 2.0))) (/ (sqrt a1) (sqrt (cbrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (sqrt a1) (/ (sqrt a1) (sqrt 2.0)) (/ (sqrt a1) (sqrt (sqrt 2.0))) (/ (sqrt a1) (sqrt (sqrt 2.0))) (sqrt a1) (/ (sqrt a1) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (sqrt (sqrt (pow a1 2))) (cbrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (fabs (cbrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (cbrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (sqrt (sqrt (pow a1 2))) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0))) (sqrt (sqrt (pow a1 2))) (/ (sqrt (sqrt (pow a1 2))) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (fabs a1) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (fabs a1) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) 1 (/ (fabs a1) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) 1 (/ (fabs a1) (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (fabs a1)) (/ (/ (fabs a1) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0))) (/ (fabs a1) (fabs (cbrt 2.0))) (/ (fabs a1) (sqrt (sqrt 2.0))) (fabs a1) (/ (fabs a1) (sqrt (sqrt 2.0))) (fabs a1) (/ (sqrt 2.0) (cbrt (sqrt (pow a1 2)))) (/ (sqrt 2.0) (sqrt (pow (cbrt a1) 2))) (/ (sqrt 2.0) (sqrt a1)) (/ (sqrt 2.0) (fabs a1)) (/ (sqrt 2.0) (sqrt a1)) (/ (sqrt 2.0) (sqrt (cbrt (pow a1 2)))) (/ (sqrt 2.0) (sqrt (sqrt (pow a1 2)))) (/ (sqrt 2.0) (fabs a1)) (/ (sqrt 2.0) (sqrt a1)) (/ (sqrt 2.0) (sqrt (sqrt (pow a1 2)))) (/ (sqrt 2.0) (fabs a1)) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (log (/ (pow a2 2) (sqrt 2.0))) (exp (/ (pow a2 2) (sqrt 2.0))) (pow (/ (pow a2 2) (sqrt 2.0)) 3) (* (cbrt (/ (pow a2 2) (sqrt 2.0))) (cbrt (/ (pow a2 2) (sqrt 2.0)))) (cbrt (/ (pow a2 2) (sqrt 2.0))) (pow (/ (pow a2 2) (sqrt 2.0)) 3) (sqrt (/ (pow a2 2) (sqrt 2.0))) (sqrt (/ (pow a2 2) (sqrt 2.0))) (- (pow a2 2)) (- (sqrt 2.0)) (/ (pow (cbrt a2) 4) (* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)) (/ (pow (cbrt a2) 2) (cbrt (sqrt 2.0))) (/ (pow (cbrt a2) 4) (* (fabs (cbrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (cbrt 2.0))) (/ (pow (cbrt a2) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (pow (cbrt a2) 4) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ (pow (cbrt a2) 4) (* (sqrt (sqrt 2.0)) 1)) (/ (pow (cbrt a2) 2) (sqrt (sqrt 2.0))) (pow (cbrt a2) 4) (/ (pow (cbrt a2) 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (cbrt (pow a2 2)) (cbrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (/ (fabs (cbrt 2.0)) (cbrt (pow a2 2)))) (/ (cbrt (pow a2 2)) (sqrt (cbrt 2.0))) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (sqrt (sqrt 2.0))) (/ (cbrt (pow a2 2)) (sqrt (sqrt 2.0))) (* (cbrt (pow a2 2)) (cbrt (pow a2 2))) (/ (cbrt (pow a2 2)) (sqrt 2.0)) (/ (/ (fabs a2) (cbrt (sqrt 2.0))) (cbrt (sqrt 2.0))) (/ (fabs a2) (cbrt (sqrt 2.0))) (/ (fabs a2) (fabs (cbrt 2.0))) (/ (fabs a2) (sqrt (cbrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (fabs a2) (/ (fabs a2) (sqrt 2.0)) (/ (fabs a2) (sqrt (sqrt 2.0))) (/ (fabs a2) (sqrt (sqrt 2.0))) (fabs a2) (/ (fabs a2) (sqrt 2.0)) (/ 1 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (pow a2 2) (cbrt (sqrt 2.0))) (/ 1 (fabs (cbrt 2.0))) (/ (pow a2 2) (sqrt (cbrt 2.0))) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ 1 (sqrt (sqrt 2.0))) (/ (pow a2 2) (sqrt (sqrt 2.0))) 1 (/ (pow a2 2) (sqrt 2.0)) (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (cbrt (sqrt 2.0))) (/ a2 (* (fabs (cbrt 2.0)) 1)) (/ a2 (sqrt (cbrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ a2 (sqrt (sqrt 2.0))) (/ a2 (sqrt (sqrt 2.0))) a2 (/ a2 (sqrt 2.0)) (/ 1 (sqrt 2.0)) (/ (sqrt 2.0) (pow a2 2)) (/ (pow a2 2) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ a2 (/ (fabs (cbrt 2.0)) a2)) (/ (pow a2 2) (sqrt (sqrt 2.0))) (pow a2 2) (/ (pow a2 2) (sqrt (sqrt 2.0))) (pow a2 2) (/ (sqrt 2.0) (pow (cbrt a2) 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (/ (sqrt 2.0) (cbrt (pow a2 2))) (/ (sqrt 2.0) (fabs a2)) (/ (sqrt 2.0) (pow a2 2)) (/ (sqrt 2.0) a2) (/ (* (fabs a1) (* (fabs a1) (cos th))) (sqrt 2.0)) (/ (* (fabs a1) (* (fabs a1) (cos th))) (sqrt 2.0)) (+ (log (/ (pow a1 2) (sqrt 2.0))) (log (cos th))) (+ (log (/ (pow a1 2) (sqrt 2.0))) (log (cos th))) (+ (log (/ (pow a1 2) (sqrt 2.0))) (log (cos th))) (+ (log (/ (pow a1 2) (sqrt 2.0))) (log (cos th))) (+ (log (/ (pow a1 2) (sqrt 2.0))) (log (cos th))) (pow (exp (/ (pow a1 2) (sqrt 2.0))) (cos th)) (* (pow (/ (pow a1 2) (sqrt 2.0)) 3) (pow (cos th) 3)) (* (pow (/ (pow a1 2) (sqrt 2.0)) 3) (pow (cos th) 3)) (* (pow (/ (pow a1 2) (sqrt 2.0)) 3) (pow (cos th) 3)) (* (pow (/ (pow a1 2) (sqrt 2.0)) 3) (pow (cos th) 3)) (* (cbrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (cbrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0))))) (cbrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (pow (/ (pow a1 2) (sqrt 2.0)) 3) (pow (cos th) 3)) (sqrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (sqrt (* (* (fabs a1) (cos th)) (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (* (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))) (cbrt (/ (sqrt (pow a1 2)) (sqrt 2.0))))) (* (* (fabs a1) (cos th)) (sqrt (/ (sqrt (pow a1 2)) (sqrt 2.0)))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (* (fabs a1) (cos th)) (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2))))) (fabs (cbrt 2.0))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))))) (* (* (fabs a1) (cos th)) (/ (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (* (cbrt (sqrt (pow a1 2))) (cbrt (sqrt (pow a1 2)))))) (* (/ (* (fabs a1) (cos th)) (cbrt (sqrt 2.0))) (/ (fabs (pow (cbrt a1) 2)) (cbrt (sqrt 2.0)))) (/ (* (* (fabs a1) (cos th)) (fabs (pow (cbrt a1) 2))) (fabs (cbrt 2.0))) (/ (* (* (fabs a1) (cos th)) (fabs (pow (cbrt a1) 2))) (sqrt (sqrt 2.0))) (* (* (fabs a1) (cos th)) (fabs (pow (cbrt a1) 2))) (/ (* (* (fabs a1) (cos th)) (fabs (pow (cbrt a1) 2))) (sqrt (sqrt 2.0))) (* (* (fabs a1) (cos th)) (fabs (pow (cbrt a1) 2))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (* (fabs a1) (cos th)) (sqrt a1)) (fabs (cbrt 2.0))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt a1))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt a1))) (/ (* (fabs a1) (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (fabs a1) (cos th)) (fabs (cbrt 2.0))) (/ (* (fabs a1) (cos th)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (/ (* (fabs a1) (cos th)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (* (fabs a1) (cos th)) (sqrt a1)) (fabs (cbrt 2.0))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt a1))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt a1))) (/ (* (* (fabs a1) (cos th)) (fabs (cbrt (pow a1 2)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (* (fabs a1) (cos th)) (fabs (cbrt (pow a1 2)))) (fabs (cbrt 2.0))) (/ (* (* (fabs a1) (cos th)) (fabs (cbrt (pow a1 2)))) (sqrt (sqrt 2.0))) (* (fabs a1) (* (cos th) (fabs (cbrt (pow a1 2))))) (/ (* (* (fabs a1) (cos th)) (fabs (cbrt (pow a1 2)))) (sqrt (sqrt 2.0))) (* (fabs a1) (* (cos th) (fabs (cbrt (pow a1 2))))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (* (fabs a1) (cos th)) (sqrt (sqrt (pow a1 2)))) (fabs (cbrt 2.0))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt (sqrt (pow a1 2))))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt (sqrt (pow a1 2))))) (/ (* (fabs a1) (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (fabs a1) (cos th)) (fabs (cbrt 2.0))) (/ (* (fabs a1) (cos th)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (/ (* (fabs a1) (cos th)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (* (fabs a1) (cos th)) (sqrt a1)) (fabs (cbrt 2.0))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt a1))) (* (* (fabs a1) (cos th)) (/ (sqrt a1) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt a1))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (/ (* (* (fabs a1) (cos th)) (sqrt (sqrt (pow a1 2)))) (fabs (cbrt 2.0))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt (sqrt (pow a1 2))))) (* (* (fabs a1) (cos th)) (/ (sqrt (sqrt (pow a1 2))) (sqrt (sqrt 2.0)))) (* (fabs a1) (* (cos th) (sqrt (sqrt (pow a1 2))))) (/ (* (fabs a1) (cos th)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (fabs a1) (cos th)) (fabs (cbrt 2.0))) (/ (* (fabs a1) (cos th)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (/ (* (fabs a1) (cos th)) (sqrt (sqrt 2.0))) (* (fabs a1) (cos th)) (* (fabs a1) (cos th)) (* (* (fabs a1) (cos th)) (fabs a1)) (/ (* (cos th) (fabs a1)) (sqrt 2.0)) (* (* (fabs a1) (cos th)) (fabs a1)) a1 a1 (* -1 a1) (/ a1 (sqrt 2.0)) (/ a1 (sqrt 2.0)) (* -1 (/ a1 (sqrt 2.0))) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (/ (pow a2 2) (sqrt 2.0)) (- (/ (* a1 (fabs a1)) (sqrt 2.0)) (* 1/2 (/ (* (pow th 2) (* a1 (fabs a1))) (sqrt 2.0)))) (/ (* (cos th) (* a1 (fabs a1))) (sqrt 2.0)) (* -1 (/ (* (cos th) (* a1 (fabs a1))) (sqrt 2.0))) 3.905 * * * [progress]: adding candidates to table 4.596 * [progress]: [Phase 3 of 3] Extracting. 4.596 * * [regime]: Finding splitpoints for: (# # # # # #) 4.598 * * * [regime-changes]: Trying 6 branch expressions: ((* a2 a2) (* a1 a1) (cos th) th a2 a1) 4.598 * * * * [regimes]: Trying to branch on (* a2 a2) from (# # # # # #) 4.627 * * * * [regimes]: Trying to branch on (* a2 a2) from (# #) 4.640 * * * * [regimes]: Trying to branch on (* a1 a1) from (# # # # # #) 4.668 * * * * [regimes]: Trying to branch on (* a1 a1) from (# # #) 4.684 * * * * [regimes]: Trying to branch on (cos th) from (# # # # # #) 4.716 * * * * [regimes]: Trying to branch on th from (# # # # # #) 4.744 * * * * [regimes]: Trying to branch on a2 from (# # # # # #) 4.774 * * * * [regimes]: Trying to branch on a1 from (# # # # # #) 4.804 * * * [regime]: Found split indices: #