1550836886.462 * [misc]progress: [Phase 1 of 3] Setting up. 1550836886.463 * * * [misc]progress: [1/2] Preparing points 1550836886.535 * * * [misc]progress: [2/2] Setting up program. 1550836886.537 * [misc]progress: [Phase 2 of 3] Improving. 1550836886.537 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550836886.537 * [enter]simplify: Simplifying (* (exp re) (cos im)) 1550836886.537 * * [misc]simplify: iters left: 3 (5 enodes) 1550836886.538 * * [misc]simplify: iters left: 2 (16 enodes) 1550836886.540 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.540 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836886.540 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550836886.541 * * [misc]simplify: Extracting #3: cost 4 inf + 124 1550836886.541 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550836886.541 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1550836886.541 * [misc]simplify: Simplified (2) to (λ (re im) (* (cos im) (exp re))) 1550836886.543 * * [misc]progress: iteration 1 / 4 1550836886.543 * * * [misc]progress: picking best candidate 1550836886.545 * * * * [misc]pick: Picked # 1550836886.546 * * * [misc]progress: localizing error 1550836886.559 * * * [misc]progress: generating rewritten candidates 1550836886.560 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1550836886.568 * * * [misc]progress: generating series expansions 1550836886.568 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1550836886.568 * [misc]backup-simplify: Simplify (* (exp re) (cos im)) into (* (cos im) (exp re)) 1550836886.568 * [misc]approximate: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0 1550836886.568 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1550836886.568 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836886.568 * [misc]taylor: Taking taylor expansion of im in im 1550836886.568 * [misc]backup-simplify: Simplify 0 into 0 1550836886.568 * [misc]backup-simplify: Simplify 1 into 1 1550836886.568 * [misc]taylor: Taking taylor expansion of (exp re) in im 1550836886.568 * [misc]taylor: Taking taylor expansion of re in im 1550836886.568 * [misc]backup-simplify: Simplify re into re 1550836886.568 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1550836886.568 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1550836886.568 * [misc]taylor: Taking taylor expansion of (cos im) in re 1550836886.568 * [misc]taylor: Taking taylor expansion of im in re 1550836886.568 * [misc]backup-simplify: Simplify im into im 1550836886.568 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1550836886.569 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1550836886.569 * [misc]taylor: Taking taylor expansion of (exp re) in re 1550836886.569 * [misc]taylor: Taking taylor expansion of re in re 1550836886.569 * [misc]backup-simplify: Simplify 0 into 0 1550836886.569 * [misc]backup-simplify: Simplify 1 into 1 1550836886.569 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836886.569 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1550836886.569 * [misc]taylor: Taking taylor expansion of (cos im) in re 1550836886.569 * [misc]taylor: Taking taylor expansion of im in re 1550836886.569 * [misc]backup-simplify: Simplify im into im 1550836886.569 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1550836886.569 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1550836886.569 * [misc]taylor: Taking taylor expansion of (exp re) in re 1550836886.569 * [misc]taylor: Taking taylor expansion of re in re 1550836886.569 * [misc]backup-simplify: Simplify 0 into 0 1550836886.569 * [misc]backup-simplify: Simplify 1 into 1 1550836886.569 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836886.569 * [misc]backup-simplify: Simplify (* (cos im) 1) into (cos im) 1550836886.570 * [misc]backup-simplify: Simplify (* (sin im) 0) into 0 1550836886.570 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.570 * [misc]backup-simplify: Simplify (+ (cos im) 0) into (cos im) 1550836886.570 * [misc]backup-simplify: Simplify (* (cos im) 1) into (cos im) 1550836886.570 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836886.570 * [misc]taylor: Taking taylor expansion of im in im 1550836886.570 * [misc]backup-simplify: Simplify 0 into 0 1550836886.570 * [misc]backup-simplify: Simplify 1 into 1 1550836886.570 * [misc]backup-simplify: Simplify 1 into 1 1550836886.571 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550836886.572 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836886.572 * [misc]backup-simplify: Simplify (+ (* (cos im) 0) (* 0 1)) into 0 1550836886.573 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1550836886.573 * [misc]backup-simplify: Simplify (+ (* (sin im) 0) (* 0 0)) into 0 1550836886.573 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.573 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.573 * [misc]backup-simplify: Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im) 1550836886.573 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836886.573 * [misc]taylor: Taking taylor expansion of im in im 1550836886.574 * [misc]backup-simplify: Simplify 0 into 0 1550836886.574 * [misc]backup-simplify: Simplify 1 into 1 1550836886.574 * [misc]backup-simplify: Simplify 1 into 1 1550836886.574 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836886.574 * [misc]backup-simplify: Simplify 0 into 0 1550836886.576 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550836886.577 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1550836886.577 * [misc]backup-simplify: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0 1550836886.578 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1550836886.578 * [misc]backup-simplify: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0 1550836886.578 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.579 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.579 * [misc]backup-simplify: Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im)) 1550836886.579 * [misc]taylor: Taking taylor expansion of (* 1/2 (cos im)) in im 1550836886.579 * [misc]taylor: Taking taylor expansion of 1/2 in im 1550836886.579 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550836886.579 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836886.579 * [misc]taylor: Taking taylor expansion of im in im 1550836886.579 * [misc]backup-simplify: Simplify 0 into 0 1550836886.579 * [misc]backup-simplify: Simplify 1 into 1 1550836886.579 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1550836886.580 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550836886.580 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1)) 1550836886.580 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (cos (/ 1 im))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550836886.580 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1550836886.580 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1550836886.580 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836886.580 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836886.580 * [misc]taylor: Taking taylor expansion of im in im 1550836886.580 * [misc]backup-simplify: Simplify 0 into 0 1550836886.580 * [misc]backup-simplify: Simplify 1 into 1 1550836886.580 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836886.580 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836886.580 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1550836886.580 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1550836886.580 * [misc]taylor: Taking taylor expansion of re in im 1550836886.581 * [misc]backup-simplify: Simplify re into re 1550836886.581 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1550836886.581 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550836886.581 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of im in re 1550836886.581 * [misc]backup-simplify: Simplify im into im 1550836886.581 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550836886.581 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836886.581 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1550836886.581 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of re in re 1550836886.581 * [misc]backup-simplify: Simplify 0 into 0 1550836886.581 * [misc]backup-simplify: Simplify 1 into 1 1550836886.581 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836886.581 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550836886.581 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1550836886.581 * [misc]taylor: Taking taylor expansion of im in re 1550836886.581 * [misc]backup-simplify: Simplify im into im 1550836886.582 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550836886.582 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836886.582 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1550836886.582 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1550836886.582 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1550836886.582 * [misc]taylor: Taking taylor expansion of re in re 1550836886.582 * [misc]backup-simplify: Simplify 0 into 0 1550836886.582 * [misc]backup-simplify: Simplify 1 into 1 1550836886.582 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836886.582 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550836886.582 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1550836886.582 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1550836886.582 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.583 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1550836886.583 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550836886.583 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1550836886.583 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836886.583 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836886.583 * [misc]taylor: Taking taylor expansion of im in im 1550836886.583 * [misc]backup-simplify: Simplify 0 into 0 1550836886.583 * [misc]backup-simplify: Simplify 1 into 1 1550836886.583 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836886.583 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836886.583 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1550836886.583 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1550836886.583 * [misc]taylor: Taking taylor expansion of re in im 1550836886.583 * [misc]backup-simplify: Simplify re into re 1550836886.583 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1550836886.583 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550836886.583 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550836886.584 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550836886.584 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836886.584 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1550836886.584 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1550836886.585 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1550836886.586 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1550836886.586 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.586 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.586 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1550836886.586 * [misc]taylor: Taking taylor expansion of 0 in im 1550836886.586 * [misc]backup-simplify: Simplify 0 into 0 1550836886.586 * [misc]backup-simplify: Simplify 0 into 0 1550836886.586 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1550836886.587 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1550836886.588 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1550836886.588 * [misc]backup-simplify: Simplify 0 into 0 1550836886.589 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1550836886.589 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1550836886.589 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550836886.590 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1550836886.591 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1550836886.591 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.591 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.591 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1550836886.591 * [misc]taylor: Taking taylor expansion of 0 in im 1550836886.591 * [misc]backup-simplify: Simplify 0 into 0 1550836886.591 * [misc]backup-simplify: Simplify 0 into 0 1550836886.591 * [misc]backup-simplify: Simplify 0 into 0 1550836886.592 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1550836886.594 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836886.594 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1550836886.594 * [misc]backup-simplify: Simplify 0 into 0 1550836886.596 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550836886.596 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550836886.596 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550836886.622 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1550836886.623 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1550836886.623 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.624 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1550836886.624 * [misc]taylor: Taking taylor expansion of 0 in im 1550836886.624 * [misc]backup-simplify: Simplify 0 into 0 1550836886.624 * [misc]backup-simplify: Simplify 0 into 0 1550836886.624 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1550836886.624 * [misc]backup-simplify: Simplify (* (exp (/ 1 (- re))) (cos (/ 1 (- im)))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550836886.624 * [misc]approximate: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0 1550836886.624 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1550836886.624 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1550836886.624 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1550836886.624 * [misc]taylor: Taking taylor expansion of -1 in im 1550836886.624 * [misc]backup-simplify: Simplify -1 into -1 1550836886.624 * [misc]taylor: Taking taylor expansion of re in im 1550836886.624 * [misc]backup-simplify: Simplify re into re 1550836886.624 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1550836886.625 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550836886.625 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836886.625 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836886.625 * [misc]taylor: Taking taylor expansion of -1 in im 1550836886.625 * [misc]backup-simplify: Simplify -1 into -1 1550836886.625 * [misc]taylor: Taking taylor expansion of im in im 1550836886.625 * [misc]backup-simplify: Simplify 0 into 0 1550836886.625 * [misc]backup-simplify: Simplify 1 into 1 1550836886.625 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836886.625 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836886.625 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1550836886.625 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1550836886.625 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1550836886.625 * [misc]taylor: Taking taylor expansion of -1 in re 1550836886.625 * [misc]backup-simplify: Simplify -1 into -1 1550836886.625 * [misc]taylor: Taking taylor expansion of re in re 1550836886.625 * [misc]backup-simplify: Simplify 0 into 0 1550836886.625 * [misc]backup-simplify: Simplify 1 into 1 1550836886.625 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836886.625 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550836886.625 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1550836886.626 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1550836886.626 * [misc]taylor: Taking taylor expansion of -1 in re 1550836886.626 * [misc]backup-simplify: Simplify -1 into -1 1550836886.626 * [misc]taylor: Taking taylor expansion of im in re 1550836886.626 * [misc]backup-simplify: Simplify im into im 1550836886.626 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1550836886.626 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836886.626 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1550836886.626 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1550836886.626 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1550836886.626 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1550836886.626 * [misc]taylor: Taking taylor expansion of -1 in re 1550836886.626 * [misc]backup-simplify: Simplify -1 into -1 1550836886.626 * [misc]taylor: Taking taylor expansion of re in re 1550836886.626 * [misc]backup-simplify: Simplify 0 into 0 1550836886.626 * [misc]backup-simplify: Simplify 1 into 1 1550836886.626 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836886.626 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550836886.626 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1550836886.626 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1550836886.626 * [misc]taylor: Taking taylor expansion of -1 in re 1550836886.626 * [misc]backup-simplify: Simplify -1 into -1 1550836886.626 * [misc]taylor: Taking taylor expansion of im in re 1550836886.626 * [misc]backup-simplify: Simplify im into im 1550836886.627 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1550836886.627 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836886.627 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1550836886.627 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1550836886.627 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1550836886.627 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.627 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1550836886.627 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550836886.627 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1550836886.627 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1550836886.627 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1550836886.627 * [misc]taylor: Taking taylor expansion of -1 in im 1550836886.627 * [misc]backup-simplify: Simplify -1 into -1 1550836886.627 * [misc]taylor: Taking taylor expansion of re in im 1550836886.627 * [misc]backup-simplify: Simplify re into re 1550836886.628 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1550836886.628 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550836886.628 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836886.628 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836886.628 * [misc]taylor: Taking taylor expansion of -1 in im 1550836886.628 * [misc]backup-simplify: Simplify -1 into -1 1550836886.628 * [misc]taylor: Taking taylor expansion of im in im 1550836886.628 * [misc]backup-simplify: Simplify 0 into 0 1550836886.628 * [misc]backup-simplify: Simplify 1 into 1 1550836886.628 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836886.628 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836886.628 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550836886.628 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550836886.628 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836886.629 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1550836886.629 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1550836886.630 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1550836886.630 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1550836886.630 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.630 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.630 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1550836886.631 * [misc]taylor: Taking taylor expansion of 0 in im 1550836886.631 * [misc]backup-simplify: Simplify 0 into 0 1550836886.631 * [misc]backup-simplify: Simplify 0 into 0 1550836886.631 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1550836886.634 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1550836886.634 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1550836886.634 * [misc]backup-simplify: Simplify 0 into 0 1550836886.635 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1550836886.635 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1550836886.636 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550836886.636 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1550836886.637 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1550836886.637 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.637 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.637 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1550836886.637 * [misc]taylor: Taking taylor expansion of 0 in im 1550836886.637 * [misc]backup-simplify: Simplify 0 into 0 1550836886.638 * [misc]backup-simplify: Simplify 0 into 0 1550836886.638 * [misc]backup-simplify: Simplify 0 into 0 1550836886.638 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1550836886.640 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836886.640 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1550836886.640 * [misc]backup-simplify: Simplify 0 into 0 1550836886.642 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550836886.642 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550836886.643 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550836886.644 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1550836886.645 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1550836886.645 * [misc]backup-simplify: Simplify (- 0) into 0 1550836886.645 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550836886.646 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1550836886.646 * [misc]taylor: Taking taylor expansion of 0 in im 1550836886.646 * [misc]backup-simplify: Simplify 0 into 0 1550836886.646 * [misc]backup-simplify: Simplify 0 into 0 1550836886.646 * [misc]backup-simplify: Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re)) 1550836886.646 * * * [misc]progress: simplifying candidates 1550836886.646 * * * * [misc]progress: [ 1 / 21 ] simplifiying candidate # 1550836886.646 * [enter]simplify: Simplifying (* (exp re) (cos im)) 1550836886.646 * * [misc]simplify: iters left: 3 (5 enodes) 1550836886.648 * * [misc]simplify: iters left: 2 (16 enodes) 1550836886.652 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.652 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836886.653 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550836886.653 * * [misc]simplify: Extracting #3: cost 4 inf + 124 1550836886.653 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550836886.653 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1550836886.653 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (cos im) (exp re)) 1)) 1550836886.653 * * * * [misc]progress: [ 2 / 21 ] simplifiying candidate # 1550836886.653 * * * * [misc]progress: [ 3 / 21 ] simplifiying candidate # 1550836886.653 * [enter]simplify: Simplifying (+ re (log (cos im))) 1550836886.653 * * [misc]simplify: iters left: 4 (5 enodes) 1550836886.655 * * [misc]simplify: iters left: 3 (16 enodes) 1550836886.659 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.660 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836886.660 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836886.660 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550836886.660 * * [misc]simplify: Extracting #4: cost 0 inf + 730 1550836886.660 * [exit]simplify: Simplified to (+ (log (cos im)) re) 1550836886.660 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ (log (cos im)) re))) 1550836886.660 * * * * [misc]progress: [ 4 / 21 ] simplifiying candidate # 1550836886.660 * * * * [misc]progress: [ 5 / 21 ] simplifiying candidate # 1550836886.660 * * * * [misc]progress: [ 6 / 21 ] simplifiying candidate # 1550836886.661 * [enter]simplify: Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im))) 1550836886.661 * * [misc]simplify: iters left: 6 (9 enodes) 1550836886.665 * * [misc]simplify: iters left: 5 (36 enodes) 1550836886.672 * * [misc]simplify: iters left: 4 (71 enodes) 1550836886.685 * * [misc]simplify: iters left: 3 (119 enodes) 1550836886.705 * * [misc]simplify: iters left: 2 (142 enodes) 1550836886.740 * * [misc]simplify: iters left: 1 (143 enodes) 1550836886.768 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.768 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550836886.768 * * [misc]simplify: Extracting #2: cost 34 inf + 1 1550836886.769 * * [misc]simplify: Extracting #3: cost 30 inf + 348 1550836886.771 * * [misc]simplify: Extracting #4: cost 5 inf + 5066 1550836886.773 * * [misc]simplify: Extracting #5: cost 0 inf + 5926 1550836886.776 * * [misc]simplify: Extracting #6: cost 0 inf + 5655 1550836886.778 * [exit]simplify: Simplified to (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1550836886.778 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))))) 1550836886.779 * * * * [misc]progress: [ 7 / 21 ] simplifiying candidate # 1550836886.779 * * * * [misc]progress: [ 8 / 21 ] simplifiying candidate # 1550836886.779 * * * * [misc]progress: [ 9 / 21 ] simplifiying candidate # 1550836886.779 * * * * [misc]progress: [ 10 / 21 ] simplifiying candidate # 1550836886.779 * * * * [misc]progress: [ 11 / 21 ] simplifiying candidate # 1550836886.779 * [enter]simplify: Simplifying (cbrt (cos im)) 1550836886.779 * * [misc]simplify: iters left: 2 (3 enodes) 1550836886.780 * * [misc]simplify: iters left: 1 (9 enodes) 1550836886.783 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.783 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836886.783 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836886.783 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836886.783 * * [misc]simplify: Extracting #4: cost 0 inf + 405 1550836886.783 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836886.783 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836886.783 * * * * [misc]progress: [ 12 / 21 ] simplifiying candidate # 1550836886.783 * [enter]simplify: Simplifying (sqrt (cos im)) 1550836886.783 * * [misc]simplify: iters left: 2 (3 enodes) 1550836886.785 * * [misc]simplify: iters left: 1 (9 enodes) 1550836886.787 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.787 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836886.787 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836886.787 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836886.787 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1550836886.787 * [exit]simplify: Simplified to (sqrt (cos im)) 1550836886.787 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))) 1550836886.787 * * * * [misc]progress: [ 13 / 21 ] simplifiying candidate # 1550836886.788 * [enter]simplify: Simplifying (cos im) 1550836886.788 * * [misc]simplify: iters left: 1 (2 enodes) 1550836886.789 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.789 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836886.789 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550836886.789 * * [misc]simplify: Extracting #3: cost 0 inf + 123 1550836886.789 * [exit]simplify: Simplified to (cos im) 1550836886.789 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (cos im))) 1550836886.789 * * * * [misc]progress: [ 14 / 21 ] simplifiying candidate # 1550836886.789 * [enter]simplify: Simplifying (* (cbrt (exp re)) (cbrt (exp re))) 1550836886.789 * * [misc]simplify: iters left: 4 (4 enodes) 1550836886.791 * * [misc]simplify: iters left: 3 (12 enodes) 1550836886.794 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.794 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836886.795 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836886.795 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836886.795 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836886.795 * * [misc]simplify: Extracting #5: cost 0 inf + 827 1550836886.795 * [exit]simplify: Simplified to (* (cbrt (exp re)) (cbrt (exp re))) 1550836886.795 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im)))) 1550836886.795 * * * * [misc]progress: [ 15 / 21 ] simplifiying candidate # 1550836886.795 * [enter]simplify: Simplifying (sqrt (exp re)) 1550836886.795 * * [misc]simplify: iters left: 2 (3 enodes) 1550836886.797 * * [misc]simplify: iters left: 1 (9 enodes) 1550836886.799 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.799 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836886.799 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836886.799 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836886.799 * * [misc]simplify: Extracting #4: cost 0 inf + 365 1550836886.799 * [exit]simplify: Simplified to (sqrt (exp re)) 1550836886.799 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) 1550836886.799 * * * * [misc]progress: [ 16 / 21 ] simplifiying candidate # 1550836886.799 * * * * [misc]progress: [ 17 / 21 ] simplifiying candidate #real (real->posit16 (* (exp re) (cos im)))))> 1550836886.800 * * * * [misc]progress: [ 18 / 21 ] simplifiying candidate # 1550836886.800 * * * * [misc]progress: [ 19 / 21 ] simplifiying candidate # 1550836886.800 * [enter]simplify: Simplifying (+ re (+ (* 1/2 (pow re 2)) 1)) 1550836886.800 * * [misc]simplify: iters left: 6 (8 enodes) 1550836886.803 * * [misc]simplify: iters left: 5 (32 enodes) 1550836886.809 * * [misc]simplify: iters left: 4 (46 enodes) 1550836886.816 * * [misc]simplify: iters left: 3 (58 enodes) 1550836886.824 * * [misc]simplify: iters left: 2 (62 enodes) 1550836886.832 * * [misc]simplify: iters left: 1 (70 enodes) 1550836886.842 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.842 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550836886.842 * * [misc]simplify: Extracting #2: cost 14 inf + 2 1550836886.842 * * [misc]simplify: Extracting #3: cost 14 inf + 128 1550836886.842 * * [misc]simplify: Extracting #4: cost 2 inf + 1115 1550836886.843 * * [misc]simplify: Extracting #5: cost 0 inf + 1400 1550836886.843 * [exit]simplify: Simplified to (+ re (+ 1 (* (* re re) 1/2))) 1550836886.843 * [misc]simplify: Simplified (2) to (λ (re im) (+ re (+ 1 (* (* re re) 1/2)))) 1550836886.843 * * * * [misc]progress: [ 20 / 21 ] simplifiying candidate # 1550836886.843 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1550836886.843 * * [misc]simplify: iters left: 3 (5 enodes) 1550836886.846 * * [misc]simplify: iters left: 2 (16 enodes) 1550836886.850 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.850 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836886.850 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550836886.850 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1550836886.851 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550836886.851 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1550836886.851 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1550836886.851 * * * * [misc]progress: [ 21 / 21 ] simplifiying candidate # 1550836886.851 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1550836886.851 * * [misc]simplify: iters left: 3 (5 enodes) 1550836886.854 * * [misc]simplify: iters left: 2 (16 enodes) 1550836886.857 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836886.858 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836886.858 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550836886.858 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1550836886.858 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550836886.858 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1550836886.858 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1550836886.859 * * * [misc]progress: adding candidates to table 1550836887.036 * * [misc]progress: iteration 2 / 4 1550836887.036 * * * [misc]progress: picking best candidate 1550836887.041 * * * * [misc]pick: Picked # 1550836887.041 * * * [misc]progress: localizing error 1550836887.059 * * * [misc]progress: generating rewritten candidates 1550836887.059 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1550836887.060 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2) 1550836887.062 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1) 1550836887.063 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2) 1550836887.074 * * * [misc]progress: generating series expansions 1550836887.074 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1550836887.074 * [misc]backup-simplify: Simplify (cbrt (cos im)) into (pow (cos im) 1/3) 1550836887.074 * [misc]approximate: Taking taylor expansion of (pow (cos im) 1/3) in (im) around 0 1550836887.074 * [misc]taylor: Taking taylor expansion of (pow (cos im) 1/3) in im 1550836887.074 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 1550836887.074 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos im))) in im 1550836887.074 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.074 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.074 * [misc]taylor: Taking taylor expansion of (log (cos im)) in im 1550836887.075 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.075 * [misc]taylor: Taking taylor expansion of im in im 1550836887.075 * [misc]backup-simplify: Simplify 0 into 0 1550836887.075 * [misc]backup-simplify: Simplify 1 into 1 1550836887.075 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.075 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.076 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.078 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.078 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.080 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.085 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (- 1/2)) 1)) (pow 1 1)))) 2) into -1/2 1550836887.085 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 0) (* 0 0))) into -1/6 1550836887.085 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.085 * [misc]taylor: Taking taylor expansion of (pow (cos im) 1/3) in im 1550836887.085 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 1550836887.085 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos im))) in im 1550836887.085 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.085 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.085 * [misc]taylor: Taking taylor expansion of (log (cos im)) in im 1550836887.085 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.085 * [misc]taylor: Taking taylor expansion of im in im 1550836887.085 * [misc]backup-simplify: Simplify 0 into 0 1550836887.085 * [misc]backup-simplify: Simplify 1 into 1 1550836887.086 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.086 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.086 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.088 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.088 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.090 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.094 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (- 1/2)) 1)) (pow 1 1)))) 2) into -1/2 1550836887.094 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 0) (* 0 0))) into -1/6 1550836887.094 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.094 * [misc]backup-simplify: Simplify 1 into 1 1550836887.096 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.096 * [misc]backup-simplify: Simplify 0 into 0 1550836887.098 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/6 1550836887.098 * [misc]backup-simplify: Simplify -1/6 into -1/6 1550836887.100 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550836887.106 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (- 1/2)) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1550836887.106 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 0)))) into 0 1550836887.109 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.109 * [misc]backup-simplify: Simplify 0 into 0 1550836887.112 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 1550836887.122 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (- 1/2)) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 (- 1/2)) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into -1/12 1550836887.123 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/12) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 0))))) into -1/36 1550836887.132 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow -1/6 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow -1/6 2) 2)) (* (/ (pow -1/36 1) 1)))) into -1/72 1550836887.132 * [misc]backup-simplify: Simplify -1/72 into -1/72 1550836887.132 * [misc]backup-simplify: Simplify (+ (* -1/72 (pow im 4)) (+ (* -1/6 (pow im 2)) 1)) into (- 1 (+ (* 1/6 (pow im 2)) (* 1/72 (pow im 4)))) 1550836887.132 * [misc]backup-simplify: Simplify (cbrt (cos (/ 1 im))) into (pow (cos (/ 1 im)) 1/3) 1550836887.132 * [misc]approximate: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in (im) around 0 1550836887.132 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 1550836887.132 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 1550836887.132 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.133 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.133 * [misc]taylor: Taking taylor expansion of (log (cos (/ 1 im))) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of im in im 1550836887.133 * [misc]backup-simplify: Simplify 0 into 0 1550836887.133 * [misc]backup-simplify: Simplify 1 into 1 1550836887.133 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.133 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.133 * [misc]backup-simplify: Simplify (log (cos (/ 1 im))) into (log (cos (/ 1 im))) 1550836887.133 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ 1 im)))) into (* 1/3 (log (cos (/ 1 im)))) 1550836887.133 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ 1 im))))) into (pow (cos (/ 1 im)) 1/3) 1550836887.133 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.133 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.133 * [misc]taylor: Taking taylor expansion of (log (cos (/ 1 im))) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.133 * [misc]taylor: Taking taylor expansion of im in im 1550836887.133 * [misc]backup-simplify: Simplify 0 into 0 1550836887.133 * [misc]backup-simplify: Simplify 1 into 1 1550836887.134 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.134 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.134 * [misc]backup-simplify: Simplify (log (cos (/ 1 im))) into (log (cos (/ 1 im))) 1550836887.134 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ 1 im)))) into (* 1/3 (log (cos (/ 1 im)))) 1550836887.134 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ 1 im))))) into (pow (cos (/ 1 im)) 1/3) 1550836887.134 * [misc]backup-simplify: Simplify (pow (cos (/ 1 im)) 1/3) into (pow (cos (/ 1 im)) 1/3) 1550836887.135 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (cos (/ 1 im)) 1)))) 1) into 0 1550836887.135 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (cos (/ 1 im))))) into 0 1550836887.136 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.136 * [misc]backup-simplify: Simplify 0 into 0 1550836887.138 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 1)))) 2) into 0 1550836887.138 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))) into 0 1550836887.140 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.140 * [misc]backup-simplify: Simplify 0 into 0 1550836887.142 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (cos (/ 1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 1)))) 6) into 0 1550836887.143 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im))))))) into 0 1550836887.145 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.145 * [misc]backup-simplify: Simplify 0 into 0 1550836887.149 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (cos (/ 1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 1)))) 24) into 0 1550836887.150 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))))) into 0 1550836887.154 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.154 * [misc]backup-simplify: Simplify 0 into 0 1550836887.161 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (cos (/ 1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ 1 im)) 1)))) 120) into 0 1550836887.162 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im))))))))) into 0 1550836887.169 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.169 * [misc]backup-simplify: Simplify 0 into 0 1550836887.178 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (cos (/ 1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (cos (/ 1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (cos (/ 1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (cos (/ 1 im)) 1)))) 720) into 0 1550836887.179 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))))))) into 0 1550836887.190 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.190 * [misc]backup-simplify: Simplify 0 into 0 1550836887.190 * [misc]backup-simplify: Simplify (pow (cos (/ 1 (/ 1 im))) 1/3) into (pow (cos im) 1/3) 1550836887.190 * [misc]backup-simplify: Simplify (cbrt (cos (/ 1 (- im)))) into (pow (cos (/ -1 im)) 1/3) 1550836887.190 * [misc]approximate: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in (im) around 0 1550836887.190 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 1550836887.190 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 1550836887.190 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 1550836887.190 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.190 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.190 * [misc]taylor: Taking taylor expansion of (log (cos (/ -1 im))) in im 1550836887.190 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.190 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.190 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.190 * [misc]backup-simplify: Simplify -1 into -1 1550836887.190 * [misc]taylor: Taking taylor expansion of im in im 1550836887.190 * [misc]backup-simplify: Simplify 0 into 0 1550836887.190 * [misc]backup-simplify: Simplify 1 into 1 1550836887.190 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.190 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.190 * [misc]backup-simplify: Simplify (log (cos (/ -1 im))) into (log (cos (/ -1 im))) 1550836887.191 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ -1 im)))) into (* 1/3 (log (cos (/ -1 im)))) 1550836887.191 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ -1 im))))) into (pow (cos (/ -1 im)) 1/3) 1550836887.191 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 1550836887.191 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 1550836887.191 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 1550836887.191 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.191 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.191 * [misc]taylor: Taking taylor expansion of (log (cos (/ -1 im))) in im 1550836887.191 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.191 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.191 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.191 * [misc]backup-simplify: Simplify -1 into -1 1550836887.191 * [misc]taylor: Taking taylor expansion of im in im 1550836887.191 * [misc]backup-simplify: Simplify 0 into 0 1550836887.191 * [misc]backup-simplify: Simplify 1 into 1 1550836887.191 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.191 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.191 * [misc]backup-simplify: Simplify (log (cos (/ -1 im))) into (log (cos (/ -1 im))) 1550836887.191 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ -1 im)))) into (* 1/3 (log (cos (/ -1 im)))) 1550836887.191 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ -1 im))))) into (pow (cos (/ -1 im)) 1/3) 1550836887.191 * [misc]backup-simplify: Simplify (pow (cos (/ -1 im)) 1/3) into (pow (cos (/ -1 im)) 1/3) 1550836887.192 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (cos (/ -1 im)) 1)))) 1) into 0 1550836887.192 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (cos (/ -1 im))))) into 0 1550836887.193 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.193 * [misc]backup-simplify: Simplify 0 into 0 1550836887.194 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 1)))) 2) into 0 1550836887.194 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))) into 0 1550836887.195 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.195 * [misc]backup-simplify: Simplify 0 into 0 1550836887.197 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (cos (/ -1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 1)))) 6) into 0 1550836887.197 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im))))))) into 0 1550836887.199 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.199 * [misc]backup-simplify: Simplify 0 into 0 1550836887.202 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (cos (/ -1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 1)))) 24) into 0 1550836887.202 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))))) into 0 1550836887.205 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.205 * [misc]backup-simplify: Simplify 0 into 0 1550836887.210 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (cos (/ -1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ -1 im)) 1)))) 120) into 0 1550836887.210 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im))))))))) into 0 1550836887.215 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.215 * [misc]backup-simplify: Simplify 0 into 0 1550836887.223 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (cos (/ -1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (cos (/ -1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (cos (/ -1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (cos (/ -1 im)) 1)))) 720) into 0 1550836887.224 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))))))) into 0 1550836887.237 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.238 * [misc]backup-simplify: Simplify 0 into 0 1550836887.238 * [misc]backup-simplify: Simplify (pow (cos (/ -1 (/ 1 (- im)))) 1/3) into (pow (cos im) 1/3) 1550836887.238 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2) 1550836887.238 * [misc]backup-simplify: Simplify (cbrt (cos im)) into (pow (cos im) 1/3) 1550836887.238 * [misc]approximate: Taking taylor expansion of (pow (cos im) 1/3) in (im) around 0 1550836887.238 * [misc]taylor: Taking taylor expansion of (pow (cos im) 1/3) in im 1550836887.238 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 1550836887.238 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos im))) in im 1550836887.238 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.238 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.238 * [misc]taylor: Taking taylor expansion of (log (cos im)) in im 1550836887.238 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.238 * [misc]taylor: Taking taylor expansion of im in im 1550836887.238 * [misc]backup-simplify: Simplify 0 into 0 1550836887.238 * [misc]backup-simplify: Simplify 1 into 1 1550836887.238 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.239 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.239 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.241 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.242 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.243 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.247 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (- 1/2)) 1)) (pow 1 1)))) 2) into -1/2 1550836887.247 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 0) (* 0 0))) into -1/6 1550836887.247 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.247 * [misc]taylor: Taking taylor expansion of (pow (cos im) 1/3) in im 1550836887.247 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 1550836887.247 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos im))) in im 1550836887.247 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.247 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.247 * [misc]taylor: Taking taylor expansion of (log (cos im)) in im 1550836887.248 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.248 * [misc]taylor: Taking taylor expansion of im in im 1550836887.248 * [misc]backup-simplify: Simplify 0 into 0 1550836887.248 * [misc]backup-simplify: Simplify 1 into 1 1550836887.248 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.248 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.248 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.251 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.251 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.252 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.258 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (- 1/2)) 1)) (pow 1 1)))) 2) into -1/2 1550836887.259 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 0) (* 0 0))) into -1/6 1550836887.259 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.259 * [misc]backup-simplify: Simplify 1 into 1 1550836887.260 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.260 * [misc]backup-simplify: Simplify 0 into 0 1550836887.263 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/6 1550836887.263 * [misc]backup-simplify: Simplify -1/6 into -1/6 1550836887.265 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550836887.272 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (- 1/2)) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1550836887.273 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 0)))) into 0 1550836887.276 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.276 * [misc]backup-simplify: Simplify 0 into 0 1550836887.280 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 1550836887.286 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (- 1/2)) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 (- 1/2)) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into -1/12 1550836887.287 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/12) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 0))))) into -1/36 1550836887.290 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow -1/6 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow -1/6 2) 2)) (* (/ (pow -1/36 1) 1)))) into -1/72 1550836887.290 * [misc]backup-simplify: Simplify -1/72 into -1/72 1550836887.290 * [misc]backup-simplify: Simplify (+ (* -1/72 (pow im 4)) (+ (* -1/6 (pow im 2)) 1)) into (- 1 (+ (* 1/6 (pow im 2)) (* 1/72 (pow im 4)))) 1550836887.290 * [misc]backup-simplify: Simplify (cbrt (cos (/ 1 im))) into (pow (cos (/ 1 im)) 1/3) 1550836887.290 * [misc]approximate: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in (im) around 0 1550836887.290 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 1550836887.290 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 1550836887.290 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.291 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.291 * [misc]taylor: Taking taylor expansion of (log (cos (/ 1 im))) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of im in im 1550836887.291 * [misc]backup-simplify: Simplify 0 into 0 1550836887.291 * [misc]backup-simplify: Simplify 1 into 1 1550836887.291 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.291 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.291 * [misc]backup-simplify: Simplify (log (cos (/ 1 im))) into (log (cos (/ 1 im))) 1550836887.291 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ 1 im)))) into (* 1/3 (log (cos (/ 1 im)))) 1550836887.291 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ 1 im))))) into (pow (cos (/ 1 im)) 1/3) 1550836887.291 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.291 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.291 * [misc]taylor: Taking taylor expansion of (log (cos (/ 1 im))) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.291 * [misc]taylor: Taking taylor expansion of im in im 1550836887.291 * [misc]backup-simplify: Simplify 0 into 0 1550836887.291 * [misc]backup-simplify: Simplify 1 into 1 1550836887.291 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.291 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.291 * [misc]backup-simplify: Simplify (log (cos (/ 1 im))) into (log (cos (/ 1 im))) 1550836887.291 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ 1 im)))) into (* 1/3 (log (cos (/ 1 im)))) 1550836887.292 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ 1 im))))) into (pow (cos (/ 1 im)) 1/3) 1550836887.292 * [misc]backup-simplify: Simplify (pow (cos (/ 1 im)) 1/3) into (pow (cos (/ 1 im)) 1/3) 1550836887.292 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (cos (/ 1 im)) 1)))) 1) into 0 1550836887.292 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (cos (/ 1 im))))) into 0 1550836887.293 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.293 * [misc]backup-simplify: Simplify 0 into 0 1550836887.294 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 1)))) 2) into 0 1550836887.294 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))) into 0 1550836887.295 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.296 * [misc]backup-simplify: Simplify 0 into 0 1550836887.297 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (cos (/ 1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 1)))) 6) into 0 1550836887.298 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im))))))) into 0 1550836887.299 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.299 * [misc]backup-simplify: Simplify 0 into 0 1550836887.302 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (cos (/ 1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 1)))) 24) into 0 1550836887.303 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))))) into 0 1550836887.306 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.306 * [misc]backup-simplify: Simplify 0 into 0 1550836887.311 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (cos (/ 1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ 1 im)) 1)))) 120) into 0 1550836887.312 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im))))))))) into 0 1550836887.320 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.320 * [misc]backup-simplify: Simplify 0 into 0 1550836887.330 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (cos (/ 1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (cos (/ 1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (cos (/ 1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (cos (/ 1 im)) 1)))) 720) into 0 1550836887.331 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))))))) into 0 1550836887.342 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.343 * [misc]backup-simplify: Simplify 0 into 0 1550836887.343 * [misc]backup-simplify: Simplify (pow (cos (/ 1 (/ 1 im))) 1/3) into (pow (cos im) 1/3) 1550836887.343 * [misc]backup-simplify: Simplify (cbrt (cos (/ 1 (- im)))) into (pow (cos (/ -1 im)) 1/3) 1550836887.343 * [misc]approximate: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in (im) around 0 1550836887.343 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 1550836887.343 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 1550836887.343 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 1550836887.343 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.343 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.343 * [misc]taylor: Taking taylor expansion of (log (cos (/ -1 im))) in im 1550836887.343 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.343 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.343 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.343 * [misc]backup-simplify: Simplify -1 into -1 1550836887.343 * [misc]taylor: Taking taylor expansion of im in im 1550836887.343 * [misc]backup-simplify: Simplify 0 into 0 1550836887.343 * [misc]backup-simplify: Simplify 1 into 1 1550836887.343 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.343 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.343 * [misc]backup-simplify: Simplify (log (cos (/ -1 im))) into (log (cos (/ -1 im))) 1550836887.344 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ -1 im)))) into (* 1/3 (log (cos (/ -1 im)))) 1550836887.344 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ -1 im))))) into (pow (cos (/ -1 im)) 1/3) 1550836887.344 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 1550836887.344 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 1550836887.344 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 1550836887.344 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.344 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.344 * [misc]taylor: Taking taylor expansion of (log (cos (/ -1 im))) in im 1550836887.344 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.344 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.344 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.344 * [misc]backup-simplify: Simplify -1 into -1 1550836887.344 * [misc]taylor: Taking taylor expansion of im in im 1550836887.344 * [misc]backup-simplify: Simplify 0 into 0 1550836887.344 * [misc]backup-simplify: Simplify 1 into 1 1550836887.344 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.344 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.344 * [misc]backup-simplify: Simplify (log (cos (/ -1 im))) into (log (cos (/ -1 im))) 1550836887.344 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ -1 im)))) into (* 1/3 (log (cos (/ -1 im)))) 1550836887.345 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ -1 im))))) into (pow (cos (/ -1 im)) 1/3) 1550836887.345 * [misc]backup-simplify: Simplify (pow (cos (/ -1 im)) 1/3) into (pow (cos (/ -1 im)) 1/3) 1550836887.346 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (cos (/ -1 im)) 1)))) 1) into 0 1550836887.346 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (cos (/ -1 im))))) into 0 1550836887.347 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.347 * [misc]backup-simplify: Simplify 0 into 0 1550836887.349 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 1)))) 2) into 0 1550836887.350 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))) into 0 1550836887.352 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.352 * [misc]backup-simplify: Simplify 0 into 0 1550836887.356 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (cos (/ -1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 1)))) 6) into 0 1550836887.357 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im))))))) into 0 1550836887.361 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.361 * [misc]backup-simplify: Simplify 0 into 0 1550836887.368 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (cos (/ -1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 1)))) 24) into 0 1550836887.369 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))))) into 0 1550836887.374 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.374 * [misc]backup-simplify: Simplify 0 into 0 1550836887.382 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (cos (/ -1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ -1 im)) 1)))) 120) into 0 1550836887.382 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im))))))))) into 0 1550836887.390 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.390 * [misc]backup-simplify: Simplify 0 into 0 1550836887.403 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (cos (/ -1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (cos (/ -1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (cos (/ -1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (cos (/ -1 im)) 1)))) 720) into 0 1550836887.404 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))))))) into 0 1550836887.416 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.416 * [misc]backup-simplify: Simplify 0 into 0 1550836887.416 * [misc]backup-simplify: Simplify (pow (cos (/ -1 (/ 1 (- im)))) 1/3) into (pow (cos im) 1/3) 1550836887.416 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1) 1550836887.416 * [misc]backup-simplify: Simplify (cbrt (cos im)) into (pow (cos im) 1/3) 1550836887.416 * [misc]approximate: Taking taylor expansion of (pow (cos im) 1/3) in (im) around 0 1550836887.416 * [misc]taylor: Taking taylor expansion of (pow (cos im) 1/3) in im 1550836887.417 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 1550836887.417 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos im))) in im 1550836887.417 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.417 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.417 * [misc]taylor: Taking taylor expansion of (log (cos im)) in im 1550836887.417 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.417 * [misc]taylor: Taking taylor expansion of im in im 1550836887.417 * [misc]backup-simplify: Simplify 0 into 0 1550836887.417 * [misc]backup-simplify: Simplify 1 into 1 1550836887.417 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.417 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.417 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.420 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.420 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.421 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.425 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (- 1/2)) 1)) (pow 1 1)))) 2) into -1/2 1550836887.425 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 0) (* 0 0))) into -1/6 1550836887.425 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.425 * [misc]taylor: Taking taylor expansion of (pow (cos im) 1/3) in im 1550836887.425 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos im)))) in im 1550836887.425 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos im))) in im 1550836887.425 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.425 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.425 * [misc]taylor: Taking taylor expansion of (log (cos im)) in im 1550836887.426 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.426 * [misc]taylor: Taking taylor expansion of im in im 1550836887.426 * [misc]backup-simplify: Simplify 0 into 0 1550836887.426 * [misc]backup-simplify: Simplify 1 into 1 1550836887.426 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.426 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.426 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.429 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.429 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.430 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.434 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (- 1/2)) 1)) (pow 1 1)))) 2) into -1/2 1550836887.435 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 0) (* 0 0))) into -1/6 1550836887.435 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.435 * [misc]backup-simplify: Simplify 1 into 1 1550836887.436 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.436 * [misc]backup-simplify: Simplify 0 into 0 1550836887.438 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/6 1550836887.439 * [misc]backup-simplify: Simplify -1/6 into -1/6 1550836887.440 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550836887.447 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (- 1/2)) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1550836887.447 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 0)))) into 0 1550836887.450 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.450 * [misc]backup-simplify: Simplify 0 into 0 1550836887.453 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 1550836887.463 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (- 1/2)) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 (- 1/2)) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into -1/12 1550836887.463 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/12) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 0))))) into -1/36 1550836887.466 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow -1/6 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow -1/6 2) 2)) (* (/ (pow -1/36 1) 1)))) into -1/72 1550836887.466 * [misc]backup-simplify: Simplify -1/72 into -1/72 1550836887.467 * [misc]backup-simplify: Simplify (+ (* -1/72 (pow im 4)) (+ (* -1/6 (pow im 2)) 1)) into (- 1 (+ (* 1/6 (pow im 2)) (* 1/72 (pow im 4)))) 1550836887.467 * [misc]backup-simplify: Simplify (cbrt (cos (/ 1 im))) into (pow (cos (/ 1 im)) 1/3) 1550836887.467 * [misc]approximate: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in (im) around 0 1550836887.467 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.467 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.467 * [misc]taylor: Taking taylor expansion of (log (cos (/ 1 im))) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of im in im 1550836887.467 * [misc]backup-simplify: Simplify 0 into 0 1550836887.467 * [misc]backup-simplify: Simplify 1 into 1 1550836887.467 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.467 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.467 * [misc]backup-simplify: Simplify (log (cos (/ 1 im))) into (log (cos (/ 1 im))) 1550836887.467 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ 1 im)))) into (* 1/3 (log (cos (/ 1 im)))) 1550836887.467 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ 1 im))))) into (pow (cos (/ 1 im)) 1/3) 1550836887.467 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 1/3) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 im))))) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ 1 im)))) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.467 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.467 * [misc]taylor: Taking taylor expansion of (log (cos (/ 1 im))) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.467 * [misc]taylor: Taking taylor expansion of im in im 1550836887.468 * [misc]backup-simplify: Simplify 0 into 0 1550836887.468 * [misc]backup-simplify: Simplify 1 into 1 1550836887.468 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.468 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.468 * [misc]backup-simplify: Simplify (log (cos (/ 1 im))) into (log (cos (/ 1 im))) 1550836887.468 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ 1 im)))) into (* 1/3 (log (cos (/ 1 im)))) 1550836887.468 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ 1 im))))) into (pow (cos (/ 1 im)) 1/3) 1550836887.468 * [misc]backup-simplify: Simplify (pow (cos (/ 1 im)) 1/3) into (pow (cos (/ 1 im)) 1/3) 1550836887.469 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (cos (/ 1 im)) 1)))) 1) into 0 1550836887.469 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (cos (/ 1 im))))) into 0 1550836887.470 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.470 * [misc]backup-simplify: Simplify 0 into 0 1550836887.471 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 1)))) 2) into 0 1550836887.471 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))) into 0 1550836887.472 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.472 * [misc]backup-simplify: Simplify 0 into 0 1550836887.474 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (cos (/ 1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 1)))) 6) into 0 1550836887.474 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im))))))) into 0 1550836887.476 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.476 * [misc]backup-simplify: Simplify 0 into 0 1550836887.479 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (cos (/ 1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 1)))) 24) into 0 1550836887.479 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))))) into 0 1550836887.482 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.482 * [misc]backup-simplify: Simplify 0 into 0 1550836887.487 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (cos (/ 1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ 1 im)) 1)))) 120) into 0 1550836887.488 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im))))))))) into 0 1550836887.493 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.493 * [misc]backup-simplify: Simplify 0 into 0 1550836887.505 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (cos (/ 1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (cos (/ 1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (cos (/ 1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (cos (/ 1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ 1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (cos (/ 1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (cos (/ 1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ 1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (cos (/ 1 im)) 1)))) 720) into 0 1550836887.506 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ 1 im)))))))))) into 0 1550836887.519 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ 1 im))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.520 * [misc]backup-simplify: Simplify 0 into 0 1550836887.520 * [misc]backup-simplify: Simplify (pow (cos (/ 1 (/ 1 im))) 1/3) into (pow (cos im) 1/3) 1550836887.520 * [misc]backup-simplify: Simplify (cbrt (cos (/ 1 (- im)))) into (pow (cos (/ -1 im)) 1/3) 1550836887.520 * [misc]approximate: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in (im) around 0 1550836887.520 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 1550836887.520 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 1550836887.520 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 1550836887.520 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.520 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.520 * [misc]taylor: Taking taylor expansion of (log (cos (/ -1 im))) in im 1550836887.520 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.520 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.520 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.520 * [misc]backup-simplify: Simplify -1 into -1 1550836887.520 * [misc]taylor: Taking taylor expansion of im in im 1550836887.520 * [misc]backup-simplify: Simplify 0 into 0 1550836887.520 * [misc]backup-simplify: Simplify 1 into 1 1550836887.520 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.520 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.521 * [misc]backup-simplify: Simplify (log (cos (/ -1 im))) into (log (cos (/ -1 im))) 1550836887.521 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ -1 im)))) into (* 1/3 (log (cos (/ -1 im)))) 1550836887.521 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ -1 im))))) into (pow (cos (/ -1 im)) 1/3) 1550836887.521 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 1/3) in im 1550836887.521 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 im))))) in im 1550836887.521 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (cos (/ -1 im)))) in im 1550836887.521 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.521 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.521 * [misc]taylor: Taking taylor expansion of (log (cos (/ -1 im))) in im 1550836887.521 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.521 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.521 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.521 * [misc]backup-simplify: Simplify -1 into -1 1550836887.521 * [misc]taylor: Taking taylor expansion of im in im 1550836887.521 * [misc]backup-simplify: Simplify 0 into 0 1550836887.521 * [misc]backup-simplify: Simplify 1 into 1 1550836887.521 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.521 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.521 * [misc]backup-simplify: Simplify (log (cos (/ -1 im))) into (log (cos (/ -1 im))) 1550836887.521 * [misc]backup-simplify: Simplify (* 1/3 (log (cos (/ -1 im)))) into (* 1/3 (log (cos (/ -1 im)))) 1550836887.521 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (cos (/ -1 im))))) into (pow (cos (/ -1 im)) 1/3) 1550836887.521 * [misc]backup-simplify: Simplify (pow (cos (/ -1 im)) 1/3) into (pow (cos (/ -1 im)) 1/3) 1550836887.522 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (cos (/ -1 im)) 1)))) 1) into 0 1550836887.522 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (cos (/ -1 im))))) into 0 1550836887.523 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.523 * [misc]backup-simplify: Simplify 0 into 0 1550836887.524 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 1)))) 2) into 0 1550836887.524 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))) into 0 1550836887.526 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.526 * [misc]backup-simplify: Simplify 0 into 0 1550836887.527 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (cos (/ -1 im)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 1)))) 6) into 0 1550836887.528 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im))))))) into 0 1550836887.530 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.530 * [misc]backup-simplify: Simplify 0 into 0 1550836887.532 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (cos (/ -1 im)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 1)))) 24) into 0 1550836887.533 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))))) into 0 1550836887.536 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.536 * [misc]backup-simplify: Simplify 0 into 0 1550836887.540 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (cos (/ -1 im)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ -1 im)) 1)))) 120) into 0 1550836887.541 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im))))))))) into 0 1550836887.545 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.546 * [misc]backup-simplify: Simplify 0 into 0 1550836887.552 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (cos (/ -1 im)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (cos (/ -1 im)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (cos (/ -1 im)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (cos (/ -1 im)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (cos (/ -1 im)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (cos (/ -1 im)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (cos (/ -1 im)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (cos (/ -1 im)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (cos (/ -1 im)) 1)))) 720) into 0 1550836887.553 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (cos (/ -1 im)))))))))) into 0 1550836887.560 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (cos (/ -1 im))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.560 * [misc]backup-simplify: Simplify 0 into 0 1550836887.560 * [misc]backup-simplify: Simplify (pow (cos (/ -1 (/ 1 (- im)))) 1/3) into (pow (cos im) 1/3) 1550836887.560 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2) 1550836887.560 * [misc]backup-simplify: Simplify (* (cbrt (cos im)) (cbrt (cos im))) into (pow (pow (cos im) 2) 1/3) 1550836887.561 * [misc]approximate: Taking taylor expansion of (pow (pow (cos im) 2) 1/3) in (im) around 0 1550836887.561 * [misc]taylor: Taking taylor expansion of (pow (pow (cos im) 2) 1/3) in im 1550836887.561 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (cos im) 2)))) in im 1550836887.561 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (cos im) 2))) in im 1550836887.561 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.561 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.561 * [misc]taylor: Taking taylor expansion of (log (pow (cos im) 2)) in im 1550836887.561 * [misc]taylor: Taking taylor expansion of (pow (cos im) 2) in im 1550836887.561 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.561 * [misc]taylor: Taking taylor expansion of im in im 1550836887.561 * [misc]backup-simplify: Simplify 0 into 0 1550836887.561 * [misc]backup-simplify: Simplify 1 into 1 1550836887.561 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550836887.561 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.561 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.561 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.561 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550836887.563 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.563 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.563 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.564 * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 1550836887.566 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1) 1)) (pow 1 1)))) 2) into -1 1550836887.566 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 0) (* 0 0))) into -1/3 1550836887.566 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.566 * [misc]taylor: Taking taylor expansion of (pow (pow (cos im) 2) 1/3) in im 1550836887.566 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (cos im) 2)))) in im 1550836887.566 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (cos im) 2))) in im 1550836887.566 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.567 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.567 * [misc]taylor: Taking taylor expansion of (log (pow (cos im) 2)) in im 1550836887.567 * [misc]taylor: Taking taylor expansion of (pow (cos im) 2) in im 1550836887.567 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550836887.567 * [misc]taylor: Taking taylor expansion of im in im 1550836887.567 * [misc]backup-simplify: Simplify 0 into 0 1550836887.567 * [misc]backup-simplify: Simplify 1 into 1 1550836887.567 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550836887.567 * [misc]backup-simplify: Simplify (log 1) into 0 1550836887.567 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1550836887.567 * [misc]backup-simplify: Simplify (+ 0) into 0 1550836887.567 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550836887.569 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1550836887.569 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 0)) into 0 1550836887.570 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1550836887.570 * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 1550836887.572 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1) 1)) (pow 1 1)))) 2) into -1 1550836887.573 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 0) (* 0 0))) into -1/3 1550836887.573 * [misc]backup-simplify: Simplify (exp 0) into 1 1550836887.573 * [misc]backup-simplify: Simplify 1 into 1 1550836887.574 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.574 * [misc]backup-simplify: Simplify 0 into 0 1550836887.576 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow -1/3 1) 1)))) into -1/3 1550836887.576 * [misc]backup-simplify: Simplify -1/3 into -1/3 1550836887.578 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550836887.578 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1/2)) (+ (* (- 1/2) 0) (* 0 1)))) into 0 1550836887.585 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1550836887.585 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 -1) (+ (* 0 0) (* 0 0)))) into 0 1550836887.589 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow -1/3 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.589 * [misc]backup-simplify: Simplify 0 into 0 1550836887.591 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24 1550836887.591 * [misc]backup-simplify: Simplify (+ (* 1 1/24) (+ (* 0 0) (+ (* (- 1/2) (- 1/2)) (+ (* 0 0) (* 1/24 1))))) into 1/3 1550836887.597 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 -1) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/3) 1)) (pow 1 1)))) 24) into -1/6 1550836887.598 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/6) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 0))))) into -1/18 1550836887.601 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow -1/3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow -1/3 2) 2)) (* (/ (pow -1/18 1) 1)))) into 0 1550836887.601 * [misc]backup-simplify: Simplify 0 into 0 1550836887.604 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 1 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550836887.604 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/24) (+ (* (- 1/2) 0) (+ (* 0 (- 1/2)) (+ (* 1/24 0) (* 0 1)))))) into 0 1550836887.613 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 -1) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 -1) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 -1) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 1/3) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1550836887.614 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 -1/6) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 0)))))) into 0 1550836887.620 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow -1/3 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow -1/3 2) 2)) (* (/ (pow 0 1) 1) (/ (pow -1/18 1) 1)) (* (/ (pow -1/3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.620 * [misc]backup-simplify: Simplify 0 into 0 1550836887.626 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 6) 720)) 0 (* 1 (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 1 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into (- 1/720) 1550836887.626 * [misc]backup-simplify: Simplify (+ (* 1 (- 1/720)) (+ (* 0 0) (+ (* (- 1/2) 1/24) (+ (* 0 0) (+ (* 1/24 (- 1/2)) (+ (* 0 0) (* (- 1/720) 1))))))) into -2/45 1550836887.641 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 -1) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 -1) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 -1) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 -1) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 1/3) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 -1) 1) 1 (pow (* 24 1/3) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 -2/45) 1)) (pow 1 1)))) 720) into -2/45 1550836887.641 * [misc]backup-simplify: Simplify (+ (* 1/3 -2/45) (+ (* 0 0) (+ (* 0 -1/6) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 0))))))) into -2/135 1550836887.649 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow -1/3 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow -1/3 2) 2)) (* (/ (pow 0 2) 2) (/ (pow -1/18 1) 1)) (* (/ (pow 0 1) 1) (/ (pow -1/3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow -1/3 3) 6)) (* (/ (pow -1/3 1) 1) (/ (pow -1/18 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow -2/135 1) 1)))) into -1/405 1550836887.650 * [misc]backup-simplify: Simplify -1/405 into -1/405 1550836887.650 * [misc]backup-simplify: Simplify (+ (* -1/405 (pow im 6)) (+ (* -1/3 (pow im 2)) 1)) into (- 1 (+ (* 1/3 (pow im 2)) (* 1/405 (pow im 6)))) 1550836887.650 * [misc]backup-simplify: Simplify (* (cbrt (cos (/ 1 im))) (cbrt (cos (/ 1 im)))) into (pow (pow (cos (/ 1 im)) 2) 1/3) 1550836887.650 * [misc]approximate: Taking taylor expansion of (pow (pow (cos (/ 1 im)) 2) 1/3) in (im) around 0 1550836887.650 * [misc]taylor: Taking taylor expansion of (pow (pow (cos (/ 1 im)) 2) 1/3) in im 1550836887.650 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) in im 1550836887.650 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 im)) 2))) in im 1550836887.650 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.650 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.650 * [misc]taylor: Taking taylor expansion of (log (pow (cos (/ 1 im)) 2)) in im 1550836887.650 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in im 1550836887.650 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.650 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.650 * [misc]taylor: Taking taylor expansion of im in im 1550836887.650 * [misc]backup-simplify: Simplify 0 into 0 1550836887.650 * [misc]backup-simplify: Simplify 1 into 1 1550836887.650 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.650 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.650 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (cos (/ 1 im))) into (pow (cos (/ 1 im)) 2) 1550836887.650 * [misc]backup-simplify: Simplify (log (pow (cos (/ 1 im)) 2)) into (log (pow (cos (/ 1 im)) 2)) 1550836887.651 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (cos (/ 1 im)) 2))) into (* 1/3 (log (pow (cos (/ 1 im)) 2))) 1550836887.651 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) into (pow (pow (cos (/ 1 im)) 2) 1/3) 1550836887.651 * [misc]taylor: Taking taylor expansion of (pow (pow (cos (/ 1 im)) 2) 1/3) in im 1550836887.651 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) in im 1550836887.651 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 im)) 2))) in im 1550836887.651 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.651 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.651 * [misc]taylor: Taking taylor expansion of (log (pow (cos (/ 1 im)) 2)) in im 1550836887.651 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in im 1550836887.651 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550836887.651 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550836887.651 * [misc]taylor: Taking taylor expansion of im in im 1550836887.651 * [misc]backup-simplify: Simplify 0 into 0 1550836887.651 * [misc]backup-simplify: Simplify 1 into 1 1550836887.651 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550836887.651 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550836887.651 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (cos (/ 1 im))) into (pow (cos (/ 1 im)) 2) 1550836887.651 * [misc]backup-simplify: Simplify (log (pow (cos (/ 1 im)) 2)) into (log (pow (cos (/ 1 im)) 2)) 1550836887.651 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (cos (/ 1 im)) 2))) into (* 1/3 (log (pow (cos (/ 1 im)) 2))) 1550836887.651 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) into (pow (pow (cos (/ 1 im)) 2) 1/3) 1550836887.651 * [misc]backup-simplify: Simplify (pow (pow (cos (/ 1 im)) 2) 1/3) into (pow (pow (cos (/ 1 im)) 2) 1/3) 1550836887.652 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (cos (/ 1 im)))) into 0 1550836887.652 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (cos (/ 1 im)) 2) 1)))) 1) into 0 1550836887.652 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (cos (/ 1 im)) 2)))) into 0 1550836887.653 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.653 * [misc]backup-simplify: Simplify 0 into 0 1550836887.653 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (cos (/ 1 im))))) into 0 1550836887.654 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (cos (/ 1 im)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (cos (/ 1 im)) 2) 1)))) 2) into 0 1550836887.655 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (cos (/ 1 im)) 2))))) into 0 1550836887.656 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.656 * [misc]backup-simplify: Simplify 0 into 0 1550836887.656 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 im)))))) into 0 1550836887.658 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (cos (/ 1 im)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (cos (/ 1 im)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (cos (/ 1 im)) 2) 1)))) 6) into 0 1550836887.658 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ 1 im)) 2)))))) into 0 1550836887.660 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.660 * [misc]backup-simplify: Simplify 0 into 0 1550836887.660 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 im))))))) into 0 1550836887.663 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (cos (/ 1 im)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (cos (/ 1 im)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (cos (/ 1 im)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (cos (/ 1 im)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (cos (/ 1 im)) 2) 1)))) 24) into 0 1550836887.664 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ 1 im)) 2))))))) into 0 1550836887.667 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.667 * [misc]backup-simplify: Simplify 0 into 0 1550836887.667 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 im)))))))) into 0 1550836887.672 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (cos (/ 1 im)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (cos (/ 1 im)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (cos (/ 1 im)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (cos (/ 1 im)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (cos (/ 1 im)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (cos (/ 1 im)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (cos (/ 1 im)) 2) 1)))) 120) into 0 1550836887.672 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ 1 im)) 2)))))))) into 0 1550836887.681 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.681 * [misc]backup-simplify: Simplify 0 into 0 1550836887.682 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 im))))))))) into 0 1550836887.694 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (cos (/ 1 im)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (cos (/ 1 im)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (cos (/ 1 im)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (cos (/ 1 im)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (cos (/ 1 im)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (cos (/ 1 im)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (cos (/ 1 im)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (cos (/ 1 im)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (cos (/ 1 im)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (cos (/ 1 im)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (cos (/ 1 im)) 2) 1)))) 720) into 0 1550836887.695 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ 1 im)) 2))))))))) into 0 1550836887.708 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ 1 im)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.708 * [misc]backup-simplify: Simplify 0 into 0 1550836887.708 * [misc]backup-simplify: Simplify (pow (pow (cos (/ 1 (/ 1 im))) 2) 1/3) into (pow (pow (cos im) 2) 1/3) 1550836887.708 * [misc]backup-simplify: Simplify (* (cbrt (cos (/ 1 (- im)))) (cbrt (cos (/ 1 (- im))))) into (pow (pow (cos (/ -1 im)) 2) 1/3) 1550836887.708 * [misc]approximate: Taking taylor expansion of (pow (pow (cos (/ -1 im)) 2) 1/3) in (im) around 0 1550836887.708 * [misc]taylor: Taking taylor expansion of (pow (pow (cos (/ -1 im)) 2) 1/3) in im 1550836887.708 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) in im 1550836887.708 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 im)) 2))) in im 1550836887.708 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.708 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.708 * [misc]taylor: Taking taylor expansion of (log (pow (cos (/ -1 im)) 2)) in im 1550836887.708 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in im 1550836887.708 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.709 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.709 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.709 * [misc]backup-simplify: Simplify -1 into -1 1550836887.709 * [misc]taylor: Taking taylor expansion of im in im 1550836887.709 * [misc]backup-simplify: Simplify 0 into 0 1550836887.709 * [misc]backup-simplify: Simplify 1 into 1 1550836887.709 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.709 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.709 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (cos (/ -1 im))) into (pow (cos (/ -1 im)) 2) 1550836887.709 * [misc]backup-simplify: Simplify (log (pow (cos (/ -1 im)) 2)) into (log (pow (cos (/ -1 im)) 2)) 1550836887.709 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (cos (/ -1 im)) 2))) into (* 1/3 (log (pow (cos (/ -1 im)) 2))) 1550836887.709 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) into (pow (pow (cos (/ -1 im)) 2) 1/3) 1550836887.709 * [misc]taylor: Taking taylor expansion of (pow (pow (cos (/ -1 im)) 2) 1/3) in im 1550836887.710 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) in im 1550836887.710 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 im)) 2))) in im 1550836887.710 * [misc]taylor: Taking taylor expansion of 1/3 in im 1550836887.710 * [misc]backup-simplify: Simplify 1/3 into 1/3 1550836887.710 * [misc]taylor: Taking taylor expansion of (log (pow (cos (/ -1 im)) 2)) in im 1550836887.710 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in im 1550836887.710 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550836887.710 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550836887.710 * [misc]taylor: Taking taylor expansion of -1 in im 1550836887.710 * [misc]backup-simplify: Simplify -1 into -1 1550836887.710 * [misc]taylor: Taking taylor expansion of im in im 1550836887.710 * [misc]backup-simplify: Simplify 0 into 0 1550836887.710 * [misc]backup-simplify: Simplify 1 into 1 1550836887.710 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550836887.710 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550836887.710 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (cos (/ -1 im))) into (pow (cos (/ -1 im)) 2) 1550836887.710 * [misc]backup-simplify: Simplify (log (pow (cos (/ -1 im)) 2)) into (log (pow (cos (/ -1 im)) 2)) 1550836887.710 * [misc]backup-simplify: Simplify (* 1/3 (log (pow (cos (/ -1 im)) 2))) into (* 1/3 (log (pow (cos (/ -1 im)) 2))) 1550836887.711 * [misc]backup-simplify: Simplify (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) into (pow (pow (cos (/ -1 im)) 2) 1/3) 1550836887.711 * [misc]backup-simplify: Simplify (pow (pow (cos (/ -1 im)) 2) 1/3) into (pow (pow (cos (/ -1 im)) 2) 1/3) 1550836887.711 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (cos (/ -1 im)))) into 0 1550836887.712 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (cos (/ -1 im)) 2) 1)))) 1) into 0 1550836887.712 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 (log (pow (cos (/ -1 im)) 2)))) into 0 1550836887.713 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 1550836887.713 * [misc]backup-simplify: Simplify 0 into 0 1550836887.713 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1550836887.714 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (cos (/ -1 im)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (cos (/ -1 im)) 2) 1)))) 2) into 0 1550836887.714 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (cos (/ -1 im)) 2))))) into 0 1550836887.716 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.716 * [misc]backup-simplify: Simplify 0 into 0 1550836887.716 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1550836887.718 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (cos (/ -1 im)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (cos (/ -1 im)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (cos (/ -1 im)) 2) 1)))) 6) into 0 1550836887.718 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ -1 im)) 2)))))) into 0 1550836887.720 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.720 * [misc]backup-simplify: Simplify 0 into 0 1550836887.721 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))))) into 0 1550836887.723 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (cos (/ -1 im)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (cos (/ -1 im)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (cos (/ -1 im)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (cos (/ -1 im)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (cos (/ -1 im)) 2) 1)))) 24) into 0 1550836887.724 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ -1 im)) 2))))))) into 0 1550836887.727 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.727 * [misc]backup-simplify: Simplify 0 into 0 1550836887.727 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))))) into 0 1550836887.733 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (cos (/ -1 im)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (cos (/ -1 im)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (cos (/ -1 im)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (cos (/ -1 im)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (cos (/ -1 im)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (cos (/ -1 im)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (cos (/ -1 im)) 2) 1)))) 120) into 0 1550836887.733 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ -1 im)) 2)))))))) into 0 1550836887.738 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550836887.738 * [misc]backup-simplify: Simplify 0 into 0 1550836887.739 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))))))) into 0 1550836887.748 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (cos (/ -1 im)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (cos (/ -1 im)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (cos (/ -1 im)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (cos (/ -1 im)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (cos (/ -1 im)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (cos (/ -1 im)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (cos (/ -1 im)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (cos (/ -1 im)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (cos (/ -1 im)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (cos (/ -1 im)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (cos (/ -1 im)) 2) 1)))) 720) into 0 1550836887.749 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (cos (/ -1 im)) 2))))))))) into 0 1550836887.759 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log (pow (cos (/ -1 im)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550836887.759 * [misc]backup-simplify: Simplify 0 into 0 1550836887.759 * [misc]backup-simplify: Simplify (pow (pow (cos (/ -1 (/ 1 (- im)))) 2) 1/3) into (pow (pow (cos im) 2) 1/3) 1550836887.759 * * * [misc]progress: simplifying candidates 1550836887.759 * * * * [misc]progress: [ 1 / 77 ] simplifiying candidate # 1550836887.759 * * * * [misc]progress: [ 2 / 77 ] simplifiying candidate # 1550836887.759 * * * * [misc]progress: [ 3 / 77 ] simplifiying candidate # 1550836887.759 * * * * [misc]progress: [ 4 / 77 ] simplifiying candidate # 1550836887.759 * * * * [misc]progress: [ 5 / 77 ] simplifiying candidate # 1550836887.760 * [enter]simplify: Simplifying (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.760 * * [misc]simplify: iters left: 5 (5 enodes) 1550836887.761 * * [misc]simplify: iters left: 4 (15 enodes) 1550836887.763 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.763 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.763 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.763 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.763 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550836887.763 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550836887.763 * * [misc]simplify: Extracting #6: cost 0 inf + 1289 1550836887.763 * [exit]simplify: Simplified to (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.763 * [misc]simplify: Simplified (2 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (* (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cbrt (cos im)))))) 1550836887.763 * * * * [misc]progress: [ 6 / 77 ] simplifiying candidate # 1550836887.763 * [enter]simplify: Simplifying (cbrt (sqrt (cos im))) 1550836887.763 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.764 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.766 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.766 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.766 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.766 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.766 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.766 * * [misc]simplify: Extracting #5: cost 0 inf + 687 1550836887.766 * [exit]simplify: Simplified to (cbrt (sqrt (cos im))) 1550836887.766 * [misc]simplify: Simplified (2 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))))) 1550836887.766 * * * * [misc]progress: [ 7 / 77 ] simplifiying candidate # 1550836887.766 * [enter]simplify: Simplifying (cbrt 1) 1550836887.766 * * [misc]simplify: iters left: 1 (2 enodes) 1550836887.768 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.768 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836887.768 * [exit]simplify: Simplified to 1 1550836887.769 * [misc]simplify: Simplified (2 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (* 1 (cbrt (cos im))))) 1550836887.769 * * * * [misc]progress: [ 8 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 9 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 10 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 11 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 12 / 77 ] simplifiying candidate #real (real->posit16 (cbrt (cos im))))))> 1550836887.769 * * * * [misc]progress: [ 13 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 14 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 15 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 16 / 77 ] simplifiying candidate # 1550836887.769 * * * * [misc]progress: [ 17 / 77 ] simplifiying candidate # 1550836887.769 * [enter]simplify: Simplifying (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.769 * * [misc]simplify: iters left: 5 (5 enodes) 1550836887.771 * * [misc]simplify: iters left: 4 (15 enodes) 1550836887.773 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.773 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.773 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.773 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.773 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550836887.773 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550836887.773 * * [misc]simplify: Extracting #6: cost 0 inf + 1289 1550836887.773 * [exit]simplify: Simplified to (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.773 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (* (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cbrt (cos im)))))) (cbrt (cos im)))) 1550836887.773 * * * * [misc]progress: [ 18 / 77 ] simplifiying candidate # 1550836887.774 * [enter]simplify: Simplifying (cbrt (sqrt (cos im))) 1550836887.774 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.774 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.776 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.776 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.776 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.776 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.776 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.776 * * [misc]simplify: Extracting #5: cost 0 inf + 687 1550836887.776 * [exit]simplify: Simplified to (cbrt (sqrt (cos im))) 1550836887.776 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))))) (cbrt (cos im)))) 1550836887.777 * * * * [misc]progress: [ 19 / 77 ] simplifiying candidate # 1550836887.777 * [enter]simplify: Simplifying (cbrt 1) 1550836887.777 * * [misc]simplify: iters left: 1 (2 enodes) 1550836887.779 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.779 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836887.779 * [exit]simplify: Simplified to 1 1550836887.779 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (* 1 (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.779 * * * * [misc]progress: [ 20 / 77 ] simplifiying candidate # 1550836887.779 * * * * [misc]progress: [ 21 / 77 ] simplifiying candidate # 1550836887.779 * * * * [misc]progress: [ 22 / 77 ] simplifiying candidate # 1550836887.779 * * * * [misc]progress: [ 23 / 77 ] simplifiying candidate # 1550836887.779 * * * * [misc]progress: [ 24 / 77 ] simplifiying candidate #real (real->posit16 (cbrt (cos im)))))) (cbrt (cos im))))> 1550836887.779 * * * * [misc]progress: [ 25 / 77 ] simplifiying candidate # 1550836887.779 * * * * [misc]progress: [ 26 / 77 ] simplifiying candidate # 1550836887.779 * * * * [misc]progress: [ 27 / 77 ] simplifiying candidate # 1550836887.780 * * * * [misc]progress: [ 28 / 77 ] simplifiying candidate # 1550836887.780 * * * * [misc]progress: [ 29 / 77 ] simplifiying candidate # 1550836887.780 * [enter]simplify: Simplifying (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.780 * * [misc]simplify: iters left: 5 (5 enodes) 1550836887.781 * * [misc]simplify: iters left: 4 (15 enodes) 1550836887.783 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.783 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.783 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.783 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.783 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550836887.783 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550836887.783 * * [misc]simplify: Extracting #6: cost 0 inf + 1289 1550836887.783 * [exit]simplify: Simplified to (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.783 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (re im) (* (* (exp re) (* (* (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cbrt (cos im)))) (cbrt (cos im)))) (cbrt (cos im)))) 1550836887.783 * * * * [misc]progress: [ 30 / 77 ] simplifiying candidate # 1550836887.784 * [enter]simplify: Simplifying (cbrt (sqrt (cos im))) 1550836887.784 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.784 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.786 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.786 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.786 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.786 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.786 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.786 * * [misc]simplify: Extracting #5: cost 0 inf + 687 1550836887.786 * [exit]simplify: Simplified to (cbrt (sqrt (cos im))) 1550836887.786 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (re im) (* (* (exp re) (* (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (cbrt (cos im)))) (cbrt (cos im)))) 1550836887.786 * * * * [misc]progress: [ 31 / 77 ] simplifiying candidate # 1550836887.786 * [enter]simplify: Simplifying (cbrt 1) 1550836887.786 * * [misc]simplify: iters left: 1 (2 enodes) 1550836887.788 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.789 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836887.789 * [exit]simplify: Simplified to 1 1550836887.789 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (re im) (* (* (exp re) (* (* 1 (cbrt (cos im))) (cbrt (cos im)))) (cbrt (cos im)))) 1550836887.789 * * * * [misc]progress: [ 32 / 77 ] simplifiying candidate # 1550836887.789 * * * * [misc]progress: [ 33 / 77 ] simplifiying candidate # 1550836887.789 * * * * [misc]progress: [ 34 / 77 ] simplifiying candidate # 1550836887.789 * * * * [misc]progress: [ 35 / 77 ] simplifiying candidate # 1550836887.789 * * * * [misc]progress: [ 36 / 77 ] simplifiying candidate #real (real->posit16 (cbrt (cos im)))) (cbrt (cos im)))) (cbrt (cos im))))> 1550836887.789 * * * * [misc]progress: [ 37 / 77 ] simplifiying candidate # 1550836887.789 * [enter]simplify: Simplifying (cos im) 1550836887.789 * * [misc]simplify: iters left: 1 (2 enodes) 1550836887.789 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.789 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.790 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550836887.790 * * [misc]simplify: Extracting #3: cost 0 inf + 123 1550836887.790 * [exit]simplify: Simplified to (cos im) 1550836887.790 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (pow (cos im) (+ 1/3 1/3))) (cbrt (cos im)))) 1550836887.790 * [enter]simplify: Simplifying (+ 1/3 1/3) 1550836887.790 * * [misc]simplify: iters left: 2 (2 enodes) 1550836887.791 * * [misc]simplify: iters left: 1 (7 enodes) 1550836887.792 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.792 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836887.793 * [exit]simplify: Simplified to 2/3 1550836887.793 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (pow (cos im) 2/3)) (cbrt (cos im)))) 1550836887.793 * * * * [misc]progress: [ 38 / 77 ] simplifiying candidate # 1550836887.793 * [enter]simplify: Simplifying (cbrt (cos im)) 1550836887.793 * * [misc]simplify: iters left: 2 (3 enodes) 1550836887.793 * * [misc]simplify: iters left: 1 (9 enodes) 1550836887.795 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.795 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.795 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.795 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836887.795 * * [misc]simplify: Extracting #4: cost 0 inf + 405 1550836887.795 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836887.795 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (pow (cbrt (cos im)) (+ 1 1))) (cbrt (cos im)))) 1550836887.795 * [enter]simplify: Simplifying (+ 1 1) 1550836887.795 * * [misc]simplify: iters left: 2 (2 enodes) 1550836887.797 * * [misc]simplify: iters left: 1 (9 enodes) 1550836887.800 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.800 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836887.800 * [exit]simplify: Simplified to 2 1550836887.800 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (pow (cbrt (cos im)) 2)) (cbrt (cos im)))) 1550836887.800 * * * * [misc]progress: [ 39 / 77 ] simplifiying candidate # 1550836887.801 * [enter]simplify: Simplifying (* (cos im) (cos im)) 1550836887.801 * * [misc]simplify: iters left: 3 (3 enodes) 1550836887.802 * * [misc]simplify: iters left: 2 (9 enodes) 1550836887.804 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.805 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.805 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.805 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836887.805 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1550836887.805 * [exit]simplify: Simplified to (* (cos im) (cos im)) 1550836887.805 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (pow (* (cos im) (cos im)) 1/3)) (cbrt (cos im)))) 1550836887.805 * * * * [misc]progress: [ 40 / 77 ] simplifiying candidate # 1550836887.805 * [enter]simplify: Simplifying (* (cbrt (cos im)) (cbrt (cos im))) 1550836887.805 * * [misc]simplify: iters left: 4 (4 enodes) 1550836887.807 * * [misc]simplify: iters left: 3 (12 enodes) 1550836887.810 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.810 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.811 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.811 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.811 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.811 * * [misc]simplify: Extracting #5: cost 0 inf + 767 1550836887.811 * [exit]simplify: Simplified to (* (cbrt (cos im)) (cbrt (cos im))) 1550836887.811 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (pow (* (cbrt (cos im)) (cbrt (cos im))) 1)) (cbrt (cos im)))) 1550836887.811 * * * * [misc]progress: [ 41 / 77 ] simplifiying candidate # 1550836887.811 * * * * [misc]progress: [ 42 / 77 ] simplifiying candidate # 1550836887.812 * [enter]simplify: Simplifying (cbrt (cos im)) 1550836887.812 * * [misc]simplify: iters left: 2 (3 enodes) 1550836887.813 * * [misc]simplify: iters left: 1 (9 enodes) 1550836887.815 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.815 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.815 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.815 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836887.816 * * [misc]simplify: Extracting #4: cost 0 inf + 405 1550836887.816 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836887.816 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (pow (cbrt (cos im)) (+ 1 1))) (cbrt (cos im)))) 1550836887.816 * * * * [misc]progress: [ 43 / 77 ] simplifiying candidate # 1550836887.816 * * * * [misc]progress: [ 44 / 77 ] simplifiying candidate # 1550836887.816 * [enter]simplify: Simplifying (+ (log (cbrt (cos im))) (log (cbrt (cos im)))) 1550836887.816 * * [misc]simplify: iters left: 5 (5 enodes) 1550836887.818 * * [misc]simplify: iters left: 4 (15 enodes) 1550836887.822 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.822 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.822 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.822 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.823 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550836887.823 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550836887.823 * * [misc]simplify: Extracting #6: cost 0 inf + 1329 1550836887.823 * [exit]simplify: Simplified to (+ (log (cbrt (cos im))) (log (cbrt (cos im)))) 1550836887.823 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (exp (+ (log (cbrt (cos im))) (log (cbrt (cos im)))))) (cbrt (cos im)))) 1550836887.823 * * * * [misc]progress: [ 45 / 77 ] simplifiying candidate # 1550836887.823 * * * * [misc]progress: [ 46 / 77 ] simplifiying candidate # 1550836887.823 * * * * [misc]progress: [ 47 / 77 ] simplifiying candidate # 1550836887.824 * [enter]simplify: Simplifying (* (cos im) (cos im)) 1550836887.824 * * [misc]simplify: iters left: 3 (3 enodes) 1550836887.825 * * [misc]simplify: iters left: 2 (9 enodes) 1550836887.828 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.829 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.829 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.829 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836887.829 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1550836887.829 * [exit]simplify: Simplified to (* (cos im) (cos im)) 1550836887.829 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (cbrt (* (cos im) (cos im)))) (cbrt (cos im)))) 1550836887.829 * * * * [misc]progress: [ 48 / 77 ] simplifiying candidate # 1550836887.829 * * * * [misc]progress: [ 49 / 77 ] simplifiying candidate # 1550836887.829 * * * * [misc]progress: [ 50 / 77 ] simplifiying candidate # 1550836887.829 * * * * [misc]progress: [ 51 / 77 ] simplifiying candidate # 1550836887.829 * * * * [misc]progress: [ 52 / 77 ] simplifiying candidate # 1550836887.830 * [enter]simplify: Simplifying (cbrt (cbrt (cos im))) 1550836887.830 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.832 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.835 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.835 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.835 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.835 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.835 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.836 * * [misc]simplify: Extracting #5: cost 0 inf + 847 1550836887.836 * [exit]simplify: Simplified to (cbrt (cbrt (cos im))) 1550836887.836 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (* (cbrt (cos im)) (cbrt (* (cbrt (cos im)) (cbrt (cos im))))) (cbrt (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.836 * * * * [misc]progress: [ 53 / 77 ] simplifiying candidate # 1550836887.836 * [enter]simplify: Simplifying (cbrt (sqrt (cos im))) 1550836887.836 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.838 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.841 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.842 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.842 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.842 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.842 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.842 * * [misc]simplify: Extracting #5: cost 0 inf + 687 1550836887.842 * [exit]simplify: Simplified to (cbrt (sqrt (cos im))) 1550836887.842 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (* (cbrt (cos im)) (cbrt (sqrt (cos im)))) (cbrt (sqrt (cos im))))) (cbrt (cos im)))) 1550836887.842 * * * * [misc]progress: [ 54 / 77 ] simplifiying candidate # 1550836887.843 * [enter]simplify: Simplifying (cbrt (cos im)) 1550836887.843 * * [misc]simplify: iters left: 2 (3 enodes) 1550836887.844 * * [misc]simplify: iters left: 1 (9 enodes) 1550836887.846 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.846 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.846 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.846 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836887.847 * * [misc]simplify: Extracting #4: cost 0 inf + 405 1550836887.847 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836887.847 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (* (cbrt (cos im)) (cbrt 1)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836887.847 * * * * [misc]progress: [ 55 / 77 ] simplifiying candidate # 1550836887.848 * [enter]simplify: Simplifying (cbrt (cbrt (cos im))) 1550836887.848 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.850 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.855 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.855 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.855 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.855 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.855 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.856 * * [misc]simplify: Extracting #5: cost 0 inf + 847 1550836887.856 * [exit]simplify: Simplified to (cbrt (cbrt (cos im))) 1550836887.856 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (* (cbrt (cos im)) (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im))))) (cbrt (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.856 * * * * [misc]progress: [ 56 / 77 ] simplifiying candidate # 1550836887.856 * [enter]simplify: Simplifying (sqrt (cbrt (cos im))) 1550836887.856 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.858 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.861 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.861 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.861 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.861 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.861 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.861 * * [misc]simplify: Extracting #5: cost 0 inf + 767 1550836887.861 * [exit]simplify: Simplified to (sqrt (cbrt (cos im))) 1550836887.861 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (* (cbrt (cos im)) (sqrt (cbrt (cos im)))) (sqrt (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.862 * * * * [misc]progress: [ 57 / 77 ] simplifiying candidate # 1550836887.862 * [enter]simplify: Simplifying (cbrt (cos im)) 1550836887.862 * * [misc]simplify: iters left: 2 (3 enodes) 1550836887.863 * * [misc]simplify: iters left: 1 (9 enodes) 1550836887.865 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.865 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.866 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.866 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550836887.866 * * [misc]simplify: Extracting #4: cost 0 inf + 405 1550836887.866 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836887.866 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (* (cbrt (cos im)) 1) (cbrt (cos im)))) (cbrt (cos im)))) 1550836887.866 * * * * [misc]progress: [ 58 / 77 ] simplifiying candidate # 1550836887.866 * [enter]simplify: Simplifying (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.866 * * [misc]simplify: iters left: 5 (5 enodes) 1550836887.868 * * [misc]simplify: iters left: 4 (15 enodes) 1550836887.872 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.872 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.872 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.872 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.872 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550836887.872 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550836887.873 * * [misc]simplify: Extracting #6: cost 0 inf + 1289 1550836887.873 * [exit]simplify: Simplified to (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) 1550836887.873 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (* (cbrt (cos im)) (cbrt (cos im)))) (* (cbrt (cbrt (cos im))) (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.873 * * * * [misc]progress: [ 59 / 77 ] simplifiying candidate # 1550836887.874 * [enter]simplify: Simplifying (cbrt (sqrt (cos im))) 1550836887.874 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.875 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.878 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.878 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.878 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.878 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.878 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.878 * * [misc]simplify: Extracting #5: cost 0 inf + 687 1550836887.879 * [exit]simplify: Simplified to (cbrt (sqrt (cos im))) 1550836887.879 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (sqrt (cos im))) (* (cbrt (sqrt (cos im))) (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.879 * * * * [misc]progress: [ 60 / 77 ] simplifiying candidate # 1550836887.879 * [enter]simplify: Simplifying (cbrt 1) 1550836887.879 * * [misc]simplify: iters left: 1 (2 enodes) 1550836887.882 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.882 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550836887.882 * [exit]simplify: Simplified to 1 1550836887.882 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* 1 (* (cbrt (cos im)) (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.883 * * * * [misc]progress: [ 61 / 77 ] simplifiying candidate # 1550836887.883 * [enter]simplify: Simplifying (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) 1550836887.883 * * [misc]simplify: iters left: 5 (5 enodes) 1550836887.885 * * [misc]simplify: iters left: 4 (15 enodes) 1550836887.889 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.889 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.889 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.889 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.889 * * [misc]simplify: Extracting #4: cost 9 inf + 0 1550836887.889 * * [misc]simplify: Extracting #5: cost 8 inf + 1 1550836887.890 * * [misc]simplify: Extracting #6: cost 0 inf + 1369 1550836887.890 * [exit]simplify: Simplified to (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) 1550836887.890 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (* (cbrt (cbrt (cos im))) (cbrt (cbrt (cos im)))) (* (cbrt (cbrt (cos im))) (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.890 * * * * [misc]progress: [ 62 / 77 ] simplifiying candidate # 1550836887.890 * [enter]simplify: Simplifying (sqrt (cbrt (cos im))) 1550836887.890 * * [misc]simplify: iters left: 3 (4 enodes) 1550836887.892 * * [misc]simplify: iters left: 2 (12 enodes) 1550836887.895 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836887.895 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550836887.895 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550836887.895 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550836887.895 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550836887.895 * * [misc]simplify: Extracting #5: cost 0 inf + 767 1550836887.895 * [exit]simplify: Simplified to (sqrt (cbrt (cos im))) 1550836887.895 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (sqrt (cbrt (cos im))) (* (sqrt (cbrt (cos im))) (cbrt (cos im))))) (cbrt (cos im)))) 1550836887.896 * * * * [misc]progress: [ 63 / 77 ] simplifiying candidate # 1550836887.896 * * * * [misc]progress: [ 64 / 77 ] simplifiying candidate #real (real->posit16 (* (cbrt (cos im)) (cbrt (cos im)))))) (cbrt (cos im))))> 1550836887.896 * * * * [misc]progress: [ 65 / 77 ] simplifiying candidate # 1550836887.896 * * * * [misc]progress: [ 66 / 77 ] simplifiying candidate # 1550836887.896 * [enter]simplify: Simplifying (- 1 (+ (* 1/6 (pow im 2)) (* 1/72 (pow im 4)))) 1550836887.896 * * [misc]simplify: iters left: 6 (12 enodes) 1550836887.904 * * [misc]simplify: iters left: 5 (46 enodes) 1550836887.918 * * [misc]simplify: iters left: 4 (65 enodes) 1550836887.941 * * [misc]simplify: iters left: 3 (110 enodes) 1550836887.975 * * [misc]simplify: iters left: 2 (147 enodes) 1550836888.005 * * [misc]simplify: iters left: 1 (173 enodes) 1550836888.041 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.041 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550836888.041 * * [misc]simplify: Extracting #2: cost 39 inf + 2 1550836888.042 * * [misc]simplify: Extracting #3: cost 36 inf + 419 1550836888.043 * * [misc]simplify: Extracting #4: cost 20 inf + 1607 1550836888.044 * * [misc]simplify: Extracting #5: cost 14 inf + 3163 1550836888.046 * * [misc]simplify: Extracting #6: cost 2 inf + 7170 1550836888.049 * * [misc]simplify: Extracting #7: cost 0 inf + 7879 1550836888.051 * [exit]simplify: Simplified to (+ (* -1/72 (pow im 4)) (+ (* (* -1/6 im) im) 1)) 1550836888.051 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (+ (* -1/72 (pow im 4)) (+ (* (* -1/6 im) im) 1)))) 1550836888.051 * * * * [misc]progress: [ 67 / 77 ] simplifiying candidate # 1550836888.051 * [enter]simplify: Simplifying (pow (cos im) 1/3) 1550836888.052 * * [misc]simplify: iters left: 2 (4 enodes) 1550836888.054 * * [misc]simplify: iters left: 1 (13 enodes) 1550836888.057 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.057 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.057 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836888.057 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836888.057 * * [misc]simplify: Extracting #4: cost 0 inf + 406 1550836888.058 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836888.058 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836888.058 * * * * [misc]progress: [ 68 / 77 ] simplifiying candidate # 1550836888.058 * [enter]simplify: Simplifying (pow (cos im) 1/3) 1550836888.058 * * [misc]simplify: iters left: 2 (4 enodes) 1550836888.060 * * [misc]simplify: iters left: 1 (13 enodes) 1550836888.063 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.063 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.064 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836888.064 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836888.064 * * [misc]simplify: Extracting #4: cost 0 inf + 406 1550836888.064 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836888.064 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836888.064 * * * * [misc]progress: [ 69 / 77 ] simplifiying candidate # 1550836888.064 * [enter]simplify: Simplifying (- 1 (+ (* 1/6 (pow im 2)) (* 1/72 (pow im 4)))) 1550836888.064 * * [misc]simplify: iters left: 6 (12 enodes) 1550836888.072 * * [misc]simplify: iters left: 5 (46 enodes) 1550836888.086 * * [misc]simplify: iters left: 4 (65 enodes) 1550836888.108 * * [misc]simplify: iters left: 3 (110 enodes) 1550836888.145 * * [misc]simplify: iters left: 2 (147 enodes) 1550836888.186 * * [misc]simplify: iters left: 1 (173 enodes) 1550836888.236 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.236 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550836888.236 * * [misc]simplify: Extracting #2: cost 39 inf + 2 1550836888.237 * * [misc]simplify: Extracting #3: cost 36 inf + 419 1550836888.238 * * [misc]simplify: Extracting #4: cost 20 inf + 1607 1550836888.239 * * [misc]simplify: Extracting #5: cost 14 inf + 3163 1550836888.241 * * [misc]simplify: Extracting #6: cost 2 inf + 7170 1550836888.244 * * [misc]simplify: Extracting #7: cost 0 inf + 7879 1550836888.246 * [exit]simplify: Simplified to (+ (* -1/72 (pow im 4)) (+ (* (* -1/6 im) im) 1)) 1550836888.246 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (+ (* -1/72 (pow im 4)) (+ (* (* -1/6 im) im) 1)))) (cbrt (cos im)))) 1550836888.247 * * * * [misc]progress: [ 70 / 77 ] simplifiying candidate # 1550836888.247 * [enter]simplify: Simplifying (pow (cos im) 1/3) 1550836888.247 * * [misc]simplify: iters left: 2 (4 enodes) 1550836888.249 * * [misc]simplify: iters left: 1 (13 enodes) 1550836888.255 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.255 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.255 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836888.255 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836888.256 * * [misc]simplify: Extracting #4: cost 0 inf + 406 1550836888.256 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836888.256 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836888.256 * * * * [misc]progress: [ 71 / 77 ] simplifiying candidate # 1550836888.256 * [enter]simplify: Simplifying (pow (cos im) 1/3) 1550836888.256 * * [misc]simplify: iters left: 2 (4 enodes) 1550836888.258 * * [misc]simplify: iters left: 1 (13 enodes) 1550836888.262 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.262 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.262 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836888.262 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836888.262 * * [misc]simplify: Extracting #4: cost 0 inf + 406 1550836888.262 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836888.262 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836888.262 * * * * [misc]progress: [ 72 / 77 ] simplifiying candidate # 1550836888.262 * [enter]simplify: Simplifying (- 1 (+ (* 1/6 (pow im 2)) (* 1/72 (pow im 4)))) 1550836888.263 * * [misc]simplify: iters left: 6 (12 enodes) 1550836888.269 * * [misc]simplify: iters left: 5 (46 enodes) 1550836888.281 * * [misc]simplify: iters left: 4 (65 enodes) 1550836888.296 * * [misc]simplify: iters left: 3 (110 enodes) 1550836888.329 * * [misc]simplify: iters left: 2 (147 enodes) 1550836888.427 * * [misc]simplify: iters left: 1 (173 enodes) 1550836888.454 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.455 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550836888.455 * * [misc]simplify: Extracting #2: cost 39 inf + 2 1550836888.455 * * [misc]simplify: Extracting #3: cost 36 inf + 419 1550836888.455 * * [misc]simplify: Extracting #4: cost 20 inf + 1607 1550836888.456 * * [misc]simplify: Extracting #5: cost 14 inf + 3163 1550836888.457 * * [misc]simplify: Extracting #6: cost 2 inf + 7170 1550836888.458 * * [misc]simplify: Extracting #7: cost 0 inf + 7879 1550836888.460 * [exit]simplify: Simplified to (+ (* -1/72 (pow im 4)) (+ (* (* -1/6 im) im) 1)) 1550836888.460 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (+ (* -1/72 (pow im 4)) (+ (* (* -1/6 im) im) 1)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836888.460 * * * * [misc]progress: [ 73 / 77 ] simplifiying candidate # 1550836888.460 * [enter]simplify: Simplifying (pow (cos im) 1/3) 1550836888.460 * * [misc]simplify: iters left: 2 (4 enodes) 1550836888.462 * * [misc]simplify: iters left: 1 (13 enodes) 1550836888.464 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.464 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.464 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836888.464 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836888.464 * * [misc]simplify: Extracting #4: cost 0 inf + 406 1550836888.464 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836888.464 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836888.464 * * * * [misc]progress: [ 74 / 77 ] simplifiying candidate # 1550836888.464 * [enter]simplify: Simplifying (pow (cos im) 1/3) 1550836888.464 * * [misc]simplify: iters left: 2 (4 enodes) 1550836888.465 * * [misc]simplify: iters left: 1 (13 enodes) 1550836888.467 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.467 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.467 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550836888.468 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550836888.468 * * [misc]simplify: Extracting #4: cost 0 inf + 406 1550836888.468 * [exit]simplify: Simplified to (cbrt (cos im)) 1550836888.468 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550836888.468 * * * * [misc]progress: [ 75 / 77 ] simplifiying candidate # 1550836888.468 * [enter]simplify: Simplifying (- 1 (+ (* 1/3 (pow im 2)) (* 1/405 (pow im 6)))) 1550836888.468 * * [misc]simplify: iters left: 6 (12 enodes) 1550836888.474 * * [misc]simplify: iters left: 5 (46 enodes) 1550836888.488 * * [misc]simplify: iters left: 4 (65 enodes) 1550836888.512 * * [misc]simplify: iters left: 3 (110 enodes) 1550836888.546 * * [misc]simplify: iters left: 2 (147 enodes) 1550836888.591 * * [misc]simplify: iters left: 1 (173 enodes) 1550836888.626 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.626 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550836888.626 * * [misc]simplify: Extracting #2: cost 39 inf + 2 1550836888.626 * * [misc]simplify: Extracting #3: cost 36 inf + 419 1550836888.627 * * [misc]simplify: Extracting #4: cost 20 inf + 1607 1550836888.628 * * [misc]simplify: Extracting #5: cost 14 inf + 3163 1550836888.629 * * [misc]simplify: Extracting #6: cost 2 inf + 7170 1550836888.630 * * [misc]simplify: Extracting #7: cost 0 inf + 7879 1550836888.631 * [exit]simplify: Simplified to (+ (* -1/405 (pow im 6)) (+ (* (* -1/3 im) im) 1)) 1550836888.631 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (exp re) (+ (* -1/405 (pow im 6)) (+ (* (* -1/3 im) im) 1))) (cbrt (cos im)))) 1550836888.632 * * * * [misc]progress: [ 76 / 77 ] simplifiying candidate # 1550836888.632 * [enter]simplify: Simplifying (pow (pow (cos im) 2) 1/3) 1550836888.632 * * [misc]simplify: iters left: 3 (6 enodes) 1550836888.634 * * [misc]simplify: iters left: 2 (20 enodes) 1550836888.637 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.637 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.637 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550836888.637 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550836888.637 * * [misc]simplify: Extracting #4: cost 6 inf + 3 1550836888.637 * * [misc]simplify: Extracting #5: cost 0 inf + 689 1550836888.637 * [exit]simplify: Simplified to (cbrt (* (cos im) (cos im))) 1550836888.637 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (exp re) (cbrt (* (cos im) (cos im)))) (cbrt (cos im)))) 1550836888.637 * * * * [misc]progress: [ 77 / 77 ] simplifiying candidate # 1550836888.638 * [enter]simplify: Simplifying (pow (pow (cos im) 2) 1/3) 1550836888.638 * * [misc]simplify: iters left: 3 (6 enodes) 1550836888.639 * * [misc]simplify: iters left: 2 (20 enodes) 1550836888.642 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550836888.643 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550836888.643 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550836888.643 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550836888.643 * * [misc]simplify: Extracting #4: cost 6 inf + 3 1550836888.643 * * [misc]simplify: Extracting #5: cost 0 inf + 689 1550836888.643 * [exit]simplify: Simplified to (cbrt (* (cos im) (cos im))) 1550836888.643 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (exp re) (cbrt (* (cos im) (cos im)))) (cbrt (cos im)))) 1550836888.643 * * * [misc]progress: adding candidates to table 1550836889.522 * [misc]progress: [Phase 3 of 3] Extracting. 1550836889.522 * * [misc]regime: Finding splitpoints for: (# #) 1550836889.523 * * * [misc]regime-changes: Trying 5 branch expressions: (im (cos im) re (exp re) (* (exp re) (cos im))) 1550836889.523 * * * * [misc]regimes: Trying to branch on im from (# #) 1550836889.557 * * * * [misc]regimes: Trying to branch on (cos im) from (# #) 1550836889.579 * * * * [misc]regimes: Trying to branch on re from (# #) 1550836889.610 * * * * [misc]regimes: Trying to branch on (exp re) from (# #) 1550836889.650 * * * * [misc]regimes: Trying to branch on (* (exp re) (cos im)) from (# #) 1550836889.703 * * * [misc]regime: Found split indices: #