27.471 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.163 * * * [progress]: [2/2] Setting up program. 0.166 * [progress]: [Phase 2 of 3] Improving. 0.166 * [simplify]: Simplifying using # : (pow (atan (fmod a (asin a))) (* a a)) 0.167 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 0.168 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 0.169 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 0.172 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 0.178 * * [simplify]: iteration 4 : 98 enodes (cost 9 ) 0.215 * * [simplify]: iteration 5 : 258 enodes (cost 9 ) 0.416 * * [simplify]: iteration 6 : 877 enodes (cost 9 ) 2.035 * * [simplify]: iteration 7 : 3214 enodes (cost 9 ) 3.205 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 3.205 * [simplify]: Simplified to: (pow (atan (fmod a (asin a))) (* a a)) 3.206 * * [progress]: iteration 1 / 4 3.206 * * * [progress]: picking best candidate 3.208 * * * * [pick]: Picked # 3.208 * * * [progress]: localizing error 3.216 * * * [progress]: generating rewritten candidates 3.216 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.218 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 3.219 * * * [progress]: generating series expansions 3.219 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.219 * [approximate]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in (a) around 0 3.219 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a 3.219 * [taylor]: Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a 3.219 * [taylor]: Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a 3.219 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.219 * [taylor]: Taking taylor expansion of a in a 3.219 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 3.219 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 3.220 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a 3.220 * [taylor]: Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a 3.220 * [taylor]: Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a 3.220 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.220 * [taylor]: Taking taylor expansion of a in a 3.220 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 3.220 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 3.231 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in (a) around 0 3.231 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a 3.231 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 3.231 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 3.231 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.231 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.231 * [taylor]: Taking taylor expansion of a in a 3.232 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 3.232 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 3.232 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a 3.233 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 3.233 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 3.233 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.233 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.233 * [taylor]: Taking taylor expansion of a in a 3.233 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 3.233 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 3.235 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0 3.235 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a 3.235 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 3.235 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 3.235 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.235 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.235 * [taylor]: Taking taylor expansion of a in a 3.235 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 3.235 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 3.236 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a 3.236 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 3.236 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 3.236 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.236 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.236 * [taylor]: Taking taylor expansion of a in a 3.237 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 3.237 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 3.238 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 3.238 * [approximate]: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 3.238 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 3.238 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 3.238 * [approximate]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 3.238 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 3.239 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 3.239 * [approximate]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 3.239 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 3.239 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 3.239 * * * [progress]: simplifying candidates 3.240 * [simplify]: Simplifying using # : (* (log (atan (fmod a (asin a)))) (* a a)) (* (log (atan (fmod a (asin a)))) (* a a)) (* 1 (* a a)) (pow (atan (fmod a (asin a))) a) (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a)) (pow (cbrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow 1 (* a a)) (pow (atan (fmod a (asin a))) (* a a)) (log (pow (atan (fmod a (asin a))) (* a a))) (exp (pow (atan (fmod a (asin a))) (* a a))) (* (cbrt (pow (atan (fmod a (asin a))) (* a a))) (cbrt (pow (atan (fmod a (asin a))) (* a a)))) (cbrt (pow (atan (fmod a (asin a))) (* a a))) (* (* (pow (atan (fmod a (asin a))) (* a a)) (pow (atan (fmod a (asin a))) (* a a))) (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (log (fmod a (asin a))) (exp (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))) (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))) (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))) (+ 1 (+ (* (pow a 2) (log (atan (fmod a (asin a))))) (* 1/2 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))))) (pow (atan (fmod a (asin a))) (pow a 2)) (pow (atan (fmod a (asin a))) (pow a 2)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) 3.242 * * [simplify]: iteration 0 : 46 enodes (cost 322 ) 3.250 * * [simplify]: iteration 1 : 96 enodes (cost 308 ) 3.279 * * [simplify]: iteration 2 : 255 enodes (cost 290 ) 3.411 * * [simplify]: iteration 3 : 908 enodes (cost 288 ) 5.107 * * [simplify]: iteration 4 : 3932 enodes (cost 288 ) 6.276 * * [simplify]: iteration done : 5001 enodes (cost 288 ) 6.276 * [simplify]: Simplified to: (log (pow (atan (fmod a (asin a))) (* a a))) (log (pow (atan (fmod a (asin a))) (* a a))) (pow a 2) (pow (atan (fmod a (asin a))) a) (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a)) (pow (cbrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a)) 1 (pow (atan (fmod a (asin a))) (* a a)) (log (pow (atan (fmod a (asin a))) (* a a))) (exp (pow (atan (fmod a (asin a))) (* a a))) (* (cbrt (pow (atan (fmod a (asin a))) (* a a))) (cbrt (pow (atan (fmod a (asin a))) (* a a)))) (cbrt (pow (atan (fmod a (asin a))) (* a a))) (pow (pow (atan (fmod a (asin a))) (pow a 2)) 3) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (log (fmod a (asin a))) (exp (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))) (pow (fmod a (asin a)) 3) (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))) (+ (* (log (atan (fmod a (asin a)))) (+ (* a a) (* (* 1/2 (pow a 4)) (log (atan (fmod a (asin a))))))) 1) (pow (atan (fmod a (asin a))) (* a a)) (pow (atan (fmod a (asin a))) (* a a)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) 6.276 * * * [progress]: adding candidates to table 6.347 * * [progress]: iteration 2 / 4 6.347 * * * [progress]: picking best candidate 6.349 * * * * [pick]: Picked # 6.349 * * * [progress]: localizing error 6.360 * * * [progress]: generating rewritten candidates 6.360 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.362 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 6.364 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 6.365 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 6.366 * * * [progress]: generating series expansions 6.366 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.367 * [approximate]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in (a) around 0 6.367 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.367 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.367 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.367 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.367 * [taylor]: Taking taylor expansion of 1/2 in a 6.367 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.367 * [taylor]: Taking taylor expansion of a in a 6.367 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.367 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.368 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.368 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.368 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.368 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.368 * [taylor]: Taking taylor expansion of 1/2 in a 6.368 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.368 * [taylor]: Taking taylor expansion of a in a 6.368 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.368 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.384 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.384 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.384 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.384 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.384 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.384 * [taylor]: Taking taylor expansion of 1/2 in a 6.384 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.384 * [taylor]: Taking taylor expansion of a in a 6.385 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.385 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.386 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.386 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.386 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.386 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.386 * [taylor]: Taking taylor expansion of 1/2 in a 6.386 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.386 * [taylor]: Taking taylor expansion of a in a 6.386 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.387 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.388 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.388 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.388 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.388 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.388 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.388 * [taylor]: Taking taylor expansion of 1/2 in a 6.388 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.388 * [taylor]: Taking taylor expansion of a in a 6.389 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.389 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.389 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.389 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.389 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.389 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.389 * [taylor]: Taking taylor expansion of 1/2 in a 6.389 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.389 * [taylor]: Taking taylor expansion of a in a 6.390 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.390 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.391 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 6.392 * [approximate]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in (a) around 0 6.392 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.392 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.392 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.392 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.392 * [taylor]: Taking taylor expansion of 1/2 in a 6.392 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.392 * [taylor]: Taking taylor expansion of a in a 6.392 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.392 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.393 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.393 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.393 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.393 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.393 * [taylor]: Taking taylor expansion of 1/2 in a 6.393 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.393 * [taylor]: Taking taylor expansion of a in a 6.393 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.393 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.405 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.405 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.405 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.405 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.405 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.405 * [taylor]: Taking taylor expansion of 1/2 in a 6.405 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.405 * [taylor]: Taking taylor expansion of a in a 6.406 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.406 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.407 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.407 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.407 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.407 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.407 * [taylor]: Taking taylor expansion of 1/2 in a 6.407 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.407 * [taylor]: Taking taylor expansion of a in a 6.408 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.408 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.409 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.409 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.409 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.409 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.409 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.409 * [taylor]: Taking taylor expansion of 1/2 in a 6.409 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.409 * [taylor]: Taking taylor expansion of a in a 6.410 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.410 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.410 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.410 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.410 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.410 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.410 * [taylor]: Taking taylor expansion of 1/2 in a 6.411 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.411 * [taylor]: Taking taylor expansion of a in a 6.411 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.411 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.412 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 6.412 * [approximate]: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 6.413 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.413 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.413 * [approximate]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 6.413 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.413 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.413 * [approximate]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 6.413 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.413 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.414 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 6.414 * [approximate]: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 6.414 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.414 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.414 * [approximate]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 6.414 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.414 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.415 * [approximate]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 6.415 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.415 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.415 * * * [progress]: simplifying candidates 6.416 * [simplify]: Simplifying using # : (* (log (atan (fmod a (asin a)))) (/ (* a a) 2)) (* (log (atan (fmod a (asin a)))) (/ (* a a) 2)) (* 1 (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (* (cbrt (/ (* a a) 2)) (cbrt (/ (* a a) 2)))) (pow (atan (fmod a (asin a))) (sqrt (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ a (* (cbrt 2) (cbrt 2)))) (pow (atan (fmod a (asin a))) (/ a (sqrt 2))) (pow (atan (fmod a (asin a))) (/ a 1)) (pow (atan (fmod a (asin a))) 1) (pow (atan (fmod a (asin a))) (* a a)) (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (/ (* a a) 2)) (pow (cbrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow 1 (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (log (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (exp (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (* (cbrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (cbrt (pow (atan (fmod a (asin a))) (/ (* a a) 2)))) (cbrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (* (* (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (sqrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (sqrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ (/ (* a a) 2) 2)) (pow (atan (fmod a (asin a))) (/ (/ (* a a) 2) 2)) (* (log (atan (fmod a (asin a)))) (/ (* a a) 2)) (* (log (atan (fmod a (asin a)))) (/ (* a a) 2)) (* 1 (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (* (cbrt (/ (* a a) 2)) (cbrt (/ (* a a) 2)))) (pow (atan (fmod a (asin a))) (sqrt (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ a (* (cbrt 2) (cbrt 2)))) (pow (atan (fmod a (asin a))) (/ a (sqrt 2))) (pow (atan (fmod a (asin a))) (/ a 1)) (pow (atan (fmod a (asin a))) 1) (pow (atan (fmod a (asin a))) (* a a)) (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (/ (* a a) 2)) (pow (cbrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow 1 (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (log (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (exp (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (* (cbrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (cbrt (pow (atan (fmod a (asin a))) (/ (* a a) 2)))) (cbrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (* (* (pow (atan (fmod a (asin a))) (/ (* a a) 2)) (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (sqrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (sqrt (pow (atan (fmod a (asin a))) (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ (/ (* a a) 2) 2)) (pow (atan (fmod a (asin a))) (/ (/ (* a a) 2) 2)) (log (fmod a (asin a))) (exp (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))) (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))) (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))) (log (fmod a (asin a))) (exp (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))) (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))) (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))) (+ 1 (+ (* 1/2 (* (pow a 2) (log (atan (fmod a (asin a)))))) (* 1/8 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))))) (exp (* 1/2 (* (pow a 2) (log (atan (fmod a (asin a))))))) (exp (* 1/2 (* (pow a 2) (log (atan (fmod a (asin a))))))) (+ 1 (+ (* 1/2 (* (pow a 2) (log (atan (fmod a (asin a)))))) (* 1/8 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))))) (exp (* 1/2 (* (pow a 2) (log (atan (fmod a (asin a))))))) (exp (* 1/2 (* (pow a 2) (log (atan (fmod a (asin a))))))) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) 6.419 * * [simplify]: iteration 0 : 64 enodes (cost 892 ) 6.433 * * [simplify]: iteration 1 : 135 enodes (cost 832 ) 6.471 * * [simplify]: iteration 2 : 357 enodes (cost 800 ) 6.722 * * [simplify]: iteration 3 : 1285 enodes (cost 762 ) 7.883 * * [simplify]: iteration done : 5001 enodes (cost 762 ) 7.884 * [simplify]: Simplified to: (* (log (sqrt (atan (fmod a (asin a))))) (pow a 2)) (* (log (sqrt (atan (fmod a (asin a))))) (pow a 2)) (* a (* 1/2 a)) (pow (atan (fmod a (asin a))) (* (cbrt (/ (* a a) 2)) (cbrt (/ (* a a) 2)))) (pow (atan (fmod a (asin a))) (sqrt (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ a (* (cbrt 2) (cbrt 2)))) (pow (atan (fmod a (asin a))) (/ a (sqrt 2))) (pow (atan (fmod a (asin a))) a) (atan (fmod a (asin a))) (pow (atan (fmod a (asin a))) (* a a)) (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (/ (* a a) 2)) (pow (cbrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) 1 (sqrt (pow (atan (fmod a (asin a))) (* a a))) (* (log (sqrt (atan (fmod a (asin a))))) (pow a 2)) (exp (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (* (cbrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (cbrt (sqrt (pow (atan (fmod a (asin a))) (* a a))))) (cbrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (pow (sqrt (pow (atan (fmod a (asin a))) (* a a))) 3) (sqrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (sqrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (pow (atan (fmod a (asin a))) (/ (* a a) 4)) (pow (atan (fmod a (asin a))) (/ (* a a) 4)) (* (log (sqrt (atan (fmod a (asin a))))) (pow a 2)) (* (log (sqrt (atan (fmod a (asin a))))) (pow a 2)) (* a (* 1/2 a)) (pow (atan (fmod a (asin a))) (* (cbrt (/ (* a a) 2)) (cbrt (/ (* a a) 2)))) (pow (atan (fmod a (asin a))) (sqrt (/ (* a a) 2))) (pow (atan (fmod a (asin a))) (/ a (* (cbrt 2) (cbrt 2)))) (pow (atan (fmod a (asin a))) (/ a (sqrt 2))) (pow (atan (fmod a (asin a))) a) (atan (fmod a (asin a))) (pow (atan (fmod a (asin a))) (* a a)) (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (/ (* a a) 2)) (pow (cbrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) (pow (sqrt (atan (fmod a (asin a)))) (/ (* a a) 2)) 1 (sqrt (pow (atan (fmod a (asin a))) (* a a))) (* (log (sqrt (atan (fmod a (asin a))))) (pow a 2)) (exp (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (* (cbrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (cbrt (sqrt (pow (atan (fmod a (asin a))) (* a a))))) (cbrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (pow (sqrt (pow (atan (fmod a (asin a))) (* a a))) 3) (sqrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (sqrt (sqrt (pow (atan (fmod a (asin a))) (* a a)))) (pow (atan (fmod a (asin a))) (/ (* a a) 4)) (pow (atan (fmod a (asin a))) (/ (* a a) 4)) (log (fmod a (asin a))) (exp (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))) (pow (fmod a (asin a)) 3) (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))) (log (fmod a (asin a))) (exp (fmod a (asin a))) (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))) (pow (fmod a (asin a)) 3) (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))) (+ 1 (* (log (atan (fmod a (asin a)))) (+ (* 1/2 (* a a)) (* (* 1/8 (pow a 4)) (log (atan (fmod a (asin a)))))))) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (+ 1 (* (log (atan (fmod a (asin a)))) (+ (* 1/2 (* a a)) (* (* 1/8 (pow a 4)) (log (atan (fmod a (asin a)))))))) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a))) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) (fmod a (asin a)) 7.884 * * * [progress]: adding candidates to table 8.120 * [progress]: [Phase 3 of 3] Extracting. 8.120 * * [regime]: Finding splitpoints for: (# #) 8.121 * * * [regime-changes]: Trying 2 branch expressions: ((pow (atan (fmod a (asin a))) (* a a)) a) 8.122 * * * * [regimes]: Trying to branch on (pow (atan (fmod a (asin a))) (* a a)) from (# #) 8.144 * * * * [regimes]: Trying to branch on a from (# #) 8.156 * * * [regime]: Found split indices: #