0.736 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.094 * * * [progress]: [2/2] Setting up program. 0.098 * [progress]: [Phase 2 of 3] Improving. 0.098 * [simplify]: Simplifying: (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 0.098 * * [simplify]: Extracting # 0 : cost 0 0.098 * * [simplify]: Extracting # 1 : cost 0 0.098 * * [simplify]: Extracting # 2 : cost 0 0.098 * * [simplify]: Extracting # 3 : cost 0 0.098 * * [simplify]: Extracting # 4 : cost 0 0.098 * * [simplify]: Extracting # 5 : cost 0 0.098 * * [simplify]: Extracting # 6 : cost 0 0.098 * * [simplify]: Extracting # 7 : cost 0 0.098 * * [simplify]: Extracting # 8 : cost 0 0.098 * * [simplify]: Extracting # 9 : cost 0 0.099 * * [simplify]: iteration 0 : 18 enodes (cost 28 ) 0.137 * * [simplify]: Extracting # 0 : cost 0 0.138 * * [simplify]: Extracting # 1 : cost 0 0.138 * * [simplify]: Extracting # 2 : cost 0 0.138 * * [simplify]: Extracting # 3 : cost 0 0.138 * * [simplify]: iteration 1 : 31 enodes (cost 22 ) 0.152 * * [simplify]: Extracting # 0 : cost 0 0.152 * * [simplify]: Extracting # 1 : cost 0 0.152 * * [simplify]: Extracting # 2 : cost 0 0.152 * * [simplify]: iteration 2 : 52 enodes (cost 22 ) 0.170 * * [simplify]: Extracting # 0 : cost 0 0.170 * * [simplify]: Extracting # 1 : cost 0 0.170 * * [simplify]: Extracting # 2 : cost 0 0.170 * * [simplify]: iteration 3 : 68 enodes (cost 22 ) 0.194 * * [simplify]: Extracting # 0 : cost 0 0.194 * * [simplify]: Extracting # 1 : cost 0 0.194 * * [simplify]: Extracting # 2 : cost 0 0.194 * * [simplify]: iteration 4 : 88 enodes (cost 22 ) 0.228 * * [simplify]: Extracting # 0 : cost 0 0.228 * * [simplify]: iteration 5 : 100 enodes (cost 22 ) 0.264 * * [simplify]: Extracting # 0 : cost 0 0.265 * * [simplify]: iteration 6 : 104 enodes (cost 22 ) 0.307 * * [simplify]: Extracting # 0 : cost 0 0.307 * * [simplify]: iteration done: 104 enodes (cost 22 ) 0.307 * [simplify]: Simplified to: (/ (- (* (atan2 im re) (log base)) (* 0.0 (log (hypot re im)))) (fma (log base) (log base) (* 0.0 0.0))) 0.317 * * [progress]: iteration 1 / 4 0.317 * * * [progress]: picking best candidate 0.324 * * * * [pick]: Picked # 0.324 * * * [progress]: localizing error 0.364 * * * [progress]: generating rewritten candidates 0.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.365 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.383 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.439 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 0.443 * * * [progress]: generating series expansions 0.443 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.444 * [backup-simplify]: Simplify (fma (log base) (log base) (* 0.0 0.0)) into (fma (log base) (log base) 0.0) 0.444 * [approximate]: Taking taylor expansion of (fma (log base) (log base) 0.0) in (base) around 0 0.444 * [taylor]: Taking taylor expansion of (fma (log base) (log base) 0.0) in base 0.444 * [taylor]: Rewrote expression to (+ (* (log base) (log base)) 0.0) 0.444 * [taylor]: Taking taylor expansion of (* (log base) (log base)) in base 0.444 * [taylor]: Taking taylor expansion of (log base) in base 0.444 * [taylor]: Taking taylor expansion of base in base 0.444 * [backup-simplify]: Simplify 0 into 0 0.444 * [backup-simplify]: Simplify 1 into 1 0.445 * [backup-simplify]: Simplify (log 1) into 0 0.445 * [taylor]: Taking taylor expansion of (log base) in base 0.445 * [taylor]: Taking taylor expansion of base in base 0.445 * [backup-simplify]: Simplify 0 into 0 0.445 * [backup-simplify]: Simplify 1 into 1 0.446 * [backup-simplify]: Simplify (log 1) into 0 0.446 * [taylor]: Taking taylor expansion of 0.0 in base 0.446 * [backup-simplify]: Simplify 0.0 into 0.0 0.446 * [taylor]: Taking taylor expansion of (fma (log base) (log base) 0.0) in base 0.446 * [taylor]: Rewrote expression to (+ (* (log base) (log base)) 0.0) 0.446 * [taylor]: Taking taylor expansion of (* (log base) (log base)) in base 0.446 * [taylor]: Taking taylor expansion of (log base) in base 0.446 * [taylor]: Taking taylor expansion of base in base 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify 1 into 1 0.446 * [backup-simplify]: Simplify (log 1) into 0 0.447 * [taylor]: Taking taylor expansion of (log base) in base 0.447 * [taylor]: Taking taylor expansion of base in base 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify 1 into 1 0.447 * [backup-simplify]: Simplify (log 1) into 0 0.447 * [taylor]: Taking taylor expansion of 0.0 in base 0.447 * [backup-simplify]: Simplify 0.0 into 0.0 0.448 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.448 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.448 * [backup-simplify]: Simplify (* (log base) (log base)) into (pow (log base) 2) 0.448 * [backup-simplify]: Simplify (+ (pow (log base) 2) 0.0) into (pow (log base) 2) 0.449 * [backup-simplify]: Simplify (pow (log base) 2) into (pow (log base) 2) 0.449 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.450 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.452 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.452 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.452 * [backup-simplify]: Simplify (+ (* (log base) 0) (* 0 (log base))) into 0 0.453 * [backup-simplify]: Simplify (+ 0 0) into 0 0.453 * [backup-simplify]: Simplify 0 into 0 0.453 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.457 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.460 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.460 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.461 * [backup-simplify]: Simplify (+ (* (log base) 0) (+ (* 0 0) (* 0 (log base)))) into 0 0.461 * [backup-simplify]: Simplify (+ 0 0) into 0 0.461 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.467 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 0.473 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 0.473 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.474 * [backup-simplify]: Simplify (+ (* (log base) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log base))))) into 0 0.475 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.487 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 0.498 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 0.499 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.500 * [backup-simplify]: Simplify (+ (* (log base) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log base)))))) into 0 0.501 * [backup-simplify]: Simplify (+ 0 0) into 0 0.501 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.521 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 0.539 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 0.539 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.540 * [backup-simplify]: Simplify (+ (* (log base) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log base))))))) into 0 0.540 * [backup-simplify]: Simplify (+ 0 0) into 0 0.540 * [backup-simplify]: Simplify 0 into 0 0.541 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.558 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 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 0) 1)) (pow 1 1)))) 720) into 0 0.588 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 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 0) 1)) (pow 1 1)))) 720) into 0 0.589 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.591 * [backup-simplify]: Simplify (+ (* (log base) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log base)))))))) into 0 0.591 * [backup-simplify]: Simplify (+ 0 0) into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify (pow (log base) 2) into (pow (log base) 2) 0.592 * [backup-simplify]: Simplify (fma (log (/ 1 base)) (log (/ 1 base)) (* 0.0 0.0)) into (fma (log (/ 1 base)) (log (/ 1 base)) 0.0) 0.592 * [approximate]: Taking taylor expansion of (fma (log (/ 1 base)) (log (/ 1 base)) 0.0) in (base) around 0 0.592 * [taylor]: Taking taylor expansion of (fma (log (/ 1 base)) (log (/ 1 base)) 0.0) in base 0.592 * [taylor]: Rewrote expression to (+ (* (log (/ 1 base)) (log (/ 1 base))) 0.0) 0.592 * [taylor]: Taking taylor expansion of (* (log (/ 1 base)) (log (/ 1 base))) in base 0.592 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.592 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.593 * [taylor]: Taking taylor expansion of base in base 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify 1 into 1 0.593 * [backup-simplify]: Simplify (/ 1 1) into 1 0.593 * [backup-simplify]: Simplify (log 1) into 0 0.593 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.593 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.593 * [taylor]: Taking taylor expansion of base in base 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify 1 into 1 0.594 * [backup-simplify]: Simplify (/ 1 1) into 1 0.594 * [backup-simplify]: Simplify (log 1) into 0 0.594 * [taylor]: Taking taylor expansion of 0.0 in base 0.594 * [backup-simplify]: Simplify 0.0 into 0.0 0.594 * [taylor]: Taking taylor expansion of (fma (log (/ 1 base)) (log (/ 1 base)) 0.0) in base 0.594 * [taylor]: Rewrote expression to (+ (* (log (/ 1 base)) (log (/ 1 base))) 0.0) 0.594 * [taylor]: Taking taylor expansion of (* (log (/ 1 base)) (log (/ 1 base))) in base 0.595 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.595 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.595 * [taylor]: Taking taylor expansion of base in base 0.595 * [backup-simplify]: Simplify 0 into 0 0.595 * [backup-simplify]: Simplify 1 into 1 0.595 * [backup-simplify]: Simplify (/ 1 1) into 1 0.595 * [backup-simplify]: Simplify (log 1) into 0 0.595 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.595 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.595 * [taylor]: Taking taylor expansion of base in base 0.596 * [backup-simplify]: Simplify 0 into 0 0.596 * [backup-simplify]: Simplify 1 into 1 0.596 * [backup-simplify]: Simplify (/ 1 1) into 1 0.596 * [backup-simplify]: Simplify (log 1) into 0 0.596 * [taylor]: Taking taylor expansion of 0.0 in base 0.596 * [backup-simplify]: Simplify 0.0 into 0.0 0.597 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.598 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.598 * [backup-simplify]: Simplify (* (- (log base)) (- (log base))) into (pow (log base) 2) 0.598 * [backup-simplify]: Simplify (+ (pow (log base) 2) 0.0) into (pow (log base) 2) 0.598 * [backup-simplify]: Simplify (pow (log base) 2) into (pow (log base) 2) 0.599 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.601 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.603 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.603 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.603 * [backup-simplify]: Simplify (+ (* (- (log base)) 0) (* 0 (- (log base)))) into 0 0.604 * [backup-simplify]: Simplify (+ 0 0) into 0 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.608 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.612 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.612 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.613 * [backup-simplify]: Simplify (+ (* (- (log base)) 0) (+ (* 0 0) (* 0 (- (log base))))) into 0 0.613 * [backup-simplify]: Simplify (+ 0 0) into 0 0.613 * [backup-simplify]: Simplify 0 into 0 0.614 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.620 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 0.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.626 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 0.627 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.628 * [backup-simplify]: Simplify (+ (* (- (log base)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log base)))))) into 0 0.628 * [backup-simplify]: Simplify (+ 0 0) into 0 0.628 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.642 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 0.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.654 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 0.655 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.656 * [backup-simplify]: Simplify (+ (* (- (log base)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log base))))))) into 0 0.657 * [backup-simplify]: Simplify (+ 0 0) into 0 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.677 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 0.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.696 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 0.697 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.698 * [backup-simplify]: Simplify (+ (* (- (log base)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log base)))))))) into 0 0.699 * [backup-simplify]: Simplify (+ 0 0) into 0 0.699 * [backup-simplify]: Simplify 0 into 0 0.699 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.741 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 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 0) 1)) (pow 1 1)))) 720) into 0 0.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.776 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 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 0) 1)) (pow 1 1)))) 720) into 0 0.776 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) 0) into (- (log base)) 0.778 * [backup-simplify]: Simplify (+ (* (- (log base)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log base))))))))) into 0 0.779 * [backup-simplify]: Simplify (+ 0 0) into 0 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify (pow (log (/ 1 base)) 2) into (pow (log (/ 1 base)) 2) 0.780 * [backup-simplify]: Simplify (fma (log (/ 1 (- base))) (log (/ 1 (- base))) (* 0.0 0.0)) into (fma (log (/ -1 base)) (log (/ -1 base)) 0.0) 0.780 * [approximate]: Taking taylor expansion of (fma (log (/ -1 base)) (log (/ -1 base)) 0.0) in (base) around 0 0.780 * [taylor]: Taking taylor expansion of (fma (log (/ -1 base)) (log (/ -1 base)) 0.0) in base 0.780 * [taylor]: Rewrote expression to (+ (* (log (/ -1 base)) (log (/ -1 base))) 0.0) 0.780 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log (/ -1 base))) in base 0.780 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.780 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.780 * [taylor]: Taking taylor expansion of -1 in base 0.780 * [backup-simplify]: Simplify -1 into -1 0.780 * [taylor]: Taking taylor expansion of base in base 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 1 into 1 0.781 * [backup-simplify]: Simplify (/ -1 1) into -1 0.781 * [backup-simplify]: Simplify (log -1) into (log -1) 0.781 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.781 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.781 * [taylor]: Taking taylor expansion of -1 in base 0.781 * [backup-simplify]: Simplify -1 into -1 0.781 * [taylor]: Taking taylor expansion of base in base 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 1 into 1 0.782 * [backup-simplify]: Simplify (/ -1 1) into -1 0.782 * [backup-simplify]: Simplify (log -1) into (log -1) 0.782 * [taylor]: Taking taylor expansion of 0.0 in base 0.782 * [backup-simplify]: Simplify 0.0 into 0.0 0.782 * [taylor]: Taking taylor expansion of (fma (log (/ -1 base)) (log (/ -1 base)) 0.0) in base 0.782 * [taylor]: Rewrote expression to (+ (* (log (/ -1 base)) (log (/ -1 base))) 0.0) 0.782 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log (/ -1 base))) in base 0.782 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.782 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.782 * [taylor]: Taking taylor expansion of -1 in base 0.782 * [backup-simplify]: Simplify -1 into -1 0.782 * [taylor]: Taking taylor expansion of base in base 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 1 into 1 0.783 * [backup-simplify]: Simplify (/ -1 1) into -1 0.783 * [backup-simplify]: Simplify (log -1) into (log -1) 0.783 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.783 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.783 * [taylor]: Taking taylor expansion of -1 in base 0.783 * [backup-simplify]: Simplify -1 into -1 0.783 * [taylor]: Taking taylor expansion of base in base 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 1 into 1 0.784 * [backup-simplify]: Simplify (/ -1 1) into -1 0.784 * [backup-simplify]: Simplify (log -1) into (log -1) 0.784 * [taylor]: Taking taylor expansion of 0.0 in base 0.784 * [backup-simplify]: Simplify 0.0 into 0.0 0.785 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.786 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.787 * [backup-simplify]: Simplify (* (- (log -1) (log base)) (- (log -1) (log base))) into (pow (- (log -1) (log base)) 2) 0.787 * [backup-simplify]: Simplify (+ (pow (- (log -1) (log base)) 2) 0.0) into (- (+ (pow (log -1) 2) (pow (log base) 2)) (* 2 (* (log -1) (log base)))) 0.789 * [backup-simplify]: Simplify (- (+ (pow (log -1) 2) (pow (log base) 2)) (* 2 (* (log -1) (log base)))) into (- (+ (pow (log -1) 2) (pow (log base) 2)) (* 2 (* (log -1) (log base)))) 0.790 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.792 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 0.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.794 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 0.795 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.796 * [backup-simplify]: Simplify (+ (* (- (log -1) (log base)) 0) (* 0 (- (log -1) (log base)))) into 0 0.796 * [backup-simplify]: Simplify (+ 0 0) into 0 0.796 * [backup-simplify]: Simplify 0 into 0 0.797 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.801 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 0.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.805 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 0.806 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.807 * [backup-simplify]: Simplify (+ (* (- (log -1) (log base)) 0) (+ (* 0 0) (* 0 (- (log -1) (log base))))) into 0 0.807 * [backup-simplify]: Simplify (+ 0 0) into 0 0.807 * [backup-simplify]: Simplify 0 into 0 0.808 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.815 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 0.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.822 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 0.823 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.825 * [backup-simplify]: Simplify (+ (* (- (log -1) (log base)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log base)))))) into 0 0.825 * [backup-simplify]: Simplify (+ 0 0) into 0 0.825 * [backup-simplify]: Simplify 0 into 0 0.826 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.839 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 0.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.846 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 0.847 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.848 * [backup-simplify]: Simplify (+ (* (- (log -1) (log base)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log base))))))) into 0 0.849 * [backup-simplify]: Simplify (+ 0 0) into 0 0.849 * [backup-simplify]: Simplify 0 into 0 0.849 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.866 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 0.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.886 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 0.887 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.889 * [backup-simplify]: Simplify (+ (* (- (log -1) (log base)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log base)))))))) into 0 0.890 * [backup-simplify]: Simplify (+ 0 0) into 0 0.890 * [backup-simplify]: Simplify 0 into 0 0.890 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.914 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 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 0) 1)) (pow -1 1)))) 720) into 0 0.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.932 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 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 0) 1)) (pow -1 1)))) 720) into 0 0.933 * [backup-simplify]: Simplify (+ (* (- 1) (log base)) (log -1)) into (- (log -1) (log base)) 0.935 * [backup-simplify]: Simplify (+ (* (- (log -1) (log base)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log base))))))))) into 0 0.935 * [backup-simplify]: Simplify (+ 0 0) into 0 0.935 * [backup-simplify]: Simplify 0 into 0 0.936 * [backup-simplify]: Simplify (- (+ (pow (log -1) 2) (pow (log (/ 1 (- base))) 2)) (* 2 (* (log -1) (log (/ 1 (- base)))))) into (- (+ (pow (log (/ -1 base)) 2) (pow (log -1) 2)) (* 2 (* (log -1) (log (/ -1 base))))) 0.936 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.936 * [backup-simplify]: Simplify (* (atan2 im re) (log base)) into (* (atan2 im re) (log base)) 0.936 * [approximate]: Taking taylor expansion of (* (atan2 im re) (log base)) in (im re base) around 0 0.936 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in base 0.936 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.937 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.937 * [taylor]: Taking taylor expansion of (log base) in base 0.937 * [taylor]: Taking taylor expansion of base in base 0.937 * [backup-simplify]: Simplify 0 into 0 0.937 * [backup-simplify]: Simplify 1 into 1 0.937 * [backup-simplify]: Simplify (log 1) into 0 0.937 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in re 0.937 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.937 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.937 * [taylor]: Taking taylor expansion of (log base) in re 0.937 * [taylor]: Taking taylor expansion of base in re 0.937 * [backup-simplify]: Simplify base into base 0.937 * [backup-simplify]: Simplify (log base) into (log base) 0.937 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in im 0.937 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.937 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.937 * [taylor]: Taking taylor expansion of (log base) in im 0.937 * [taylor]: Taking taylor expansion of base in im 0.937 * [backup-simplify]: Simplify base into base 0.937 * [backup-simplify]: Simplify (log base) into (log base) 0.937 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in im 0.937 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.937 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.937 * [taylor]: Taking taylor expansion of (log base) in im 0.937 * [taylor]: Taking taylor expansion of base in im 0.937 * [backup-simplify]: Simplify base into base 0.937 * [backup-simplify]: Simplify (log base) into (log base) 0.938 * [backup-simplify]: Simplify (* (atan2 im re) (log base)) into (* (atan2 im re) (log base)) 0.938 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in re 0.938 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.938 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.938 * [taylor]: Taking taylor expansion of (log base) in re 0.938 * [taylor]: Taking taylor expansion of base in re 0.938 * [backup-simplify]: Simplify base into base 0.938 * [backup-simplify]: Simplify (log base) into (log base) 0.938 * [backup-simplify]: Simplify (* (atan2 im re) (log base)) into (* (atan2 im re) (log base)) 0.938 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in base 0.938 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.938 * [backup-simplify]: Simplify (atan2 im re) into (atan2 im re) 0.938 * [taylor]: Taking taylor expansion of (log base) in base 0.938 * [taylor]: Taking taylor expansion of base in base 0.938 * [backup-simplify]: Simplify 0 into 0 0.938 * [backup-simplify]: Simplify 1 into 1 0.938 * [backup-simplify]: Simplify (log 1) into 0 0.938 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.939 * [backup-simplify]: Simplify (* (atan2 im re) (log base)) into (* (atan2 im re) (log base)) 0.939 * [backup-simplify]: Simplify (* (atan2 im re) (log base)) into (* (atan2 im re) (log base)) 0.939 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow base 1)))) 1) into 0 0.939 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (log base))) into 0 0.939 * [taylor]: Taking taylor expansion of 0 in re 0.939 * [backup-simplify]: Simplify 0 into 0 0.939 * [taylor]: Taking taylor expansion of 0 in base 0.940 * [backup-simplify]: Simplify 0 into 0 0.940 * [backup-simplify]: Simplify 0 into 0 0.940 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow base 1)))) 1) into 0 0.940 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (log base))) into 0 0.940 * [taylor]: Taking taylor expansion of 0 in base 0.940 * [backup-simplify]: Simplify 0 into 0 0.940 * [backup-simplify]: Simplify 0 into 0 0.941 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.941 * [backup-simplify]: Simplify (+ (* (- -1) (log base)) 0) into (log base) 0.941 * [backup-simplify]: Simplify (+ (* (atan2 im re) 0) (* 0 (log base))) into 0 0.941 * [backup-simplify]: Simplify 0 into 0