31.142 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.162 * * * [progress]: [2/2] Setting up program. 0.164 * [progress]: [Phase 2 of 3] Improving. 0.165 * [simplify]: Simplifying using # : (pow (atan (fmod a (asin a))) (* a a)) 0.166 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 0.167 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 0.168 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 0.171 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 0.179 * * [simplify]: iteration 4 : 98 enodes (cost 9 ) 0.219 * * [simplify]: iteration 5 : 258 enodes (cost 9 ) 0.430 * * [simplify]: iteration 6 : 877 enodes (cost 9 ) 2.127 * * [simplify]: iteration 7 : 3214 enodes (cost 9 ) 3.383 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 3.383 * [simplify]: Simplified to: (pow (atan (fmod a (asin a))) (* a a)) 3.383 * * [progress]: iteration 1 / 4 3.383 * * * [progress]: picking best candidate 3.386 * * * * [pick]: Picked # 3.386 * * * [progress]: localizing error 3.394 * * * [progress]: generating rewritten candidates 3.394 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.396 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 3.397 * * * [progress]: generating series expansions 3.397 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.397 * [approximate]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in (a) around 0 3.397 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a 3.397 * [taylor]: Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a 3.397 * [taylor]: Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a 3.397 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.397 * [taylor]: Taking taylor expansion of a in a 3.397 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 3.397 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 3.398 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (pow a 2)) in a 3.398 * [taylor]: Taking taylor expansion of (exp (* (pow a 2) (log (atan (fmod a (asin a)))))) in a 3.398 * [taylor]: Taking taylor expansion of (* (pow a 2) (log (atan (fmod a (asin a))))) in a 3.398 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.398 * [taylor]: Taking taylor expansion of a in a 3.398 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 3.398 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 3.409 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in (a) around 0 3.409 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a 3.409 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 3.409 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 3.409 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.409 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.409 * [taylor]: Taking taylor expansion of a in a 3.410 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 3.410 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 3.410 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1 (pow a 2))) in a 3.410 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 3.410 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 3.410 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.410 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.410 * [taylor]: Taking taylor expansion of a in a 3.411 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 3.411 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 3.412 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in (a) around 0 3.412 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a 3.412 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 3.412 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 3.412 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.412 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.412 * [taylor]: Taking taylor expansion of a in a 3.413 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 3.413 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 3.414 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1 (pow a 2))) in a 3.414 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 3.414 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 3.414 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.414 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.414 * [taylor]: Taking taylor expansion of a in a 3.414 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 3.414 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 3.415 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 3.416 * [approximate]: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 3.416 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 3.416 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 3.416 * [approximate]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 3.416 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 3.416 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 3.416 * [approximate]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 3.416 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 3.416 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 3.417 * * * [progress]: simplifying candidates 3.417 * [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.424 * * [simplify]: iteration 0 : 46 enodes (cost 322 ) 3.433 * * [simplify]: iteration 1 : 96 enodes (cost 308 ) 3.460 * * [simplify]: iteration 2 : 255 enodes (cost 290 ) 3.596 * * [simplify]: iteration 3 : 908 enodes (cost 288 ) 5.361 * * [simplify]: iteration 4 : 3932 enodes (cost 288 ) 6.649 * * [simplify]: iteration done : 5001 enodes (cost 288 ) 6.650 * [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.650 * * * [progress]: adding candidates to table 6.723 * * [progress]: iteration 2 / 4 6.723 * * * [progress]: picking best candidate 6.728 * * * * [pick]: Picked # 6.728 * * * [progress]: localizing error 6.739 * * * [progress]: generating rewritten candidates 6.739 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.741 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 6.743 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 6.743 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 6.745 * * * [progress]: generating series expansions 6.745 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.745 * [approximate]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in (a) around 0 6.745 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.745 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.745 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.745 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.745 * [taylor]: Taking taylor expansion of 1/2 in a 6.745 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.745 * [taylor]: Taking taylor expansion of a in a 6.745 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.745 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.747 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.747 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.747 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.747 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.747 * [taylor]: Taking taylor expansion of 1/2 in a 6.747 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.747 * [taylor]: Taking taylor expansion of a in a 6.747 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.747 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.759 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.759 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.759 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.759 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.759 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.759 * [taylor]: Taking taylor expansion of 1/2 in a 6.760 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.760 * [taylor]: Taking taylor expansion of a in a 6.760 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.760 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.761 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.761 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.761 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.761 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.761 * [taylor]: Taking taylor expansion of 1/2 in a 6.761 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.761 * [taylor]: Taking taylor expansion of a in a 6.762 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.762 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.763 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.763 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.763 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.763 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.763 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.763 * [taylor]: Taking taylor expansion of 1/2 in a 6.763 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.763 * [taylor]: Taking taylor expansion of a in a 6.764 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.764 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.764 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.764 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.764 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.765 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.765 * [taylor]: Taking taylor expansion of 1/2 in a 6.765 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.765 * [taylor]: Taking taylor expansion of a in a 6.765 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.765 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.766 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 6.767 * [approximate]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in (a) around 0 6.767 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.767 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.767 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.767 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.767 * [taylor]: Taking taylor expansion of 1/2 in a 6.767 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.767 * [taylor]: Taking taylor expansion of a in a 6.767 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.767 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.768 * [taylor]: Taking taylor expansion of (pow (atan (fmod a (asin a))) (* 1/2 (pow a 2))) in a 6.768 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a)))))) in a 6.768 * [taylor]: Taking taylor expansion of (* (* 1/2 (pow a 2)) (log (atan (fmod a (asin a))))) in a 6.768 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 6.768 * [taylor]: Taking taylor expansion of 1/2 in a 6.768 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.768 * [taylor]: Taking taylor expansion of a in a 6.768 * [taylor]: Taking taylor expansion of (log (atan (fmod a (asin a)))) in a 6.768 * [taylor]: Taking taylor expansion of (atan (fmod a (asin a))) in a 6.780 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.780 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.780 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.780 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.780 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.780 * [taylor]: Taking taylor expansion of 1/2 in a 6.780 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.780 * [taylor]: Taking taylor expansion of a in a 6.781 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.781 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.782 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (/ 1/2 (pow a 2))) in a 6.782 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a 6.782 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a 6.782 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.782 * [taylor]: Taking taylor expansion of 1/2 in a 6.782 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.782 * [taylor]: Taking taylor expansion of a in a 6.783 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a 6.783 * [taylor]: Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a 6.784 * [approximate]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in (a) around 0 6.784 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.784 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.784 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.784 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.784 * [taylor]: Taking taylor expansion of 1/2 in a 6.784 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.784 * [taylor]: Taking taylor expansion of a in a 6.785 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.785 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.786 * [taylor]: Taking taylor expansion of (pow (atan (fmod (/ -1 a) (asin (/ -1 a)))) (/ 1/2 (pow a 2))) in a 6.786 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a))))))) in a 6.786 * [taylor]: Taking taylor expansion of (* (/ 1/2 (pow a 2)) (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) in a 6.786 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 6.786 * [taylor]: Taking taylor expansion of 1/2 in a 6.786 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.786 * [taylor]: Taking taylor expansion of a in a 6.786 * [taylor]: Taking taylor expansion of (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) in a 6.786 * [taylor]: Taking taylor expansion of (atan (fmod (/ -1 a) (asin (/ -1 a)))) in a 6.787 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 6.788 * [approximate]: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 6.788 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.788 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.788 * [approximate]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 6.788 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.788 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.788 * [approximate]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 6.788 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.788 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.789 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 6.789 * [approximate]: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 6.789 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.789 * [taylor]: Taking taylor expansion of (fmod a (asin a)) in a 6.789 * [approximate]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 6.789 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.789 * [taylor]: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 6.790 * [approximate]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 6.790 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.790 * [taylor]: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 6.790 * * * [progress]: simplifying candidates 6.791 * [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.794 * * [simplify]: iteration 0 : 64 enodes (cost 892 ) 6.809 * * [simplify]: iteration 1 : 135 enodes (cost 832 ) 6.849 * * [simplify]: iteration 2 : 357 enodes (cost 800 ) 7.105 * * [simplify]: iteration 3 : 1285 enodes (cost 762 ) 8.279 * * [simplify]: iteration done : 5001 enodes (cost 762 ) 8.279 * [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)) 8.280 * * * [progress]: adding candidates to table 8.510 * [progress]: [Phase 3 of 3] Extracting. 8.510 * * [regime]: Finding splitpoints for: (# #) 8.511 * * * [regime-changes]: Trying 2 branch expressions: ((pow (atan (fmod a (asin a))) (* a a)) a) 8.511 * * * * [regimes]: Trying to branch on (pow (atan (fmod a (asin a))) (* a a)) from (# #) 8.532 * * * * [regimes]: Trying to branch on a from (# #) 8.547 * * * [regime]: Found split indices: #