11.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.883 * * * [progress]: [2/2] Setting up program. 0.890 * [progress]: [Phase 2 of 3] Improving. 0.890 * [simplify]: Simplifying using # : (* (fmod (exp x) (sqrt (cos x))) (exp (neg x))) 0.969 * * [simplify]: iteration 0 : 4797 enodes (cost 9 ) 0.969 * * [simplify]: iteration 1 : 4797 enodes (cost 9 ) 0.969 * [simplify]: Simplified to: (/ (fmod (exp x) (sqrt (cos x))) (exp x)) 0.973 * * [progress]: iteration 1 / 4 0.973 * * * [progress]: picking best candidate 0.976 * * * * [pick]: Picked # 0.976 * * * [progress]: localizing error 0.983 * * * [progress]: generating rewritten candidates 0.983 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.984 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 0.986 * * * [progress]: generating series expansions 0.986 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.986 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 0.986 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 0.987 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 0.988 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 0.988 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 0.988 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 0.988 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 0.988 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 0.988 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 0.989 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 0.989 * [approximate]: Taking taylor expansion of (sqrt (cos x)) in (x) around 0 0.989 * [taylor]: Taking taylor expansion of (sqrt (cos x)) in x 0.989 * [taylor]: Taking taylor expansion of (cos x) in x 0.989 * [taylor]: Taking taylor expansion of x in x 0.989 * [taylor]: Taking taylor expansion of (sqrt (cos x)) in x 0.989 * [taylor]: Taking taylor expansion of (cos x) in x 0.989 * [taylor]: Taking taylor expansion of x in x 0.990 * [approximate]: Taking taylor expansion of (sqrt (cos (/ 1 x))) in (x) around 0 0.990 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 x))) in x 0.990 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 x))) in x 0.990 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.991 * [approximate]: Taking taylor expansion of (sqrt (cos (/ -1 x))) in (x) around 0 0.991 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 x))) in x 0.991 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.991 * [taylor]: Taking taylor expansion of -1 in x 0.991 * [taylor]: Taking taylor expansion of x in x 0.991 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 x))) in x 0.991 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.991 * [taylor]: Taking taylor expansion of -1 in x 0.991 * [taylor]: Taking taylor expansion of x in x 0.992 * * * [progress]: simplifying candidates 0.992 * [simplify]: Simplifying using # : (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (* (* (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (sqrt (cos x))) (exp (sqrt (cos x))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (cbrt (sqrt (cos x))) (* (* (sqrt (cos x)) (sqrt (cos x))) (sqrt (cos x))) (sqrt (* (cbrt (cos x)) (cbrt (cos x)))) (sqrt (cbrt (cos x))) (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) (sqrt 1) (sqrt (cos x)) (/ 1 2) (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (- 1 (+ (* 1/4 (pow x 2)) (* 1/96 (pow x 4)))) (sqrt (cos x)) (sqrt (cos x)) 1.052 * * [simplify]: iteration 0 : 4713 enodes (cost 150 ) 1.053 * * [simplify]: iteration 1 : 4713 enodes (cost 150 ) 1.054 * [simplify]: Simplified to: (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (sqrt (cos x))) (exp (sqrt (cos x))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (cbrt (sqrt (cos x))) (pow (sqrt (cos x)) 3) (fabs (cbrt (cos x))) (sqrt (cbrt (cos x))) (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) 1 (sqrt (cos x)) 1/2 (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (+ 1 (+ (* (pow x 4) -1/96) (* x (* x -1/4)))) (sqrt (cos x)) (sqrt (cos x)) 1.054 * * * [progress]: adding candidates to table 1.079 * * [progress]: iteration 2 / 4 1.079 * * * [progress]: picking best candidate 1.085 * * * * [pick]: Picked # 1.085 * * * [progress]: localizing error 1.097 * * * [progress]: generating rewritten candidates 1.097 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.098 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.099 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.101 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1.104 * * * [progress]: generating series expansions 1.104 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.104 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.104 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.104 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.104 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.104 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.104 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.105 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.105 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.105 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.105 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.105 * [approximate]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in (x) around 0 1.105 * [taylor]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in x 1.105 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.105 * [taylor]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in x 1.105 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.110 * [approximate]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in (x) around 0 1.110 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in x 1.110 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.110 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in x 1.110 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.115 * [approximate]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in (x) around 0 1.115 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in x 1.115 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.115 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in x 1.115 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.120 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.120 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.120 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.120 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.121 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.121 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.121 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.121 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.121 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.121 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.122 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1.122 * [approximate]: Taking taylor expansion of (sqrt (cos x)) in (x) around 0 1.122 * [taylor]: Taking taylor expansion of (sqrt (cos x)) in x 1.122 * [taylor]: Taking taylor expansion of (cos x) in x 1.122 * [taylor]: Taking taylor expansion of x in x 1.122 * [taylor]: Taking taylor expansion of (sqrt (cos x)) in x 1.122 * [taylor]: Taking taylor expansion of (cos x) in x 1.122 * [taylor]: Taking taylor expansion of x in x 1.123 * [approximate]: Taking taylor expansion of (sqrt (cos (/ 1 x))) in (x) around 0 1.123 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 x))) in x 1.123 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.123 * [taylor]: Taking taylor expansion of (sqrt (cos (/ 1 x))) in x 1.123 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.124 * [approximate]: Taking taylor expansion of (sqrt (cos (/ -1 x))) in (x) around 0 1.124 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 x))) in x 1.124 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.124 * [taylor]: Taking taylor expansion of -1 in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.124 * [taylor]: Taking taylor expansion of (sqrt (cos (/ -1 x))) in x 1.124 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.124 * [taylor]: Taking taylor expansion of -1 in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.125 * * * [progress]: simplifying candidates 1.125 * [simplify]: Simplifying using # : (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (* (* (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x)))))) (log (cbrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log 1) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (log (fmod (exp x) (sqrt (cos x))))) (exp (log (fmod (exp x) (sqrt (cos x))))) (* (cbrt (log (fmod (exp x) (sqrt (cos x))))) (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (fmod (exp x) (sqrt (cos x))))) (* (* (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x))))) (log (fmod (exp x) (sqrt (cos x))))) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (exp 1) (exp (* (cbrt (log (fmod (exp x) (sqrt (cos x))))) (cbrt (log (fmod (exp x) (sqrt (cos x))))))) (exp (sqrt (log (fmod (exp x) (sqrt (cos x)))))) (exp 1) (exp (log (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))))) (exp (log (cbrt (fmod (exp x) (sqrt (cos x)))))) (exp (log (sqrt (fmod (exp x) (sqrt (cos x)))))) (exp (log (sqrt (fmod (exp x) (sqrt (cos x)))))) (exp (log 1)) (exp (log (fmod (exp x) (sqrt (cos x))))) (log (exp (log (fmod (exp x) (sqrt (cos x)))))) (exp (exp (log (fmod (exp x) (sqrt (cos x)))))) (* (cbrt (exp (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (exp (log (fmod (exp x) (sqrt (cos x))))))) (cbrt (exp (log (fmod (exp x) (sqrt (cos x)))))) (* (* (exp (log (fmod (exp x) (sqrt (cos x))))) (exp (log (fmod (exp x) (sqrt (cos x)))))) (exp (log (fmod (exp x) (sqrt (cos x)))))) (sqrt (exp (log (fmod (exp x) (sqrt (cos x)))))) (sqrt (exp (log (fmod (exp x) (sqrt (cos x)))))) (log (sqrt (cos x))) (exp (sqrt (cos x))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (cbrt (sqrt (cos x))) (* (* (sqrt (cos x)) (sqrt (cos x))) (sqrt (cos x))) (sqrt (* (cbrt (cos x)) (cbrt (cos x)))) (sqrt (cbrt (cos x))) (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) (sqrt 1) (sqrt (cos x)) (/ 1 2) (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (- 1 (+ (* 1/4 (pow x 2)) (* 1/96 (pow x 4)))) (sqrt (cos x)) (sqrt (cos x)) 1.194 * * [simplify]: iteration 0 : 4694 enodes (cost 415 ) 1.194 * * [simplify]: iteration 1 : 4694 enodes (cost 415 ) 1.196 * [simplify]: Simplified to: (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (* (log (cbrt (fmod (exp x) (sqrt (cos x))))) 2) (log (cbrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log 1) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (log (fmod (exp x) (sqrt (cos x))))) (fmod (exp x) (sqrt (cos x))) (* (cbrt (log (fmod (exp x) (sqrt (cos x))))) (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (fmod (exp x) (sqrt (cos x))))) (pow (log (fmod (exp x) (sqrt (cos x)))) 3) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (sqrt (log (fmod (exp x) (sqrt (cos x))))) E (pow (exp (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (exp (sqrt (log (fmod (exp x) (sqrt (cos x)))))) E (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (cbrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) 1 (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (sqrt (cos x))) (exp (sqrt (cos x))) (* (cbrt (sqrt (cos x))) (cbrt (sqrt (cos x)))) (cbrt (sqrt (cos x))) (pow (sqrt (cos x)) 3) (fabs (cbrt (cos x))) (sqrt (cbrt (cos x))) (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) 1 (sqrt (cos x)) 1/2 (sqrt (sqrt (cos x))) (sqrt (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (+ 1 (+ (* (pow x 4) -1/96) (* x (* x -1/4)))) (sqrt (cos x)) (sqrt (cos x)) 1.196 * * * [progress]: adding candidates to table 1.253 * * [progress]: iteration 3 / 4 1.253 * * * [progress]: picking best candidate 1.260 * * * * [pick]: Picked # 1.260 * * * [progress]: localizing error 1.272 * * * [progress]: generating rewritten candidates 1.272 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 1.273 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.275 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.277 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.281 * * * [progress]: generating series expansions 1.281 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 1.281 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.281 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.281 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.281 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.281 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.281 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.282 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.282 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.282 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.282 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.282 * [approximate]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in (x) around 0 1.282 * [taylor]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in x 1.282 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.282 * [taylor]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in x 1.282 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.287 * [approximate]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in (x) around 0 1.287 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in x 1.287 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.287 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in x 1.287 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.292 * [approximate]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in (x) around 0 1.292 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in x 1.292 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.292 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in x 1.292 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.297 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.297 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.297 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.297 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.297 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.297 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.297 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.298 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.298 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.298 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.298 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.298 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.298 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.298 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.299 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.299 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.299 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.299 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.299 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.299 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.300 * * * [progress]: simplifying candidates 1.300 * [simplify]: Simplifying using # : (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (* (* (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log 1) (log (log (exp (fmod (exp x) (sqrt (cos x)))))) (log (cbrt (fmod (exp x) (sqrt (cos x))))) (log (log (exp (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x)))))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (log (exp (sqrt (fmod (exp x) (sqrt (cos x))))))) (log (fmod (exp x) (sqrt (cos x)))) (log (log (exp 1))) (log (* (cbrt (log (exp (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (exp (fmod (exp x) (sqrt (cos x)))))))) (log (cbrt (log (exp (fmod (exp x) (sqrt (cos x))))))) (log (sqrt (log (exp (fmod (exp x) (sqrt (cos x))))))) (log (sqrt (log (exp (fmod (exp x) (sqrt (cos x))))))) (log 1) (log (log (exp (fmod (exp x) (sqrt (cos x)))))) (log (log (exp (fmod (exp x) (sqrt (cos x)))))) (log (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (exp (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (* (cbrt (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (cbrt (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (cbrt (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (* (* (log (log (exp (fmod (exp x) (sqrt (cos x)))))) (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (sqrt (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (sqrt (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (log (* (cbrt (exp (fmod (exp x) (sqrt (cos x))))) (cbrt (exp (fmod (exp x) (sqrt (cos x))))))) (log (cbrt (exp (fmod (exp x) (sqrt (cos x)))))) (log (sqrt (exp (fmod (exp x) (sqrt (cos x)))))) (log (sqrt (exp (fmod (exp x) (sqrt (cos x)))))) (log 1) (log (exp (fmod (exp x) (sqrt (cos x))))) (log (exp (fmod (exp x) (sqrt (cos x))))) (log (exp (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))))) (log (exp (sqrt (fmod (exp x) (sqrt (cos x)))))) (log (exp 1)) (log (log (exp (fmod (exp x) (sqrt (cos x)))))) (exp (log (exp (fmod (exp x) (sqrt (cos x)))))) (* (cbrt (log (exp (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (exp (fmod (exp x) (sqrt (cos x))))))) (cbrt (log (exp (fmod (exp x) (sqrt (cos x)))))) (* (* (log (exp (fmod (exp x) (sqrt (cos x))))) (log (exp (fmod (exp x) (sqrt (cos x)))))) (log (exp (fmod (exp x) (sqrt (cos x)))))) (sqrt (log (exp (fmod (exp x) (sqrt (cos x)))))) (sqrt (log (exp (fmod (exp x) (sqrt (cos x)))))) (exp 1) (exp (* (cbrt (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (cbrt (log (log (exp (fmod (exp x) (sqrt (cos x))))))))) (exp (sqrt (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (exp 1) (exp (log 1)) (exp (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (exp (log (cbrt (fmod (exp x) (sqrt (cos x)))))) (exp (log (log (exp (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))))))) (exp (log (sqrt (fmod (exp x) (sqrt (cos x)))))) (exp (log (log (exp (sqrt (fmod (exp x) (sqrt (cos x)))))))) (exp (log (fmod (exp x) (sqrt (cos x))))) (exp (log (log (exp 1)))) (exp (log (* (cbrt (log (exp (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (exp (fmod (exp x) (sqrt (cos x))))))))) (exp (log (cbrt (log (exp (fmod (exp x) (sqrt (cos x)))))))) (exp (log (sqrt (log (exp (fmod (exp x) (sqrt (cos x)))))))) (exp (log (sqrt (log (exp (fmod (exp x) (sqrt (cos x)))))))) (exp (log 1)) (exp (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (log (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (exp (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (* (cbrt (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (cbrt (exp (log (log (exp (fmod (exp x) (sqrt (cos x))))))))) (cbrt (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (* (* (exp (log (log (exp (fmod (exp x) (sqrt (cos x))))))) (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (sqrt (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (sqrt (exp (log (log (exp (fmod (exp x) (sqrt (cos x)))))))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) 1.348 * * [simplify]: iteration 0 : 4993 enodes (cost 576 ) 1.349 * * [simplify]: iteration 1 : 4993 enodes (cost 576 ) 1.353 * [simplify]: Simplified to: (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log 1) (log (fmod (exp x) (sqrt (cos x)))) (log (cbrt (fmod (exp x) (sqrt (cos x))))) (* (log (cbrt (fmod (exp x) (sqrt (cos x))))) 2) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (fmod (exp x) (sqrt (cos x)))) (log 1) (* (log (cbrt (fmod (exp x) (sqrt (cos x))))) 2) (log (cbrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log 1) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (log (fmod (exp x) (sqrt (cos x))))) (fmod (exp x) (sqrt (cos x))) (* (cbrt (log (fmod (exp x) (sqrt (cos x))))) (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (fmod (exp x) (sqrt (cos x))))) (pow (log (fmod (exp x) (sqrt (cos x)))) 3) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (* (log (cbrt (exp (fmod (exp x) (sqrt (cos x)))))) 2) (log (cbrt (exp (fmod (exp x) (sqrt (cos x)))))) (log (sqrt (exp (fmod (exp x) (sqrt (cos x)))))) (log (sqrt (exp (fmod (exp x) (sqrt (cos x)))))) (log 1) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (sqrt (fmod (exp x) (sqrt (cos x)))) 1 (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) E (pow (exp (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (exp (sqrt (log (fmod (exp x) (sqrt (cos x)))))) E 1 (fmod (exp x) (sqrt (cos x))) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x))) 1 (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (cbrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) 1 (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (pow (cbrt (fmod (exp x) (sqrt (cos x)))) 2) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) 1.354 * * * [progress]: adding candidates to table 1.412 * * [progress]: iteration 4 / 4 1.412 * * * [progress]: picking best candidate 1.417 * * * * [pick]: Picked # 1.417 * * * [progress]: localizing error 1.431 * * * [progress]: generating rewritten candidates 1.431 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 1.432 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1) 1.432 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1) 1.433 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1.435 * * * [progress]: generating series expansions 1.435 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 1.435 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.435 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.435 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.435 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.435 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.435 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.436 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.436 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.436 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.436 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1) 1.436 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.436 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.436 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.437 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.437 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.437 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.437 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.437 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.437 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.437 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1) 1.437 * [approximate]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in (x) around 0 1.437 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.437 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.438 * [approximate]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in (x) around 0 1.438 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.438 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.438 * [approximate]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in (x) around 0 1.438 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.438 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.439 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1.439 * [approximate]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in (x) around 0 1.439 * [taylor]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in x 1.439 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.439 * [taylor]: Taking taylor expansion of (log (fmod (exp x) (sqrt (cos x)))) in x 1.439 * [taylor]: Taking taylor expansion of (fmod (exp x) (sqrt (cos x))) in x 1.443 * [approximate]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in (x) around 0 1.443 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in x 1.443 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.443 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x))))) in x 1.443 * [taylor]: Taking taylor expansion of (fmod (exp (/ 1 x)) (sqrt (cos (/ 1 x)))) in x 1.448 * [approximate]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in (x) around 0 1.448 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in x 1.448 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.448 * [taylor]: Taking taylor expansion of (log (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x))))) in x 1.448 * [taylor]: Taking taylor expansion of (fmod (exp (/ -1 x)) (sqrt (cos (/ -1 x)))) in x 1.453 * * * [progress]: simplifying candidates 1.454 * [simplify]: Simplifying using # : (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (* (* (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (* (* (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (* (* (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x)))) (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x)))))) (log (cbrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log 1) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (log (fmod (exp x) (sqrt (cos x))))) (exp (log (fmod (exp x) (sqrt (cos x))))) (* (cbrt (log (fmod (exp x) (sqrt (cos x))))) (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (fmod (exp x) (sqrt (cos x))))) (* (* (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x))))) (log (fmod (exp x) (sqrt (cos x))))) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) 1.506 * * [simplify]: iteration 0 : 4820 enodes (cost 363 ) 1.506 * * [simplify]: iteration 1 : 4820 enodes (cost 363 ) 1.508 * [simplify]: Simplified to: (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (exp (fmod (exp x) (sqrt (cos x)))) (* (cbrt (fmod (exp x) (sqrt (cos x)))) (cbrt (fmod (exp x) (sqrt (cos x))))) (cbrt (fmod (exp x) (sqrt (cos x)))) (pow (fmod (exp x) (sqrt (cos x))) 3) (sqrt (fmod (exp x) (sqrt (cos x)))) (sqrt (fmod (exp x) (sqrt (cos x)))) (* (log (cbrt (fmod (exp x) (sqrt (cos x))))) 2) (log (cbrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log (sqrt (fmod (exp x) (sqrt (cos x))))) (log 1) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (log (fmod (exp x) (sqrt (cos x))))) (fmod (exp x) (sqrt (cos x))) (* (cbrt (log (fmod (exp x) (sqrt (cos x))))) (cbrt (log (fmod (exp x) (sqrt (cos x)))))) (cbrt (log (fmod (exp x) (sqrt (cos x))))) (pow (log (fmod (exp x) (sqrt (cos x)))) 3) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (sqrt (log (fmod (exp x) (sqrt (cos x))))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (fmod (exp x) (sqrt (cos x))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) (log (fmod (exp x) (sqrt (cos x)))) 1.509 * * * [progress]: adding candidates to table 1.556 * [progress]: [Phase 3 of 3] Extracting. 1.556 * * [regime]: Finding splitpoints for: (# #) 1.557 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.557 * * * * [regimes]: Trying to branch on x from (# #) 1.582 * * * [regime]: Found split indices: #