6.042 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.131 * * * [progress]: [2/2] Setting up program. 0.133 * [progress]: [Phase 2 of 3] Improving. 0.133 * [simplify]: Simplifying using # : (/ (- 1.0 (cos x)) (sin x)) 0.133 * [simplify]: Sending expressions to egg_math: (/ (- h0 (cos h1)) (sin h1)) 0.135 * * [simplify]: iteration 0 : 11 enodes (cost 4 ) 0.136 * * [simplify]: iteration 1 : 14 enodes (cost 4 ) 0.138 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 0.139 * * [simplify]: iteration 3 : 16 enodes (cost 4 ) 0.139 * [simplify]: Simplified to: (/ (- 1.0 (cos x)) (sin x)) 0.139 * * [progress]: iteration 1 / 4 0.139 * * * [progress]: picking best candidate 0.141 * * * * [pick]: Picked # 0.141 * * * [progress]: localizing error 0.148 * * * [progress]: generating rewritten candidates 0.148 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.154 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.172 * * * [progress]: generating series expansions 0.172 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.172 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.172 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.172 * [taylor]: Taking taylor expansion of 1.0 in x 0.172 * [taylor]: Taking taylor expansion of (cos x) in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.172 * [taylor]: Taking taylor expansion of 1.0 in x 0.172 * [taylor]: Taking taylor expansion of (cos x) in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.182 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.182 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.182 * [taylor]: Taking taylor expansion of 1.0 in x 0.182 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.182 * [taylor]: Taking taylor expansion of 1.0 in x 0.182 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.185 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.185 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.185 * [taylor]: Taking taylor expansion of 1.0 in x 0.185 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.185 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.185 * [taylor]: Taking taylor expansion of -1 in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.185 * [taylor]: Taking taylor expansion of 1.0 in x 0.185 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.185 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.185 * [taylor]: Taking taylor expansion of -1 in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.188 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.188 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0 0.188 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.188 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.188 * [taylor]: Taking taylor expansion of 1.0 in x 0.188 * [taylor]: Taking taylor expansion of (cos x) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [taylor]: Taking taylor expansion of (sin x) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.198 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (cos x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (sin x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.214 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0 0.214 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.214 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.214 * [taylor]: Taking taylor expansion of 1.0 in x 0.214 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.215 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.215 * [taylor]: Taking taylor expansion of 1.0 in x 0.215 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.220 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0 0.220 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.220 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.220 * [taylor]: Taking taylor expansion of 1.0 in x 0.220 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.220 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.220 * [taylor]: Taking taylor expansion of -1 in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.221 * [taylor]: Taking taylor expansion of -1 in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.221 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.221 * [taylor]: Taking taylor expansion of 1.0 in x 0.221 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.221 * [taylor]: Taking taylor expansion of -1 in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.222 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.222 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.226 * * * [progress]: simplifying candidates 0.227 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (- (log (- 1.0 (cos x))) (log (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (/ (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (* (* (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x))) (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (- 1.0 (cos x))) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) 1) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) 1) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) 1) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ 1 1) (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (/ (- 1.0 (cos x)) 1) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (sin x) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (* (sin x) (+ 1.0 (cos x))) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 0.227 * [simplify]: Sending expressions to egg_math: (/ (exp h0) (exp (cos h1))) (log (- h0 (cos h1))) (exp (- h0 (cos h1))) (* (cbrt (- h0 (cos h1))) (cbrt (- h0 (cos h1)))) (cbrt (- h0 (cos h1))) (* (* (- h0 (cos h1)) (- h0 (cos h1))) (- h0 (cos h1))) (sqrt (- h0 (cos h1))) (sqrt (- h0 (cos h1))) (- (pow h0 3) (pow (cos h1) 3)) (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (- (cos h1)) (- (* h0 h0) (* (cos h1) (cos h1))) (+ h0 (cos h1)) (+ (sqrt h0) (sqrt (cos h1))) (- (sqrt h0) (sqrt (cos h1))) (- h0 (cos h1)) (- (cos h1)) (- (log (- h0 (cos h1))) (log (sin h1))) (log (/ (- h0 (cos h1)) (sin h1))) (exp (/ (- h0 (cos h1)) (sin h1))) (/ (* (* (- h0 (cos h1)) (- h0 (cos h1))) (- h0 (cos h1))) (* (* (sin h1) (sin h1)) (sin h1))) (* (cbrt (/ (- h0 (cos h1)) (sin h1))) (cbrt (/ (- h0 (cos h1)) (sin h1)))) (cbrt (/ (- h0 (cos h1)) (sin h1))) (* (* (/ (- h0 (cos h1)) (sin h1)) (/ (- h0 (cos h1)) (sin h1))) (/ (- h0 (cos h1)) (sin h1))) (sqrt (/ (- h0 (cos h1)) (sin h1))) (sqrt (/ (- h0 (cos h1)) (sin h1))) (- (- h0 (cos h1))) (- (sin h1)) (/ h0 (sin h1)) (/ (cos h1) (sin h1)) (/ (* (cbrt (- h0 (cos h1))) (cbrt (- h0 (cos h1)))) (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (cbrt (- h0 (cos h1))) (cbrt (sin h1))) (/ (* (cbrt (- h0 (cos h1))) (cbrt (- h0 (cos h1)))) (sqrt (sin h1))) (/ (cbrt (- h0 (cos h1))) (sqrt (sin h1))) (/ (* (cbrt (- h0 (cos h1))) (cbrt (- h0 (cos h1)))) 1) (/ (cbrt (- h0 (cos h1))) (sin h1)) (/ (sqrt (- h0 (cos h1))) (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (sqrt (- h0 (cos h1))) (cbrt (sin h1))) (/ (sqrt (- h0 (cos h1))) (sqrt (sin h1))) (/ (sqrt (- h0 (cos h1))) (sqrt (sin h1))) (/ (sqrt (- h0 (cos h1))) 1) (/ (sqrt (- h0 (cos h1))) (sin h1)) (/ 1 (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (- h0 (cos h1)) (cbrt (sin h1))) (/ 1 (sqrt (sin h1))) (/ (- h0 (cos h1)) (sqrt (sin h1))) (/ 1 1) (/ (- h0 (cos h1)) (sin h1)) (/ (+ (sqrt h0) (sqrt (cos h1))) (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (- (sqrt h0) (sqrt (cos h1))) (cbrt (sin h1))) (/ (+ (sqrt h0) (sqrt (cos h1))) (sqrt (sin h1))) (/ (- (sqrt h0) (sqrt (cos h1))) (sqrt (sin h1))) (/ (+ (sqrt h0) (sqrt (cos h1))) 1) (/ (- (sqrt h0) (sqrt (cos h1))) (sin h1)) (/ 1 (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (- h0 (cos h1)) (cbrt (sin h1))) (/ 1 (sqrt (sin h1))) (/ (- h0 (cos h1)) (sqrt (sin h1))) (/ 1 1) (/ (- h0 (cos h1)) (sin h1)) (/ 1 (sin h1)) (/ (sin h1) (- h0 (cos h1))) (/ (- h0 (cos h1)) (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (- h0 (cos h1)) (sqrt (sin h1))) (/ (- h0 (cos h1)) 1) (/ (sin h1) (cbrt (- h0 (cos h1)))) (/ (sin h1) (sqrt (- h0 (cos h1)))) (/ (sin h1) (- h0 (cos h1))) (/ (sin h1) (- (sqrt h0) (sqrt (cos h1)))) (/ (sin h1) (- h0 (cos h1))) (* (sin h1) (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1))))) (* (sin h1) (+ h0 (cos h1))) (- (+ (* 1/2 (pow h1 2)) (* 1/720 (pow h1 6))) (* 1/24 (pow h1 4))) (- h0 (cos h1)) (- h0 (cos h1)) (+ (* 1/24 (pow h1 3)) (+ (* 1/240 (pow h1 5)) (* 1/2 h1))) (/ (- h0 (cos h1)) (sin h1)) (/ (- h0 (cos h1)) (sin h1)) 0.231 * * [simplify]: iteration 0 : 233 enodes (cost 396 ) 0.235 * * [simplify]: iteration 1 : 673 enodes (cost 373 ) 0.247 * * [simplify]: iteration 2 : 2654 enodes (cost 373 ) 0.303 * * [simplify]: iteration 3 : 5001 enodes (cost 373 ) 0.305 * [simplify]: Simplified to: (exp (- 1.0 (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (pow (- 1.0 (cos x)) 3) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (log (/ (- 1.0 (cos x)) (sin x))) (log (/ (- 1.0 (cos x)) (sin x))) (exp (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (* (cbrt (/ (- 1.0 (cos x)) (sin x))) (cbrt (/ (- 1.0 (cos x)) (sin x)))) (cbrt (/ (- 1.0 (cos x)) (sin x))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (sqrt (/ (- 1.0 (cos x)) (sin x))) (sqrt (/ (- 1.0 (cos x)) (sin x))) (- (- 1.0 (cos x))) (- (sin x)) (/ 1.0 (sin x)) (/ (cos x) (sin x)) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (sqrt (sin x))) (/ (cbrt (- 1.0 (cos x))) (sqrt (sin x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt (- 1.0 (cos x))) (cbrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (/ (sqrt (- 1.0 (cos x))) (sqrt (sin x))) (sqrt (- 1.0 (cos x))) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ (+ (sqrt 1.0) (sqrt (cos x))) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- (sqrt 1.0) (sqrt (cos x))) (cbrt (sin x))) (/ (+ (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sqrt (sin x))) (+ (sqrt 1.0) (sqrt (cos x))) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ (- 1.0 (cos x)) (sqrt (sin x))) 1 (/ (- 1.0 (cos x)) (sin x)) (/ 1 (sin x)) (/ (sin x) (- 1.0 (cos x))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (- 1.0 (cos x)) (/ (sin x) (cbrt (- 1.0 (cos x)))) (/ (sin x) (sqrt (- 1.0 (cos x)))) (/ (sin x) (- 1.0 (cos x))) (/ (sin x) (- (sqrt 1.0) (sqrt (cos x)))) (/ (sin x) (- 1.0 (cos x))) (* (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (sin x)) (* (sin x) (+ 1.0 (cos x))) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) 0.306 * * * [progress]: adding candidates to table 0.435 * * [progress]: iteration 2 / 4 0.436 * * * [progress]: picking best candidate 0.459 * * * * [pick]: Picked # 0.459 * * * [progress]: localizing error 0.470 * * * [progress]: generating rewritten candidates 0.470 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.476 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.507 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.515 * * * [progress]: generating series expansions 0.515 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.516 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 0.516 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.516 * [taylor]: Taking taylor expansion of 1.0 in x 0.516 * [taylor]: Taking taylor expansion of (cos x) in x 0.516 * [taylor]: Taking taylor expansion of x in x 0.516 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.516 * [taylor]: Taking taylor expansion of 1.0 in x 0.516 * [taylor]: Taking taylor expansion of (cos x) in x 0.516 * [taylor]: Taking taylor expansion of x in x 0.525 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 0.525 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.525 * [taylor]: Taking taylor expansion of 1.0 in x 0.525 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.526 * [taylor]: Taking taylor expansion of 1.0 in x 0.526 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.532 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 0.532 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.532 * [taylor]: Taking taylor expansion of 1.0 in x 0.532 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.532 * [taylor]: Taking taylor expansion of -1 in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.532 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.532 * [taylor]: Taking taylor expansion of 1.0 in x 0.532 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.532 * [taylor]: Taking taylor expansion of -1 in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.535 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.535 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in (x) around 0 0.535 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.535 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.535 * [taylor]: Taking taylor expansion of 1.0 in x 0.535 * [taylor]: Taking taylor expansion of (cos x) in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.535 * [taylor]: Taking taylor expansion of (sin x) in x 0.535 * [taylor]: Taking taylor expansion of x in x 0.538 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos x)) (sin x)) in x 0.538 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 0.538 * [taylor]: Taking taylor expansion of 1.0 in x 0.538 * [taylor]: Taking taylor expansion of (cos x) in x 0.538 * [taylor]: Taking taylor expansion of x in x 0.538 * [taylor]: Taking taylor expansion of (sin x) in x 0.538 * [taylor]: Taking taylor expansion of x in x 0.554 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in (x) around 0 0.554 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.554 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.554 * [taylor]: Taking taylor expansion of 1.0 in x 0.554 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.554 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ 1 x))) (sin (/ 1 x))) in x 0.555 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 0.555 * [taylor]: Taking taylor expansion of 1.0 in x 0.555 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.560 * [approximate]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in (x) around 0 0.560 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.560 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.560 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.560 * [taylor]: Taking taylor expansion of -1 in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.561 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.561 * [taylor]: Taking taylor expansion of -1 in x 0.561 * [taylor]: Taking taylor expansion of x in x 0.561 * [taylor]: Taking taylor expansion of (/ (- 1.0 (cos (/ -1 x))) (sin (/ -1 x))) in x 0.561 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 0.561 * [taylor]: Taking taylor expansion of 1.0 in x 0.561 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.561 * [taylor]: Taking taylor expansion of -1 in x 0.561 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.562 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.562 * [taylor]: Taking taylor expansion of -1 in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.566 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.566 * [approximate]: Taking taylor expansion of (/ 1 (sin x)) in (x) around 0 0.566 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x 0.566 * [taylor]: Taking taylor expansion of (sin x) in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (/ 1 (sin x)) in x 0.567 * [taylor]: Taking taylor expansion of (sin x) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.574 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in (x) around 0 0.574 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x 0.574 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ 1 x))) in x 0.574 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.576 * [approximate]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in (x) around 0 0.576 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x 0.576 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.576 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.576 * [taylor]: Taking taylor expansion of -1 in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of (/ 1 (sin (/ -1 x))) in x 0.577 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.577 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.577 * [taylor]: Taking taylor expansion of -1 in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.578 * * * [progress]: simplifying candidates 0.580 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (* (- 1.0 (cos x)) (/ 1 (sin x))) (+ (log (- 1.0 (cos x))) (- (log (sin x)))) (+ (log (- 1.0 (cos x))) (- 0 (log (sin x)))) (+ (log (- 1.0 (cos x))) (- (log 1) (log (sin x)))) (+ (log (- 1.0 (cos x))) (log (/ 1 (sin x)))) (log (* (- 1.0 (cos x)) (/ 1 (sin x)))) (exp (* (- 1.0 (cos x)) (/ 1 (sin x)))) (* (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (/ (* (* 1 1) 1) (* (* (sin x) (sin x)) (sin x)))) (* (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (* (* (/ 1 (sin x)) (/ 1 (sin x))) (/ 1 (sin x)))) (* (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x))))) (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (* (* (* (- 1.0 (cos x)) (/ 1 (sin x))) (* (- 1.0 (cos x)) (/ 1 (sin x)))) (* (- 1.0 (cos x)) (/ 1 (sin x)))) (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (* (- (pow 1.0 3) (pow (cos x) 3)) 1) (* (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sin x)) (* (- (* 1.0 1.0) (* (cos x) (cos x))) 1) (* (+ 1.0 (cos x)) (sin x)) (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x)))) (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x)))) (* (sqrt (- 1.0 (cos x))) (/ (sqrt 1) (sqrt (sin x)))) (* (sqrt (- 1.0 (cos x))) (/ (sqrt 1) (sqrt (sin x)))) (* (sqrt (- 1.0 (cos x))) (/ 1 (sqrt (sin x)))) (* (sqrt (- 1.0 (cos x))) (/ 1 (sqrt (sin x)))) (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))) (* (- 1.0 (cos x)) (sqrt (/ 1 (sin x)))) (* (- 1.0 (cos x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin x)) (cbrt (sin x))))) (* (- 1.0 (cos x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin x)))) (* (- 1.0 (cos x)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- 1.0 (cos x)) (/ (sqrt 1) (* (cbrt (sin x)) (cbrt (sin x))))) (* (- 1.0 (cos x)) (/ (sqrt 1) (sqrt (sin x)))) (* (- 1.0 (cos x)) (/ (sqrt 1) 1)) (* (- 1.0 (cos x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x))))) (* (- 1.0 (cos x)) (/ 1 (sqrt (sin x)))) (* (- 1.0 (cos x)) (/ 1 1)) (* (- 1.0 (cos x)) 1) (* (- 1.0 (cos x)) 1) (* (cbrt (- 1.0 (cos x))) (/ 1 (sin x))) (* (sqrt (- 1.0 (cos x))) (/ 1 (sin x))) (* (- 1.0 (cos x)) (/ 1 (sin x))) (* (- (sqrt 1.0) (sqrt (cos x))) (/ 1 (sin x))) (* (- 1.0 (cos x)) (/ 1 (sin x))) (* (- 1.0 (cos x)) 1) (* (- (pow 1.0 3) (pow (cos x) 3)) (/ 1 (sin x))) (* (- (* 1.0 1.0) (* (cos x) (cos x))) (/ 1 (sin x))) (- 1) (- (log (sin x))) (- 0 (log (sin x))) (- (log 1) (log (sin x))) (log (/ 1 (sin x))) (exp (/ 1 (sin x))) (/ (* (* 1 1) 1) (* (* (sin x) (sin x)) (sin x))) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x)))) (cbrt (/ 1 (sin x))) (* (* (/ 1 (sin x)) (/ 1 (sin x))) (/ 1 (sin x))) (sqrt (/ 1 (sin x))) (sqrt (/ 1 (sin x))) (- 1) (- (sin x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (cbrt 1) (cbrt (sin x))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin x))) (/ (cbrt 1) (sqrt (sin x))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sin x)) (/ (sqrt 1) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (sqrt 1) (cbrt (sin x))) (/ (sqrt 1) (sqrt (sin x))) (/ (sqrt 1) (sqrt (sin x))) (/ (sqrt 1) 1) (/ (sqrt 1) (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ 1 (sqrt (sin x))) (/ 1 1) (/ 1 (sin x)) (/ 1 (sin x)) (/ (sin x) 1) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (sqrt (sin x))) (/ 1 1) (/ (sin x) (cbrt 1)) (/ (sin x) (sqrt 1)) (/ (sin x) 1) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) (+ (* 7/360 (pow x 3)) (+ (/ 1 x) (* 1/6 x))) (/ 1 (sin x)) (/ 1 (sin x)) 0.580 * [simplify]: Sending expressions to egg_math: (/ (exp h0) (exp (cos h1))) (log (- h0 (cos h1))) (exp (- h0 (cos h1))) (* (cbrt (- h0 (cos h1))) (cbrt (- h0 (cos h1)))) (cbrt (- h0 (cos h1))) (* (* (- h0 (cos h1)) (- h0 (cos h1))) (- h0 (cos h1))) (sqrt (- h0 (cos h1))) (sqrt (- h0 (cos h1))) (- (pow h0 3) (pow (cos h1) 3)) (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (- (cos h1)) (- (* h0 h0) (* (cos h1) (cos h1))) (+ h0 (cos h1)) (+ (sqrt h0) (sqrt (cos h1))) (- (sqrt h0) (sqrt (cos h1))) (- h0 (cos h1)) (- (cos h1)) (* (- h0 (cos h1)) (/ 1 (sin h1))) (+ (log (- h0 (cos h1))) (- (log (sin h1)))) (+ (log (- h0 (cos h1))) (- 0 (log (sin h1)))) (+ (log (- h0 (cos h1))) (- (log 1) (log (sin h1)))) (+ (log (- h0 (cos h1))) (log (/ 1 (sin h1)))) (log (* (- h0 (cos h1)) (/ 1 (sin h1)))) (exp (* (- h0 (cos h1)) (/ 1 (sin h1)))) (* (* (* (- h0 (cos h1)) (- h0 (cos h1))) (- h0 (cos h1))) (/ (* (* 1 1) 1) (* (* (sin h1) (sin h1)) (sin h1)))) (* (* (* (- h0 (cos h1)) (- h0 (cos h1))) (- h0 (cos h1))) (* (* (/ 1 (sin h1)) (/ 1 (sin h1))) (/ 1 (sin h1)))) (* (cbrt (* (- h0 (cos h1)) (/ 1 (sin h1)))) (cbrt (* (- h0 (cos h1)) (/ 1 (sin h1))))) (cbrt (* (- h0 (cos h1)) (/ 1 (sin h1)))) (* (* (* (- h0 (cos h1)) (/ 1 (sin h1))) (* (- h0 (cos h1)) (/ 1 (sin h1)))) (* (- h0 (cos h1)) (/ 1 (sin h1)))) (sqrt (* (- h0 (cos h1)) (/ 1 (sin h1)))) (sqrt (* (- h0 (cos h1)) (/ 1 (sin h1)))) (* (- (pow h0 3) (pow (cos h1) 3)) 1) (* (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (sin h1)) (* (- (* h0 h0) (* (cos h1) (cos h1))) 1) (* (+ h0 (cos h1)) (sin h1)) (* (sqrt (- h0 (cos h1))) (sqrt (/ 1 (sin h1)))) (* (sqrt (- h0 (cos h1))) (sqrt (/ 1 (sin h1)))) (* (sqrt (- h0 (cos h1))) (/ (sqrt 1) (sqrt (sin h1)))) (* (sqrt (- h0 (cos h1))) (/ (sqrt 1) (sqrt (sin h1)))) (* (sqrt (- h0 (cos h1))) (/ 1 (sqrt (sin h1)))) (* (sqrt (- h0 (cos h1))) (/ 1 (sqrt (sin h1)))) (* (- h0 (cos h1)) (* (cbrt (/ 1 (sin h1))) (cbrt (/ 1 (sin h1))))) (* (- h0 (cos h1)) (sqrt (/ 1 (sin h1)))) (* (- h0 (cos h1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin h1)) (cbrt (sin h1))))) (* (- h0 (cos h1)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin h1)))) (* (- h0 (cos h1)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- h0 (cos h1)) (/ (sqrt 1) (* (cbrt (sin h1)) (cbrt (sin h1))))) (* (- h0 (cos h1)) (/ (sqrt 1) (sqrt (sin h1)))) (* (- h0 (cos h1)) (/ (sqrt 1) 1)) (* (- h0 (cos h1)) (/ 1 (* (cbrt (sin h1)) (cbrt (sin h1))))) (* (- h0 (cos h1)) (/ 1 (sqrt (sin h1)))) (* (- h0 (cos h1)) (/ 1 1)) (* (- h0 (cos h1)) 1) (* (- h0 (cos h1)) 1) (* (cbrt (- h0 (cos h1))) (/ 1 (sin h1))) (* (sqrt (- h0 (cos h1))) (/ 1 (sin h1))) (* (- h0 (cos h1)) (/ 1 (sin h1))) (* (- (sqrt h0) (sqrt (cos h1))) (/ 1 (sin h1))) (* (- h0 (cos h1)) (/ 1 (sin h1))) (* (- h0 (cos h1)) 1) (* (- (pow h0 3) (pow (cos h1) 3)) (/ 1 (sin h1))) (* (- (* h0 h0) (* (cos h1) (cos h1))) (/ 1 (sin h1))) (- 1) (- (log (sin h1))) (- 0 (log (sin h1))) (- (log 1) (log (sin h1))) (log (/ 1 (sin h1))) (exp (/ 1 (sin h1))) (/ (* (* 1 1) 1) (* (* (sin h1) (sin h1)) (sin h1))) (* (cbrt (/ 1 (sin h1))) (cbrt (/ 1 (sin h1)))) (cbrt (/ 1 (sin h1))) (* (* (/ 1 (sin h1)) (/ 1 (sin h1))) (/ 1 (sin h1))) (sqrt (/ 1 (sin h1))) (sqrt (/ 1 (sin h1))) (- 1) (- (sin h1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (cbrt 1) (cbrt (sin h1))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sin h1))) (/ (cbrt 1) (sqrt (sin h1))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sin h1)) (/ (sqrt 1) (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ (sqrt 1) (cbrt (sin h1))) (/ (sqrt 1) (sqrt (sin h1))) (/ (sqrt 1) (sqrt (sin h1))) (/ (sqrt 1) 1) (/ (sqrt 1) (sin h1)) (/ 1 (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ 1 (cbrt (sin h1))) (/ 1 (sqrt (sin h1))) (/ 1 (sqrt (sin h1))) (/ 1 1) (/ 1 (sin h1)) (/ 1 (sin h1)) (/ (sin h1) 1) (/ 1 (* (cbrt (sin h1)) (cbrt (sin h1)))) (/ 1 (sqrt (sin h1))) (/ 1 1) (/ (sin h1) (cbrt 1)) (/ (sin h1) (sqrt 1)) (/ (sin h1) 1) (- (+ (* 1/2 (pow h1 2)) (* 1/720 (pow h1 6))) (* 1/24 (pow h1 4))) (- h0 (cos h1)) (- h0 (cos h1)) (+ (* 1/24 (pow h1 3)) (+ (* 1/240 (pow h1 5)) (* 1/2 h1))) (/ (- h0 (cos h1)) (sin h1)) (/ (- h0 (cos h1)) (sin h1)) (+ (* 7/360 (pow h1 3)) (+ (/ 1 h1) (* 1/6 h1))) (/ 1 (sin h1)) (/ 1 (sin h1)) 0.585 * * [simplify]: iteration 0 : 320 enodes (cost 548 ) 0.591 * * [simplify]: iteration 1 : 1393 enodes (cost 482 ) 0.616 * * [simplify]: iteration 2 : 5001 enodes (cost 456 ) 0.618 * [simplify]: Simplified to: (exp (- 1.0 (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (pow (- 1.0 (cos x)) 3) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (/ (- 1.0 (cos x)) (sin x)) (- (log (- 1.0 (cos x))) (log (sin x))) (- (log (- 1.0 (cos x))) (log (sin x))) (- (log (- 1.0 (cos x))) (log (sin x))) (- (log (- 1.0 (cos x))) (log (sin x))) (- (log (- 1.0 (cos x))) (log (sin x))) (exp (* (- 1.0 (cos x)) (/ 1 (sin x)))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (* (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x))))) (cbrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (pow (/ (- 1.0 (cos x)) (sin x)) 3) (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (sqrt (* (- 1.0 (cos x)) (/ 1 (sin x)))) (- (pow 1.0 3) (pow (cos x) 3)) (* (sin x) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (- (* 1.0 1.0) (* (cos x) (cos x))) (* (+ 1.0 (cos x)) (sin x)) (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x)))) (* (sqrt (- 1.0 (cos x))) (sqrt (/ 1 (sin x)))) (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x))) (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x))) (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x))) (/ (* (sqrt (- 1.0 (cos x))) 1) (sqrt (sin x))) (* (- 1.0 (cos x)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x))))) (* (- 1.0 (cos x)) (sqrt (/ 1 (sin x)))) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (- 1.0 (cos x)) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (- 1.0 (cos x)) (/ (- 1.0 (cos x)) (* (cbrt (sin x)) (cbrt (sin x)))) (/ (- 1.0 (cos x)) (sqrt (sin x))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- 1.0 (cos x)) (/ (cbrt (- 1.0 (cos x))) (sin x)) (/ (sqrt (- 1.0 (cos x))) (sin x)) (/ (- 1.0 (cos x)) (sin x)) (/ (- (sqrt 1.0) (sqrt (cos x))) (sin x)) (/ (- 1.0 (cos x)) (sin x)) (- 1.0 (cos x)) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sin x)) (/ (- (* 1.0 1.0) (* (cos x) (cos x))) (sin x)) (- 1) (log (/ 1 (sin x))) (log (/ 1 (sin x))) (log (/ 1 (sin x))) (log (/ 1 (sin x))) (exp (/ 1 (sin x))) (/ 1 (pow (sin x) 3)) (* (cbrt (/ 1 (sin x))) (cbrt (/ 1 (sin x)))) (cbrt (/ 1 (sin x))) (/ 1 (pow (sin x) 3)) (sqrt (/ 1 (sin x))) (sqrt (/ 1 (sin x))) (- 1) (- (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ 1 (sqrt (sin x))) 1 (/ 1 (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ 1 (sqrt (sin x))) 1 (/ 1 (sin x)) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (cbrt (sin x))) (/ 1 (sqrt (sin x))) (/ 1 (sqrt (sin x))) 1 (/ 1 (sin x)) (/ 1 (sin x)) (sin x) (/ 1 (* (cbrt (sin x)) (cbrt (sin x)))) (/ 1 (sqrt (sin x))) 1 (sin x) (sin x) (sin x) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (+ (* 1/24 (pow x 3)) (+ (* 1/240 (pow x 5)) (* 1/2 x))) (/ (- 1.0 (cos x)) (sin x)) (/ (- 1.0 (cos x)) (sin x)) (+ (* 7/360 (pow x 3)) (+ (/ 1 x) (* 1/6 x))) (/ 1 (sin x)) (/ 1 (sin x)) 0.618 * * * [progress]: adding candidates to table 0.771 * * [progress]: iteration 3 / 4 0.771 * * * [progress]: picking best candidate 0.791 * * * * [pick]: Picked # 0.791 * * * [progress]: localizing error 0.806 * * * [progress]: generating rewritten candidates 0.806 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.828 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 0.837 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.841 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.926 * * * [progress]: generating series expansions 0.926 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.927 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in (x) around 0 0.927 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 0.927 * [taylor]: Taking taylor expansion of 1.0 in x 0.927 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.927 * [taylor]: Taking taylor expansion of (cos x) in x 0.927 * [taylor]: Taking taylor expansion of x in x 0.927 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 0.927 * [taylor]: Taking taylor expansion of 1.0 in x 0.927 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.927 * [taylor]: Taking taylor expansion of (cos x) in x 0.927 * [taylor]: Taking taylor expansion of x in x 0.946 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in (x) around 0 0.946 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 0.946 * [taylor]: Taking taylor expansion of 1.0 in x 0.946 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.946 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.946 * [taylor]: Taking taylor expansion of x in x 0.946 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 0.946 * [taylor]: Taking taylor expansion of 1.0 in x 0.946 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.946 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.946 * [taylor]: Taking taylor expansion of x in x 0.961 * [approximate]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in (x) around 0 0.961 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 0.961 * [taylor]: Taking taylor expansion of 1.0 in x 0.961 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.961 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.961 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.962 * [taylor]: Taking taylor expansion of -1 in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 0.962 * [taylor]: Taking taylor expansion of 1.0 in x 0.962 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.962 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.962 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.962 * [taylor]: Taking taylor expansion of -1 in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 0.973 * [approximate]: Taking taylor expansion of (+ 1.0 (cos x)) in (x) around 0 0.973 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x 0.973 * [taylor]: Taking taylor expansion of 1.0 in x 0.973 * [taylor]: Taking taylor expansion of (cos x) in x 0.973 * [taylor]: Taking taylor expansion of x in x 0.973 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x 0.973 * [taylor]: Taking taylor expansion of 1.0 in x 0.973 * [taylor]: Taking taylor expansion of (cos x) in x 0.973 * [taylor]: Taking taylor expansion of x in x 0.977 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0 0.977 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 0.977 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.977 * [taylor]: Taking taylor expansion of x in x 0.977 * [taylor]: Taking taylor expansion of 1.0 in x 0.977 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 0.977 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.977 * [taylor]: Taking taylor expansion of x in x 0.978 * [taylor]: Taking taylor expansion of 1.0 in x 0.979 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0 0.979 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 0.979 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.979 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.979 * [taylor]: Taking taylor expansion of -1 in x 0.979 * [taylor]: Taking taylor expansion of x in x 0.980 * [taylor]: Taking taylor expansion of 1.0 in x 0.980 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 0.980 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.980 * [taylor]: Taking taylor expansion of -1 in x 0.980 * [taylor]: Taking taylor expansion of x in x 0.980 * [taylor]: Taking taylor expansion of 1.0 in x 0.981 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.982 * [approximate]: Taking taylor expansion of (pow (cos x) 3) in (x) around 0 0.982 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.982 * [taylor]: Taking taylor expansion of (cos x) in x 0.982 * [taylor]: Taking taylor expansion of x in x 0.982 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 0.982 * [taylor]: Taking taylor expansion of (cos x) in x 0.982 * [taylor]: Taking taylor expansion of x in x 0.989 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in (x) around 0 0.989 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.989 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) 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.998 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in (x) around 0 0.998 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.998 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.998 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.998 * [taylor]: Taking taylor expansion of -1 in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 0.998 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.998 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.998 * [taylor]: Taking taylor expansion of -1 in x 0.998 * [taylor]: Taking taylor expansion of x in x 1.006 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.007 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in (x) around 0 1.007 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in x 1.007 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 1.007 * [taylor]: Taking taylor expansion of 1.0 in x 1.007 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.007 * [taylor]: Taking taylor expansion of (cos x) in x 1.007 * [taylor]: Taking taylor expansion of x in x 1.007 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))) in x 1.007 * [taylor]: Taking taylor expansion of 1.0 in x 1.007 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.007 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.007 * [taylor]: Taking taylor expansion of (cos x) in x 1.007 * [taylor]: Taking taylor expansion of x in x 1.007 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.007 * [taylor]: Taking taylor expansion of 1.0 in x 1.007 * [taylor]: Taking taylor expansion of (cos x) in x 1.007 * [taylor]: Taking taylor expansion of x in x 1.012 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) in x 1.012 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos x) 3)) in x 1.012 * [taylor]: Taking taylor expansion of 1.0 in x 1.012 * [taylor]: Taking taylor expansion of (pow (cos x) 3) in x 1.012 * [taylor]: Taking taylor expansion of (cos x) in x 1.012 * [taylor]: Taking taylor expansion of x in x 1.012 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x)))) in x 1.012 * [taylor]: Taking taylor expansion of 1.0 in x 1.012 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.012 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.012 * [taylor]: Taking taylor expansion of (cos x) in x 1.012 * [taylor]: Taking taylor expansion of x in x 1.012 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.012 * [taylor]: Taking taylor expansion of 1.0 in x 1.012 * [taylor]: Taking taylor expansion of (cos x) in x 1.012 * [taylor]: Taking taylor expansion of x in x 1.058 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0))) in (x) around 0 1.058 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0))) in x 1.058 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 1.058 * [taylor]: Taking taylor expansion of 1.0 in x 1.058 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.058 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.058 * [taylor]: Taking taylor expansion of x in x 1.059 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) in x 1.059 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.059 * [taylor]: Taking taylor expansion of 1.0 in x 1.059 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.059 * [taylor]: Taking taylor expansion of x in x 1.059 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ 1 x)) 2) 1.0) in x 1.059 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.059 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.059 * [taylor]: Taking taylor expansion of x in x 1.059 * [taylor]: Taking taylor expansion of 1.0 in x 1.060 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ 1 x)) 3)) (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0))) in x 1.060 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ 1 x)) 3)) in x 1.060 * [taylor]: Taking taylor expansion of 1.0 in x 1.060 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 3) in x 1.060 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.060 * [taylor]: Taking taylor expansion of x in x 1.061 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (+ (pow (cos (/ 1 x)) 2) 1.0)) in x 1.061 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.061 * [taylor]: Taking taylor expansion of 1.0 in x 1.061 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.061 * [taylor]: Taking taylor expansion of x in x 1.061 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ 1 x)) 2) 1.0) in x 1.061 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.061 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.061 * [taylor]: Taking taylor expansion of x in x 1.061 * [taylor]: Taking taylor expansion of 1.0 in x 1.090 * [approximate]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in (x) around 0 1.090 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in x 1.090 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 1.090 * [taylor]: Taking taylor expansion of 1.0 in x 1.090 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.090 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.090 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.090 * [taylor]: Taking taylor expansion of -1 in x 1.090 * [taylor]: Taking taylor expansion of x in x 1.091 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)) in x 1.091 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.091 * [taylor]: Taking taylor expansion of 1.0 in x 1.091 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.091 * [taylor]: Taking taylor expansion of -1 in x 1.091 * [taylor]: Taking taylor expansion of x in x 1.091 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ -1 x)) 2) 1.0) in x 1.091 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.091 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.091 * [taylor]: Taking taylor expansion of -1 in x 1.091 * [taylor]: Taking taylor expansion of x in x 1.091 * [taylor]: Taking taylor expansion of 1.0 in x 1.092 * [taylor]: Taking taylor expansion of (/ (- 1.0 (pow (cos (/ -1 x)) 3)) (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0))) in x 1.092 * [taylor]: Taking taylor expansion of (- 1.0 (pow (cos (/ -1 x)) 3)) in x 1.092 * [taylor]: Taking taylor expansion of 1.0 in x 1.092 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 3) in x 1.092 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.092 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.092 * [taylor]: Taking taylor expansion of -1 in x 1.092 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (+ (pow (cos (/ -1 x)) 2) 1.0)) in x 1.093 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.093 * [taylor]: Taking taylor expansion of 1.0 in x 1.093 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (+ (pow (cos (/ -1 x)) 2) 1.0) in x 1.093 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.093 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of 1.0 in x 1.121 * * * [progress]: simplifying candidates 1.125 * [simplify]: Simplifying using # : (/ (exp (pow 1.0 3)) (exp (pow (cos x) 3))) (log (- (pow 1.0 3) (pow (cos x) 3))) (exp (- (pow 1.0 3) (pow (cos x) 3))) (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (- 1.0 (cos x)) (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow 1.0 3) (pow (cos x) 3)))) (- (pow (cos x) 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow (cos x) 3) (pow (cos x) 3))) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow (cos x) 3)) (* (exp (cos x)) (exp 1.0)) (log (+ (cos x) 1.0)) (exp (+ (cos x) 1.0)) (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0))) (cbrt (+ (cos x) 1.0)) (* (* (+ (cos x) 1.0) (+ (cos x) 1.0)) (+ (cos x) 1.0)) (sqrt (+ (cos x) 1.0)) (sqrt (+ (cos x) 1.0)) (+ (pow (cos x) 3) (pow 1.0 3)) (+ (* (cos x) (cos x)) (- (* 1.0 1.0) (* (cos x) 1.0))) (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0) (+ (cos x) 1.0) (* (log (cos x)) 3) (* (log (cos x)) 3) (* 1 3) (pow (cos x) (* (cbrt 3) (cbrt 3))) (pow (cos x) (sqrt 3)) (pow (cos x) 1) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (pow (cbrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow 1 3) (pow (cos x) 3) (* (cos x) (cos x)) (log (pow (cos x) 3)) (exp (pow (cos x) 3)) (* (cbrt (pow (cos x) 3)) (cbrt (pow (cos x) 3))) (cbrt (pow (cos x) 3)) (* (* (pow (cos x) 3) (pow (cos x) 3)) (pow (cos x) 3)) (pow (* (cbrt (cos x)) (cbrt (cos x))) 3) (pow (cbrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow (sqrt (cos x)) 3) (pow 1 3) (pow (cos x) 3) (* (cos x) (cos x)) (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)) (pow (cos x) (/ 3 2)) (pow (cos x) (/ 3 2)) (- (log (- (pow 1.0 3) (pow (cos x) 3))) (log (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (* (* (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3))) (- (pow 1.0 3) (pow (cos x) 3))) (* (* (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (* (* (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (- (- (pow 1.0 3) (pow (cos x) 3))) (- (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow 1.0 3) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow (cos x) 3) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) 1) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) 1) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- 1.0 (cos x)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- 1.0 (cos x)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) 1) (/ (- 1.0 (cos x)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) 1) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) 1) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) 1) (/ (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) 1) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) 1) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) 1) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) 1) (/ (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) 1) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) 1) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) 1) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) 1) (/ (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) 1) (/ (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) 1) (/ (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow 1 3) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (pow 1 3) 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 1) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) 1) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (sqrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- 1.0 (cos x))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) (/ 3 2)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (pow (cos x) (/ 3 2)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 (/ 3 2)) (pow (sqrt (cos x)) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 (/ 3 2)) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 (/ 3 2)) (pow (cos x) (/ 3 2)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (pow (* (cos x) (+ (cos x) 1.0)) 3) (pow (* 1.0 1.0) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (- (* (* (cos x) (+ (cos x) 1.0)) (* (cos x) (+ (cos x) 1.0))) (* (* 1.0 1.0) (* 1.0 1.0)))) (* (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow (cos x) 3) (pow (cos x) 3)) (* (pow 1.0 3) (pow (cos x) 3))))) (* (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (+ (pow 1.0 3) (pow (cos x) 3))) (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4))) (- 1.0 (pow (cos x) 3)) (- 1.0 (pow (cos x) 3)) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ 1.0 (cos x)) (+ 1.0 (cos x)) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) (- (+ (* 0.5 (pow x 2)) (* 0.00138888888888887 (pow x 6))) (* 0.041666666666666685 (pow x 4))) (/ (- 1.0 (pow (cos x) 3)) (+ 1.0 (+ (pow (cos x) 2) (* 1.0 (cos x))))) (/ (- 1.0 (pow (cos x) 3)) (+ (pow (cos x) 2) (+ (* 1.0 (cos x)) 1.0))) 1.131 * [simplify]: Sending expressions to egg_math: (/ (exp (pow h0 3)) (exp (pow (cos h1) 3))) (log (- (pow h0 3) (pow (cos h1) 3))) (exp (- (pow h0 3) (pow (cos h1) 3))) (* (cbrt (- (pow h0 3) (pow (cos h1) 3))) (cbrt (- (pow h0 3) (pow (cos h1) 3)))) (cbrt (- (pow h0 3) (pow (cos h1) 3))) (* (* (- (pow h0 3) (pow (cos h1) 3)) (- (pow h0 3) (pow (cos h1) 3))) (- (pow h0 3) (pow (cos h1) 3))) (sqrt (- (pow h0 3) (pow (cos h1) 3))) (sqrt (- (pow h0 3) (pow (cos h1) 3))) (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (- h0 (cos h1)) (- (pow (pow h0 3) 3) (pow (pow (cos h1) 3) 3)) (+ (* (pow h0 3) (pow h0 3)) (+ (* (pow (cos h1) 3) (pow (cos h1) 3)) (* (pow h0 3) (pow (cos h1) 3)))) (- (pow (cos h1) 3)) (- (* (pow h0 3) (pow h0 3)) (* (pow (cos h1) 3) (pow (cos h1) 3))) (+ (pow h0 3) (pow (cos h1) 3)) (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (+ (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) (- (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) (+ (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) (- (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (+ (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) (- (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) (+ (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) (- (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) (- (pow h0 3) (pow (cos h1) 3)) (- (pow h0 3) (pow (cos h1) 3)) (- (pow h0 3) (pow (cos h1) 3)) (- (pow h0 3) (pow (cos h1) 3)) (- (pow h0 3) (pow (cos h1) 3)) (- (pow (cos h1) 3)) (* (exp (cos h1)) (exp h0)) (log (+ (cos h1) h0)) (exp (+ (cos h1) h0)) (* (cbrt (+ (cos h1) h0)) (cbrt (+ (cos h1) h0))) (cbrt (+ (cos h1) h0)) (* (* (+ (cos h1) h0) (+ (cos h1) h0)) (+ (cos h1) h0)) (sqrt (+ (cos h1) h0)) (sqrt (+ (cos h1) h0)) (+ (pow (cos h1) 3) (pow h0 3)) (+ (* (cos h1) (cos h1)) (- (* h0 h0) (* (cos h1) h0))) (- (* (cos h1) (cos h1)) (* h0 h0)) (- (cos h1) h0) (+ (cos h1) h0) (* (log (cos h1)) 3) (* (log (cos h1)) 3) (* 1 3) (pow (cos h1) (* (cbrt 3) (cbrt 3))) (pow (cos h1) (sqrt 3)) (pow (cos h1) 1) (pow (* (cbrt (cos h1)) (cbrt (cos h1))) 3) (pow (cbrt (cos h1)) 3) (pow (sqrt (cos h1)) 3) (pow (sqrt (cos h1)) 3) (pow 1 3) (pow (cos h1) 3) (* (cos h1) (cos h1)) (log (pow (cos h1) 3)) (exp (pow (cos h1) 3)) (* (cbrt (pow (cos h1) 3)) (cbrt (pow (cos h1) 3))) (cbrt (pow (cos h1) 3)) (* (* (pow (cos h1) 3) (pow (cos h1) 3)) (pow (cos h1) 3)) (pow (* (cbrt (cos h1)) (cbrt (cos h1))) 3) (pow (cbrt (cos h1)) 3) (pow (sqrt (cos h1)) 3) (pow (sqrt (cos h1)) 3) (pow 1 3) (pow (cos h1) 3) (* (cos h1) (cos h1)) (sqrt (pow (cos h1) 3)) (sqrt (pow (cos h1) 3)) (pow (cos h1) (/ 3 2)) (pow (cos h1) (/ 3 2)) (- (log (- (pow h0 3) (pow (cos h1) 3))) (log (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (log (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (exp (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (* (* (- (pow h0 3) (pow (cos h1) 3)) (- (pow h0 3) (pow (cos h1) 3))) (- (pow h0 3) (pow (cos h1) 3))) (* (* (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (* (cbrt (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (cbrt (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (cbrt (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (* (* (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (sqrt (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (sqrt (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (- (- (pow h0 3) (pow (cos h1) 3))) (- (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (pow h0 3) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (pow (cos h1) 3) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (* (cbrt (- (pow h0 3) (pow (cos h1) 3))) (cbrt (- (pow h0 3) (pow (cos h1) 3)))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (cbrt (- (pow h0 3) (pow (cos h1) 3))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (* (cbrt (- (pow h0 3) (pow (cos h1) 3))) (cbrt (- (pow h0 3) (pow (cos h1) 3)))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (cbrt (- (pow h0 3) (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (* (cbrt (- (pow h0 3) (pow (cos h1) 3))) (cbrt (- (pow h0 3) (pow (cos h1) 3)))) 1) (/ (cbrt (- (pow h0 3) (pow (cos h1) 3))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (sqrt (- (pow h0 3) (pow (cos h1) 3))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (sqrt (- (pow h0 3) (pow (cos h1) 3))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (sqrt (- (pow h0 3) (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (sqrt (- (pow h0 3) (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (sqrt (- (pow h0 3) (pow (cos h1) 3))) 1) (/ (sqrt (- (pow h0 3) (pow (cos h1) 3))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- h0 (cos h1)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- h0 (cos h1)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) 1) (/ (- h0 (cos h1)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ 1 (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 3) (pow (cos h1) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ 1 (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ 1 1) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) 1) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) 1) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) 1) (/ (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) 1) (/ (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) 1) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) 1) (/ (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) 1) (/ (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) 1) (/ (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) 1) (/ (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) 1) (/ (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) 1) (/ (- (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) 1) (/ (- (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) 1) (/ (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) 1) (/ (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) 1) (/ (- (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (+ (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) 1) (/ (- (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2))) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (pow 1 3) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 3) (pow (cos h1) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) 1) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (pow 1 3) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 3) (pow (cos h1) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) 1) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (pow 1 3) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 3) (pow (cos h1) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) 1) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (pow 1 3) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 3) (pow (cos h1) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (pow 1 3) 1) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ 1 (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 3) (pow (cos h1) 3)) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ 1 (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ 1 1) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ 1 (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 3) (pow (cos h1) 3))) (/ (- (pow h0 3) (pow (cos h1) 3)) (* (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))) (cbrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0))))) (/ (- (pow h0 3) (pow (cos h1) 3)) (sqrt (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)))) (/ (- (pow h0 3) (pow (cos h1) 3)) 1) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (cbrt (- (pow h0 3) (pow (cos h1) 3)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (sqrt (- (pow h0 3) (pow (cos h1) 3)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- h0 (cos h1))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 3) (pow (cos h1) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (sqrt (pow (cos h1) 3)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow (sqrt h0) 3) (pow (cos h1) (/ 3 2)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (sqrt (pow h0 3)) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (sqrt (pow h0 3)) (sqrt (pow (cos h1) 3)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (sqrt (pow h0 3)) (pow (cos h1) (/ 3 2)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 (/ 3 2)) (pow (sqrt (cos h1)) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 (/ 3 2)) (sqrt (pow (cos h1) 3)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 (/ 3 2)) (pow (cos h1) (/ 3 2)))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 3) (pow (cos h1) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 3) (pow (cos h1) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 3) (pow (cos h1) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 3) (pow (cos h1) 3))) (/ (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (- (pow h0 3) (pow (cos h1) 3))) (/ (- (pow h0 3) (pow (cos h1) 3)) (+ (pow (* (cos h1) (+ (cos h1) h0)) 3) (pow (* h0 h0) 3))) (/ (- (pow h0 3) (pow (cos h1) 3)) (- (* (* (cos h1) (+ (cos h1) h0)) (* (cos h1) (+ (cos h1) h0))) (* (* h0 h0) (* h0 h0)))) (* (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (+ (* (pow h0 3) (pow h0 3)) (+ (* (pow (cos h1) 3) (pow (cos h1) 3)) (* (pow h0 3) (pow (cos h1) 3))))) (* (+ (* (cos h1) (+ (cos h1) h0)) (* h0 h0)) (+ (pow h0 3) (pow (cos h1) 3))) (- (+ (* 3/2 (pow h1 2)) (* 61/240 (pow h1 6))) (* 7/8 (pow h1 4))) (- h0 (pow (cos h1) 3)) (- h0 (pow (cos h1) 3)) (- (+ (* 1/24 (pow h1 4)) h2) (* 1/2 (pow h1 2))) (+ h0 (cos h1)) (+ h0 (cos h1)) (- (+ (* 7/8 (pow h1 4)) 1) (* 3/2 (pow h1 2))) (pow (cos h1) 3) (pow (cos h1) 3) (- (+ (* h3 (pow h1 2)) (* h4 (pow h1 6))) (* h5 (pow h1 4))) (/ (- h0 (pow (cos h1) 3)) (+ h0 (+ (pow (cos h1) 2) (* h0 (cos h1))))) (/ (- h0 (pow (cos h1) 3)) (+ (pow (cos h1) 2) (+ (* h0 (cos h1)) h0))) 1.142 * * [simplify]: iteration 0 : 617 enodes (cost 2953 ) 1.153 * * [simplify]: iteration 1 : 2699 enodes (cost 2889 ) 1.207 * * [simplify]: iteration 2 : 5001 enodes (cost 2810 ) 1.219 * [simplify]: Simplified to: (exp (- (pow 1.0 3) (pow (cos x) 3))) (log (- (pow 1.0 3) (pow (cos x) 3))) (exp (- (pow 1.0 3) (pow (cos x) 3))) (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (pow (- (pow 1.0 3) (pow (cos x) 3)) 3) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- 1.0 (cos x)) (- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3)) (+ (+ (pow 1.0 6) (pow (cos x) 6)) (* (pow 1.0 3) (pow (cos x) 3))) (- (pow (cos x) 3)) (- (pow 1.0 6) (pow (cos x) 6)) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3/2) (pow (cos x) 3/2)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow 1.0 3) (pow (cos x) 3)) (- (pow (cos x) 3)) (exp (+ (cos x) 1.0)) (log (+ (cos x) 1.0)) (exp (+ (cos x) 1.0)) (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0))) (cbrt (+ (cos x) 1.0)) (pow (+ (cos x) 1.0) 3) (sqrt (+ (cos x) 1.0)) (sqrt (+ (cos x) 1.0)) (+ (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 (- 1.0 (cos x))) (pow (cos x) 2)) (- (pow (cos x) 2) (* 1.0 1.0)) (- (cos x) 1.0) (+ (cos x) 1.0) (log (pow (cos x) 3)) (log (pow (cos x) 3)) 3 (pow (cos x) (* (cbrt 3) (cbrt 3))) (pow (cos x) (sqrt 3)) (cos x) (pow (cos x) 2) (cos x) (pow (cos x) 3/2) (pow (cos x) 3/2) 1 (pow (cos x) 3) (pow (cos x) 2) (log (pow (cos x) 3)) (exp (pow (cos x) 3)) (pow (cos x) 2) (cos x) (pow (pow (cos x) 3) 3) (pow (cos x) 2) (cos x) (pow (cos x) 3/2) (pow (cos x) 3/2) 1 (pow (cos x) 3) (pow (cos x) 2) (sqrt (pow (cos x) 3)) (sqrt (pow (cos x) 3)) (pow (cos x) 3/2) (pow (cos x) 3/2) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (exp (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) 3) (* (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (cbrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (pow (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) 3) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (sqrt (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (- (- (pow 1.0 3) (pow (cos x) 3))) (- (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow 1.0 3) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (pow (cos x) 3) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (* (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (cbrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (/ (sqrt (- (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- 1.0 (cos x)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- 1.0 (cos x)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (/ (- 1.0 (cos x)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (/ (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (/ (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (/ (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (/ (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (/ (- (pow 1.0 3/2) (sqrt (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (+ (pow 1.0 3/2) (pow (cos x) 3/2)) (/ (- (pow 1.0 3/2) (pow (cos x) 3/2)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ 1 (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) 1 (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ 1 (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (* (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (cbrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (sqrt (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))) (- (pow 1.0 3) (pow (cos x) 3)) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (cbrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (sqrt (- (pow 1.0 3) (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- 1.0 (cos x))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow (sqrt 1.0) 3) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (sqrt (pow 1.0 3)) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3/2) (sqrt (pow (cos x) 3)))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3/2) (pow (cos x) 3/2))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (pow 1.0 3) (pow (cos x) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (pow 1.0 6) (pow (* (cos x) (+ (cos x) 1.0)) 3))) (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (pow (cos x) 2) (* (+ (cos x) 1.0) (+ (cos x) 1.0))) (- (* (pow 1.0 3) 1.0)))) (* (+ (+ (pow 1.0 6) (pow (cos x) 6)) (* (pow 1.0 3) (pow (cos x) 3))) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (* (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (+ (pow 1.0 3) (pow (cos x) 3))) (- (+ (* 3/2 (pow x 2)) (* 61/240 (pow x 6))) (* 7/8 (pow x 4))) (- 1.0 (pow (cos x) 3)) (- 1.0 (pow (cos x) 3)) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ (cos x) 1.0) (+ (cos x) 1.0) (- (+ (* 7/8 (pow x 4)) 1) (* 3/2 (pow x 2))) (pow (cos x) 3) (pow (cos x) 3) (- (+ (* 0.5 (pow x 2)) (* 0.00138888888888887 (pow x 6))) (* 0.041666666666666685 (pow x 4))) (/ (- 1.0 (pow (cos x) 3)) (+ (pow (cos x) 2) (+ (* 1.0 (cos x)) 1.0))) (/ (- 1.0 (pow (cos x) 3)) (+ (pow (cos x) 2) (+ (* 1.0 (cos x)) 1.0))) 1.221 * * * [progress]: adding candidates to table 1.636 * * [progress]: iteration 4 / 4 1.636 * * * [progress]: picking best candidate 1.670 * * * * [pick]: Picked # 1.671 * * * [progress]: localizing error 1.692 * * * [progress]: generating rewritten candidates 1.692 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 1.698 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.711 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1.730 * * * [progress]: generating series expansions 1.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 1.730 * [approximate]: Taking taylor expansion of (- 1.0 (cos x)) in (x) around 0 1.730 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.730 * [taylor]: Taking taylor expansion of 1.0 in x 1.730 * [taylor]: Taking taylor expansion of (cos x) in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of (- 1.0 (cos x)) in x 1.730 * [taylor]: Taking taylor expansion of 1.0 in x 1.730 * [taylor]: Taking taylor expansion of (cos x) in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.740 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in (x) around 0 1.740 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.740 * [taylor]: Taking taylor expansion of 1.0 in x 1.740 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.740 * [taylor]: Taking taylor expansion of x in x 1.740 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ 1 x))) in x 1.740 * [taylor]: Taking taylor expansion of 1.0 in x 1.740 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.740 * [taylor]: Taking taylor expansion of x in x 1.743 * [approximate]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in (x) around 0 1.743 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.743 * [taylor]: Taking taylor expansion of 1.0 in x 1.743 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.743 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.743 * [taylor]: Taking taylor expansion of -1 in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [taylor]: Taking taylor expansion of (- 1.0 (cos (/ -1 x))) in x 1.744 * [taylor]: Taking taylor expansion of 1.0 in x 1.744 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.744 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.744 * [taylor]: Taking taylor expansion of -1 in x 1.744 * [taylor]: Taking taylor expansion of x in x 1.751 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.751 * [approximate]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in (x) around 0 1.751 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.751 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.751 * [taylor]: Taking taylor expansion of (cos x) in x 1.751 * [taylor]: Taking taylor expansion of x in x 1.751 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.751 * [taylor]: Taking taylor expansion of 1.0 in x 1.751 * [taylor]: Taking taylor expansion of (cos x) in x 1.751 * [taylor]: Taking taylor expansion of x in x 1.751 * [taylor]: Taking taylor expansion of (+ (pow (cos x) 2) (* 1.0 (cos x))) in x 1.751 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.751 * [taylor]: Taking taylor expansion of (cos x) in x 1.751 * [taylor]: Taking taylor expansion of x in x 1.751 * [taylor]: Taking taylor expansion of (* 1.0 (cos x)) in x 1.751 * [taylor]: Taking taylor expansion of 1.0 in x 1.751 * [taylor]: Taking taylor expansion of (cos x) in x 1.751 * [taylor]: Taking taylor expansion of x in x 1.765 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in (x) around 0 1.765 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x 1.765 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.765 * [taylor]: Taking taylor expansion of 1.0 in x 1.765 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.765 * [taylor]: Taking taylor expansion of x in x 1.765 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.765 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.765 * [taylor]: Taking taylor expansion of x in x 1.765 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ 1 x))) (pow (cos (/ 1 x)) 2)) in x 1.765 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ 1 x))) in x 1.765 * [taylor]: Taking taylor expansion of 1.0 in x 1.765 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.765 * [taylor]: Taking taylor expansion of x in x 1.766 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.766 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.766 * [taylor]: Taking taylor expansion of x in x 1.776 * [approximate]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in (x) around 0 1.776 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x 1.776 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.776 * [taylor]: Taking taylor expansion of 1.0 in x 1.776 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.776 * [taylor]: Taking taylor expansion of -1 in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.776 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.776 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.777 * [taylor]: Taking taylor expansion of -1 in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.777 * [taylor]: Taking taylor expansion of (+ (* 1.0 (cos (/ -1 x))) (pow (cos (/ -1 x)) 2)) in x 1.777 * [taylor]: Taking taylor expansion of (* 1.0 (cos (/ -1 x))) in x 1.777 * [taylor]: Taking taylor expansion of 1.0 in x 1.777 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.777 * [taylor]: Taking taylor expansion of -1 in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.777 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.777 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.777 * [taylor]: Taking taylor expansion of -1 in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.788 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 1.788 * [approximate]: Taking taylor expansion of (+ 1.0 (cos x)) in (x) around 0 1.788 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x 1.788 * [taylor]: Taking taylor expansion of 1.0 in x 1.788 * [taylor]: Taking taylor expansion of (cos x) in x 1.788 * [taylor]: Taking taylor expansion of x in x 1.788 * [taylor]: Taking taylor expansion of (+ 1.0 (cos x)) in x 1.788 * [taylor]: Taking taylor expansion of 1.0 in x 1.788 * [taylor]: Taking taylor expansion of (cos x) in x 1.788 * [taylor]: Taking taylor expansion of x in x 1.792 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in (x) around 0 1.792 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 1.792 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.792 * [taylor]: Taking taylor expansion of 1.0 in x 1.792 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 x)) 1.0) in x 1.792 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.793 * [taylor]: Taking taylor expansion of 1.0 in x 1.794 * [approximate]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in (x) around 0 1.794 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 1.794 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.794 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.794 * [taylor]: Taking taylor expansion of -1 in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of 1.0 in x 1.795 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 x)) 1.0) in x 1.795 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.795 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.795 * [taylor]: Taking taylor expansion of -1 in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [taylor]: Taking taylor expansion of 1.0 in x 1.796 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1.796 * [approximate]: Taking taylor expansion of (pow (cos x) 2) in (x) around 0 1.796 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.796 * [taylor]: Taking taylor expansion of (cos x) in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.796 * [taylor]: Taking taylor expansion of (pow (cos x) 2) in x 1.796 * [taylor]: Taking taylor expansion of (cos x) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.802 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in (x) around 0 1.802 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.802 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 x)) 2) in x 1.802 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 1.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.806 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in (x) around 0 1.806 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.806 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.806 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.806 * [taylor]: Taking taylor expansion of -1 in x 1.806 * [taylor]: Taking taylor expansion of x in x 1.807 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 x)) 2) in x 1.807 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 1.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.807 * [taylor]: Taking taylor expansion of -1 in x 1.807 * [taylor]: Taking taylor expansion of x in x 1.811 * * * [progress]: simplifying candidates 1.812 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (* (* (- 1.0 (cos x)) (- 1.0 (cos x))) (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 1.0) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (- (cos x)) (- (* 1.0 1.0) (* (cos x) (cos x))) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (* (exp (* (cos x) (cos x))) (exp (* 1.0 (cos x)))) (log (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (exp (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (* (+ (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (+ (pow (* (cos x) (cos x)) 3) (pow (* 1.0 (cos x)) 3)) (+ (* (* (cos x) (cos x)) (* (cos x) (cos x))) (- (* (* 1.0 (cos x)) (* 1.0 (cos x))) (* (* (cos x) (cos x)) (* 1.0 (cos x))))) (- (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (* 1.0 (cos x)) (* 1.0 (cos x)))) (- (* (cos x) (cos x)) (* 1.0 (cos x))) (+ (cos x) 1.0) (+ (* 1/2 (cos (* 2 x))) (* 1.0 (cos x))) (* (exp (cos x)) (exp 1.0)) (log (+ (cos x) 1.0)) (exp (+ (cos x) 1.0)) (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0))) (cbrt (+ (cos x) 1.0)) (* (* (+ (cos x) 1.0) (+ (cos x) 1.0)) (+ (cos x) 1.0)) (sqrt (+ (cos x) 1.0)) (sqrt (+ (cos x) 1.0)) (+ (pow (cos x) 3) (pow 1.0 3)) (+ (* (cos x) (cos x)) (- (* 1.0 1.0) (* (cos x) 1.0))) (- (* (cos x) (cos x)) (* 1.0 1.0)) (- (cos x) 1.0) (+ (cos x) 1.0) (* 1/2 (cos (* 2 x))) (+ (cos (+ x x)) (cos (- x x))) (+ 1 1) (* (cos x) (cos x)) (+ 1 1) (+ (log (cos x)) (log (cos x))) (log (* (cos x) (cos x))) (exp (* (cos x) (cos x))) (* (* (* (cos x) (cos x)) (cos x)) (* (* (cos x) (cos x)) (cos x))) (* (cbrt (* (cos x) (cos x))) (cbrt (* (cos x) (cos x)))) (cbrt (* (cos x) (cos x))) (* (* (* (cos x) (cos x)) (* (cos x) (cos x))) (* (cos x) (cos x))) (sqrt (* (cos x) (cos x))) (sqrt (* (cos x) (cos x))) (* (* (cbrt (cos x)) (cbrt (cos x))) (* (cbrt (cos x)) (cbrt (cos x)))) (* (cbrt (cos x)) (cbrt (cos x))) (* (sqrt (cos x)) (sqrt (cos x))) (* (sqrt (cos x)) (sqrt (cos x))) (* 1 1) (* (cos x) (cos x)) (* (sqrt (cos x)) (sqrt (cos x))) (* (sqrt (cos x)) (sqrt (cos x))) (* 2 1) (* (cos x) (* (cbrt (cos x)) (cbrt (cos x)))) (* (cos x) (sqrt (cos x))) (* (cos x) 1) (* (cbrt (cos x)) (cos x)) (* (sqrt (cos x)) (cos x)) (* (cos x) (cos x)) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (+ (pow (cos x) 2) (* 1.0 (cos x))) (+ (pow (cos x) 2) (* 1.0 (cos x))) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ 1.0 (cos x)) (+ 1.0 (cos x)) (- (+ (* 1/3 (pow x 4)) 1) (pow x 2)) (pow (cos x) 2) (pow (cos x) 2) 1.812 * [simplify]: Sending expressions to egg_math: (/ (exp h0) (exp (cos h1))) (log (- h0 (cos h1))) (exp (- h0 (cos h1))) (* (cbrt (- h0 (cos h1))) (cbrt (- h0 (cos h1)))) (cbrt (- h0 (cos h1))) (* (* (- h0 (cos h1)) (- h0 (cos h1))) (- h0 (cos h1))) (sqrt (- h0 (cos h1))) (sqrt (- h0 (cos h1))) (- (pow h0 3) (pow (cos h1) 3)) (+ (* h0 h0) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (- (cos h1)) (- (* h0 h0) (* (cos h1) (cos h1))) (+ h0 (cos h1)) (+ (sqrt h0) (sqrt (cos h1))) (- (sqrt h0) (sqrt (cos h1))) (- h0 (cos h1)) (- (cos h1)) (* (exp (* (cos h1) (cos h1))) (exp (* h0 (cos h1)))) (log (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (exp (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (* (cbrt (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (cbrt (+ (* (cos h1) (cos h1)) (* h0 (cos h1))))) (cbrt (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (* (* (+ (* (cos h1) (cos h1)) (* h0 (cos h1))) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (sqrt (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (sqrt (+ (* (cos h1) (cos h1)) (* h0 (cos h1)))) (+ (pow (* (cos h1) (cos h1)) 3) (pow (* h0 (cos h1)) 3)) (+ (* (* (cos h1) (cos h1)) (* (cos h1) (cos h1))) (- (* (* h0 (cos h1)) (* h0 (cos h1))) (* (* (cos h1) (cos h1)) (* h0 (cos h1))))) (- (* (* (cos h1) (cos h1)) (* (cos h1) (cos h1))) (* (* h0 (cos h1)) (* h0 (cos h1)))) (- (* (cos h1) (cos h1)) (* h0 (cos h1))) (+ (cos h1) h0) (+ (* 1/2 (cos (* 2 h1))) (* h0 (cos h1))) (* (exp (cos h1)) (exp h0)) (log (+ (cos h1) h0)) (exp (+ (cos h1) h0)) (* (cbrt (+ (cos h1) h0)) (cbrt (+ (cos h1) h0))) (cbrt (+ (cos h1) h0)) (* (* (+ (cos h1) h0) (+ (cos h1) h0)) (+ (cos h1) h0)) (sqrt (+ (cos h1) h0)) (sqrt (+ (cos h1) h0)) (+ (pow (cos h1) 3) (pow h0 3)) (+ (* (cos h1) (cos h1)) (- (* h0 h0) (* (cos h1) h0))) (- (* (cos h1) (cos h1)) (* h0 h0)) (- (cos h1) h0) (+ (cos h1) h0) (* 1/2 (cos (* 2 h1))) (+ (cos (+ h1 h1)) (cos (- h1 h1))) (+ 1 1) (* (cos h1) (cos h1)) (+ 1 1) (+ (log (cos h1)) (log (cos h1))) (log (* (cos h1) (cos h1))) (exp (* (cos h1) (cos h1))) (* (* (* (cos h1) (cos h1)) (cos h1)) (* (* (cos h1) (cos h1)) (cos h1))) (* (cbrt (* (cos h1) (cos h1))) (cbrt (* (cos h1) (cos h1)))) (cbrt (* (cos h1) (cos h1))) (* (* (* (cos h1) (cos h1)) (* (cos h1) (cos h1))) (* (cos h1) (cos h1))) (sqrt (* (cos h1) (cos h1))) (sqrt (* (cos h1) (cos h1))) (* (* (cbrt (cos h1)) (cbrt (cos h1))) (* (cbrt (cos h1)) (cbrt (cos h1)))) (* (cbrt (cos h1)) (cbrt (cos h1))) (* (sqrt (cos h1)) (sqrt (cos h1))) (* (sqrt (cos h1)) (sqrt (cos h1))) (* 1 1) (* (cos h1) (cos h1)) (* (sqrt (cos h1)) (sqrt (cos h1))) (* (sqrt (cos h1)) (sqrt (cos h1))) (* 2 1) (* (cos h1) (* (cbrt (cos h1)) (cbrt (cos h1)))) (* (cos h1) (sqrt (cos h1))) (* (cos h1) 1) (* (cbrt (cos h1)) (cos h1)) (* (sqrt (cos h1)) (cos h1)) (* (cos h1) (cos h1)) (- (+ (* 1/2 (pow h1 2)) (* 1/720 (pow h1 6))) (* 1/24 (pow h1 4))) (- h0 (cos h1)) (- h0 (cos h1)) (- (+ (* h2 (pow h1 4)) h3) (* h4 (pow h1 2))) (+ (pow (cos h1) 2) (* h0 (cos h1))) (+ (pow (cos h1) 2) (* h0 (cos h1))) (- (+ (* 1/24 (pow h1 4)) h3) (* 1/2 (pow h1 2))) (+ h0 (cos h1)) (+ h0 (cos h1)) (- (+ (* 1/3 (pow h1 4)) 1) (pow h1 2)) (pow (cos h1) 2) (pow (cos h1) 2) 1.816 * * [simplify]: iteration 0 : 293 enodes (cost 370 ) 1.823 * * [simplify]: iteration 1 : 1182 enodes (cost 322 ) 1.851 * * [simplify]: iteration 2 : 5001 enodes (cost 313 ) 1.852 * [simplify]: Simplified to: (exp (- 1.0 (cos x))) (log (- 1.0 (cos x))) (exp (- 1.0 (cos x))) (* (cbrt (- 1.0 (cos x))) (cbrt (- 1.0 (cos x)))) (cbrt (- 1.0 (cos x))) (pow (- 1.0 (cos x)) 3) (sqrt (- 1.0 (cos x))) (sqrt (- 1.0 (cos x))) (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)) (- (cos x)) (- (* 1.0 1.0) (pow (cos x) 2)) (+ 1.0 (cos x)) (+ (sqrt 1.0) (sqrt (cos x))) (- (sqrt 1.0) (sqrt (cos x))) (- 1.0 (cos x)) (- (cos x)) (pow (exp (cos x)) (+ 1.0 (cos x))) (+ (log (cos x)) (log (+ 1.0 (cos x)))) (pow (exp (cos x)) (+ 1.0 (cos x))) (* (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x))))) (cbrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (pow (* (cos x) (+ (cos x) 1.0)) 3) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (sqrt (+ (* (cos x) (cos x)) (* 1.0 (cos x)))) (* (pow (cos x) 3) (+ (pow (cos x) 3) (pow 1.0 3))) (* (pow (cos x) 2) (+ (* 1.0 (- 1.0 (cos x))) (pow (cos x) 2))) (* (pow (cos x) 2) (- (pow (cos x) 2) (* 1.0 1.0))) (* (cos x) (- (cos x) 1.0)) (+ 1.0 (cos x)) (+ (* 1/2 (cos (* 2 x))) (* 1.0 (cos x))) (exp (+ (cos x) 1.0)) (log (+ 1.0 (cos x))) (exp (+ (cos x) 1.0)) (* (cbrt (+ (cos x) 1.0)) (cbrt (+ (cos x) 1.0))) (cbrt (+ (cos x) 1.0)) (pow (+ 1.0 (cos x)) 3) (sqrt (+ (cos x) 1.0)) (sqrt (+ (cos x) 1.0)) (+ (pow (cos x) 3) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (cos x))) (pow (cos x) 2)) (- (pow (cos x) 2) (* 1.0 1.0)) (- (cos x) 1.0) (+ 1.0 (cos x)) (* 1/2 (cos (* 2 x))) (+ (cos (+ x x)) (cos (- x x))) 2 (pow (cos x) 2) 2 (* 2 (log (cos x))) (* 2 (log (cos x))) (exp (pow (cos x) 2)) (pow (cos x) 6) (* (cbrt (* (cos x) (cos x))) (cbrt (* (cos x) (cos x)))) (cbrt (* (cos x) (cos x))) (pow (cos x) 6) (fabs (cos x)) (fabs (cos x)) (pow (cbrt (cos x)) 4) (* (cbrt (cos x)) (cbrt (cos x))) (cos x) (cos x) 1 (pow (cos x) 2) (cos x) (cos x) 2 (* (pow (cbrt (cos x)) 4) (cbrt (cos x))) (pow (sqrt (cos x)) 3) (cos x) (pow (cbrt (cos x)) 4) (pow (sqrt (cos x)) 3) (pow (cos x) 2) (- (+ (* 1/2 (pow x 2)) (* 1/720 (pow x 6))) (* 1/24 (pow x 4))) (- 1.0 (cos x)) (- 1.0 (cos x)) (- (+ (* 0.375 (pow x 4)) 2.0) (* 1.5 (pow x 2))) (* (cos x) (+ (cos x) 1.0)) (* (cos x) (+ (cos x) 1.0)) (- (+ (* 1/24 (pow x 4)) 2.0) (* 1/2 (pow x 2))) (+ 1.0 (cos x)) (+ 1.0 (cos x)) (- (+ (* 1/3 (pow x 4)) 1) (pow x 2)) (pow (cos x) 2) (pow (cos x) 2) 1.853 * * * [progress]: adding candidates to table 2.068 * [progress]: [Phase 3 of 3] Extracting. 2.068 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 2.072 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.072 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # #) 2.137 * * * [regime]: Found split indices: #