31.776 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.135 * * * [progress]: [2/2] Setting up program. 0.139 * [progress]: [Phase 2 of 3] Improving. 0.140 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.140 * * [simplify]: Extracting # 0 : cost 0 0.140 * * [simplify]: Extracting # 1 : cost 0 0.140 * * [simplify]: Extracting # 2 : cost 0 0.140 * * [simplify]: Extracting # 3 : cost 0 0.140 * * [simplify]: Extracting # 4 : cost 0 0.140 * * [simplify]: Extracting # 5 : cost 0 0.140 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.143 * * [simplify]: Extracting # 0 : cost 0 0.143 * * [simplify]: Extracting # 1 : cost 0 0.143 * * [simplify]: Extracting # 2 : cost 0 0.143 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 0.151 * * [simplify]: Extracting # 0 : cost 0 0.151 * * [simplify]: Extracting # 1 : cost 0 0.151 * * [simplify]: Extracting # 2 : cost 0 0.151 * * [simplify]: iteration 2 : 57 enodes (cost 11 ) 0.171 * * [simplify]: Extracting # 0 : cost 0 0.172 * * [simplify]: Extracting # 1 : cost 0 0.172 * * [simplify]: Extracting # 2 : cost 0 0.172 * * [simplify]: iteration 3 : 93 enodes (cost 11 ) 0.553 * * [simplify]: Extracting # 0 : cost 0 0.553 * * [simplify]: Extracting # 1 : cost 0 0.554 * * [simplify]: Extracting # 2 : cost 0 0.555 * * [simplify]: iteration 4 : 470 enodes (cost 11 ) 1.582 * * [simplify]: Extracting # 0 : cost 0 1.599 * * [simplify]: Extracting # 1 : cost 0 1.607 * * [simplify]: Extracting # 2 : cost 0 1.616 * * [simplify]: iteration 5 : 4175 enodes (cost 11 ) 4.689 * * [simplify]: Extracting # 0 : cost 0 4.698 * * [simplify]: Extracting # 1 : cost 0 4.703 * * [simplify]: Extracting # 2 : cost 0 4.708 * * [simplify]: iteration done: 5001 enodes (cost 11 ) 4.708 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 4.708 * * [progress]: iteration 1 / 4 4.708 * * * [progress]: picking best candidate 4.711 * * * * [pick]: Picked # 4.711 * * * [progress]: localizing error 4.733 * * * [progress]: generating rewritten candidates 4.733 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 4.765 * * * [progress]: generating series expansions 4.765 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 4.765 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp im) (exp (- im))) 4.765 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 4.765 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 4.765 * [taylor]: Taking taylor expansion of (exp im) in im 4.765 * [taylor]: Taking taylor expansion of im in im 4.765 * [backup-simplify]: Simplify 0 into 0 4.765 * [backup-simplify]: Simplify 1 into 1 4.765 * [backup-simplify]: Simplify (exp 0) into 1 4.765 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.765 * [taylor]: Taking taylor expansion of (- im) in im 4.765 * [taylor]: Taking taylor expansion of im in im 4.765 * [backup-simplify]: Simplify 0 into 0 4.765 * [backup-simplify]: Simplify 1 into 1 4.766 * [backup-simplify]: Simplify (- 0) into 0 4.766 * [backup-simplify]: Simplify (- 1) into -1 4.766 * [backup-simplify]: Simplify (exp 0) into 1 4.766 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 4.766 * [taylor]: Taking taylor expansion of (exp im) in im 4.766 * [taylor]: Taking taylor expansion of im in im 4.766 * [backup-simplify]: Simplify 0 into 0 4.766 * [backup-simplify]: Simplify 1 into 1 4.766 * [backup-simplify]: Simplify (exp 0) into 1 4.766 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.766 * [taylor]: Taking taylor expansion of (- im) in im 4.766 * [taylor]: Taking taylor expansion of im in im 4.767 * [backup-simplify]: Simplify 0 into 0 4.767 * [backup-simplify]: Simplify 1 into 1 4.767 * [backup-simplify]: Simplify (- 0) into 0 4.767 * [backup-simplify]: Simplify (- 1) into -1 4.767 * [backup-simplify]: Simplify (exp 0) into 1 4.768 * [backup-simplify]: Simplify (+ 1 1) into 2 4.768 * [backup-simplify]: Simplify 2 into 2 4.769 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.769 * [backup-simplify]: Simplify (- 1) into -1 4.770 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.771 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.771 * [backup-simplify]: Simplify 0 into 0 4.772 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.773 * [backup-simplify]: Simplify (- 1) into -1 4.773 * [backup-simplify]: Simplify (- 0) into 0 4.775 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.775 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.775 * [backup-simplify]: Simplify 1 into 1 4.778 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.778 * [backup-simplify]: Simplify (- 1) into -1 4.778 * [backup-simplify]: Simplify (- 1) into -1 4.779 * [backup-simplify]: Simplify (- 0) into 0 4.779 * [backup-simplify]: Simplify (- 0) into 0 4.782 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.782 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.782 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 4.787 * [backup-simplify]: Simplify (- 1) into -1 4.787 * [backup-simplify]: Simplify (- 1) into -1 4.788 * [backup-simplify]: Simplify (- 0) into 0 4.788 * [backup-simplify]: Simplify (- 1) into -1 4.788 * [backup-simplify]: Simplify (- 0) into 0 4.789 * [backup-simplify]: Simplify (- 0) into 0 4.789 * [backup-simplify]: Simplify (- 0) into 0 4.793 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 4.793 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.794 * [backup-simplify]: Simplify 1/12 into 1/12 4.794 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 4.794 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.795 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 4.795 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.795 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.795 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.795 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.795 * [taylor]: Taking taylor expansion of im in im 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 1 into 1 4.795 * [backup-simplify]: Simplify (/ 1 1) into 1 4.795 * [backup-simplify]: Simplify (- 1) into -1 4.796 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.796 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.796 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.796 * [taylor]: Taking taylor expansion of im in im 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 1 into 1 4.796 * [backup-simplify]: Simplify (/ 1 1) into 1 4.796 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.796 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.796 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.796 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.796 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.796 * [taylor]: Taking taylor expansion of im in im 4.796 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.797 * [backup-simplify]: Simplify (/ 1 1) into 1 4.797 * [backup-simplify]: Simplify (- 1) into -1 4.797 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.797 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.797 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.797 * [taylor]: Taking taylor expansion of im in im 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.798 * [backup-simplify]: Simplify (/ 1 1) into 1 4.798 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.798 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.799 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.799 * [backup-simplify]: Simplify (+ 0 0) into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify (+ 0 0) into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify (+ 0 0) into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify (+ 0 0) into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify (+ 0 0) into 0 4.801 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify (+ 0 0) into 0 4.801 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp im) (exp (- im))) 4.801 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.801 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 4.802 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 4.802 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.802 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.802 * [taylor]: Taking taylor expansion of -1 in im 4.802 * [backup-simplify]: Simplify -1 into -1 4.802 * [taylor]: Taking taylor expansion of im in im 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify 1 into 1 4.802 * [backup-simplify]: Simplify (/ -1 1) into -1 4.802 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.802 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.802 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.802 * [taylor]: Taking taylor expansion of im in im 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify 1 into 1 4.803 * [backup-simplify]: Simplify (/ 1 1) into 1 4.803 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.803 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 4.803 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.803 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.803 * [taylor]: Taking taylor expansion of -1 in im 4.803 * [backup-simplify]: Simplify -1 into -1 4.803 * [taylor]: Taking taylor expansion of im in im 4.803 * [backup-simplify]: Simplify 0 into 0 4.803 * [backup-simplify]: Simplify 1 into 1 4.803 * [backup-simplify]: Simplify (/ -1 1) into -1 4.804 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.804 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.804 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.804 * [taylor]: Taking taylor expansion of im in im 4.804 * [backup-simplify]: Simplify 0 into 0 4.804 * [backup-simplify]: Simplify 1 into 1 4.804 * [backup-simplify]: Simplify (/ 1 1) into 1 4.804 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.804 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.804 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.805 * [backup-simplify]: Simplify (+ 0 0) into 0 4.805 * [backup-simplify]: Simplify 0 into 0 4.805 * [backup-simplify]: Simplify (+ 0 0) into 0 4.805 * [backup-simplify]: Simplify 0 into 0 4.806 * [backup-simplify]: Simplify (+ 0 0) into 0 4.806 * [backup-simplify]: Simplify 0 into 0 4.806 * [backup-simplify]: Simplify (+ 0 0) into 0 4.806 * [backup-simplify]: Simplify 0 into 0 4.807 * [backup-simplify]: Simplify (+ 0 0) into 0 4.807 * [backup-simplify]: Simplify 0 into 0 4.807 * [backup-simplify]: Simplify (+ 0 0) into 0 4.807 * [backup-simplify]: Simplify 0 into 0 4.807 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp (* -1 im)) (exp im)) 4.807 * * * [progress]: simplifying candidates 4.808 * [simplify]: Simplifying: (* (exp (exp (- im))) (exp (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))) (- (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) 4.808 * * [simplify]: Extracting # 0 : cost 0 4.809 * * [simplify]: Extracting # 1 : cost 0 4.809 * * [simplify]: Extracting # 2 : cost 0 4.809 * * [simplify]: Extracting # 3 : cost 0 4.809 * * [simplify]: Extracting # 4 : cost 0 4.809 * * [simplify]: Extracting # 5 : cost 0 4.809 * * [simplify]: Extracting # 6 : cost 0 4.809 * * [simplify]: iteration 0 : 39 enodes (cost 157 ) 4.824 * * [simplify]: Extracting # 0 : cost 0 4.824 * * [simplify]: Extracting # 1 : cost 0 4.825 * * [simplify]: Extracting # 2 : cost 0 4.825 * * [simplify]: Extracting # 3 : cost 0 4.825 * * [simplify]: iteration 1 : 109 enodes (cost 149 ) 4.866 * * [simplify]: Extracting # 0 : cost 0 4.867 * * [simplify]: Extracting # 1 : cost 0 4.867 * * [simplify]: Extracting # 2 : cost 0 4.868 * * [simplify]: Extracting # 3 : cost 0 4.869 * * [simplify]: Extracting # 4 : cost 0 4.869 * * [simplify]: iteration 2 : 426 enodes (cost 130 ) 5.225 * * [simplify]: Extracting # 0 : cost 0 5.233 * * [simplify]: Extracting # 1 : cost 0 5.239 * * [simplify]: Extracting # 2 : cost 0 5.245 * * [simplify]: Extracting # 3 : cost 0 5.250 * * [simplify]: Extracting # 4 : cost 0 5.256 * * [simplify]: iteration 3 : 2667 enodes (cost 129 ) 6.775 * * [simplify]: Extracting # 0 : cost 0 6.782 * * [simplify]: Extracting # 1 : cost 0 6.791 * * [simplify]: Extracting # 2 : cost 0 6.797 * * [simplify]: Extracting # 3 : cost 0 6.802 * * [simplify]: Extracting # 4 : cost 0 6.807 * * [simplify]: iteration done: 5000 enodes (cost 129 ) 6.807 * [simplify]: Simplified to: (exp (+ (exp (- im)) (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (pow (+ (exp (- im)) (exp im)) 3) (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (+ (exp (* im -3)) (pow (exp im) 3)) (+ (+ (exp (+ im im)) -1) (exp (* im -2))) (- (exp (* im -2)) (exp (+ im im))) (- (exp (- im)) (exp im)) (+ (exp im) (exp (- im))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))) 6.807 * * * [progress]: adding candidates to table 6.849 * * [progress]: iteration 2 / 4 6.849 * * * [progress]: picking best candidate 6.851 * * * * [pick]: Picked # 6.851 * * * [progress]: localizing error 6.865 * * * [progress]: generating rewritten candidates 6.865 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 6.878 * * * [progress]: generating series expansions 6.878 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 6.878 * [backup-simplify]: Simplify (* 1/12 (pow im 4)) into (* 1/12 (pow im 4)) 6.878 * [approximate]: Taking taylor expansion of (* 1/12 (pow im 4)) in (im) around 0 6.878 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im 6.878 * [taylor]: Taking taylor expansion of 1/12 in im 6.878 * [backup-simplify]: Simplify 1/12 into 1/12 6.878 * [taylor]: Taking taylor expansion of (pow im 4) in im 6.878 * [taylor]: Taking taylor expansion of im in im 6.878 * [backup-simplify]: Simplify 0 into 0 6.878 * [backup-simplify]: Simplify 1 into 1 6.878 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im 6.878 * [taylor]: Taking taylor expansion of 1/12 in im 6.878 * [backup-simplify]: Simplify 1/12 into 1/12 6.878 * [taylor]: Taking taylor expansion of (pow im 4) in im 6.878 * [taylor]: Taking taylor expansion of im in im 6.878 * [backup-simplify]: Simplify 0 into 0 6.878 * [backup-simplify]: Simplify 1 into 1 6.879 * [backup-simplify]: Simplify (* 1 1) into 1 6.879 * [backup-simplify]: Simplify (* 1 1) into 1 6.879 * [backup-simplify]: Simplify (* 1/12 1) into 1/12 6.879 * [backup-simplify]: Simplify 1/12 into 1/12 6.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.880 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0 6.880 * [backup-simplify]: Simplify 0 into 0 6.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.882 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0 6.882 * [backup-simplify]: Simplify 0 into 0 6.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.884 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.884 * [backup-simplify]: Simplify 0 into 0 6.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.886 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.886 * [backup-simplify]: Simplify 0 into 0 6.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.889 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.889 * [backup-simplify]: Simplify 0 into 0 6.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.891 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.891 * [backup-simplify]: Simplify 0 into 0 6.891 * [backup-simplify]: Simplify (* 1/12 (pow im 4)) into (* 1/12 (pow im 4)) 6.892 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 im) 4)) into (/ 1/12 (pow im 4)) 6.892 * [approximate]: Taking taylor expansion of (/ 1/12 (pow im 4)) in (im) around 0 6.892 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 6.892 * [taylor]: Taking taylor expansion of 1/12 in im 6.892 * [backup-simplify]: Simplify 1/12 into 1/12 6.892 * [taylor]: Taking taylor expansion of (pow im 4) in im 6.892 * [taylor]: Taking taylor expansion of im in im 6.892 * [backup-simplify]: Simplify 0 into 0 6.892 * [backup-simplify]: Simplify 1 into 1 6.892 * [backup-simplify]: Simplify (* 1 1) into 1 6.892 * [backup-simplify]: Simplify (* 1 1) into 1 6.892 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 6.892 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 6.892 * [taylor]: Taking taylor expansion of 1/12 in im 6.893 * [backup-simplify]: Simplify 1/12 into 1/12 6.893 * [taylor]: Taking taylor expansion of (pow im 4) in im 6.893 * [taylor]: Taking taylor expansion of im in im 6.893 * [backup-simplify]: Simplify 0 into 0 6.893 * [backup-simplify]: Simplify 1 into 1 6.893 * [backup-simplify]: Simplify (* 1 1) into 1 6.893 * [backup-simplify]: Simplify (* 1 1) into 1 6.893 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 6.893 * [backup-simplify]: Simplify 1/12 into 1/12 6.894 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.894 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 6.895 * [backup-simplify]: Simplify 0 into 0 6.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.896 * [backup-simplify]: Simplify 0 into 0 6.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.898 * [backup-simplify]: Simplify 0 into 0 6.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.900 * [backup-simplify]: Simplify 0 into 0 6.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.902 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.902 * [backup-simplify]: Simplify 0 into 0 6.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.904 * [backup-simplify]: Simplify 0 into 0 6.905 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 (/ 1 im)) 4)) into (* 1/12 (pow im 4)) 6.905 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 (- im)) 4)) into (/ 1/12 (pow im 4)) 6.905 * [approximate]: Taking taylor expansion of (/ 1/12 (pow im 4)) in (im) around 0 6.905 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 6.905 * [taylor]: Taking taylor expansion of 1/12 in im 6.905 * [backup-simplify]: Simplify 1/12 into 1/12 6.905 * [taylor]: Taking taylor expansion of (pow im 4) in im 6.905 * [taylor]: Taking taylor expansion of im in im 6.905 * [backup-simplify]: Simplify 0 into 0 6.905 * [backup-simplify]: Simplify 1 into 1 6.905 * [backup-simplify]: Simplify (* 1 1) into 1 6.905 * [backup-simplify]: Simplify (* 1 1) into 1 6.906 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 6.906 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 6.906 * [taylor]: Taking taylor expansion of 1/12 in im 6.906 * [backup-simplify]: Simplify 1/12 into 1/12 6.906 * [taylor]: Taking taylor expansion of (pow im 4) in im 6.906 * [taylor]: Taking taylor expansion of im in im 6.906 * [backup-simplify]: Simplify 0 into 0 6.906 * [backup-simplify]: Simplify 1 into 1 6.906 * [backup-simplify]: Simplify (* 1 1) into 1 6.906 * [backup-simplify]: Simplify (* 1 1) into 1 6.907 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12 6.907 * [backup-simplify]: Simplify 1/12 into 1/12 6.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0 6.908 * [backup-simplify]: Simplify 0 into 0 6.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.910 * [backup-simplify]: Simplify 0 into 0 6.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.912 * [backup-simplify]: Simplify 0 into 0 6.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.920 * [backup-simplify]: Simplify 0 into 0 6.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.922 * [backup-simplify]: Simplify 0 into 0 6.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.924 * [backup-simplify]: Simplify 0 into 0 6.924 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 (/ 1 (- im))) 4)) into (* 1/12 (pow im 4)) 6.924 * * * [progress]: simplifying candidates 6.925 * [simplify]: Simplifying: (+ (log 1/12) (* (log im) 4)) (+ (log 1/12) (* (log im) 4)) (+ (log 1/12) (log (pow im 4))) (log (* 1/12 (pow im 4))) (exp (* 1/12 (pow im 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow im 4) (pow im 4)) (pow im 4))) (* (cbrt (* 1/12 (pow im 4))) (cbrt (* 1/12 (pow im 4)))) (cbrt (* 1/12 (pow im 4))) (* (* (* 1/12 (pow im 4)) (* 1/12 (pow im 4))) (* 1/12 (pow im 4))) (sqrt (* 1/12 (pow im 4))) (sqrt (* 1/12 (pow im 4))) (* (sqrt 1/12) (pow (sqrt im) 4)) (* (sqrt 1/12) (pow (sqrt im) 4)) (* (sqrt 1/12) (sqrt (pow im 4))) (* (sqrt 1/12) (sqrt (pow im 4))) (* (sqrt 1/12) (pow im (/ 4 2))) (* (sqrt 1/12) (pow im (/ 4 2))) (* 1/12 (pow (* (cbrt im) (cbrt im)) 4)) (* 1/12 (pow (sqrt im) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow im 4)) (cbrt (pow im 4)))) (* 1/12 (sqrt (pow im 4))) (* 1/12 1) (* 1/12 (pow im (/ 4 2))) (* (cbrt 1/12) (pow im 4)) (* (sqrt 1/12) (pow im 4)) (* 1/12 (pow im 4)) (* 1/12 (pow im 4)) (* 1/12 (pow im 4)) (* 1/12 (pow im 4)) 6.925 * * [simplify]: Extracting # 0 : cost 0 6.925 * * [simplify]: Extracting # 1 : cost 0 6.925 * * [simplify]: Extracting # 2 : cost 0 6.926 * * [simplify]: Extracting # 3 : cost 0 6.926 * * [simplify]: Extracting # 4 : cost 0 6.926 * * [simplify]: Extracting # 5 : cost 0 6.926 * * [simplify]: Extracting # 6 : cost 0 6.926 * * [simplify]: iteration 0 : 50 enodes (cost 221 ) 6.940 * * [simplify]: Extracting # 0 : cost 0 6.940 * * [simplify]: Extracting # 1 : cost 0 6.940 * * [simplify]: Extracting # 2 : cost 0 6.940 * * [simplify]: Extracting # 3 : cost 0 6.940 * * [simplify]: Extracting # 4 : cost 0 6.940 * * [simplify]: iteration 1 : 107 enodes (cost 192 ) 6.970 * * [simplify]: Extracting # 0 : cost 0 6.970 * * [simplify]: Extracting # 1 : cost 0 6.970 * * [simplify]: Extracting # 2 : cost 0 6.971 * * [simplify]: Extracting # 3 : cost 0 6.971 * * [simplify]: Extracting # 4 : cost 0 6.971 * * [simplify]: iteration 2 : 299 enodes (cost 186 ) 7.176 * * [simplify]: Extracting # 0 : cost 0 7.178 * * [simplify]: Extracting # 1 : cost 0 7.180 * * [simplify]: Extracting # 2 : cost 0 7.187 * * [simplify]: Extracting # 3 : cost 0 7.189 * * [simplify]: Extracting # 4 : cost 0 7.191 * * [simplify]: iteration 3 : 1598 enodes (cost 183 ) 8.192 * * [simplify]: Extracting # 0 : cost 0 8.210 * * [simplify]: Extracting # 1 : cost 0 8.221 * * [simplify]: Extracting # 2 : cost 0 8.229 * * [simplify]: Extracting # 3 : cost 0 8.236 * * [simplify]: Extracting # 4 : cost 0 8.242 * * [simplify]: iteration done: 5001 enodes (cost 183 ) 8.242 * [simplify]: Simplified to: (log (* 1/12 (pow im 4))) (log (* 1/12 (pow im 4))) (log (* 1/12 (pow im 4))) (log (* 1/12 (pow im 4))) (exp (* 1/12 (pow im 4))) (pow (* 1/12 (pow im 4)) 3) (* (cbrt (* 1/12 (pow im 4))) (cbrt (* 1/12 (pow im 4)))) (cbrt (* 1/12 (pow im 4))) (pow (* 1/12 (pow im 4)) 3) (sqrt (* 1/12 (pow im 4))) (sqrt (* 1/12 (pow im 4))) (* (sqrt 1/12) (pow im 2)) (* (sqrt 1/12) (pow im 2)) (* (sqrt 1/12) (sqrt (pow im 4))) (* (sqrt 1/12) (sqrt (pow im 4))) (* (sqrt 1/12) (pow im 2)) (* (sqrt 1/12) (pow im 2)) (* 1/12 (pow (* (cbrt im) (cbrt im)) 4)) (* im (* 1/12 im)) 1/12 (* 1/12 (* (cbrt (pow im 4)) (cbrt (pow im 4)))) (* 1/12 (sqrt (pow im 4))) 1/12 (* im (* 1/12 im)) (* (cbrt 1/12) (pow im 4)) (* (sqrt 1/12) (pow im 4)) (* 1/12 (pow im 4)) (* 1/12 (pow im 4)) (* 1/12 (pow im 4)) (* 1/12 (pow im 4)) 8.243 * * * [progress]: adding candidates to table 8.321 * [progress]: [Phase 3 of 3] Extracting. 8.321 * * [regime]: Finding splitpoints for: (# #) 8.322 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- im)) (exp im)) (cos re) (* 0.5 (cos re)) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) im re) 8.322 * * * * [regimes]: Trying to branch on (+ (exp (- im)) (exp im)) from (# #) 8.337 * * * * [regimes]: Trying to branch on (cos re) from (# #) 8.352 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (# #) 8.367 * * * * [regimes]: Trying to branch on (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) from (# #) 8.394 * * * * [regimes]: Trying to branch on im from (# #) 8.407 * * * * [regimes]: Trying to branch on re from (# #) 8.420 * * * [regime]: Found split indices: #