0.520 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.643 * * * [progress]: [2/2] Setting up program. 1.654 * [progress]: [Phase 2 of 3] Improving. 1.657 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.658 * * [simplify]: Extracting # 0 : cost 1 inf + 0 1.659 * * [simplify]: Extracting # 1 : cost 2 inf + 0 1.659 * * [simplify]: Extracting # 2 : cost 4 inf + 0 1.659 * * [simplify]: Extracting # 3 : cost 7 inf + 0 1.659 * * [simplify]: Extracting # 4 : cost 6 inf + 1 1.660 * * [simplify]: Extracting # 5 : cost 0 inf + 1377 1.660 * * [simplify]: iteration 0 : 7 enodes (cost 556 ) 1.664 * * [simplify]: Extracting # 0 : cost 0 inf + 1377 1.664 * * [simplify]: Extracting # 1 : cost 3 inf + 1377 1.664 * * [simplify]: Extracting # 2 : cost 5 inf + 1378 1.664 * * [simplify]: Extracting # 3 : cost 4 inf + 1581 1.664 * * [simplify]: Extracting # 4 : cost 1 inf + 2240 1.665 * * [simplify]: Extracting # 5 : cost 0 inf + 2461 1.665 * * [simplify]: iteration 1 : 16 enodes (cost 556 ) 1.668 * * [simplify]: Extracting # 0 : cost 0 inf + 2461 1.668 * * [simplify]: Extracting # 1 : cost 3 inf + 2461 1.668 * * [simplify]: Extracting # 2 : cost 2 inf + 2634 1.668 * * [simplify]: Extracting # 3 : cost 1 inf + 2806 1.668 * * [simplify]: Extracting # 4 : cost 0 inf + 3353 1.669 * * [simplify]: iteration 2 : 24 enodes (cost 556 ) 1.673 * * [simplify]: Extracting # 0 : cost 0 inf + 3353 1.674 * * [simplify]: Extracting # 1 : cost 7 inf + 3353 1.674 * * [simplify]: Extracting # 2 : cost 4 inf + 5292 1.674 * * [simplify]: Extracting # 3 : cost 2 inf + 5598 1.675 * * [simplify]: Extracting # 4 : cost 0 inf + 6693 1.675 * * [simplify]: iteration 3 : 44 enodes (cost 556 ) 1.684 * * [simplify]: Extracting # 0 : cost 0 inf + 6693 1.684 * * [simplify]: Extracting # 1 : cost 13 inf + 6574 1.685 * * [simplify]: Extracting # 2 : cost 4 inf + 11546 1.687 * * [simplify]: Extracting # 3 : cost 1 inf + 12281 1.688 * * [simplify]: Extracting # 4 : cost 0 inf + 12749 1.690 * * [simplify]: iteration 4 : 87 enodes (cost 556 ) 1.728 * * [simplify]: Extracting # 0 : cost 0 inf + 12749 1.732 * * [simplify]: Extracting # 1 : cost 30 inf + 12387 1.738 * * [simplify]: Extracting # 2 : cost 12 inf + 23023 1.747 * * [simplify]: Extracting # 3 : cost 1 inf + 24053 1.752 * * [simplify]: Extracting # 4 : cost 0 inf + 24401 1.770 * * [simplify]: Extracting # 5 : cost 0 inf + 24361 1.774 * * [simplify]: iteration 5 : 199 enodes (cost 556 ) 1.922 * * [simplify]: Extracting # 0 : cost 0 inf + 24361 1.936 * * [simplify]: Extracting # 1 : cost 115 inf + 23753 1.962 * * [simplify]: Extracting # 2 : cost 17 inf + 68531 1.980 * * [simplify]: Extracting # 3 : cost 2 inf + 71414 1.995 * * [simplify]: Extracting # 4 : cost 0 inf + 72402 2.020 * * [simplify]: iteration 6 : 774 enodes (cost 556 ) 3.668 * * [simplify]: Extracting # 0 : cost 0 inf + 72402 3.757 * * [simplify]: Extracting # 1 : cost 433 inf + 66074 3.965 * * [simplify]: Extracting # 2 : cost 30 inf + 256220 4.165 * * [simplify]: Extracting # 3 : cost 3 inf + 246218 4.364 * * [simplify]: Extracting # 4 : cost 0 inf + 246702 4.576 * * [simplify]: Extracting # 5 : cost 0 inf + 246662 4.795 * * [simplify]: iteration 7 : 3480 enodes (cost 556 ) 5.759 * * [simplify]: Extracting # 0 : cost 0 inf + 246662 6.011 * * [simplify]: Extracting # 1 : cost 787 inf + 245395 6.309 * * [simplify]: Extracting # 2 : cost 34 inf + 357391 6.667 * * [simplify]: Extracting # 3 : cost 0 inf + 358930 7.013 * * [simplify]: iteration complete: 5009 enodes (cost 556 ) 7.013 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 7.016 * * [progress]: iteration 1 / 4 7.016 * * * [progress]: picking best candidate 7.025 * * * * [pick]: Picked # 7.025 * * * [progress]: localizing error 7.063 * * * [progress]: generating rewritten candidates 7.063 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 7.065 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 7.067 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 7.072 * * * [progress]: generating series expansions 7.072 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 7.078 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 7.078 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 7.079 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.081 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.081 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 7.081 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.082 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.082 * [backup-simplify]: Simplify 0 into 0 7.082 * [backup-simplify]: Simplify 0 into 0 7.082 * [backup-simplify]: Simplify 0 into 0 7.082 * [backup-simplify]: Simplify 0 into 0 7.082 * [backup-simplify]: Simplify 0 into 0 7.083 * [backup-simplify]: Simplify 0 into 0 7.083 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 7.083 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.083 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 7.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.083 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.083 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 7.084 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.084 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 7.084 * [backup-simplify]: Simplify 0 into 0 7.084 * [backup-simplify]: Simplify 0 into 0 7.084 * [backup-simplify]: Simplify 0 into 0 7.084 * [backup-simplify]: Simplify 0 into 0 7.084 * [backup-simplify]: Simplify 0 into 0 7.084 * [backup-simplify]: Simplify 0 into 0 7.084 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 7.085 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.085 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 7.085 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.086 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.086 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 7.086 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.086 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 7.086 * [backup-simplify]: Simplify 0 into 0 7.086 * [backup-simplify]: Simplify 0 into 0 7.086 * [backup-simplify]: Simplify 0 into 0 7.086 * [backup-simplify]: Simplify 0 into 0 7.086 * [backup-simplify]: Simplify 0 into 0 7.087 * [backup-simplify]: Simplify 0 into 0 7.087 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 7.087 * * * * [progress]: [ 2 / 3 ] generating series at (2) 7.087 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.087 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 7.087 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.088 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.088 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 7.088 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.088 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.088 * [backup-simplify]: Simplify 0 into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.089 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.089 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.089 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 7.089 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.090 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.090 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 7.090 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.090 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 7.090 * [backup-simplify]: Simplify 0 into 0 7.090 * [backup-simplify]: Simplify 0 into 0 7.090 * [backup-simplify]: Simplify 0 into 0 7.091 * [backup-simplify]: Simplify 0 into 0 7.091 * [backup-simplify]: Simplify 0 into 0 7.091 * [backup-simplify]: Simplify 0 into 0 7.091 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.091 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.091 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 7.092 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.092 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.092 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 7.092 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.093 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 7.093 * [backup-simplify]: Simplify 0 into 0 7.093 * [backup-simplify]: Simplify 0 into 0 7.093 * [backup-simplify]: Simplify 0 into 0 7.093 * [backup-simplify]: Simplify 0 into 0 7.093 * [backup-simplify]: Simplify 0 into 0 7.093 * [backup-simplify]: Simplify 0 into 0 7.093 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 7.094 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 7.094 * [backup-simplify]: Simplify (log1p a) into (log1p a) 7.094 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 7.094 * [taylor]: Taking taylor expansion of (log1p a) in a 7.094 * [taylor]: Rewrote expression to (log (+ 1 a)) 7.094 * [taylor]: Taking taylor expansion of (+ 1 a) in a 7.094 * [taylor]: Taking taylor expansion of 1 in a 7.094 * [backup-simplify]: Simplify 1 into 1 7.094 * [taylor]: Taking taylor expansion of a in a 7.094 * [backup-simplify]: Simplify 0 into 0 7.094 * [backup-simplify]: Simplify 1 into 1 7.096 * [backup-simplify]: Simplify (+ 1 0) into 1 7.096 * [backup-simplify]: Simplify (log 1) into 0 7.096 * [taylor]: Taking taylor expansion of (log1p a) in a 7.096 * [taylor]: Rewrote expression to (log (+ 1 a)) 7.096 * [taylor]: Taking taylor expansion of (+ 1 a) in a 7.096 * [taylor]: Taking taylor expansion of 1 in a 7.096 * [backup-simplify]: Simplify 1 into 1 7.096 * [taylor]: Taking taylor expansion of a in a 7.096 * [backup-simplify]: Simplify 0 into 0 7.096 * [backup-simplify]: Simplify 1 into 1 7.097 * [backup-simplify]: Simplify (+ 1 0) into 1 7.097 * [backup-simplify]: Simplify (log 1) into 0 7.097 * [backup-simplify]: Simplify 0 into 0 7.098 * [backup-simplify]: Simplify (+ 0 1) into 1 7.099 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 7.099 * [backup-simplify]: Simplify 1 into 1 7.101 * [backup-simplify]: Simplify (+ 0 0) into 0 7.103 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 7.103 * [backup-simplify]: Simplify -1/2 into -1/2 7.104 * [backup-simplify]: Simplify (+ 0 0) into 0 7.109 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 7.109 * [backup-simplify]: Simplify 1/3 into 1/3 7.111 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))) 7.111 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 7.111 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 7.111 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 7.111 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 7.111 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 7.111 * [taylor]: Taking taylor expansion of 1 in a 7.111 * [backup-simplify]: Simplify 1 into 1 7.111 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.111 * [taylor]: Taking taylor expansion of a in a 7.111 * [backup-simplify]: Simplify 0 into 0 7.111 * [backup-simplify]: Simplify 1 into 1 7.112 * [backup-simplify]: Simplify (/ 1 1) into 1 7.113 * [backup-simplify]: Simplify (+ 0 1) into 1 7.113 * [backup-simplify]: Simplify (log 1) into 0 7.113 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 7.113 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 7.113 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 7.113 * [taylor]: Taking taylor expansion of 1 in a 7.113 * [backup-simplify]: Simplify 1 into 1 7.113 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.113 * [taylor]: Taking taylor expansion of a in a 7.113 * [backup-simplify]: Simplify 0 into 0 7.114 * [backup-simplify]: Simplify 1 into 1 7.114 * [backup-simplify]: Simplify (/ 1 1) into 1 7.114 * [backup-simplify]: Simplify (+ 0 1) into 1 7.115 * [backup-simplify]: Simplify (log 1) into 0 7.115 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 7.115 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 7.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.117 * [backup-simplify]: Simplify (+ 1 0) into 1 7.118 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 7.118 * [backup-simplify]: Simplify 1 into 1 7.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.120 * [backup-simplify]: Simplify (+ 0 0) into 0 7.122 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 7.122 * [backup-simplify]: Simplify -1/2 into -1/2 7.123 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))) 7.123 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 7.123 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 7.123 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 7.123 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 7.123 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 7.124 * [taylor]: Taking taylor expansion of 1 in a 7.124 * [backup-simplify]: Simplify 1 into 1 7.124 * [taylor]: Taking taylor expansion of (/ -1 a) in a 7.124 * [taylor]: Taking taylor expansion of -1 in a 7.124 * [backup-simplify]: Simplify -1 into -1 7.124 * [taylor]: Taking taylor expansion of a in a 7.124 * [backup-simplify]: Simplify 0 into 0 7.124 * [backup-simplify]: Simplify 1 into 1 7.124 * [backup-simplify]: Simplify (/ -1 1) into -1 7.125 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.125 * [backup-simplify]: Simplify (log -1) into (log -1) 7.125 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 7.125 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 7.125 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 7.125 * [taylor]: Taking taylor expansion of 1 in a 7.125 * [backup-simplify]: Simplify 1 into 1 7.125 * [taylor]: Taking taylor expansion of (/ -1 a) in a 7.125 * [taylor]: Taking taylor expansion of -1 in a 7.126 * [backup-simplify]: Simplify -1 into -1 7.126 * [taylor]: Taking taylor expansion of a in a 7.126 * [backup-simplify]: Simplify 0 into 0 7.126 * [backup-simplify]: Simplify 1 into 1 7.126 * [backup-simplify]: Simplify (/ -1 1) into -1 7.126 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.127 * [backup-simplify]: Simplify (log -1) into (log -1) 7.128 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 7.128 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 7.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.130 * [backup-simplify]: Simplify (+ 1 0) into 1 7.131 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 7.131 * [backup-simplify]: Simplify -1 into -1 7.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.133 * [backup-simplify]: Simplify (+ 0 0) into 0 7.135 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 7.135 * [backup-simplify]: Simplify -1/2 into -1/2 7.136 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 7.136 * * * [progress]: simplifying candidates 7.138 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (+ 1 a) (expm1 (log1p a)) (log1p (log1p a)) (log (log1p a)) (exp (log1p a)) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (* (* (log1p a) (log1p a)) (log1p a)) (sqrt (log1p a)) (sqrt (log1p a)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))) (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))) (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 7.139 * * [simplify]: Extracting # 0 : cost 32 inf + 0 7.139 * * [simplify]: Extracting # 1 : cost 52 inf + 0 7.139 * * [simplify]: Extracting # 2 : cost 53 inf + 102 7.140 * * [simplify]: Extracting # 3 : cost 30 inf + 8088 7.141 * * [simplify]: Extracting # 4 : cost 15 inf + 13272 7.143 * * [simplify]: Extracting # 5 : cost 10 inf + 14316 7.144 * * [simplify]: Extracting # 6 : cost 5 inf + 15490 7.146 * * [simplify]: Extracting # 7 : cost 1 inf + 17297 7.147 * * [simplify]: Extracting # 8 : cost 0 inf + 17932 7.149 * * [simplify]: iteration 0 : 65 enodes (cost 14848 ) 7.165 * * [simplify]: Extracting # 0 : cost 0 inf + 17932 7.166 * * [simplify]: Extracting # 1 : cost 21 inf + 17537 7.167 * * [simplify]: Extracting # 2 : cost 9 inf + 20688 7.168 * * [simplify]: Extracting # 3 : cost 5 inf + 19301 7.170 * * [simplify]: Extracting # 4 : cost 1 inf + 19132 7.171 * * [simplify]: Extracting # 5 : cost 0 inf + 19353 7.172 * * [simplify]: iteration 1 : 128 enodes (cost 12913 ) 7.208 * * [simplify]: Extracting # 0 : cost 0 inf + 19353 7.210 * * [simplify]: Extracting # 1 : cost 51 inf + 18801 7.212 * * [simplify]: Extracting # 2 : cost 7 inf + 24192 7.215 * * [simplify]: Extracting # 3 : cost 1 inf + 25386 7.217 * * [simplify]: Extracting # 4 : cost 0 inf + 25933 7.220 * * [simplify]: iteration 2 : 292 enodes (cost 12873 ) 7.318 * * [simplify]: Extracting # 0 : cost 0 inf + 25933 7.322 * * [simplify]: Extracting # 1 : cost 104 inf + 25624 7.328 * * [simplify]: Extracting # 2 : cost 16 inf + 40546 7.335 * * [simplify]: Extracting # 3 : cost 2 inf + 43160 7.342 * * [simplify]: Extracting # 4 : cost 0 inf + 43760 7.355 * * [simplify]: iteration 3 : 733 enodes (cost 12848 ) 7.898 * * [simplify]: Extracting # 0 : cost 0 inf + 43760 7.917 * * [simplify]: Extracting # 1 : cost 246 inf + 41053 7.937 * * [simplify]: Extracting # 2 : cost 20 inf + 82997 7.988 * * [simplify]: Extracting # 3 : cost 3 inf + 85908 8.029 * * [simplify]: Extracting # 4 : cost 0 inf + 87054 8.060 * * [simplify]: Extracting # 5 : cost 0 inf + 87014 8.112 * * [simplify]: iteration 4 : 2020 enodes (cost 12632 ) 9.726 * * [simplify]: Extracting # 0 : cost 0 inf + 87014 9.798 * * [simplify]: Extracting # 1 : cost 817 inf + 83241 9.930 * * [simplify]: Extracting # 2 : cost 65 inf + 237480 10.074 * * [simplify]: Extracting # 3 : cost 13 inf + 244342 10.198 * * [simplify]: Extracting # 4 : cost 0 inf + 250101 10.338 * * [simplify]: iteration complete: 5002 enodes (cost 12607 ) 10.339 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (+ 1 a) a (log1p (log1p a)) (log (log1p a)) (exp (log1p a)) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (* (* (log1p a) (log1p a)) (log1p a)) (sqrt (log1p a)) (sqrt (log1p a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (fma (* a a) (fma 1/3 a -1/2) a) (+ (fma (/ -1/2 a) (/ 1 a) (/ 1 a)) (log a)) (+ (fma (/ -1/2 a) (/ 1 a) (/ 1 a)) (log a)) 10.340 * * * [progress]: adding candidates to table 10.539 * * [progress]: iteration 2 / 4 10.540 * * * [progress]: picking best candidate 10.571 * * * * [pick]: Picked # 10.571 * * * [progress]: localizing error 10.593 * * * [progress]: generating rewritten candidates 10.593 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 10.593 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 10.597 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 10.598 * * * [progress]: generating series expansions 10.598 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 10.598 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 10.598 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 10.598 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.599 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.599 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.599 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.599 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 10.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.599 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 10.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.599 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.599 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 10.600 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.600 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 10.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.600 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.600 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.601 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.601 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 10.601 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 10.601 * [backup-simplify]: Simplify (log (+ 1 a)) into (log (+ a 1)) 10.601 * [approximate]: Taking taylor expansion of (log (+ a 1)) in (a) around 0 10.601 * [taylor]: Taking taylor expansion of (log (+ a 1)) in a 10.601 * [taylor]: Taking taylor expansion of (+ a 1) in a 10.601 * [taylor]: Taking taylor expansion of a in a 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 1 into 1 10.601 * [taylor]: Taking taylor expansion of 1 in a 10.601 * [backup-simplify]: Simplify 1 into 1 10.602 * [backup-simplify]: Simplify (+ 0 1) into 1 10.602 * [backup-simplify]: Simplify (log 1) into 0 10.602 * [taylor]: Taking taylor expansion of (log (+ a 1)) in a 10.602 * [taylor]: Taking taylor expansion of (+ a 1) in a 10.602 * [taylor]: Taking taylor expansion of a in a 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify 1 into 1 10.602 * [taylor]: Taking taylor expansion of 1 in a 10.602 * [backup-simplify]: Simplify 1 into 1 10.603 * [backup-simplify]: Simplify (+ 0 1) into 1 10.603 * [backup-simplify]: Simplify (log 1) into 0 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify (+ 1 0) into 1 10.604 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 10.604 * [backup-simplify]: Simplify 1 into 1 10.605 * [backup-simplify]: Simplify (+ 0 0) into 0 10.606 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 10.606 * [backup-simplify]: Simplify -1/2 into -1/2 10.607 * [backup-simplify]: Simplify (+ 0 0) into 0 10.609 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 10.609 * [backup-simplify]: Simplify 1/3 into 1/3 10.610 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))) 10.610 * [backup-simplify]: Simplify (log (+ 1 (/ 1 a))) into (log (+ (/ 1 a) 1)) 10.610 * [approximate]: Taking taylor expansion of (log (+ (/ 1 a) 1)) in (a) around 0 10.610 * [taylor]: Taking taylor expansion of (log (+ (/ 1 a) 1)) in a 10.610 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 10.610 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.610 * [taylor]: Taking taylor expansion of a in a 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify 1 into 1 10.610 * [backup-simplify]: Simplify (/ 1 1) into 1 10.610 * [taylor]: Taking taylor expansion of 1 in a 10.610 * [backup-simplify]: Simplify 1 into 1 10.611 * [backup-simplify]: Simplify (+ 1 0) into 1 10.611 * [backup-simplify]: Simplify (log 1) into 0 10.611 * [taylor]: Taking taylor expansion of (log (+ (/ 1 a) 1)) in a 10.611 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 10.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.611 * [taylor]: Taking taylor expansion of a in a 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [backup-simplify]: Simplify (/ 1 1) into 1 10.611 * [taylor]: Taking taylor expansion of 1 in a 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [backup-simplify]: Simplify (+ 1 0) into 1 10.612 * [backup-simplify]: Simplify (log 1) into 0 10.612 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 10.613 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 10.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.614 * [backup-simplify]: Simplify (+ 0 1) into 1 10.621 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 10.622 * [backup-simplify]: Simplify 1 into 1 10.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.623 * [backup-simplify]: Simplify (+ 0 0) into 0 10.626 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 10.626 * [backup-simplify]: Simplify -1/2 into -1/2 10.626 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))) 10.627 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- a)))) into (log (- 1 (/ 1 a))) 10.627 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 a))) in (a) around 0 10.627 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 a))) in a 10.627 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 10.627 * [taylor]: Taking taylor expansion of 1 in a 10.627 * [backup-simplify]: Simplify 1 into 1 10.627 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.627 * [taylor]: Taking taylor expansion of a in a 10.627 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify 1 into 1 10.627 * [backup-simplify]: Simplify (/ 1 1) into 1 10.628 * [backup-simplify]: Simplify (- 1) into -1 10.628 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.629 * [backup-simplify]: Simplify (log -1) into (log -1) 10.629 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 a))) in a 10.629 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 10.629 * [taylor]: Taking taylor expansion of 1 in a 10.629 * [backup-simplify]: Simplify 1 into 1 10.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a 10.629 * [taylor]: Taking taylor expansion of a in a 10.629 * [backup-simplify]: Simplify 0 into 0 10.629 * [backup-simplify]: Simplify 1 into 1 10.629 * [backup-simplify]: Simplify (/ 1 1) into 1 10.630 * [backup-simplify]: Simplify (- 1) into -1 10.630 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.631 * [backup-simplify]: Simplify (log -1) into (log -1) 10.632 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 10.632 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 10.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.633 * [backup-simplify]: Simplify (- 0) into 0 10.634 * [backup-simplify]: Simplify (+ 1 0) into 1 10.635 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 10.635 * [backup-simplify]: Simplify -1 into -1 10.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.636 * [backup-simplify]: Simplify (- 0) into 0 10.637 * [backup-simplify]: Simplify (+ 0 0) into 0 10.640 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 10.640 * [backup-simplify]: Simplify -1/2 into -1/2 10.641 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 10.641 * * * * [progress]: [ 3 / 3 ] generating series at (2) 10.641 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))) into (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.641 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) in (a) around 0 10.641 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) in a 10.642 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) into (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.642 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) in a 10.642 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) into (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.642 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) into (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.642 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) into (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.643 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log (+ 1 (/ 1 a))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) 10.643 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) in (a) around 0 10.643 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) in a 10.644 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) 10.644 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) in a 10.644 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) 10.644 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log (+ (/ 1 a) 1)))) 10.644 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.645 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log (+ (/ 1 (/ 1 a)) 1)))) into (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.645 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log (+ 1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) 10.645 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) in (a) around 0 10.645 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) in a 10.645 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) 10.645 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) in a 10.645 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) 10.646 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log (- 1 (/ 1 a))))) 10.646 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log (- 1 (/ 1 (/ 1 (- a))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.646 * * * [progress]: simplifying candidates 10.647 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (+ 1 a))) (log1p (log (+ 1 a))) (log (* (cbrt (+ 1 a)) (cbrt (+ 1 a)))) (log (cbrt (+ 1 a))) (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))) (log 1) (log (+ 1 a)) (log 1) (log (+ 1 a)) (log (+ (pow 1 3) (pow a 3))) (log (+ (* 1 1) (- (* a a) (* 1 a)))) (log (- (* 1 1) (* a a))) (log (- 1 a)) (log (+ 1 a)) (log (log (+ 1 a))) (exp (log (+ 1 a))) (* (cbrt (log (+ 1 a))) (cbrt (log (+ 1 a)))) (cbrt (log (+ 1 a))) (* (* (log (+ 1 a)) (log (+ 1 a))) (log (+ 1 a))) (sqrt (log (+ 1 a))) (sqrt (log (+ 1 a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))) (log (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (exp (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a)))) (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (+ 1 a))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2))) (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a)))) (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) (acos (pow (fmod (cosh a) (pow a 2)) (log (+ a 1)))) 10.647 * * [simplify]: Extracting # 0 : cost 40 inf + 0 10.647 * * [simplify]: Extracting # 1 : cost 66 inf + 0 10.647 * * [simplify]: Extracting # 2 : cost 75 inf + 74 10.648 * * [simplify]: Extracting # 3 : cost 76 inf + 257 10.648 * * [simplify]: Extracting # 4 : cost 48 inf + 4112 10.649 * * [simplify]: Extracting # 5 : cost 12 inf + 15029 10.650 * * [simplify]: Extracting # 6 : cost 1 inf + 21261 10.651 * * [simplify]: Extracting # 7 : cost 0 inf + 21958 10.652 * * [simplify]: iteration 0 : 86 enodes (cost 17583 ) 10.670 * * [simplify]: Extracting # 0 : cost 0 inf + 21958 10.672 * * [simplify]: Extracting # 1 : cost 24 inf + 20990 10.676 * * [simplify]: Extracting # 2 : cost 11 inf + 23206 10.679 * * [simplify]: Extracting # 3 : cost 3 inf + 21246 10.683 * * [simplify]: Extracting # 4 : cost 0 inf + 22668 10.687 * * [simplify]: Extracting # 5 : cost 0 inf + 22647 10.690 * * [simplify]: iteration 1 : 169 enodes (cost 14651 ) 10.771 * * [simplify]: Extracting # 0 : cost 0 inf + 22647 10.773 * * [simplify]: Extracting # 1 : cost 72 inf + 21857 10.776 * * [simplify]: Extracting # 2 : cost 17 inf + 27768 10.779 * * [simplify]: Extracting # 3 : cost 2 inf + 28773 10.782 * * [simplify]: Extracting # 4 : cost 0 inf + 29863 10.788 * * [simplify]: iteration 2 : 394 enodes (cost 14313 ) 10.933 * * [simplify]: Extracting # 0 : cost 0 inf + 29863 10.942 * * [simplify]: Extracting # 1 : cost 100 inf + 29176 10.954 * * [simplify]: Extracting # 2 : cost 20 inf + 40347 10.964 * * [simplify]: Extracting # 3 : cost 2 inf + 41935 10.971 * * [simplify]: Extracting # 4 : cost 0 inf + 42871 10.978 * * [simplify]: Extracting # 5 : cost 0 inf + 42832 10.985 * * [simplify]: iteration 3 : 848 enodes (cost 14288 ) 11.805 * * [simplify]: Extracting # 0 : cost 0 inf + 42832 11.828 * * [simplify]: Extracting # 1 : cost 442 inf + 41087 11.859 * * [simplify]: Extracting # 2 : cost 15 inf + 117727 11.910 * * [simplify]: Extracting # 3 : cost 3 inf + 115275 11.967 * * [simplify]: Extracting # 4 : cost 0 inf + 116132 12.024 * * [simplify]: iteration 4 : 2590 enodes (cost 14087 ) 14.317 * * [simplify]: Extracting # 0 : cost 0 inf + 116132 14.436 * * [simplify]: Extracting # 1 : cost 517 inf + 107509 14.629 * * [simplify]: Extracting # 2 : cost 66 inf + 181262 14.832 * * [simplify]: Extracting # 3 : cost 15 inf + 189965 15.004 * * [simplify]: Extracting # 4 : cost 0 inf + 194610 15.221 * * [simplify]: iteration complete: 5000 enodes (cost 14047 ) 15.222 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) a (log1p (log1p a)) (log (* (cbrt (+ 1 a)) (cbrt (+ 1 a)))) (log (cbrt (+ 1 a))) (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))) 0 (log1p a) 0 (log1p a) (log (fma a (* a a) 1)) (log (fma a (- a 1) 1)) (log (- 1 (* a a))) (log (- 1 a)) (log1p a) (log (log1p a)) (+ a 1) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (* (* (log1p a) (log1p a)) (log1p a)) (sqrt (log1p a)) (sqrt (log1p a)) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fma (* a a) (fma 1/3 a -1/2) a) (+ (fma (/ -1/2 a) (/ 1 a) (/ 1 a)) (log a)) (+ (fma (/ -1/2 a) (/ 1 a) (/ 1 a)) (log a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 15.226 * * * [progress]: adding candidates to table 15.489 * * [progress]: iteration 3 / 4 15.489 * * * [progress]: picking best candidate 15.525 * * * * [pick]: Picked # 15.526 * * * [progress]: localizing error 15.573 * * * [progress]: generating rewritten candidates 15.574 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 15.574 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 15.579 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 15.583 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 15.585 * * * [progress]: generating series expansions 15.585 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 15.585 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 15.585 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 15.585 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 15.586 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.586 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 15.586 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.586 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 15.586 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 15.586 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 15.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 15.586 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 15.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 15.586 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 15.587 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 15.587 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify 0 into 0 15.587 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 15.587 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 15.587 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 15.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 15.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 15.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 15.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 15.588 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 15.588 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 15.588 * [backup-simplify]: Simplify (log (sqrt (+ 1 a))) into (log (sqrt (+ a 1))) 15.588 * [approximate]: Taking taylor expansion of (log (sqrt (+ a 1))) in (a) around 0 15.588 * [taylor]: Taking taylor expansion of (log (sqrt (+ a 1))) in a 15.588 * [taylor]: Taking taylor expansion of (sqrt (+ a 1)) in a 15.588 * [taylor]: Taking taylor expansion of (+ a 1) in a 15.588 * [taylor]: Taking taylor expansion of a in a 15.588 * [backup-simplify]: Simplify 0 into 0 15.588 * [backup-simplify]: Simplify 1 into 1 15.588 * [taylor]: Taking taylor expansion of 1 in a 15.588 * [backup-simplify]: Simplify 1 into 1 15.589 * [backup-simplify]: Simplify (+ 0 1) into 1 15.589 * [backup-simplify]: Simplify (sqrt 1) into 1 15.589 * [backup-simplify]: Simplify (+ 1 0) into 1 15.590 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.590 * [backup-simplify]: Simplify (log 1) into 0 15.590 * [taylor]: Taking taylor expansion of (log (sqrt (+ a 1))) in a 15.590 * [taylor]: Taking taylor expansion of (sqrt (+ a 1)) in a 15.590 * [taylor]: Taking taylor expansion of (+ a 1) in a 15.590 * [taylor]: Taking taylor expansion of a in a 15.590 * [backup-simplify]: Simplify 0 into 0 15.590 * [backup-simplify]: Simplify 1 into 1 15.590 * [taylor]: Taking taylor expansion of 1 in a 15.590 * [backup-simplify]: Simplify 1 into 1 15.590 * [backup-simplify]: Simplify (+ 0 1) into 1 15.591 * [backup-simplify]: Simplify (sqrt 1) into 1 15.591 * [backup-simplify]: Simplify (+ 1 0) into 1 15.591 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.592 * [backup-simplify]: Simplify (log 1) into 0 15.592 * [backup-simplify]: Simplify 0 into 0 15.592 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.592 * [backup-simplify]: Simplify 1/2 into 1/2 15.593 * [backup-simplify]: Simplify (+ 0 0) into 0 15.594 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 15.595 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4 15.595 * [backup-simplify]: Simplify -1/4 into -1/4 15.596 * [backup-simplify]: Simplify (+ 0 0) into 0 15.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16 15.604 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6 15.604 * [backup-simplify]: Simplify 1/6 into 1/6 15.605 * [backup-simplify]: Simplify (+ (* 1/6 (pow a 3)) (+ (* -1/4 (pow a 2)) (* 1/2 a))) into (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2))) 15.605 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 a)))) into (log (sqrt (+ (/ 1 a) 1))) 15.605 * [approximate]: Taking taylor expansion of (log (sqrt (+ (/ 1 a) 1))) in (a) around 0 15.605 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 a) 1))) in a 15.605 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 a) 1)) in a 15.605 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 15.605 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.605 * [taylor]: Taking taylor expansion of a in a 15.605 * [backup-simplify]: Simplify 0 into 0 15.605 * [backup-simplify]: Simplify 1 into 1 15.605 * [backup-simplify]: Simplify (/ 1 1) into 1 15.605 * [taylor]: Taking taylor expansion of 1 in a 15.605 * [backup-simplify]: Simplify 1 into 1 15.606 * [backup-simplify]: Simplify (+ 1 0) into 1 15.606 * [backup-simplify]: Simplify (sqrt 0) into 0 15.607 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 15.607 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.607 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 a) 1))) in a 15.607 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 a) 1)) in a 15.607 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 15.607 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.607 * [taylor]: Taking taylor expansion of a in a 15.607 * [backup-simplify]: Simplify 0 into 0 15.607 * [backup-simplify]: Simplify 1 into 1 15.608 * [backup-simplify]: Simplify (/ 1 1) into 1 15.608 * [taylor]: Taking taylor expansion of 1 in a 15.608 * [backup-simplify]: Simplify 1 into 1 15.608 * [backup-simplify]: Simplify (+ 1 0) into 1 15.608 * [backup-simplify]: Simplify (sqrt 0) into 0 15.609 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 15.609 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.609 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.610 * [backup-simplify]: Simplify (+ 0 1) into 1 15.612 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 15.616 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 15.616 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.617 * [backup-simplify]: Simplify (+ 0 0) into 0 15.619 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 15.628 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 15.628 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.628 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 a) 2)) (+ (* +nan.0 (/ 1 a)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) 15.628 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 (- a))))) into (log (sqrt (- 1 (/ 1 a)))) 15.628 * [approximate]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 a)))) in (a) around 0 15.628 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 a)))) in a 15.628 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 a))) in a 15.628 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 15.628 * [taylor]: Taking taylor expansion of 1 in a 15.628 * [backup-simplify]: Simplify 1 into 1 15.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.629 * [taylor]: Taking taylor expansion of a in a 15.629 * [backup-simplify]: Simplify 0 into 0 15.629 * [backup-simplify]: Simplify 1 into 1 15.629 * [backup-simplify]: Simplify (/ 1 1) into 1 15.629 * [backup-simplify]: Simplify (- 1) into -1 15.629 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.630 * [backup-simplify]: Simplify (sqrt 0) into 0 15.630 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 15.631 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.631 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 a)))) in a 15.631 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 a))) in a 15.631 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 15.631 * [taylor]: Taking taylor expansion of 1 in a 15.631 * [backup-simplify]: Simplify 1 into 1 15.631 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.631 * [taylor]: Taking taylor expansion of a in a 15.631 * [backup-simplify]: Simplify 0 into 0 15.631 * [backup-simplify]: Simplify 1 into 1 15.631 * [backup-simplify]: Simplify (/ 1 1) into 1 15.631 * [backup-simplify]: Simplify (- 1) into -1 15.632 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.632 * [backup-simplify]: Simplify (sqrt 0) into 0 15.633 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 15.633 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.633 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.634 * [backup-simplify]: Simplify (- 0) into 0 15.634 * [backup-simplify]: Simplify (+ 1 0) into 1 15.636 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 15.640 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 15.640 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.641 * [backup-simplify]: Simplify (- 0) into 0 15.641 * [backup-simplify]: Simplify (+ 0 0) into 0 15.643 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 15.658 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 15.658 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.659 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- a)) 2)) (+ (* +nan.0 (/ 1 (- a))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) 15.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 15.659 * [backup-simplify]: Simplify (log (sqrt (+ 1 a))) into (log (sqrt (+ a 1))) 15.659 * [approximate]: Taking taylor expansion of (log (sqrt (+ a 1))) in (a) around 0 15.659 * [taylor]: Taking taylor expansion of (log (sqrt (+ a 1))) in a 15.659 * [taylor]: Taking taylor expansion of (sqrt (+ a 1)) in a 15.659 * [taylor]: Taking taylor expansion of (+ a 1) in a 15.659 * [taylor]: Taking taylor expansion of a in a 15.659 * [backup-simplify]: Simplify 0 into 0 15.659 * [backup-simplify]: Simplify 1 into 1 15.659 * [taylor]: Taking taylor expansion of 1 in a 15.659 * [backup-simplify]: Simplify 1 into 1 15.660 * [backup-simplify]: Simplify (+ 0 1) into 1 15.660 * [backup-simplify]: Simplify (sqrt 1) into 1 15.661 * [backup-simplify]: Simplify (+ 1 0) into 1 15.661 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.662 * [backup-simplify]: Simplify (log 1) into 0 15.662 * [taylor]: Taking taylor expansion of (log (sqrt (+ a 1))) in a 15.662 * [taylor]: Taking taylor expansion of (sqrt (+ a 1)) in a 15.662 * [taylor]: Taking taylor expansion of (+ a 1) in a 15.662 * [taylor]: Taking taylor expansion of a in a 15.662 * [backup-simplify]: Simplify 0 into 0 15.662 * [backup-simplify]: Simplify 1 into 1 15.662 * [taylor]: Taking taylor expansion of 1 in a 15.662 * [backup-simplify]: Simplify 1 into 1 15.662 * [backup-simplify]: Simplify (+ 0 1) into 1 15.663 * [backup-simplify]: Simplify (sqrt 1) into 1 15.663 * [backup-simplify]: Simplify (+ 1 0) into 1 15.664 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.664 * [backup-simplify]: Simplify (log 1) into 0 15.664 * [backup-simplify]: Simplify 0 into 0 15.666 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.666 * [backup-simplify]: Simplify 1/2 into 1/2 15.666 * [backup-simplify]: Simplify (+ 0 0) into 0 15.667 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8 15.670 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4 15.670 * [backup-simplify]: Simplify -1/4 into -1/4 15.671 * [backup-simplify]: Simplify (+ 0 0) into 0 15.672 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16 15.679 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6 15.679 * [backup-simplify]: Simplify 1/6 into 1/6 15.680 * [backup-simplify]: Simplify (+ (* 1/6 (pow a 3)) (+ (* -1/4 (pow a 2)) (* 1/2 a))) into (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2))) 15.680 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 a)))) into (log (sqrt (+ (/ 1 a) 1))) 15.680 * [approximate]: Taking taylor expansion of (log (sqrt (+ (/ 1 a) 1))) in (a) around 0 15.680 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 a) 1))) in a 15.680 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 a) 1)) in a 15.680 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 15.680 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.680 * [taylor]: Taking taylor expansion of a in a 15.680 * [backup-simplify]: Simplify 0 into 0 15.680 * [backup-simplify]: Simplify 1 into 1 15.680 * [backup-simplify]: Simplify (/ 1 1) into 1 15.680 * [taylor]: Taking taylor expansion of 1 in a 15.680 * [backup-simplify]: Simplify 1 into 1 15.681 * [backup-simplify]: Simplify (+ 1 0) into 1 15.681 * [backup-simplify]: Simplify (sqrt 0) into 0 15.683 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 15.683 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.683 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 a) 1))) in a 15.683 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 a) 1)) in a 15.683 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 15.683 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.683 * [taylor]: Taking taylor expansion of a in a 15.683 * [backup-simplify]: Simplify 0 into 0 15.683 * [backup-simplify]: Simplify 1 into 1 15.684 * [backup-simplify]: Simplify (/ 1 1) into 1 15.684 * [taylor]: Taking taylor expansion of 1 in a 15.684 * [backup-simplify]: Simplify 1 into 1 15.684 * [backup-simplify]: Simplify (+ 1 0) into 1 15.685 * [backup-simplify]: Simplify (sqrt 0) into 0 15.686 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 15.686 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.687 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.688 * [backup-simplify]: Simplify (+ 0 1) into 1 15.691 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 15.697 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 15.697 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.698 * [backup-simplify]: Simplify (+ 0 0) into 0 15.700 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 15.708 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 15.708 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.709 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 a) 2)) (+ (* +nan.0 (/ 1 a)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) 15.709 * [backup-simplify]: Simplify (log (sqrt (+ 1 (/ 1 (- a))))) into (log (sqrt (- 1 (/ 1 a)))) 15.709 * [approximate]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 a)))) in (a) around 0 15.709 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 a)))) in a 15.709 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 a))) in a 15.709 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 15.709 * [taylor]: Taking taylor expansion of 1 in a 15.709 * [backup-simplify]: Simplify 1 into 1 15.709 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.709 * [taylor]: Taking taylor expansion of a in a 15.709 * [backup-simplify]: Simplify 0 into 0 15.709 * [backup-simplify]: Simplify 1 into 1 15.709 * [backup-simplify]: Simplify (/ 1 1) into 1 15.710 * [backup-simplify]: Simplify (- 1) into -1 15.710 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.710 * [backup-simplify]: Simplify (sqrt 0) into 0 15.717 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 15.717 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.717 * [taylor]: Taking taylor expansion of (log (sqrt (- 1 (/ 1 a)))) in a 15.717 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 a))) in a 15.717 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 15.717 * [taylor]: Taking taylor expansion of 1 in a 15.717 * [backup-simplify]: Simplify 1 into 1 15.717 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.717 * [taylor]: Taking taylor expansion of a in a 15.717 * [backup-simplify]: Simplify 0 into 0 15.717 * [backup-simplify]: Simplify 1 into 1 15.717 * [backup-simplify]: Simplify (/ 1 1) into 1 15.718 * [backup-simplify]: Simplify (- 1) into -1 15.718 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.718 * [backup-simplify]: Simplify (sqrt 0) into 0 15.719 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 15.719 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.720 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0) 15.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.720 * [backup-simplify]: Simplify (- 0) into 0 15.721 * [backup-simplify]: Simplify (+ 1 0) into 1 15.722 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 15.726 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0 15.727 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.727 * [backup-simplify]: Simplify (- 0) into 0 15.728 * [backup-simplify]: Simplify (+ 0 0) into 0 15.730 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 15.740 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0 15.740 * [backup-simplify]: Simplify +nan.0 into +nan.0 15.741 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- a)) 2)) (+ (* +nan.0 (/ 1 (- a))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) 15.741 * * * * [progress]: [ 4 / 4 ] generating series at (2) 15.741 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.742 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) in (a) around 0 15.742 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) in a 15.742 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.742 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) in a 15.742 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.743 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.743 * [backup-simplify]: Simplify 0 into 0 15.743 * [backup-simplify]: Simplify 0 into 0 15.743 * [backup-simplify]: Simplify 0 into 0 15.743 * [backup-simplify]: Simplify 0 into 0 15.743 * [backup-simplify]: Simplify 0 into 0 15.743 * [backup-simplify]: Simplify 0 into 0 15.743 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.744 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (+ (log (sqrt (+ 1 (/ 1 a)))) (log (sqrt (+ 1 (/ 1 a))))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) 15.744 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) in (a) around 0 15.744 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) in a 15.745 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) 15.745 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) in a 15.745 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) 15.746 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (+ (/ 1 a) 1)))))) 15.746 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (* 2 (log (sqrt (+ (/ 1 (/ 1 a)) 1)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.747 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (+ (log (sqrt (+ 1 (/ 1 (- a))))) (log (sqrt (+ 1 (/ 1 (- a)))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) 15.747 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) in (a) around 0 15.747 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) in a 15.748 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) 15.748 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) in a 15.748 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) 15.749 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (- 1 (/ 1 a))))))) 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify 0 into 0 15.749 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (* 2 (log (sqrt (- 1 (/ 1 (/ 1 (- a))))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.750 * * * [progress]: simplifying candidates 15.751 * [simplify]: Simplifying: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (sqrt (+ 1 a)))) (log1p (log (sqrt (+ 1 a)))) (log (* (cbrt (sqrt (+ 1 a))) (cbrt (sqrt (+ 1 a))))) (log (cbrt (sqrt (+ 1 a)))) (log (sqrt (* (cbrt (+ 1 a)) (cbrt (+ 1 a))))) (log (sqrt (cbrt (+ 1 a)))) (log (sqrt (sqrt (+ 1 a)))) (log (sqrt (sqrt (+ 1 a)))) (log (sqrt 1)) (log (sqrt (+ 1 a))) (log (sqrt 1)) (log (sqrt (+ 1 a))) (log (sqrt (sqrt (+ 1 a)))) (log (sqrt (sqrt (+ 1 a)))) (log 1) (log (sqrt (+ 1 a))) (log (sqrt (+ (pow 1 3) (pow a 3)))) (log (sqrt (+ (* 1 1) (- (* a a) (* 1 a))))) (log (sqrt (- (* 1 1) (* a a)))) (log (sqrt (- 1 a))) (log (+ 1 a)) (log (sqrt (+ 1 a))) (log (+ 1 a)) (log (log (sqrt (+ 1 a)))) (exp (log (sqrt (+ 1 a)))) (* (cbrt (log (sqrt (+ 1 a)))) (cbrt (log (sqrt (+ 1 a))))) (cbrt (log (sqrt (+ 1 a)))) (* (* (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a)))) (log (sqrt (+ 1 a)))) (sqrt (log (sqrt (+ 1 a)))) (sqrt (log (sqrt (+ 1 a)))) (expm1 (log (sqrt (+ 1 a)))) (log1p (log (sqrt (+ 1 a)))) (log (* (cbrt (sqrt (+ 1 a))) (cbrt (sqrt (+ 1 a))))) (log (cbrt (sqrt (+ 1 a)))) (log (sqrt (* (cbrt (+ 1 a)) (cbrt (+ 1 a))))) (log (sqrt (cbrt (+ 1 a)))) (log (sqrt (sqrt (+ 1 a)))) (log (sqrt (sqrt (+ 1 a)))) (log (sqrt 1)) (log (sqrt (+ 1 a))) (log (sqrt 1)) (log (sqrt (+ 1 a))) (log (sqrt (sqrt (+ 1 a)))) (log (sqrt (sqrt (+ 1 a)))) (log 1) (log (sqrt (+ 1 a))) (log (sqrt (+ (pow 1 3) (pow a 3)))) (log (sqrt (+ (* 1 1) (- (* a a) (* 1 a))))) (log (sqrt (- (* 1 1) (* a a)))) (log (sqrt (- 1 a))) (log (+ 1 a)) (log (sqrt (+ 1 a))) (log (+ 1 a)) (log (log (sqrt (+ 1 a)))) (exp (log (sqrt (+ 1 a)))) (* (cbrt (log (sqrt (+ 1 a)))) (cbrt (log (sqrt (+ 1 a))))) (cbrt (log (sqrt (+ 1 a)))) (* (* (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a)))) (log (sqrt (+ 1 a)))) (sqrt (log (sqrt (+ 1 a)))) (sqrt (log (sqrt (+ 1 a)))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (log1p (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a)))))) (log (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (exp (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a)))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (* (* (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a)))))) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (+ 1 a))) (log (sqrt (+ 1 a))))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2))) (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2))) (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (+ a 1)))))) 15.753 * * [simplify]: Extracting # 0 : cost 43 inf + 0 15.754 * * [simplify]: Extracting # 1 : cost 71 inf + 0 15.754 * * [simplify]: Extracting # 2 : cost 81 inf + 197 15.754 * * [simplify]: Extracting # 3 : cost 82 inf + 1129 15.755 * * [simplify]: Extracting # 4 : cost 57 inf + 5450 15.756 * * [simplify]: Extracting # 5 : cost 31 inf + 10588 15.758 * * [simplify]: Extracting # 6 : cost 16 inf + 15372 15.761 * * [simplify]: Extracting # 7 : cost 6 inf + 21675 15.764 * * [simplify]: Extracting # 8 : cost 0 inf + 26005 15.768 * * [simplify]: iteration 0 : 101 enodes (cost 28840 ) 15.810 * * [simplify]: Extracting # 0 : cost 0 inf + 26005 15.812 * * [simplify]: Extracting # 1 : cost 23 inf + 24635 15.814 * * [simplify]: Extracting # 2 : cost 11 inf + 25614 15.816 * * [simplify]: Extracting # 3 : cost 3 inf + 25535 15.819 * * [simplify]: Extracting # 4 : cost 0 inf + 26419 15.822 * * [simplify]: iteration 1 : 183 enodes (cost 24293 ) 15.883 * * [simplify]: Extracting # 0 : cost 0 inf + 26419 15.888 * * [simplify]: Extracting # 1 : cost 45 inf + 25667 15.895 * * [simplify]: Extracting # 2 : cost 11 inf + 29367 15.902 * * [simplify]: Extracting # 3 : cost 0 inf + 31968 15.909 * * [simplify]: Extracting # 4 : cost 0 inf + 31676