0.499 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 1.295 * * * [progress]: [2/2] Setting up program. 1.303 * [progress]: [Phase 2 of 3] Improving. 1.307 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.309 * * [simplify]: Extracting # 0 : cost 0 1.309 * * [simplify]: Extracting # 1 : cost 0 1.309 * * [simplify]: Extracting # 2 : cost 0 1.309 * * [simplify]: Extracting # 3 : cost 0 1.309 * * [simplify]: Extracting # 4 : cost 0 1.310 * * [simplify]: Extracting # 5 : cost 0 1.310 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 1.317 * * [simplify]: Extracting # 0 : cost 0 1.317 * * [simplify]: Extracting # 1 : cost 0 1.317 * * [simplify]: Extracting # 2 : cost 0 1.317 * * [simplify]: Extracting # 3 : cost 0 1.317 * * [simplify]: Extracting # 4 : cost 0 1.317 * * [simplify]: Extracting # 5 : cost 0 1.317 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 1.322 * * [simplify]: Extracting # 0 : cost 0 1.323 * * [simplify]: Extracting # 1 : cost 0 1.323 * * [simplify]: Extracting # 2 : cost 0 1.323 * * [simplify]: Extracting # 3 : cost 0 1.323 * * [simplify]: Extracting # 4 : cost 0 1.323 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 1.332 * * [simplify]: Extracting # 0 : cost 0 1.332 * * [simplify]: Extracting # 1 : cost 0 1.333 * * [simplify]: Extracting # 2 : cost 0 1.333 * * [simplify]: Extracting # 3 : cost 0 1.333 * * [simplify]: Extracting # 4 : cost 0 1.333 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 1.350 * * [simplify]: Extracting # 0 : cost 0 1.350 * * [simplify]: Extracting # 1 : cost 0 1.351 * * [simplify]: Extracting # 2 : cost 0 1.351 * * [simplify]: Extracting # 3 : cost 0 1.351 * * [simplify]: Extracting # 4 : cost 0 1.351 * * [simplify]: Extracting # 5 : cost 0 1.351 * * [simplify]: iteration 4 : 89 enodes (cost 10 ) 1.435 * * [simplify]: Extracting # 0 : cost 0 1.435 * * [simplify]: Extracting # 1 : cost 0 1.436 * * [simplify]: Extracting # 2 : cost 0 1.436 * * [simplify]: Extracting # 3 : cost 0 1.436 * * [simplify]: Extracting # 4 : cost 0 1.437 * * [simplify]: iteration 5 : 195 enodes (cost 10 ) 1.566 * * [simplify]: Extracting # 0 : cost 0 1.567 * * [simplify]: Extracting # 1 : cost 0 1.567 * * [simplify]: Extracting # 2 : cost 0 1.568 * * [simplify]: Extracting # 3 : cost 0 1.568 * * [simplify]: Extracting # 4 : cost 0 1.569 * * [simplify]: iteration 6 : 633 enodes (cost 10 ) 2.869 * * [simplify]: Extracting # 0 : cost 0 2.871 * * [simplify]: Extracting # 1 : cost 0 2.872 * * [simplify]: Extracting # 2 : cost 0 2.874 * * [simplify]: Extracting # 3 : cost 0 2.878 * * [simplify]: Extracting # 4 : cost 0 2.880 * * [simplify]: Extracting # 5 : cost 0 2.881 * * [simplify]: iteration 7 : 2582 enodes (cost 10 ) 4.064 * * [simplify]: Extracting # 0 : cost 0 4.072 * * [simplify]: Extracting # 1 : cost 0 4.082 * * [simplify]: Extracting # 2 : cost 0 4.092 * * [simplify]: Extracting # 3 : cost 0 4.101 * * [simplify]: iteration done: 5000 enodes (cost 10 ) 4.102 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 4.104 * * [progress]: iteration 1 / 4 4.104 * * * [progress]: picking best candidate 4.119 * * * * [pick]: Picked # 4.120 * * * [progress]: localizing error 4.147 * * * [progress]: generating rewritten candidates 4.148 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 4.149 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 4.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 4.155 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 4.161 * * * [progress]: generating series expansions 4.162 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 4.169 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 4.169 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 4.170 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.173 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.173 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.173 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.174 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.174 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.175 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.175 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 4.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.175 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.175 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.175 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.175 * [backup-simplify]: Simplify 0 into 0 4.175 * [backup-simplify]: Simplify 0 into 0 4.175 * [backup-simplify]: Simplify 0 into 0 4.176 * [backup-simplify]: Simplify 0 into 0 4.176 * [backup-simplify]: Simplify 0 into 0 4.176 * [backup-simplify]: Simplify 0 into 0 4.176 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 4.177 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.177 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 4.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.177 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.177 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.178 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.178 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.178 * [backup-simplify]: Simplify 0 into 0 4.178 * [backup-simplify]: Simplify 0 into 0 4.178 * [backup-simplify]: Simplify 0 into 0 4.178 * [backup-simplify]: Simplify 0 into 0 4.178 * [backup-simplify]: Simplify 0 into 0 4.178 * [backup-simplify]: Simplify 0 into 0 4.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 4.179 * * * * [progress]: [ 2 / 4 ] generating series at (2) 4.179 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.179 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 4.179 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.179 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.179 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.180 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.180 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.180 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.181 * [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)))) 4.181 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 4.181 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.181 * [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)))) 4.181 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.182 * [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)))) 4.182 * [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)))) 4.182 * [backup-simplify]: Simplify 0 into 0 4.182 * [backup-simplify]: Simplify 0 into 0 4.182 * [backup-simplify]: Simplify 0 into 0 4.182 * [backup-simplify]: Simplify 0 into 0 4.182 * [backup-simplify]: Simplify 0 into 0 4.182 * [backup-simplify]: Simplify 0 into 0 4.183 * [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))) 4.183 * [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)))) 4.183 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 4.183 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.184 * [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)))) 4.184 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.184 * [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)))) 4.184 * [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)))) 4.184 * [backup-simplify]: Simplify 0 into 0 4.184 * [backup-simplify]: Simplify 0 into 0 4.185 * [backup-simplify]: Simplify 0 into 0 4.185 * [backup-simplify]: Simplify 0 into 0 4.185 * [backup-simplify]: Simplify 0 into 0 4.185 * [backup-simplify]: Simplify 0 into 0 4.185 * [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))) 4.185 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 4.185 * [backup-simplify]: Simplify (log1p a) into (log1p a) 4.185 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 4.185 * [taylor]: Taking taylor expansion of (log1p a) in a 4.186 * [taylor]: Rewrote expression to (log (+ 1 a)) 4.186 * [taylor]: Taking taylor expansion of (+ 1 a) in a 4.186 * [taylor]: Taking taylor expansion of 1 in a 4.186 * [backup-simplify]: Simplify 1 into 1 4.186 * [taylor]: Taking taylor expansion of a in a 4.186 * [backup-simplify]: Simplify 0 into 0 4.186 * [backup-simplify]: Simplify 1 into 1 4.187 * [backup-simplify]: Simplify (+ 1 0) into 1 4.188 * [backup-simplify]: Simplify (log 1) into 0 4.188 * [taylor]: Taking taylor expansion of (log1p a) in a 4.188 * [taylor]: Rewrote expression to (log (+ 1 a)) 4.188 * [taylor]: Taking taylor expansion of (+ 1 a) in a 4.188 * [taylor]: Taking taylor expansion of 1 in a 4.188 * [backup-simplify]: Simplify 1 into 1 4.188 * [taylor]: Taking taylor expansion of a in a 4.188 * [backup-simplify]: Simplify 0 into 0 4.188 * [backup-simplify]: Simplify 1 into 1 4.188 * [backup-simplify]: Simplify (+ 1 0) into 1 4.189 * [backup-simplify]: Simplify (log 1) into 0 4.189 * [backup-simplify]: Simplify 0 into 0 4.189 * [backup-simplify]: Simplify (+ 0 1) into 1 4.190 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.191 * [backup-simplify]: Simplify 1 into 1 4.192 * [backup-simplify]: Simplify (+ 0 0) into 0 4.195 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 4.195 * [backup-simplify]: Simplify -1/2 into -1/2 4.195 * [backup-simplify]: Simplify (+ 0 0) into 0 4.201 * [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 4.201 * [backup-simplify]: Simplify 1/3 into 1/3 4.203 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2))) 4.203 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 4.203 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 4.203 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 4.203 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 4.203 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 4.203 * [taylor]: Taking taylor expansion of 1 in a 4.203 * [backup-simplify]: Simplify 1 into 1 4.203 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.204 * [taylor]: Taking taylor expansion of a in a 4.204 * [backup-simplify]: Simplify 0 into 0 4.204 * [backup-simplify]: Simplify 1 into 1 4.204 * [backup-simplify]: Simplify (/ 1 1) into 1 4.205 * [backup-simplify]: Simplify (+ 0 1) into 1 4.205 * [backup-simplify]: Simplify (log 1) into 0 4.205 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 4.206 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 4.206 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 4.206 * [taylor]: Taking taylor expansion of 1 in a 4.206 * [backup-simplify]: Simplify 1 into 1 4.206 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.206 * [taylor]: Taking taylor expansion of a in a 4.206 * [backup-simplify]: Simplify 0 into 0 4.206 * [backup-simplify]: Simplify 1 into 1 4.207 * [backup-simplify]: Simplify (/ 1 1) into 1 4.207 * [backup-simplify]: Simplify (+ 0 1) into 1 4.207 * [backup-simplify]: Simplify (log 1) into 0 4.208 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 4.208 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 4.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.210 * [backup-simplify]: Simplify (+ 1 0) into 1 4.211 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.211 * [backup-simplify]: Simplify 1 into 1 4.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.212 * [backup-simplify]: Simplify (+ 0 0) into 0 4.215 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 4.215 * [backup-simplify]: Simplify -1/2 into -1/2 4.215 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2))))) 4.216 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 4.216 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 4.216 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 4.216 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 4.216 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 4.216 * [taylor]: Taking taylor expansion of 1 in a 4.216 * [backup-simplify]: Simplify 1 into 1 4.216 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.216 * [taylor]: Taking taylor expansion of -1 in a 4.216 * [backup-simplify]: Simplify -1 into -1 4.216 * [taylor]: Taking taylor expansion of a in a 4.216 * [backup-simplify]: Simplify 0 into 0 4.216 * [backup-simplify]: Simplify 1 into 1 4.217 * [backup-simplify]: Simplify (/ -1 1) into -1 4.217 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.218 * [backup-simplify]: Simplify (log -1) into (log -1) 4.218 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 4.218 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 4.218 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 4.218 * [taylor]: Taking taylor expansion of 1 in a 4.218 * [backup-simplify]: Simplify 1 into 1 4.218 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.218 * [taylor]: Taking taylor expansion of -1 in a 4.218 * [backup-simplify]: Simplify -1 into -1 4.218 * [taylor]: Taking taylor expansion of a in a 4.218 * [backup-simplify]: Simplify 0 into 0 4.218 * [backup-simplify]: Simplify 1 into 1 4.218 * [backup-simplify]: Simplify (/ -1 1) into -1 4.219 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.219 * [backup-simplify]: Simplify (log -1) into (log -1) 4.220 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 4.221 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 4.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.222 * [backup-simplify]: Simplify (+ 1 0) into 1 4.223 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 4.223 * [backup-simplify]: Simplify -1 into -1 4.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.225 * [backup-simplify]: Simplify (+ 0 0) into 0 4.227 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 4.228 * [backup-simplify]: Simplify -1/2 into -1/2 4.229 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 4.229 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.229 * [backup-simplify]: Simplify (cosh a) into (cosh a) 4.229 * [approximate]: Taking taylor expansion of (cosh a) in (a) around 0 4.229 * [taylor]: Taking taylor expansion of (cosh a) in a 4.229 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 4.229 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 4.229 * [taylor]: Taking taylor expansion of (exp a) in a 4.229 * [taylor]: Taking taylor expansion of a in a 4.229 * [backup-simplify]: Simplify 0 into 0 4.229 * [backup-simplify]: Simplify 1 into 1 4.229 * [backup-simplify]: Simplify (exp 0) into 1 4.229 * [taylor]: Taking taylor expansion of (exp (- a)) in a 4.229 * [taylor]: Taking taylor expansion of (- a) in a 4.229 * [taylor]: Taking taylor expansion of a in a 4.229 * [backup-simplify]: Simplify 0 into 0 4.229 * [backup-simplify]: Simplify 1 into 1 4.230 * [backup-simplify]: Simplify (- 0) into 0 4.230 * [backup-simplify]: Simplify (- 1) into -1 4.230 * [backup-simplify]: Simplify (exp 0) into 1 4.230 * [taylor]: Taking taylor expansion of 2 in a 4.230 * [backup-simplify]: Simplify 2 into 2 4.231 * [backup-simplify]: Simplify (+ 1 1) into 2 4.231 * [backup-simplify]: Simplify (/ 2 2) into 1 4.231 * [taylor]: Taking taylor expansion of (cosh a) in a 4.231 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 4.231 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 4.231 * [taylor]: Taking taylor expansion of (exp a) in a 4.231 * [taylor]: Taking taylor expansion of a in a 4.231 * [backup-simplify]: Simplify 0 into 0 4.231 * [backup-simplify]: Simplify 1 into 1 4.231 * [backup-simplify]: Simplify (exp 0) into 1 4.231 * [taylor]: Taking taylor expansion of (exp (- a)) in a 4.231 * [taylor]: Taking taylor expansion of (- a) in a 4.231 * [taylor]: Taking taylor expansion of a in a 4.231 * [backup-simplify]: Simplify 0 into 0 4.231 * [backup-simplify]: Simplify 1 into 1 4.232 * [backup-simplify]: Simplify (- 0) into 0 4.232 * [backup-simplify]: Simplify (- 1) into -1 4.232 * [backup-simplify]: Simplify (exp 0) into 1 4.232 * [taylor]: Taking taylor expansion of 2 in a 4.232 * [backup-simplify]: Simplify 2 into 2 4.233 * [backup-simplify]: Simplify (+ 1 1) into 2 4.233 * [backup-simplify]: Simplify (/ 2 2) into 1 4.233 * [backup-simplify]: Simplify 1 into 1 4.235 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.235 * [backup-simplify]: Simplify (- 1) into -1 4.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.237 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.238 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.238 * [backup-simplify]: Simplify 0 into 0 4.240 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.240 * [backup-simplify]: Simplify (- 1) into -1 4.241 * [backup-simplify]: Simplify (- 0) into 0 4.242 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.243 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.244 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 4.244 * [backup-simplify]: Simplify 1/2 into 1/2 4.247 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.247 * [backup-simplify]: Simplify (- 1) into -1 4.248 * [backup-simplify]: Simplify (- 1) into -1 4.248 * [backup-simplify]: Simplify (- 0) into 0 4.249 * [backup-simplify]: Simplify (- 0) into 0 4.251 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.252 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.252 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 4.252 * [backup-simplify]: Simplify 0 into 0 4.255 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 4.255 * [backup-simplify]: Simplify (- 1) into -1 4.255 * [backup-simplify]: Simplify (- 1) into -1 4.256 * [backup-simplify]: Simplify (- 0) into 0 4.256 * [backup-simplify]: Simplify (- 1) into -1 4.256 * [backup-simplify]: Simplify (- 0) into 0 4.256 * [backup-simplify]: Simplify (- 0) into 0 4.257 * [backup-simplify]: Simplify (- 0) into 0 4.259 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 4.259 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.260 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 4.260 * [backup-simplify]: Simplify 1/24 into 1/24 4.261 * [backup-simplify]: Simplify (+ (* 1/24 (pow a 4)) (+ (* 1/2 (pow a 2)) 1)) into (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) 4.261 * [backup-simplify]: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a)) 4.261 * [approximate]: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0 4.261 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a 4.261 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 4.261 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 4.261 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 4.261 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.261 * [taylor]: Taking taylor expansion of a in a 4.261 * [backup-simplify]: Simplify 0 into 0 4.261 * [backup-simplify]: Simplify 1 into 1 4.261 * [backup-simplify]: Simplify (/ 1 1) into 1 4.261 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 4.261 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a 4.261 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 4.261 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.262 * [taylor]: Taking taylor expansion of a in a 4.262 * [backup-simplify]: Simplify 0 into 0 4.262 * [backup-simplify]: Simplify 1 into 1 4.262 * [backup-simplify]: Simplify (/ 1 1) into 1 4.262 * [backup-simplify]: Simplify (- 1) into -1 4.262 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 4.262 * [taylor]: Taking taylor expansion of 2 in a 4.262 * [backup-simplify]: Simplify 2 into 2 4.262 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 4.262 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 4.262 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a 4.263 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 4.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 4.263 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 4.263 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.263 * [taylor]: Taking taylor expansion of a in a 4.263 * [backup-simplify]: Simplify 0 into 0 4.263 * [backup-simplify]: Simplify 1 into 1 4.263 * [backup-simplify]: Simplify (/ 1 1) into 1 4.263 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 4.263 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a 4.263 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 4.263 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.263 * [taylor]: Taking taylor expansion of a in a 4.263 * [backup-simplify]: Simplify 0 into 0 4.263 * [backup-simplify]: Simplify 1 into 1 4.263 * [backup-simplify]: Simplify (/ 1 1) into 1 4.264 * [backup-simplify]: Simplify (- 1) into -1 4.264 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 4.264 * [taylor]: Taking taylor expansion of 2 in a 4.264 * [backup-simplify]: Simplify 2 into 2 4.264 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 4.264 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 4.264 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 4.273 * [backup-simplify]: Simplify (+ 0 0) into 0 4.274 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0 4.274 * [backup-simplify]: Simplify 0 into 0 4.275 * [backup-simplify]: Simplify (+ 0 0) into 0 4.275 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.275 * [backup-simplify]: Simplify 0 into 0 4.276 * [backup-simplify]: Simplify (+ 0 0) into 0 4.277 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.277 * [backup-simplify]: Simplify 0 into 0 4.278 * [backup-simplify]: Simplify (+ 0 0) into 0 4.279 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.279 * [backup-simplify]: Simplify 0 into 0 4.280 * [backup-simplify]: Simplify (+ 0 0) into 0 4.281 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.281 * [backup-simplify]: Simplify 0 into 0 4.282 * [backup-simplify]: Simplify (+ 0 0) into 0 4.284 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.284 * [backup-simplify]: Simplify 0 into 0 4.284 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp (- a)) (exp a))) 4.284 * [backup-simplify]: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a)) 4.284 * [approximate]: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0 4.284 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a 4.284 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 4.284 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 4.285 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 4.285 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.285 * [taylor]: Taking taylor expansion of -1 in a 4.285 * [backup-simplify]: Simplify -1 into -1 4.285 * [taylor]: Taking taylor expansion of a in a 4.285 * [backup-simplify]: Simplify 0 into 0 4.285 * [backup-simplify]: Simplify 1 into 1 4.285 * [backup-simplify]: Simplify (/ -1 1) into -1 4.285 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 4.285 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a 4.285 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a 4.285 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.285 * [taylor]: Taking taylor expansion of -1 in a 4.285 * [backup-simplify]: Simplify -1 into -1 4.285 * [taylor]: Taking taylor expansion of a in a 4.285 * [backup-simplify]: Simplify 0 into 0 4.286 * [backup-simplify]: Simplify 1 into 1 4.286 * [backup-simplify]: Simplify (/ -1 1) into -1 4.286 * [backup-simplify]: Simplify (- -1) into 1 4.286 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 4.287 * [taylor]: Taking taylor expansion of 2 in a 4.287 * [backup-simplify]: Simplify 2 into 2 4.287 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 4.287 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) 4.287 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a 4.287 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 4.287 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 4.287 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 4.287 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.287 * [taylor]: Taking taylor expansion of -1 in a 4.287 * [backup-simplify]: Simplify -1 into -1 4.287 * [taylor]: Taking taylor expansion of a in a 4.287 * [backup-simplify]: Simplify 0 into 0 4.287 * [backup-simplify]: Simplify 1 into 1 4.288 * [backup-simplify]: Simplify (/ -1 1) into -1 4.288 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 4.288 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a 4.288 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a 4.288 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.288 * [taylor]: Taking taylor expansion of -1 in a 4.288 * [backup-simplify]: Simplify -1 into -1 4.288 * [taylor]: Taking taylor expansion of a in a 4.288 * [backup-simplify]: Simplify 0 into 0 4.288 * [backup-simplify]: Simplify 1 into 1 4.289 * [backup-simplify]: Simplify (/ -1 1) into -1 4.289 * [backup-simplify]: Simplify (- -1) into 1 4.289 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 4.289 * [taylor]: Taking taylor expansion of 2 in a 4.289 * [backup-simplify]: Simplify 2 into 2 4.289 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 4.290 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) 4.290 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 4.290 * [backup-simplify]: Simplify (+ 0 0) into 0 4.291 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)))) into 0 4.291 * [backup-simplify]: Simplify 0 into 0 4.292 * [backup-simplify]: Simplify (+ 0 0) into 0 4.293 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.294 * [backup-simplify]: Simplify 0 into 0 4.294 * [backup-simplify]: Simplify (+ 0 0) into 0 4.296 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.296 * [backup-simplify]: Simplify 0 into 0 4.296 * [backup-simplify]: Simplify (+ 0 0) into 0 4.299 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.299 * [backup-simplify]: Simplify 0 into 0 4.300 * [backup-simplify]: Simplify (+ 0 0) into 0 4.303 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.303 * [backup-simplify]: Simplify 0 into 0 4.303 * [backup-simplify]: Simplify (+ 0 0) into 0 4.307 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.308 * [backup-simplify]: Simplify 0 into 0 4.308 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a))) 4.308 * * * [progress]: simplifying candidates 4.310 * [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)) (expm1 (cosh a)) (log1p (cosh a)) (+ (exp a) (exp (- a))) (log (cosh a)) (exp (cosh a)) (* (cbrt (cosh a)) (cbrt (cosh a))) (cbrt (cosh a)) (* (* (cosh a) (cosh a)) (cosh a)) (sqrt (cosh a)) (sqrt (cosh 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))) (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2))) (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2))))) (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) (+ (* 1/2 (pow a 2)) (+ (* 1/24 (pow a 4)) 1)) (* 1/2 (+ (exp (- a)) (exp a))) (* 1/2 (+ (exp (* -1 a)) (exp a))) 4.312 * * [simplify]: Extracting # 0 : cost 0 4.312 * * [simplify]: Extracting # 1 : cost 0 4.312 * * [simplify]: Extracting # 2 : cost 0 4.312 * * [simplify]: Extracting # 3 : cost 0 4.312 * * [simplify]: Extracting # 4 : cost 0 4.313 * * [simplify]: Extracting # 5 : cost 0 4.313 * * [simplify]: Extracting # 6 : cost 0 4.313 * * [simplify]: Extracting # 7 : cost 0 4.313 * * [simplify]: Extracting # 8 : cost 0 4.313 * * [simplify]: Extracting # 9 : cost 0 4.314 * * [simplify]: iteration 0 : 90 enodes (cost 436 ) 4.346 * * [simplify]: Extracting # 0 : cost 0 4.346 * * [simplify]: Extracting # 1 : cost 0 4.347 * * [simplify]: Extracting # 2 : cost 0 4.347 * * [simplify]: Extracting # 3 : cost 0 4.347 * * [simplify]: Extracting # 4 : cost 0 4.347 * * [simplify]: iteration 1 : 161 enodes (cost 425 ) 4.391 * * [simplify]: Extracting # 0 : cost 0 4.392 * * [simplify]: Extracting # 1 : cost 0 4.392 * * [simplify]: Extracting # 2 : cost 0 4.392 * * [simplify]: Extracting # 3 : cost 0 4.392 * * [simplify]: Extracting # 4 : cost 0 4.393 * * [simplify]: iteration 2 : 310 enodes (cost 384 ) 4.502 * * [simplify]: Extracting # 0 : cost 0 4.503 * * [simplify]: Extracting # 1 : cost 0 4.503 * * [simplify]: Extracting # 2 : cost 0 4.504 * * [simplify]: Extracting # 3 : cost 0 4.505 * * [simplify]: Extracting # 4 : cost 0 4.505 * * [simplify]: iteration 3 : 657 enodes (cost 383 ) 4.944 * * [simplify]: Extracting # 0 : cost 0 4.947 * * [simplify]: Extracting # 1 : cost 0 4.950 * * [simplify]: Extracting # 2 : cost 0 4.952 * * [simplify]: Extracting # 3 : cost 0 4.955 * * [simplify]: Extracting # 4 : cost 0 4.958 * * [simplify]: iteration 4 : 1514 enodes (cost 376 ) 6.972 * * [simplify]: Extracting # 0 : cost 0 6.980 * * [simplify]: Extracting # 1 : cost 0 6.987 * * [simplify]: Extracting # 2 : cost 0 6.991 * * [simplify]: Extracting # 3 : cost 0 6.994 * * [simplify]: Extracting # 4 : cost 0 6.997 * * [simplify]: iteration 5 : 3936 enodes (cost 376 ) 8.768 * * [simplify]: Extracting # 0 : cost 0 8.774 * * [simplify]: Extracting # 1 : cost 0 8.778 * * [simplify]: Extracting # 2 : cost 0 8.783 * * [simplify]: iteration done: 5000 enodes (cost 376 ) 8.783 * [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))) (pow (fmod (cosh a) (* a a)) 3) (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)))) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3) (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)) (pow (log1p a) 3) (sqrt (log1p a)) (sqrt (log1p a)) (expm1 (cosh a)) (log1p (cosh a)) (+ (exp a) (exp (- a))) (log (cosh a)) (exp (cosh a)) (* (cbrt (cosh a)) (cbrt (cosh a))) (cbrt (cosh a)) (pow (cosh a) 3) (sqrt (cosh a)) (sqrt (cosh 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 a 1/3 -1/2) a) (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a))) (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a))) (fma 1/2 (* a a) (fma 1/24 (pow a 4) 1)) (* 1/2 (+ (exp (- a)) (exp a))) (* 1/2 (+ (exp (- a)) (exp a))) 8.784 * * * [progress]: adding candidates to table 9.069 * * [progress]: iteration 2 / 4 9.069 * * * [progress]: picking best candidate 9.095 * * * * [pick]: Picked # 9.096 * * * [progress]: localizing error 9.133 * * * [progress]: generating rewritten candidates 9.133 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 9.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 9.138 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 9.139 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 9.140 * * * [progress]: generating series expansions 9.140 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 9.141 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 9.141 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 9.141 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 9.141 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.141 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 9.141 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.141 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.141 * [backup-simplify]: Simplify 0 into 0 9.141 * [backup-simplify]: Simplify 0 into 0 9.141 * [backup-simplify]: Simplify 0 into 0 9.141 * [backup-simplify]: Simplify 0 into 0 9.141 * [backup-simplify]: Simplify 0 into 0 9.141 * [backup-simplify]: Simplify 0 into 0 9.141 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.141 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.142 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 9.142 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 9.142 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.142 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 9.142 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.142 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 9.142 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.143 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 9.143 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 9.143 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.143 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 9.143 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.143 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.143 * [backup-simplify]: Simplify 0 into 0 9.143 * [backup-simplify]: Simplify 0 into 0 9.143 * [backup-simplify]: Simplify 0 into 0 9.143 * [backup-simplify]: Simplify 0 into 0 9.143 * [backup-simplify]: Simplify 0 into 0 9.143 * [backup-simplify]: Simplify 0 into 0 9.143 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 9.143 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 9.143 * [backup-simplify]: Simplify (log (exp (log1p a))) into (log1p a) 9.144 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 9.144 * [taylor]: Taking taylor expansion of (log1p a) in a 9.144 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.144 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.144 * [taylor]: Taking taylor expansion of 1 in a 9.144 * [backup-simplify]: Simplify 1 into 1 9.144 * [taylor]: Taking taylor expansion of a in a 9.144 * [backup-simplify]: Simplify 0 into 0 9.144 * [backup-simplify]: Simplify 1 into 1 9.144 * [backup-simplify]: Simplify (+ 1 0) into 1 9.145 * [backup-simplify]: Simplify (log 1) into 0 9.145 * [taylor]: Taking taylor expansion of (log1p a) in a 9.145 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.145 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.145 * [taylor]: Taking taylor expansion of 1 in a 9.145 * [backup-simplify]: Simplify 1 into 1 9.145 * [taylor]: Taking taylor expansion of a in a 9.145 * [backup-simplify]: Simplify 0 into 0 9.145 * [backup-simplify]: Simplify 1 into 1 9.145 * [backup-simplify]: Simplify (+ 1 0) into 1 9.145 * [backup-simplify]: Simplify (log 1) into 0 9.145 * [backup-simplify]: Simplify 0 into 0 9.146 * [backup-simplify]: Simplify (+ 0 1) into 1 9.146 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.146 * [backup-simplify]: Simplify 1 into 1 9.147 * [backup-simplify]: Simplify (+ 0 0) into 0 9.148 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 9.148 * [backup-simplify]: Simplify -1/2 into -1/2 9.149 * [backup-simplify]: Simplify (+ 0 0) into 0 9.151 * [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 9.151 * [backup-simplify]: Simplify 1/3 into 1/3 9.152 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2))) 9.152 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 a)))) into (log1p (/ 1 a)) 9.152 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 9.152 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.152 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.152 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.152 * [taylor]: Taking taylor expansion of 1 in a 9.152 * [backup-simplify]: Simplify 1 into 1 9.152 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.152 * [taylor]: Taking taylor expansion of a in a 9.152 * [backup-simplify]: Simplify 0 into 0 9.152 * [backup-simplify]: Simplify 1 into 1 9.152 * [backup-simplify]: Simplify (/ 1 1) into 1 9.153 * [backup-simplify]: Simplify (+ 0 1) into 1 9.153 * [backup-simplify]: Simplify (log 1) into 0 9.153 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.153 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.153 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.153 * [taylor]: Taking taylor expansion of 1 in a 9.153 * [backup-simplify]: Simplify 1 into 1 9.153 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.153 * [taylor]: Taking taylor expansion of a in a 9.153 * [backup-simplify]: Simplify 0 into 0 9.153 * [backup-simplify]: Simplify 1 into 1 9.153 * [backup-simplify]: Simplify (/ 1 1) into 1 9.154 * [backup-simplify]: Simplify (+ 0 1) into 1 9.154 * [backup-simplify]: Simplify (log 1) into 0 9.154 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 9.154 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 9.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.155 * [backup-simplify]: Simplify (+ 1 0) into 1 9.156 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.156 * [backup-simplify]: Simplify 1 into 1 9.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.157 * [backup-simplify]: Simplify (+ 0 0) into 0 9.158 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 9.158 * [backup-simplify]: Simplify -1/2 into -1/2 9.159 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2))))) 9.159 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 (- a))))) into (log1p (/ -1 a)) 9.159 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 9.159 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.159 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.159 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.159 * [taylor]: Taking taylor expansion of 1 in a 9.159 * [backup-simplify]: Simplify 1 into 1 9.159 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.159 * [taylor]: Taking taylor expansion of -1 in a 9.159 * [backup-simplify]: Simplify -1 into -1 9.159 * [taylor]: Taking taylor expansion of a in a 9.159 * [backup-simplify]: Simplify 0 into 0 9.159 * [backup-simplify]: Simplify 1 into 1 9.159 * [backup-simplify]: Simplify (/ -1 1) into -1 9.160 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.160 * [backup-simplify]: Simplify (log -1) into (log -1) 9.160 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.160 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.160 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.160 * [taylor]: Taking taylor expansion of 1 in a 9.160 * [backup-simplify]: Simplify 1 into 1 9.160 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.160 * [taylor]: Taking taylor expansion of -1 in a 9.160 * [backup-simplify]: Simplify -1 into -1 9.160 * [taylor]: Taking taylor expansion of a in a 9.160 * [backup-simplify]: Simplify 0 into 0 9.160 * [backup-simplify]: Simplify 1 into 1 9.161 * [backup-simplify]: Simplify (/ -1 1) into -1 9.161 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.161 * [backup-simplify]: Simplify (log -1) into (log -1) 9.162 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 9.162 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 9.163 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.163 * [backup-simplify]: Simplify (+ 1 0) into 1 9.164 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 9.164 * [backup-simplify]: Simplify -1 into -1 9.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.166 * [backup-simplify]: Simplify (+ 0 0) into 0 9.168 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 9.168 * [backup-simplify]: Simplify -1/2 into -1/2 9.169 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 9.169 * * * * [progress]: [ 3 / 4 ] generating series at (2) 9.170 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 9.170 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 9.170 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 9.170 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 9.170 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 9.171 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 9.171 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 9.171 * [backup-simplify]: Simplify 0 into 0 9.171 * [backup-simplify]: Simplify 0 into 0 9.171 * [backup-simplify]: Simplify 0 into 0 9.171 * [backup-simplify]: Simplify 0 into 0 9.171 * [backup-simplify]: Simplify 0 into 0 9.171 * [backup-simplify]: Simplify 0 into 0 9.171 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 9.172 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log (exp (log1p (/ 1 a)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 9.172 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 9.172 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 9.172 * [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)))) 9.172 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 9.173 * [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)))) 9.173 * [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)))) 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify 0 into 0 9.174 * [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))) 9.175 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log (exp (log1p (/ 1 (- a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 9.175 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 9.175 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 9.175 * [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)))) 9.175 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 9.175 * [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)))) 9.176 * [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)))) 9.176 * [backup-simplify]: Simplify 0 into 0 9.176 * [backup-simplify]: Simplify 0 into 0 9.176 * [backup-simplify]: Simplify 0 into 0 9.176 * [backup-simplify]: Simplify 0 into 0 9.176 * [backup-simplify]: Simplify 0 into 0 9.176 * [backup-simplify]: Simplify 0 into 0 9.177 * [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))) 9.177 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 9.177 * [backup-simplify]: Simplify (log1p a) into (log1p a) 9.177 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 9.177 * [taylor]: Taking taylor expansion of (log1p a) in a 9.177 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.177 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.177 * [taylor]: Taking taylor expansion of 1 in a 9.177 * [backup-simplify]: Simplify 1 into 1 9.177 * [taylor]: Taking taylor expansion of a in a 9.177 * [backup-simplify]: Simplify 0 into 0 9.177 * [backup-simplify]: Simplify 1 into 1 9.178 * [backup-simplify]: Simplify (+ 1 0) into 1 9.178 * [backup-simplify]: Simplify (log 1) into 0 9.178 * [taylor]: Taking taylor expansion of (log1p a) in a 9.178 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.179 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.179 * [taylor]: Taking taylor expansion of 1 in a 9.179 * [backup-simplify]: Simplify 1 into 1 9.179 * [taylor]: Taking taylor expansion of a in a 9.179 * [backup-simplify]: Simplify 0 into 0 9.179 * [backup-simplify]: Simplify 1 into 1 9.179 * [backup-simplify]: Simplify (+ 1 0) into 1 9.180 * [backup-simplify]: Simplify (log 1) into 0 9.180 * [backup-simplify]: Simplify 0 into 0 9.180 * [backup-simplify]: Simplify (+ 0 1) into 1 9.181 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.181 * [backup-simplify]: Simplify 1 into 1 9.182 * [backup-simplify]: Simplify (+ 0 0) into 0 9.184 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 9.184 * [backup-simplify]: Simplify -1/2 into -1/2 9.185 * [backup-simplify]: Simplify (+ 0 0) into 0 9.190 * [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 9.190 * [backup-simplify]: Simplify 1/3 into 1/3 9.191 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2))) 9.191 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 9.191 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 9.191 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.191 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.191 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.191 * [taylor]: Taking taylor expansion of 1 in a 9.191 * [backup-simplify]: Simplify 1 into 1 9.191 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.191 * [taylor]: Taking taylor expansion of a in a 9.191 * [backup-simplify]: Simplify 0 into 0 9.191 * [backup-simplify]: Simplify 1 into 1 9.192 * [backup-simplify]: Simplify (/ 1 1) into 1 9.192 * [backup-simplify]: Simplify (+ 0 1) into 1 9.192 * [backup-simplify]: Simplify (log 1) into 0 9.193 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.193 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.193 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.193 * [taylor]: Taking taylor expansion of 1 in a 9.193 * [backup-simplify]: Simplify 1 into 1 9.193 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.193 * [taylor]: Taking taylor expansion of a in a 9.193 * [backup-simplify]: Simplify 0 into 0 9.193 * [backup-simplify]: Simplify 1 into 1 9.193 * [backup-simplify]: Simplify (/ 1 1) into 1 9.194 * [backup-simplify]: Simplify (+ 0 1) into 1 9.194 * [backup-simplify]: Simplify (log 1) into 0 9.195 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 9.195 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 9.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.196 * [backup-simplify]: Simplify (+ 1 0) into 1 9.197 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.197 * [backup-simplify]: Simplify 1 into 1 9.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.198 * [backup-simplify]: Simplify (+ 0 0) into 0 9.201 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 9.201 * [backup-simplify]: Simplify -1/2 into -1/2 9.202 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2))))) 9.202 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 9.202 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 9.202 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.202 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.202 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.202 * [taylor]: Taking taylor expansion of 1 in a 9.202 * [backup-simplify]: Simplify 1 into 1 9.202 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.202 * [taylor]: Taking taylor expansion of -1 in a 9.202 * [backup-simplify]: Simplify -1 into -1 9.202 * [taylor]: Taking taylor expansion of a in a 9.202 * [backup-simplify]: Simplify 0 into 0 9.202 * [backup-simplify]: Simplify 1 into 1 9.203 * [backup-simplify]: Simplify (/ -1 1) into -1 9.203 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.204 * [backup-simplify]: Simplify (log -1) into (log -1) 9.204 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.204 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.204 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.204 * [taylor]: Taking taylor expansion of 1 in a 9.204 * [backup-simplify]: Simplify 1 into 1 9.204 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.204 * [taylor]: Taking taylor expansion of -1 in a 9.204 * [backup-simplify]: Simplify -1 into -1 9.204 * [taylor]: Taking taylor expansion of a in a 9.204 * [backup-simplify]: Simplify 0 into 0 9.204 * [backup-simplify]: Simplify 1 into 1 9.204 * [backup-simplify]: Simplify (/ -1 1) into -1 9.205 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.205 * [backup-simplify]: Simplify (log -1) into (log -1) 9.206 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 9.207 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 9.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.208 * [backup-simplify]: Simplify (+ 1 0) into 1 9.210 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 9.210 * [backup-simplify]: Simplify -1 into -1 9.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.211 * [backup-simplify]: Simplify (+ 0 0) into 0 9.214 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 9.214 * [backup-simplify]: Simplify -1/2 into -1/2 9.215 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 9.215 * * * [progress]: simplifying candidates 9.216 * [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 (exp (log1p a)))) (log1p (log (exp (log1p a)))) (log (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))) (log 1) (log (exp (log1p a))) (log (exp (log1p a))) (log (exp (* (cbrt (log1p a)) (cbrt (log1p a))))) (log (exp (sqrt (log1p a)))) (log (exp 1)) (log (log (exp (log1p a)))) (exp (log (exp (log1p a)))) (* (cbrt (log (exp (log1p a)))) (cbrt (log (exp (log1p a))))) (cbrt (log (exp (log1p a)))) (* (* (log (exp (log1p a))) (log (exp (log1p a)))) (log (exp (log1p a)))) (sqrt (log (exp (log1p a)))) (sqrt (log (exp (log1p a)))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) (log (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (exp (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (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)) (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2))) (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2))))) (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) (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))) (- (+ (* 1/3 (pow a 3)) a) (* 1/2 (pow a 2))) (- (/ 1 a) (+ (log (/ 1 a)) (* 1/2 (/ 1 (pow a 2))))) (- (+ (log -1) (/ 1 a)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a)))) 9.218 * * [simplify]: Extracting # 0 : cost 0 9.219 * * [simplify]: Extracting # 1 : cost 0 9.219 * * [simplify]: Extracting # 2 : cost 0 9.219 * * [simplify]: Extracting # 3 : cost 0 9.219 * * [simplify]: Extracting # 4 : cost 0 9.219 * * [simplify]: Extracting # 5 : cost 0 9.220 * * [simplify]: Extracting # 6 : cost 0 9.220 * * [simplify]: iteration 0 : 88 enodes (cost 550 ) 9.252 * * [simplify]: Extracting # 0 : cost 0 9.253 * * [simplify]: Extracting # 1 : cost 0 9.253 * * [simplify]: Extracting # 2 : cost 0 9.253 * * [simplify]: Extracting # 3 : cost 0 9.254 * * [simplify]: Extracting # 4 : cost 0 9.254 * * [simplify]: Extracting # 5 : cost 0 9.254 * * [simplify]: iteration 1 : 144 enodes (cost 473 ) 9.314 * * [simplify]: Extracting # 0 : cost 0 9.315 * * [simplify]: Extracting # 1 : cost 0 9.315 * * [simplify]: Extracting # 2 : cost 0 9.316 * * [simplify]: Extracting # 3 : cost 0 9.316 * * [simplify]: Extracting # 4 : cost 0 9.316 * * [simplify]: iteration 2 : 259 enodes (cost 428 ) 9.405 * * [simplify]: Extracting # 0 : cost 0 9.405 * * [simplify]: Extracting # 1 : cost 0 9.406 * * [simplify]: Extracting # 2 : cost 0 9.407 * * [simplify]: Extracting # 3 : cost 0 9.408 * * [simplify]: Extracting # 4 : cost 0 9.409 * * [simplify]: Extracting # 5 : cost 0 9.410 * * [simplify]: iteration 3 : 504 enodes (cost 426 ) 9.848 * * [simplify]: Extracting # 0 : cost 0 9.850 * * [simplify]: Extracting # 1 : cost 0 9.852 * * [simplify]: Extracting # 2 : cost 0 9.854 * * [simplify]: Extracting # 3 : cost 0 9.856 * * [simplify]: Extracting # 4 : cost 0 9.858 * * [simplify]: iteration 4 : 1093 enodes (cost 412 ) 11.318 * * [simplify]: Extracting # 0 : cost 0 11.324 * * [simplify]: Extracting # 1 : cost 0 11.329 * * [simplify]: Extracting # 2 : cost 0 11.333 * * [simplify]: Extracting # 3 : cost 0 11.338 * * [simplify]: Extracting # 4 : cost 0 11.342 * * [simplify]: iteration 5 : 2718 enodes (cost 412 ) 13.536 * * [simplify]: Extracting # 0 : cost 0 13.547 * * [simplify]: Extracting # 1 : cost 0 13.555 * * [simplify]: Extracting # 2 : cost 0 13.564 * * [simplify]: Extracting # 3 : cost 0 13.571 * * [simplify]: Extracting # 4 : cost 0 13.584 * * [simplify]: iteration done: 5000 enodes (cost 412 ) 13.585 * [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))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) a (log1p (log1p a)) (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))) 0 (log1p a) (log1p a) (* (cbrt (log1p a)) (cbrt (log1p a))) (sqrt (log1p a)) 1 (log (log1p a)) (exp (log1p a)) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (pow (log1p a) 3) (sqrt (log1p a)) (sqrt (log1p a)) (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (+ 1 a) a (log1p (log1p a)) (log (log1p a)) (exp (log1p a)) (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a)) (pow (log1p a) 3) (sqrt (log1p a)) (sqrt (log1p a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fma a (* a (fma a 1/3 -1/2)) a) (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a))) (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a))) (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))) (fma a (* a (fma a 1/3 -1/2)) a) (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a))) (- (/ 1 a) (- (/ 1/2 (pow a 2)) (log a))) 13.586 * * * [progress]: adding candidates to table 13.931 * * [progress]: iteration 3 / 4 13.931 * * * [progress]: picking best candidate 13.968 * * * * [pick]: Picked # 13.968 * * * [progress]: localizing error 13.991 * * * [progress]: generating rewritten candidates 13.991 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 13.991 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 13.995 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 13.998 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 14.000 * * * [progress]: generating series expansions 14.000 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 14.000 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 14.000 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 14.000 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.000 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.000 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.000 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.001 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.001 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.001 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 14.001 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 14.001 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.001 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 14.001 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.001 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.001 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 14.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.002 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 14.002 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 14.002 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.002 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 14.002 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.002 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.002 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 14.003 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 14.003 * [backup-simplify]: Simplify (log (cbrt (exp (log1p a)))) into (log (pow (exp (log1p a)) 1/3)) 14.003 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in (a) around 0 14.003 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.003 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.003 * [taylor]: Taking taylor expansion of 1/3 in a 14.003 * [backup-simplify]: Simplify 1/3 into 1/3 14.003 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.003 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.003 * [taylor]: Taking taylor expansion of (log1p a) in a 14.003 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.003 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.003 * [taylor]: Taking taylor expansion of 1 in a 14.003 * [backup-simplify]: Simplify 1 into 1 14.003 * [taylor]: Taking taylor expansion of a in a 14.003 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify 1 into 1 14.004 * [backup-simplify]: Simplify (+ 1 0) into 1 14.004 * [backup-simplify]: Simplify (log 1) into 0 14.005 * [backup-simplify]: Simplify (+ 0 1) into 1 14.005 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.005 * [backup-simplify]: Simplify (exp 0) into 1 14.006 * [backup-simplify]: Simplify (log 1) into 0 14.006 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.007 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.007 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.008 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.008 * [backup-simplify]: Simplify (exp 0) into 1 14.008 * [backup-simplify]: Simplify (log 1) into 0 14.008 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.008 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.008 * [taylor]: Taking taylor expansion of 1/3 in a 14.008 * [backup-simplify]: Simplify 1/3 into 1/3 14.008 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.008 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.008 * [taylor]: Taking taylor expansion of (log1p a) in a 14.008 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.008 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.008 * [taylor]: Taking taylor expansion of 1 in a 14.008 * [backup-simplify]: Simplify 1 into 1 14.008 * [taylor]: Taking taylor expansion of a in a 14.008 * [backup-simplify]: Simplify 0 into 0 14.008 * [backup-simplify]: Simplify 1 into 1 14.009 * [backup-simplify]: Simplify (+ 1 0) into 1 14.009 * [backup-simplify]: Simplify (log 1) into 0 14.009 * [backup-simplify]: Simplify (+ 0 1) into 1 14.010 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.010 * [backup-simplify]: Simplify (exp 0) into 1 14.010 * [backup-simplify]: Simplify (log 1) into 0 14.011 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.011 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.012 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.012 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.012 * [backup-simplify]: Simplify (exp 0) into 1 14.013 * [backup-simplify]: Simplify (log 1) into 0 14.013 * [backup-simplify]: Simplify 0 into 0 14.013 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 14.014 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/3) 1)) (pow 1 1)))) 1) into 1/3 14.014 * [backup-simplify]: Simplify 1/3 into 1/3 14.015 * [backup-simplify]: Simplify (+ 0 0) into 0 14.017 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 14.018 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.019 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 14.020 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 14.021 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 14.023 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/3) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/9) 1)) (pow 1 1)))) 2) into -1/6 14.023 * [backup-simplify]: Simplify -1/6 into -1/6 14.023 * [backup-simplify]: Simplify (+ 0 0) into 0 14.026 * [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 14.028 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0 14.030 * [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 14.031 * [backup-simplify]: Simplify (+ (* 1/3 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/9 14.035 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 3) 6)) (* (/ (pow 1/3 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow 1/9 1) 1)))) into 5/81 14.038 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/3) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/3) 1) (pow (* 2 -1/9) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 5/81) 1)) (pow 1 1)))) 6) into 1/9 14.038 * [backup-simplify]: Simplify 1/9 into 1/9 14.039 * [backup-simplify]: Simplify (+ (* 1/9 (pow a 3)) (+ (* -1/6 (pow a 2)) (* 1/3 a))) into (- (+ (* 1/9 (pow a 3)) (* 1/3 a)) (* 1/6 (pow a 2))) 14.039 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 a))))) into (log (pow (exp (log1p (/ 1 a))) 1/3)) 14.039 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in (a) around 0 14.039 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.039 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.039 * [taylor]: Taking taylor expansion of 1/3 in a 14.039 * [backup-simplify]: Simplify 1/3 into 1/3 14.039 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.039 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.039 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.039 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.039 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.039 * [taylor]: Taking taylor expansion of 1 in a 14.039 * [backup-simplify]: Simplify 1 into 1 14.039 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.039 * [taylor]: Taking taylor expansion of a in a 14.039 * [backup-simplify]: Simplify 0 into 0 14.039 * [backup-simplify]: Simplify 1 into 1 14.040 * [backup-simplify]: Simplify (/ 1 1) into 1 14.040 * [backup-simplify]: Simplify (+ 0 1) into 1 14.040 * [backup-simplify]: Simplify (log 1) into 0 14.041 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.041 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.041 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.041 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.041 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.041 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.041 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.041 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.041 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.041 * [taylor]: Taking taylor expansion of 1/3 in a 14.041 * [backup-simplify]: Simplify 1/3 into 1/3 14.041 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.041 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.041 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.041 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.042 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.042 * [taylor]: Taking taylor expansion of 1 in a 14.042 * [backup-simplify]: Simplify 1 into 1 14.042 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.042 * [taylor]: Taking taylor expansion of a in a 14.042 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify 1 into 1 14.042 * [backup-simplify]: Simplify (/ 1 1) into 1 14.042 * [backup-simplify]: Simplify (+ 0 1) into 1 14.042 * [backup-simplify]: Simplify (log 1) into 0 14.043 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.043 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.043 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.043 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.043 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.043 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.043 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.044 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.044 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.045 * [backup-simplify]: Simplify (+ 1 0) into 1 14.045 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.046 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 14.046 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 14.046 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log a)))) into 1/3 14.047 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 a) 1/3)) 14.047 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/3 (pow (/ 1 a) 1/3))) 1)) (pow (pow a -1/3) 1)))) 1) into 1/3 14.047 * [backup-simplify]: Simplify 1/3 into 1/3 14.048 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.049 * [backup-simplify]: Simplify (+ 0 0) into 0 14.050 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 14.051 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.052 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (exp (- (log a)))) 2)) (pow (exp (- (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log a))) 1)))) 2) into -1/2 14.052 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/6) 14.053 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 a) 1/3)) 14.054 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/3 (pow (/ 1 a) 1/3))) 2)) (pow (pow a -1/3) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/9 (pow (/ 1 a) 1/3))) 1)) (pow (pow a -1/3) 1)))) 2) into -1/6 14.054 * [backup-simplify]: Simplify -1/6 into -1/6 14.054 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 a) 2)) (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3)))) into (- (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3))) (* 1/6 (/ 1 (pow a 2)))) 14.055 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 (- a)))))) into (log (pow (exp (log1p (/ -1 a))) 1/3)) 14.055 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in (a) around 0 14.055 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.055 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.055 * [taylor]: Taking taylor expansion of 1/3 in a 14.055 * [backup-simplify]: Simplify 1/3 into 1/3 14.055 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.055 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.055 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.055 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.055 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.055 * [taylor]: Taking taylor expansion of 1 in a 14.055 * [backup-simplify]: Simplify 1 into 1 14.055 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.055 * [taylor]: Taking taylor expansion of -1 in a 14.055 * [backup-simplify]: Simplify -1 into -1 14.055 * [taylor]: Taking taylor expansion of a in a 14.055 * [backup-simplify]: Simplify 0 into 0 14.055 * [backup-simplify]: Simplify 1 into 1 14.055 * [backup-simplify]: Simplify (/ -1 1) into -1 14.056 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.056 * [backup-simplify]: Simplify (log -1) into (log -1) 14.057 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.057 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.057 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.058 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.058 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.059 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.059 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.059 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.059 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.059 * [taylor]: Taking taylor expansion of 1/3 in a 14.059 * [backup-simplify]: Simplify 1/3 into 1/3 14.059 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.059 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.059 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.059 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.059 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.059 * [taylor]: Taking taylor expansion of 1 in a 14.059 * [backup-simplify]: Simplify 1 into 1 14.059 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.059 * [taylor]: Taking taylor expansion of -1 in a 14.059 * [backup-simplify]: Simplify -1 into -1 14.059 * [taylor]: Taking taylor expansion of a in a 14.059 * [backup-simplify]: Simplify 0 into 0 14.059 * [backup-simplify]: Simplify 1 into 1 14.060 * [backup-simplify]: Simplify (/ -1 1) into -1 14.060 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.060 * [backup-simplify]: Simplify (log -1) into (log -1) 14.061 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.061 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.061 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.062 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.062 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.062 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.063 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.063 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.064 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.065 * [backup-simplify]: Simplify (+ 1 0) into 1 14.067 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 14.068 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 14.070 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 14.071 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log a)))) into (- 1/3) 14.072 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log a))))) 14.073 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1/3 (exp (* 1/3 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/3 (- (log -1) (log a)))) 1)))) 1) into -1/3 14.073 * [backup-simplify]: Simplify -1/3 into -1/3 14.087 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.089 * [backup-simplify]: Simplify (+ 0 0) into 0 14.092 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 14.094 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.097 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 2)) (pow (exp (- (log -1) (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log -1) (log a))) 1)))) 2) into -1/2 14.098 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/6) 14.101 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log a))))) 14.104 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1/3 (exp (* 1/3 (- (log -1) (log a)))))) 2)) (pow (exp (* 1/3 (- (log -1) (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/9 (exp (* 1/3 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/3 (- (log -1) (log a)))) 1)))) 2) into -1/6 14.104 * [backup-simplify]: Simplify -1/6 into -1/6 14.105 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- a)) 2)) (+ (* -1/3 (/ 1 (- a))) (* 1/3 (- (log -1) (log (/ 1 (- a))))))) into (- (+ (* 1/3 (log -1)) (* 1/3 (/ 1 a))) (+ (* 1/6 (/ 1 (pow a 2))) (* 1/3 (log (/ -1 a))))) 14.105 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 14.105 * [backup-simplify]: Simplify (log (cbrt (exp (log1p a)))) into (log (pow (exp (log1p a)) 1/3)) 14.105 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in (a) around 0 14.105 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.105 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.105 * [taylor]: Taking taylor expansion of 1/3 in a 14.105 * [backup-simplify]: Simplify 1/3 into 1/3 14.105 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.105 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.105 * [taylor]: Taking taylor expansion of (log1p a) in a 14.105 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.105 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.105 * [taylor]: Taking taylor expansion of 1 in a 14.105 * [backup-simplify]: Simplify 1 into 1 14.105 * [taylor]: Taking taylor expansion of a in a 14.105 * [backup-simplify]: Simplify 0 into 0 14.106 * [backup-simplify]: Simplify 1 into 1 14.106 * [backup-simplify]: Simplify (+ 1 0) into 1 14.106 * [backup-simplify]: Simplify (log 1) into 0 14.107 * [backup-simplify]: Simplify (+ 0 1) into 1 14.108 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.108 * [backup-simplify]: Simplify (exp 0) into 1 14.109 * [backup-simplify]: Simplify (log 1) into 0 14.109 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.110 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.111 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.112 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.112 * [backup-simplify]: Simplify (exp 0) into 1 14.112 * [backup-simplify]: Simplify (log 1) into 0 14.112 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.112 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.113 * [taylor]: Taking taylor expansion of 1/3 in a 14.113 * [backup-simplify]: Simplify 1/3 into 1/3 14.113 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.113 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.113 * [taylor]: Taking taylor expansion of (log1p a) in a 14.113 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.113 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.113 * [taylor]: Taking taylor expansion of 1 in a 14.113 * [backup-simplify]: Simplify 1 into 1 14.113 * [taylor]: Taking taylor expansion of a in a 14.113 * [backup-simplify]: Simplify 0 into 0 14.113 * [backup-simplify]: Simplify 1 into 1 14.114 * [backup-simplify]: Simplify (+ 1 0) into 1 14.114 * [backup-simplify]: Simplify (log 1) into 0 14.114 * [backup-simplify]: Simplify (+ 0 1) into 1 14.116 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.116 * [backup-simplify]: Simplify (exp 0) into 1 14.116 * [backup-simplify]: Simplify (log 1) into 0 14.117 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.118 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.119 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.120 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.120 * [backup-simplify]: Simplify (exp 0) into 1 14.120 * [backup-simplify]: Simplify (log 1) into 0 14.120 * [backup-simplify]: Simplify 0 into 0 14.121 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 14.123 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/3) 1)) (pow 1 1)))) 1) into 1/3 14.123 * [backup-simplify]: Simplify 1/3 into 1/3 14.123 * [backup-simplify]: Simplify (+ 0 0) into 0 14.126 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 14.128 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.131 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 14.132 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 14.134 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 14.137 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/3) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/9) 1)) (pow 1 1)))) 2) into -1/6 14.138 * [backup-simplify]: Simplify -1/6 into -1/6 14.138 * [backup-simplify]: Simplify (+ 0 0) into 0 14.143 * [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 14.147 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0 14.152 * [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 14.153 * [backup-simplify]: Simplify (+ (* 1/3 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/9 14.157 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 3) 6)) (* (/ (pow 1/3 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow 1/9 1) 1)))) into 5/81 14.163 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/3) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/3) 1) (pow (* 2 -1/9) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 5/81) 1)) (pow 1 1)))) 6) into 1/9 14.163 * [backup-simplify]: Simplify 1/9 into 1/9 14.164 * [backup-simplify]: Simplify (+ (* 1/9 (pow a 3)) (+ (* -1/6 (pow a 2)) (* 1/3 a))) into (- (+ (* 1/9 (pow a 3)) (* 1/3 a)) (* 1/6 (pow a 2))) 14.164 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 a))))) into (log (pow (exp (log1p (/ 1 a))) 1/3)) 14.164 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in (a) around 0 14.164 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.164 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.164 * [taylor]: Taking taylor expansion of 1/3 in a 14.164 * [backup-simplify]: Simplify 1/3 into 1/3 14.164 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.164 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.164 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.164 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.164 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.164 * [taylor]: Taking taylor expansion of 1 in a 14.164 * [backup-simplify]: Simplify 1 into 1 14.164 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.164 * [taylor]: Taking taylor expansion of a in a 14.164 * [backup-simplify]: Simplify 0 into 0 14.164 * [backup-simplify]: Simplify 1 into 1 14.165 * [backup-simplify]: Simplify (/ 1 1) into 1 14.165 * [backup-simplify]: Simplify (+ 0 1) into 1 14.166 * [backup-simplify]: Simplify (log 1) into 0 14.166 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.167 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.167 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.167 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.167 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.167 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.167 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.167 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.167 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.167 * [taylor]: Taking taylor expansion of 1/3 in a 14.168 * [backup-simplify]: Simplify 1/3 into 1/3 14.168 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.168 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.168 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.168 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.168 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.168 * [taylor]: Taking taylor expansion of 1 in a 14.168 * [backup-simplify]: Simplify 1 into 1 14.168 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.168 * [taylor]: Taking taylor expansion of a in a 14.168 * [backup-simplify]: Simplify 0 into 0 14.168 * [backup-simplify]: Simplify 1 into 1 14.168 * [backup-simplify]: Simplify (/ 1 1) into 1 14.169 * [backup-simplify]: Simplify (+ 0 1) into 1 14.169 * [backup-simplify]: Simplify (log 1) into 0 14.170 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.170 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.170 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.170 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.170 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.171 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.171 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.171 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.171 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.173 * [backup-simplify]: Simplify (+ 1 0) into 1 14.174 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.175 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 14.175 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 14.176 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log a)))) into 1/3 14.177 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 a) 1/3)) 14.177 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/3 (pow (/ 1 a) 1/3))) 1)) (pow (pow a -1/3) 1)))) 1) into 1/3 14.177 * [backup-simplify]: Simplify 1/3 into 1/3 14.178 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.179 * [backup-simplify]: Simplify (+ 0 0) into 0 14.182 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 14.184 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.185 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (exp (- (log a)))) 2)) (pow (exp (- (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log a))) 1)))) 2) into -1/2 14.186 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/6) 14.188 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 a) 1/3)) 14.189 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/3 (pow (/ 1 a) 1/3))) 2)) (pow (pow a -1/3) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/9 (pow (/ 1 a) 1/3))) 1)) (pow (pow a -1/3) 1)))) 2) into -1/6 14.189 * [backup-simplify]: Simplify -1/6 into -1/6 14.190 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 a) 2)) (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3)))) into (- (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3))) (* 1/6 (/ 1 (pow a 2)))) 14.190 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 (- a)))))) into (log (pow (exp (log1p (/ -1 a))) 1/3)) 14.190 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in (a) around 0 14.190 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.190 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.190 * [taylor]: Taking taylor expansion of 1/3 in a 14.190 * [backup-simplify]: Simplify 1/3 into 1/3 14.190 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.190 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.190 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.191 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.191 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.191 * [taylor]: Taking taylor expansion of 1 in a 14.191 * [backup-simplify]: Simplify 1 into 1 14.191 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.191 * [taylor]: Taking taylor expansion of -1 in a 14.191 * [backup-simplify]: Simplify -1 into -1 14.191 * [taylor]: Taking taylor expansion of a in a 14.191 * [backup-simplify]: Simplify 0 into 0 14.191 * [backup-simplify]: Simplify 1 into 1 14.191 * [backup-simplify]: Simplify (/ -1 1) into -1 14.192 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.192 * [backup-simplify]: Simplify (log -1) into (log -1) 14.193 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.194 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.194 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.195 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.196 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.196 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.196 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.196 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.196 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.196 * [taylor]: Taking taylor expansion of 1/3 in a 14.196 * [backup-simplify]: Simplify 1/3 into 1/3 14.196 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.196 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.196 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.197 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.197 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.197 * [taylor]: Taking taylor expansion of 1 in a 14.197 * [backup-simplify]: Simplify 1 into 1 14.197 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.197 * [taylor]: Taking taylor expansion of -1 in a 14.197 * [backup-simplify]: Simplify -1 into -1 14.197 * [taylor]: Taking taylor expansion of a in a 14.197 * [backup-simplify]: Simplify 0 into 0 14.197 * [backup-simplify]: Simplify 1 into 1 14.197 * [backup-simplify]: Simplify (/ -1 1) into -1 14.197 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.197 * [backup-simplify]: Simplify (log -1) into (log -1) 14.198 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.198 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.199 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.199 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.199 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.200 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.200 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.200 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.201 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.202 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.202 * [backup-simplify]: Simplify (+ 1 0) into 1 14.203 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 14.203 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 14.204 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 14.205 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log a)))) into (- 1/3) 14.206 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log a))))) 14.206 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1/3 (exp (* 1/3 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/3 (- (log -1) (log a)))) 1)))) 1) into -1/3 14.206 * [backup-simplify]: Simplify -1/3 into -1/3 14.207 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.208 * [backup-simplify]: Simplify (+ 0 0) into 0 14.209 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 14.210 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.212 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 2)) (pow (exp (- (log -1) (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log -1) (log a))) 1)))) 2) into -1/2 14.213 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/6) 14.214 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log a))))) 14.215 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1/3 (exp (* 1/3 (- (log -1) (log a)))))) 2)) (pow (exp (* 1/3 (- (log -1) (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/9 (exp (* 1/3 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/3 (- (log -1) (log a)))) 1)))) 2) into -1/6 14.215 * [backup-simplify]: Simplify -1/6 into -1/6 14.216 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- a)) 2)) (+ (* -1/3 (/ 1 (- a))) (* 1/3 (- (log -1) (log (/ 1 (- a))))))) into (- (+ (* 1/3 (log -1)) (* 1/3 (/ 1 a))) (+ (* 1/6 (/ 1 (pow a 2))) (* 1/3 (log (/ -1 a))))) 14.216 * * * * [progress]: [ 4 / 4 ] generating series at (2) 14.216 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.216 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) in (a) around 0 14.216 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) in a 14.217 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.217 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) in a 14.217 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.217 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.217 * [backup-simplify]: Simplify 0 into 0 14.217 * [backup-simplify]: Simplify 0 into 0 14.217 * [backup-simplify]: Simplify 0 into 0 14.217 * [backup-simplify]: Simplify 0 into 0 14.217 * [backup-simplify]: Simplify 0 into 0 14.217 * [backup-simplify]: Simplify 0 into 0 14.218 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.218 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (+ (* 2 (log (cbrt (exp (log1p (/ 1 a)))))) (log (cbrt (exp (log1p (/ 1 a)))))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) 14.218 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) in (a) around 0 14.218 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) in a 14.218 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) 14.218 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) in a 14.219 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) 14.219 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ 1 a))) 1/3))))) 14.219 * [backup-simplify]: Simplify 0 into 0 14.219 * [backup-simplify]: Simplify 0 into 0 14.219 * [backup-simplify]: Simplify 0 into 0 14.219 * [backup-simplify]: Simplify 0 into 0 14.219 * [backup-simplify]: Simplify 0 into 0 14.219 * [backup-simplify]: Simplify 0 into 0 14.220 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (* 3 (log (pow (exp (log1p (/ 1 (/ 1 a)))) 1/3))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.220 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (+ (* 2 (log (cbrt (exp (log1p (/ 1 (- a))))))) (log (cbrt (exp (log1p (/ 1 (- a))))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) 14.220 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) in (a) around 0 14.220 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) in a 14.220 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) 14.220 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) in a 14.221 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) 14.221 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 3 (log (pow (exp (log1p (/ -1 a))) 1/3))))) 14.221 * [backup-simplify]: Simplify 0 into 0 14.221 * [backup-simplify]: Simplify 0 into 0 14.221 * [backup-simplify]: Simplify 0 into 0 14.221 * [backup-simplify]: Simplify 0 into 0 14.221 * [backup-simplify]: Simplify 0 into 0 14.221 * [backup-simplify]: Simplify 0 into 0 14.221 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (* 3 (log (pow (exp (log1p (/ -1 (/ 1 (- a))))) 1/3))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.222 * * * [progress]: simplifying candidates 14.223 * [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 (cbrt (exp (log1p a))))) (log1p (log (cbrt (exp (log1p a))))) (log (cbrt (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt 1)) (log (cbrt (exp (log1p a)))) (log (* (cbrt (cbrt (exp (log1p a)))) (cbrt (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log 1) (log (cbrt (exp (log1p a)))) (log (exp (log1p a))) (log (cbrt (exp (log1p a)))) (log (log (cbrt (exp (log1p a))))) (exp (log (cbrt (exp (log1p a))))) (* (cbrt (log (cbrt (exp (log1p a))))) (cbrt (log (cbrt (exp (log1p a)))))) (cbrt (log (cbrt (exp (log1p a))))) (* (* (log (cbrt (exp (log1p a)))) (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a))))) (sqrt (log (cbrt (exp (log1p a))))) (sqrt (log (cbrt (exp (log1p a))))) (expm1 (log (cbrt (exp (log1p a))))) (log1p (log (cbrt (exp (log1p a))))) (log (cbrt (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt 1)) (log (cbrt (exp (log1p a)))) (log (* (cbrt (cbrt (exp (log1p a)))) (cbrt (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log 1) (log (cbrt (exp (log1p a)))) (log (exp (log1p a))) (log (cbrt (exp (log1p a)))) (log (log (cbrt (exp (log1p a))))) (exp (log (cbrt (exp (log1p a))))) (* (cbrt (log (cbrt (exp (log1p a))))) (cbrt (log (cbrt (exp (log1p a)))))) (cbrt (log (cbrt (exp (log1p a))))) (* (* (log (cbrt (exp (log1p a)))) (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a))))) (sqrt (log (cbrt (exp (log1p a))))) (sqrt (log (cbrt (exp (log1p a))))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (log1p (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a))))))) (log (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (exp (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a))))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (* (* (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a))))))) (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (+ (* 2 (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (- (+ (* 1/9 (pow a 3)) (* 1/3 a)) (* 1/6 (pow a 2))) (- (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3))) (* 1/6 (/ 1 (pow a 2)))) (- (+ (* 1/3 (log -1)) (* 1/3 (/ 1 a))) (+ (* 1/6 (/ 1 (pow a 2))) (* 1/3 (log (/ -1 a))))) (- (+ (* 1/9 (pow a 3)) (* 1/3 a)) (* 1/6 (pow a 2))) (- (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3))) (* 1/6 (/ 1 (pow a 2)))) (- (+ (* 1/3 (log -1)) (* 1/3 (/ 1 a))) (+ (* 1/6 (/ 1 (pow a 2))) (* 1/3 (log (/ -1 a))))) (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) 14.224 * * [simplify]: Extracting # 0 : cost 0 14.224 * * [simplify]: Extracting # 1 : cost 0 14.225 * * [simplify]: Extracting # 2 : cost 0 14.225 * * [simplify]: Extracting # 3 : cost 0 14.225 * * [simplify]: Extracting # 4 : cost 0 14.225 * * [simplify]: Extracting # 5 : cost 0 14.225 * * [simplify]: Extracting # 6 : cost 0 14.226 * * [simplify]: Extracting # 7 : cost 0 14.226 * * [simplify]: Extracting # 8 : cost 0 14.226 * * [simplify]: Extracting # 9 : cost 0 14.226 * * [simplify]: iteration 0 : 95 enodes (cost 868 ) 14.258 * * [simplify]: Extracting # 0 : cost 0 14.258 * * [simplify]: Extracting # 1 : cost 0 14.259 * * [simplify]: Extracting # 2 : cost 0 14.259 * * [simplify]: Extracting # 3 : cost 0 14.259 * * [simplify]: Extracting # 4 : cost 0 14.259 * * [simplify]: Extracting # 5 : cost 0 14.259 * * [simplify]: iteration 1 : 174 enodes (cost 709 ) 14.332 * * [simplify]: Extracting # 0 : cost 0 14.335 * * [simplify]: Extracting # 1 : cost 0 14.335 * * [simplify]: Extracting # 2 : cost 0 14.336 * * [simplify]: Extracting # 3 : cost 0 14.336 * * [simplify]: Extracting # 4 : cost 0 14.336 * * [simplify]: iteration 2 : 356 enodes (cost 601 ) 14.578 * * [simplify]: Extracting # 0 : cost 0 14.578 * * [simplify]: Extracting # 1 : cost 0 14.579 * * [simplify]: Extracting # 2 : cost 0 14.580 * * [simplify]: Extracting # 3 : cost 0 14.580 * * [simplify]: Extracting # 4 : cost 0 14.581 * * [simplify]: iteration 3 : 778 enodes (cost 571 ) 15.973 * * [simplify]: Extracting # 0 : cost 0 15.978 * * [simplify]: Extracting # 1 : cost 0 15.986 * * [simplify]: Extracting # 2 : cost 0 15.991 * * [simplify]: Extracting # 3 : cost 0 15.995 * * [simplify]: Extracting # 4 : cost 0 15.997 * * [simplify]: iteration 4 : 2441 enodes (cost 565 ) 17.616 * * [simplify]: Extracting # 0 : cost 0 17.627 * * [simplify]: Extracting # 1 : cost 0 17.637 * * [simplify]: Extracting # 2 : cost 0 17.647 * * [simplify]: Extracting # 3 : cost 0 17.657 * * [simplify]: Extracting # 4 : cost 0 17.668 * * [simplify]: iteration done: 5000 enodes (cost 557 ) 17.668 * [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))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (* 1/3 (log1p a))) (log1p (* 1/3 (log1p a))) (log (cbrt (pow (exp (log1p a)) 2/3))) (log (cbrt (cbrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) 0 (* (log1p a) 1/3) (* 2 (log (cbrt (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) 0 (* (log1p a) 1/3) (log1p a) (* (log1p a) 1/3) (log (* 1/3 (log1p a))) (cbrt (exp (log1p a))) (* (cbrt (* 1/3 (log1p a))) (cbrt (* 1/3 (log1p a)))) (cbrt (* 1/3 (log1p a))) (pow (* 1/3 (log1p a)) 3) (sqrt (* 1/3 (log1p a))) (sqrt (* 1/3 (log1p a))) (expm1 (* 1/3 (log1p a))) (log1p (* 1/3 (log1p a))) (log (cbrt (pow (exp (log1p a)) 2/3))) (log (cbrt (cbrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) 0 (* (log1p a) 1/3) (* 2 (log (cbrt (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) 0 (* (log1p a) 1/3) (log1p a) (* (log1p a) 1/3) (log (* 1/3 (log1p a))) (cbrt (exp (log1p a))) (* (cbrt (* 1/3 (log1p a))) (cbrt (* 1/3 (log1p a)))) (cbrt (* 1/3 (log1p a))) (pow (* 1/3 (log1p a)) 3) (sqrt (* 1/3 (log1p a))) (sqrt (* 1/3 (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)))) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3) (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)) (* a (fma a (fma 1/9 a -1/6) 1/3)) (fma (log a) 1/3 (- (/ 1/3 a) (/ 1/6 (pow a 2)))) (- (+ (- 0 (* (log a) -1/3)) (/ 1/3 a)) (/ 1/6 (pow a 2))) (* a (fma a (fma 1/9 a -1/6) 1/3)) (fma (log a) 1/3 (- (/ 1/3 a) (/ 1/6 (pow a 2)))) (- (+ (- 0 (* (log a) -1/3)) (/ 1/3 a)) (/ 1/6 (pow a 2))) (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))) 17.669 * * * [progress]: adding candidates to table 18.079 * * [progress]: iteration 4 / 4 18.079 * * * [progress]: picking best candidate 18.109 * * * * [pick]: Picked # 18.109 * * * [progress]: localizing error 18.144 * * * [progress]: generating rewritten candidates 18.144 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 18.145 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 18.151 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2) 18.159 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1) 18.171 * * * [progress]: generating series expansions 18.171 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 18.171 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 18.171 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 18.171 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 18.172 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.172 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 18.172 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.172 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.172 * [backup-simplify]: Simplify 0 into 0 18.172 * [backup-simplify]: Simplify 0 into 0 18.172 * [backup-simplify]: Simplify 0 into 0 18.172 * [backup-simplify]: Simplify 0 into 0 18.172 * [backup-simplify]: Simplify 0 into 0 18.172 * [backup-simplify]: Simplify 0 into 0 18.172 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.173 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 18.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 18.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.173 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 18.173 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.174 * [backup-simplify]: Simplify 0 into 0 18.174 * [backup-simplify]: Simplify 0 into 0 18.174 * [backup-simplify]: Simplify 0 into 0 18.174 * [backup-simplify]: Simplify 0 into 0 18.174 * [backup-simplify]: Simplify 0 into 0 18.174 * [backup-simplify]: Simplify 0 into 0 18.174 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 18.175 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.175 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 18.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 18.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.175 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 18.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.175 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.175 * [backup-simplify]: Simplify 0 into 0 18.176 * [backup-simplify]: Simplify 0 into 0 18.176 * [backup-simplify]: Simplify 0 into 0 18.176 * [backup-simplify]: Simplify 0 into 0 18.176 * [backup-simplify]: Simplify 0 into 0 18.176 * [backup-simplify]: Simplify 0 into 0 18.176 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 18.176 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 18.176 * [backup-simplify]: Simplify (log (cbrt (exp (log1p a)))) into (log (pow (exp (log1p a)) 1/3)) 18.176 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in (a) around 0 18.176 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 18.176 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 18.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 18.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 18.177 * [taylor]: Taking taylor expansion of 1/3 in a 18.177 * [backup-simplify]: Simplify 1/3 into 1/3 18.177 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.177 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.177 * [taylor]: Taking taylor expansion of (log1p a) in a 18.177 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.177 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.177 * [taylor]: Taking taylor expansion of 1 in a 18.177 * [backup-simplify]: Simplify 1 into 1 18.177 * [taylor]: Taking taylor expansion of a in a 18.177 * [backup-simplify]: Simplify 0 into 0 18.177 * [backup-simplify]: Simplify 1 into 1 18.178 * [backup-simplify]: Simplify (+ 1 0) into 1 18.178 * [backup-simplify]: Simplify (log 1) into 0 18.179 * [backup-simplify]: Simplify (+ 0 1) into 1 18.180 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.180 * [backup-simplify]: Simplify (exp 0) into 1 18.180 * [backup-simplify]: Simplify (log 1) into 0 18.181 * [backup-simplify]: Simplify (* 1/3 0) into 0 18.182 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.183 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.184 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 18.184 * [backup-simplify]: Simplify (exp 0) into 1 18.184 * [backup-simplify]: Simplify (log 1) into 0 18.184 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 18.184 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 18.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 18.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 18.185 * [taylor]: Taking taylor expansion of 1/3 in a 18.185 * [backup-simplify]: Simplify 1/3 into 1/3 18.185 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.185 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.185 * [taylor]: Taking taylor expansion of (log1p a) in a 18.185 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.185 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.185 * [taylor]: Taking taylor expansion of 1 in a 18.185 * [backup-simplify]: Simplify 1 into 1 18.185 * [taylor]: Taking taylor expansion of a in a 18.185 * [backup-simplify]: Simplify 0 into 0 18.185 * [backup-simplify]: Simplify 1 into 1 18.185 * [backup-simplify]: Simplify (+ 1 0) into 1 18.186 * [backup-simplify]: Simplify (log 1) into 0 18.186 * [backup-simplify]: Simplify (+ 0 1) into 1 18.188 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.188 * [backup-simplify]: Simplify (exp 0) into 1 18.188 * [backup-simplify]: Simplify (log 1) into 0 18.189 * [backup-simplify]: Simplify (* 1/3 0) into 0 18.191 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.192 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.193 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 18.193 * [backup-simplify]: Simplify (exp 0) into 1 18.193 * [backup-simplify]: Simplify (log 1) into 0 18.193 * [backup-simplify]: Simplify 0 into 0 18.194 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 18.196 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/3) 1)) (pow 1 1)))) 1) into 1/3 18.196 * [backup-simplify]: Simplify 1/3 into 1/3 18.196 * [backup-simplify]: Simplify (+ 0 0) into 0 18.199 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.201 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.204 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.205 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 18.207 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 18.211 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/3) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/9) 1)) (pow 1 1)))) 2) into -1/6 18.211 * [backup-simplify]: Simplify -1/6 into -1/6 18.212 * [backup-simplify]: Simplify (+ 0 0) into 0 18.217 * [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 18.221 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0 18.226 * [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 18.228 * [backup-simplify]: Simplify (+ (* 1/3 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/9 18.231 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 3) 6)) (* (/ (pow 1/3 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow 1/9 1) 1)))) into 5/81 18.237 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/3) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/3) 1) (pow (* 2 -1/9) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 5/81) 1)) (pow 1 1)))) 6) into 1/9 18.237 * [backup-simplify]: Simplify 1/9 into 1/9 18.238 * [backup-simplify]: Simplify (+ (* 1/9 (pow a 3)) (+ (* -1/6 (pow a 2)) (* 1/3 a))) into (- (+ (* 1/9 (pow a 3)) (* 1/3 a)) (* 1/6 (pow a 2))) 18.238 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 a))))) into (log (pow (exp (log1p (/ 1 a))) 1/3)) 18.238 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in (a) around 0 18.238 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 18.238 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 18.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 18.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 18.238 * [taylor]: Taking taylor expansion of 1/3 in a 18.238 * [backup-simplify]: Simplify 1/3 into 1/3 18.238 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.238 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.238 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.238 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.238 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.238 * [taylor]: Taking taylor expansion of 1 in a 18.238 * [backup-simplify]: Simplify 1 into 1 18.238 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.238 * [taylor]: Taking taylor expansion of a in a 18.238 * [backup-simplify]: Simplify 0 into 0 18.238 * [backup-simplify]: Simplify 1 into 1 18.239 * [backup-simplify]: Simplify (/ 1 1) into 1 18.239 * [backup-simplify]: Simplify (+ 0 1) into 1 18.240 * [backup-simplify]: Simplify (log 1) into 0 18.240 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.241 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.241 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.241 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.241 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 18.241 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 18.241 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 18.241 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 18.241 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 18.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 18.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 18.242 * [taylor]: Taking taylor expansion of 1/3 in a 18.242 * [backup-simplify]: Simplify 1/3 into 1/3 18.242 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.242 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.242 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.242 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.242 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.242 * [taylor]: Taking taylor expansion of 1 in a 18.242 * [backup-simplify]: Simplify 1 into 1 18.242 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.242 * [taylor]: Taking taylor expansion of a in a 18.242 * [backup-simplify]: Simplify 0 into 0 18.242 * [backup-simplify]: Simplify 1 into 1 18.242 * [backup-simplify]: Simplify (/ 1 1) into 1 18.243 * [backup-simplify]: Simplify (+ 0 1) into 1 18.243 * [backup-simplify]: Simplify (log 1) into 0 18.244 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.254 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.254 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.255 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.255 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 18.255 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 18.255 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 18.255 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 18.256 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.257 * [backup-simplify]: Simplify (+ 1 0) into 1 18.258 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.259 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 18.260 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 18.261 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log a)))) into 1/3 18.262 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 a) 1/3)) 18.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/3 (pow (/ 1 a) 1/3))) 1)) (pow (pow a -1/3) 1)))) 1) into 1/3 18.262 * [backup-simplify]: Simplify 1/3 into 1/3 18.263 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.264 * [backup-simplify]: Simplify (+ 0 0) into 0 18.267 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.268 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.270 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (exp (- (log a)))) 2)) (pow (exp (- (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log a))) 1)))) 2) into -1/2 18.271 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/6) 18.272 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 a) 1/3)) 18.273 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/3 (pow (/ 1 a) 1/3))) 2)) (pow (pow a -1/3) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/9 (pow (/ 1 a) 1/3))) 1)) (pow (pow a -1/3) 1)))) 2) into -1/6 18.273 * [backup-simplify]: Simplify -1/6 into -1/6 18.274 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 a) 2)) (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3)))) into (- (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3))) (* 1/6 (/ 1 (pow a 2)))) 18.274 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 (- a)))))) into (log (pow (exp (log1p (/ -1 a))) 1/3)) 18.274 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in (a) around 0 18.274 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 18.274 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 18.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 18.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 18.274 * [taylor]: Taking taylor expansion of 1/3 in a 18.274 * [backup-simplify]: Simplify 1/3 into 1/3 18.274 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.274 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.274 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.275 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.275 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.275 * [taylor]: Taking taylor expansion of 1 in a 18.275 * [backup-simplify]: Simplify 1 into 1 18.275 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.275 * [taylor]: Taking taylor expansion of -1 in a 18.275 * [backup-simplify]: Simplify -1 into -1 18.275 * [taylor]: Taking taylor expansion of a in a 18.275 * [backup-simplify]: Simplify 0 into 0 18.275 * [backup-simplify]: Simplify 1 into 1 18.275 * [backup-simplify]: Simplify (/ -1 1) into -1 18.276 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.276 * [backup-simplify]: Simplify (log -1) into (log -1) 18.277 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.278 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.278 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.279 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.279 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 18.280 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 18.280 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 18.280 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 18.280 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 18.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 18.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 18.280 * [taylor]: Taking taylor expansion of 1/3 in a 18.280 * [backup-simplify]: Simplify 1/3 into 1/3 18.280 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.280 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.280 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.280 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.280 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.280 * [taylor]: Taking taylor expansion of 1 in a 18.280 * [backup-simplify]: Simplify 1 into 1 18.280 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.280 * [taylor]: Taking taylor expansion of -1 in a 18.280 * [backup-simplify]: Simplify -1 into -1 18.280 * [taylor]: Taking taylor expansion of a in a 18.280 * [backup-simplify]: Simplify 0 into 0 18.281 * [backup-simplify]: Simplify 1 into 1 18.281 * [backup-simplify]: Simplify (/ -1 1) into -1 18.281 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.281 * [backup-simplify]: Simplify (log -1) into (log -1) 18.282 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.282 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.283 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.283 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.283 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 18.284 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 18.284 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 18.284 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 18.285 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.286 * [backup-simplify]: Simplify (+ 1 0) into 1 18.286 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 18.287 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 18.288 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 18.288 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log a)))) into (- 1/3) 18.289 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log a))))) 18.290 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1/3 (exp (* 1/3 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/3 (- (log -1) (log a)))) 1)))) 1) into -1/3 18.290 * [backup-simplify]: Simplify -1/3 into -1/3 18.291 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.291 * [backup-simplify]: Simplify (+ 0 0) into 0 18.293 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 18.294 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.296 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 2)) (pow (exp (- (log -1) (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log -1) (log a))) 1)))) 2) into -1/2 18.296 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/6) 18.298 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log a))))) 18.299 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1/3 (exp (* 1/3 (- (log -1) (log a)))))) 2)) (pow (exp (* 1/3 (- (log -1) (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/9 (exp (* 1/3 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/3 (- (log -1) (log a)))) 1)))) 2) into -1/6 18.299 * [backup-simplify]: Simplify -1/6 into -1/6 18.300 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- a)) 2)) (+ (* -1/3 (/ 1 (- a))) (* 1/3 (- (log -1) (log (/ 1 (- a))))))) into (- (+ (* 1/3 (log -1)) (* 1/3 (/ 1 a))) (+ (* 1/6 (/ 1 (pow a 2))) (* 1/3 (log (/ -1 a))))) 18.300 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2) 18.301 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p a))))) into (log (pow (exp (log1p a)) 1/6)) 18.301 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in (a) around 0 18.301 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.301 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.301 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.301 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.301 * [taylor]: Taking taylor expansion of 1/6 in a 18.301 * [backup-simplify]: Simplify 1/6 into 1/6 18.301 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.301 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.301 * [taylor]: Taking taylor expansion of (log1p a) in a 18.301 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.301 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.301 * [taylor]: Taking taylor expansion of 1 in a 18.301 * [backup-simplify]: Simplify 1 into 1 18.301 * [taylor]: Taking taylor expansion of a in a 18.301 * [backup-simplify]: Simplify 0 into 0 18.301 * [backup-simplify]: Simplify 1 into 1 18.302 * [backup-simplify]: Simplify (+ 1 0) into 1 18.302 * [backup-simplify]: Simplify (log 1) into 0 18.303 * [backup-simplify]: Simplify (+ 0 1) into 1 18.304 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.304 * [backup-simplify]: Simplify (exp 0) into 1 18.304 * [backup-simplify]: Simplify (log 1) into 0 18.305 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.306 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.307 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.308 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.308 * [backup-simplify]: Simplify (exp 0) into 1 18.308 * [backup-simplify]: Simplify (log 1) into 0 18.308 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.308 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.308 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.308 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.308 * [taylor]: Taking taylor expansion of 1/6 in a 18.308 * [backup-simplify]: Simplify 1/6 into 1/6 18.308 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.308 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.309 * [taylor]: Taking taylor expansion of (log1p a) in a 18.309 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.309 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.309 * [taylor]: Taking taylor expansion of 1 in a 18.309 * [backup-simplify]: Simplify 1 into 1 18.309 * [taylor]: Taking taylor expansion of a in a 18.309 * [backup-simplify]: Simplify 0 into 0 18.309 * [backup-simplify]: Simplify 1 into 1 18.309 * [backup-simplify]: Simplify (+ 1 0) into 1 18.310 * [backup-simplify]: Simplify (log 1) into 0 18.310 * [backup-simplify]: Simplify (+ 0 1) into 1 18.311 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.312 * [backup-simplify]: Simplify (exp 0) into 1 18.312 * [backup-simplify]: Simplify (log 1) into 0 18.312 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.313 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.315 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.316 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.316 * [backup-simplify]: Simplify (exp 0) into 1 18.316 * [backup-simplify]: Simplify (log 1) into 0 18.316 * [backup-simplify]: Simplify 0 into 0 18.318 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 1) 1)))) into 1/6 18.319 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/6) 1)) (pow 1 1)))) 1) into 1/6 18.319 * [backup-simplify]: Simplify 1/6 into 1/6 18.320 * [backup-simplify]: Simplify (+ 0 0) into 0 18.323 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.325 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.328 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.329 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 0))) into -1/12 18.331 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow -1/12 1) 1)))) into -5/72 18.335 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/6) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -5/72) 1)) (pow 1 1)))) 2) into -1/12 18.335 * [backup-simplify]: Simplify -1/12 into -1/12 18.336 * [backup-simplify]: Simplify (+ 0 0) into 0 18.341 * [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 18.345 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0 18.350 * [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 18.351 * [backup-simplify]: Simplify (+ (* 1/6 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/18 18.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 3) 6)) (* (/ (pow 1/6 1) 1) (/ (pow -1/12 1) 1)) (* (/ (pow 1/18 1) 1)))) into 55/1296 18.360 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/6) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/6) 1) (pow (* 2 -5/72) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 55/1296) 1)) (pow 1 1)))) 6) into 1/18 18.361 * [backup-simplify]: Simplify 1/18 into 1/18 18.361 * [backup-simplify]: Simplify (+ (* 1/18 (pow a 3)) (+ (* -1/12 (pow a 2)) (* 1/6 a))) into (- (+ (* 1/18 (pow a 3)) (* 1/6 a)) (* 1/12 (pow a 2))) 18.361 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 a)))))) into (log (pow (exp (log1p (/ 1 a))) 1/6)) 18.361 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in (a) around 0 18.361 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.361 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.361 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.361 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.362 * [taylor]: Taking taylor expansion of 1/6 in a 18.362 * [backup-simplify]: Simplify 1/6 into 1/6 18.362 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.362 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.362 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.362 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.362 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.362 * [taylor]: Taking taylor expansion of 1 in a 18.362 * [backup-simplify]: Simplify 1 into 1 18.362 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.362 * [taylor]: Taking taylor expansion of a in a 18.362 * [backup-simplify]: Simplify 0 into 0 18.362 * [backup-simplify]: Simplify 1 into 1 18.362 * [backup-simplify]: Simplify (/ 1 1) into 1 18.363 * [backup-simplify]: Simplify (+ 0 1) into 1 18.363 * [backup-simplify]: Simplify (log 1) into 0 18.364 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.364 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.364 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.365 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.365 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.365 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.365 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.365 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.365 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.365 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.365 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.365 * [taylor]: Taking taylor expansion of 1/6 in a 18.365 * [backup-simplify]: Simplify 1/6 into 1/6 18.365 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.365 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.365 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.365 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.365 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.365 * [taylor]: Taking taylor expansion of 1 in a 18.365 * [backup-simplify]: Simplify 1 into 1 18.366 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.366 * [taylor]: Taking taylor expansion of a in a 18.366 * [backup-simplify]: Simplify 0 into 0 18.366 * [backup-simplify]: Simplify 1 into 1 18.366 * [backup-simplify]: Simplify (/ 1 1) into 1 18.367 * [backup-simplify]: Simplify (+ 0 1) into 1 18.367 * [backup-simplify]: Simplify (log 1) into 0 18.367 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.368 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.368 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.368 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.368 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.368 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.368 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.369 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.369 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.370 * [backup-simplify]: Simplify (+ 1 0) into 1 18.372 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.373 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 18.373 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 18.374 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 (- (log a)))) into 1/6 18.375 * [backup-simplify]: Simplify (* (exp (* -1/6 (log a))) (+ (* (/ (pow 1/6 1) 1)))) into (* 1/6 (pow (/ 1 a) 1/6)) 18.376 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/6 (pow (/ 1 a) 1/6))) 1)) (pow (pow a -1/6) 1)))) 1) into 1/6 18.376 * [backup-simplify]: Simplify 1/6 into 1/6 18.376 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.378 * [backup-simplify]: Simplify (+ 0 0) into 0 18.381 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.382 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.384 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (exp (- (log a)))) 2)) (pow (exp (- (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log a))) 1)))) 2) into -1/2 18.385 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/12) 18.386 * [backup-simplify]: Simplify (* (exp (* -1/6 (log a))) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow (- 1/12) 1) 1)))) into (* -5/72 (pow (/ 1 a) 1/6)) 18.387 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/6 (pow (/ 1 a) 1/6))) 2)) (pow (pow a -1/6) 2))) (* 1 (/ (* 1 (pow (* 2 (* -5/72 (pow (/ 1 a) 1/6))) 1)) (pow (pow a -1/6) 1)))) 2) into -1/12 18.387 * [backup-simplify]: Simplify -1/12 into -1/12 18.388 * [backup-simplify]: Simplify (+ (* -1/12 (pow (/ 1 a) 2)) (+ (* 1/6 (/ 1 a)) (log (pow (/ 1 a) -1/6)))) into (- (+ (* 1/6 (/ 1 a)) (log (pow (/ 1 a) -1/6))) (* 1/12 (/ 1 (pow a 2)))) 18.388 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 (- a))))))) into (log (pow (exp (log1p (/ -1 a))) 1/6)) 18.388 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in (a) around 0 18.388 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.388 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.388 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.388 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.388 * [taylor]: Taking taylor expansion of 1/6 in a 18.388 * [backup-simplify]: Simplify 1/6 into 1/6 18.388 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.388 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.388 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.388 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.388 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.388 * [taylor]: Taking taylor expansion of 1 in a 18.388 * [backup-simplify]: Simplify 1 into 1 18.388 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.388 * [taylor]: Taking taylor expansion of -1 in a 18.388 * [backup-simplify]: Simplify -1 into -1 18.388 * [taylor]: Taking taylor expansion of a in a 18.388 * [backup-simplify]: Simplify 0 into 0 18.388 * [backup-simplify]: Simplify 1 into 1 18.389 * [backup-simplify]: Simplify (/ -1 1) into -1 18.389 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.390 * [backup-simplify]: Simplify (log -1) into (log -1) 18.390 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.391 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.392 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.392 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.393 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.393 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.394 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.394 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.394 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.394 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.394 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.394 * [taylor]: Taking taylor expansion of 1/6 in a 18.394 * [backup-simplify]: Simplify 1/6 into 1/6 18.394 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.394 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.394 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.394 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.394 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.394 * [taylor]: Taking taylor expansion of 1 in a 18.394 * [backup-simplify]: Simplify 1 into 1 18.394 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.394 * [taylor]: Taking taylor expansion of -1 in a 18.394 * [backup-simplify]: Simplify -1 into -1 18.394 * [taylor]: Taking taylor expansion of a in a 18.394 * [backup-simplify]: Simplify 0 into 0 18.394 * [backup-simplify]: Simplify 1 into 1 18.395 * [backup-simplify]: Simplify (/ -1 1) into -1 18.395 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.396 * [backup-simplify]: Simplify (log -1) into (log -1) 18.396 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.397 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.397 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.398 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.403 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.404 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.404 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.405 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.406 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.407 * [backup-simplify]: Simplify (+ 1 0) into 1 18.408 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 18.409 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 18.410 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 18.411 * [backup-simplify]: Simplify (+ (* 1/6 -1) (* 0 (- (log -1) (log a)))) into (- 1/6) 18.412 * [backup-simplify]: Simplify (* (exp (* 1/6 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (exp (* 1/6 (- (log -1) (log a))))) 18.413 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1/6 (exp (* 1/6 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/6 (- (log -1) (log a)))) 1)))) 1) into -1/6 18.413 * [backup-simplify]: Simplify -1/6 into -1/6 18.414 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.415 * [backup-simplify]: Simplify (+ 0 0) into 0 18.416 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 18.417 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.419 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 2)) (pow (exp (- (log -1) (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log -1) (log a))) 1)))) 2) into -1/2 18.420 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/12) 18.421 * [backup-simplify]: Simplify (* (exp (* 1/6 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow (- 1/12) 1) 1)))) into (* -5/72 (exp (* 1/6 (- (log -1) (log a))))) 18.423 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1/6 (exp (* 1/6 (- (log -1) (log a)))))) 2)) (pow (exp (* 1/6 (- (log -1) (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -5/72 (exp (* 1/6 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/6 (- (log -1) (log a)))) 1)))) 2) into -1/12 18.423 * [backup-simplify]: Simplify -1/12 into -1/12 18.423 * [backup-simplify]: Simplify (+ (* -1/12 (pow (/ 1 (- a)) 2)) (+ (* -1/6 (/ 1 (- a))) (* 1/6 (- (log -1) (log (/ 1 (- a))))))) into (- (+ (* 1/6 (log -1)) (* 1/6 (/ 1 a))) (+ (* 1/12 (/ 1 (pow a 2))) (* 1/6 (log (/ -1 a))))) 18.423 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1) 18.423 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p a))))) into (log (pow (exp (log1p a)) 1/6)) 18.423 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in (a) around 0 18.423 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.423 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.423 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.423 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.423 * [taylor]: Taking taylor expansion of 1/6 in a 18.423 * [backup-simplify]: Simplify 1/6 into 1/6 18.424 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.424 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.424 * [taylor]: Taking taylor expansion of (log1p a) in a 18.424 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.424 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.424 * [taylor]: Taking taylor expansion of 1 in a 18.424 * [backup-simplify]: Simplify 1 into 1 18.424 * [taylor]: Taking taylor expansion of a in a 18.424 * [backup-simplify]: Simplify 0 into 0 18.424 * [backup-simplify]: Simplify 1 into 1 18.424 * [backup-simplify]: Simplify (+ 1 0) into 1 18.424 * [backup-simplify]: Simplify (log 1) into 0 18.425 * [backup-simplify]: Simplify (+ 0 1) into 1 18.425 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.425 * [backup-simplify]: Simplify (exp 0) into 1 18.426 * [backup-simplify]: Simplify (log 1) into 0 18.426 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.426 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.427 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.428 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.428 * [backup-simplify]: Simplify (exp 0) into 1 18.428 * [backup-simplify]: Simplify (log 1) into 0 18.428 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.428 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.428 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.428 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.428 * [taylor]: Taking taylor expansion of 1/6 in a 18.428 * [backup-simplify]: Simplify 1/6 into 1/6 18.428 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.428 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.428 * [taylor]: Taking taylor expansion of (log1p a) in a 18.428 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.428 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.428 * [taylor]: Taking taylor expansion of 1 in a 18.428 * [backup-simplify]: Simplify 1 into 1 18.428 * [taylor]: Taking taylor expansion of a in a 18.428 * [backup-simplify]: Simplify 0 into 0 18.428 * [backup-simplify]: Simplify 1 into 1 18.428 * [backup-simplify]: Simplify (+ 1 0) into 1 18.429 * [backup-simplify]: Simplify (log 1) into 0 18.429 * [backup-simplify]: Simplify (+ 0 1) into 1 18.430 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.430 * [backup-simplify]: Simplify (exp 0) into 1 18.430 * [backup-simplify]: Simplify (log 1) into 0 18.430 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.431 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.432 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.432 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.432 * [backup-simplify]: Simplify (exp 0) into 1 18.432 * [backup-simplify]: Simplify (log 1) into 0 18.433 * [backup-simplify]: Simplify 0 into 0 18.434 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 1) 1)))) into 1/6 18.435 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/6) 1)) (pow 1 1)))) 1) into 1/6 18.435 * [backup-simplify]: Simplify 1/6 into 1/6 18.435 * [backup-simplify]: Simplify (+ 0 0) into 0 18.438 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.439 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.442 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.443 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 0))) into -1/12 18.445 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow -1/12 1) 1)))) into -5/72 18.447 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/6) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -5/72) 1)) (pow 1 1)))) 2) into -1/12 18.447 * [backup-simplify]: Simplify -1/12 into -1/12 18.448 * [backup-simplify]: Simplify (+ 0 0) into 0 18.452 * [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 18.454 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0 18.457 * [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 18.458 * [backup-simplify]: Simplify (+ (* 1/6 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/18 18.460 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 3) 6)) (* (/ (pow 1/6 1) 1) (/ (pow -1/12 1) 1)) (* (/ (pow 1/18 1) 1)))) into 55/1296 18.463 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/6) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/6) 1) (pow (* 2 -5/72) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 55/1296) 1)) (pow 1 1)))) 6) into 1/18 18.463 * [backup-simplify]: Simplify 1/18 into 1/18 18.463 * [backup-simplify]: Simplify (+ (* 1/18 (pow a 3)) (+ (* -1/12 (pow a 2)) (* 1/6 a))) into (- (+ (* 1/18 (pow a 3)) (* 1/6 a)) (* 1/12 (pow a 2))) 18.463 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 a)))))) into (log (pow (exp (log1p (/ 1 a))) 1/6)) 18.463 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in (a) around 0 18.463 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.463 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.463 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.463 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.463 * [taylor]: Taking taylor expansion of 1/6 in a 18.463 * [backup-simplify]: Simplify 1/6 into 1/6 18.463 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.463 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.463 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.463 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.464 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.464 * [taylor]: Taking taylor expansion of 1 in a 18.464 * [backup-simplify]: Simplify 1 into 1 18.464 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.464 * [taylor]: Taking taylor expansion of a in a 18.464 * [backup-simplify]: Simplify 0 into 0 18.464 * [backup-simplify]: Simplify 1 into 1 18.464 * [backup-simplify]: Simplify (/ 1 1) into 1 18.464 * [backup-simplify]: Simplify (+ 0 1) into 1 18.464 * [backup-simplify]: Simplify (log 1) into 0 18.465 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.465 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.465 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.465 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.466 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.466 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.466 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.466 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.466 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.466 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.466 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.466 * [taylor]: Taking taylor expansion of 1/6 in a 18.466 * [backup-simplify]: Simplify 1/6 into 1/6 18.466 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.466 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.466 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.466 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.466 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.466 * [taylor]: Taking taylor expansion of 1 in a 18.466 * [backup-simplify]: Simplify 1 into 1 18.466 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.466 * [taylor]: Taking taylor expansion of a in a 18.466 * [backup-simplify]: Simplify 0 into 0 18.466 * [backup-simplify]: Simplify 1 into 1 18.466 * [backup-simplify]: Simplify (/ 1 1) into 1 18.467 * [backup-simplify]: Simplify (+ 0 1) into 1 18.467 * [backup-simplify]: Simplify (log 1) into 0 18.467 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.467 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.468 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.468 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.468 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.468 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.468 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.468 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.468 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.469 * [backup-simplify]: Simplify (+ 1 0) into 1 18.470 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.470 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 18.471 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 18.471 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 (- (log a)))) into 1/6 18.471 * [backup-simplify]: Simplify (* (exp (* -1/6 (log a))) (+ (* (/ (pow 1/6 1) 1)))) into (* 1/6 (pow (/ 1 a) 1/6)) 18.472 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/6 (pow (/ 1 a) 1/6))) 1)) (pow (pow a -1/6) 1)))) 1) into 1/6 18.472 * [backup-simplify]: Simplify 1/6 into 1/6 18.472 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.473 * [backup-simplify]: Simplify (+ 0 0) into 0 18.475 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 18.475 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.476 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (exp (- (log a)))) 2)) (pow (exp (- (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log a))) 1)))) 2) into -1/2 18.477 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/12) 18.478 * [backup-simplify]: Simplify (* (exp (* -1/6 (log a))) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow (- 1/12) 1) 1)))) into (* -5/72 (pow (/ 1 a) 1/6)) 18.479 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/6 (pow (/ 1 a) 1/6))) 2)) (pow (pow a -1/6) 2))) (* 1 (/ (* 1 (pow (* 2 (* -5/72 (pow (/ 1 a) 1/6))) 1)) (pow (pow a -1/6) 1)))) 2) into -1/12 18.479 * [backup-simplify]: Simplify -1/12 into -1/12 18.479 * [backup-simplify]: Simplify (+ (* -1/12 (pow (/ 1 a) 2)) (+ (* 1/6 (/ 1 a)) (log (pow (/ 1 a) -1/6)))) into (- (+ (* 1/6 (/ 1 a)) (log (pow (/ 1 a) -1/6))) (* 1/12 (/ 1 (pow a 2)))) 18.479 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 (- a))))))) into (log (pow (exp (log1p (/ -1 a))) 1/6)) 18.479 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in (a) around 0 18.479 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.479 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.479 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.479 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.479 * [taylor]: Taking taylor expansion of 1/6 in a 18.479 * [backup-simplify]: Simplify 1/6 into 1/6 18.479 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.479 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.479 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.479 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.479 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.479 * [taylor]: Taking taylor expansion of 1 in a 18.479 * [backup-simplify]: Simplify 1 into 1 18.479 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.479 * [taylor]: Taking taylor expansion of -1 in a 18.479 * [backup-simplify]: Simplify -1 into -1 18.479 * [taylor]: Taking taylor expansion of a in a 18.479 * [backup-simplify]: Simplify 0 into 0 18.479 * [backup-simplify]: Simplify 1 into 1 18.480 * [backup-simplify]: Simplify (/ -1 1) into -1 18.480 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.481 * [backup-simplify]: Simplify (log -1) into (log -1) 18.481 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.482 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.482 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.483 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.483 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.484 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.484 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.484 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.484 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.484 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.484 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.484 * [taylor]: Taking taylor expansion of 1/6 in a 18.484 * [backup-simplify]: Simplify 1/6 into 1/6 18.484 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.484 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.484 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.485 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.485 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.485 * [taylor]: Taking taylor expansion of 1 in a 18.485 * [backup-simplify]: Simplify 1 into 1 18.485 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.485 * [taylor]: Taking taylor expansion of -1 in a 18.485 * [backup-simplify]: Simplify -1 into -1 18.485 * [taylor]: Taking taylor expansion of a in a 18.485 * [backup-simplify]: Simplify 0 into 0 18.485 * [backup-simplify]: Simplify 1 into 1 18.485 * [backup-simplify]: Simplify (/ -1 1) into -1 18.485 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.486 * [backup-simplify]: Simplify (log -1) into (log -1) 18.486 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.487 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.487 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.487 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.488 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.488 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.489 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.489 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.490 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.490 * [backup-simplify]: Simplify (+ 1 0) into 1 18.491 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 18.492 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 18.493 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 18.493 * [backup-simplify]: Simplify (+ (* 1/6 -1) (* 0 (- (log -1) (log a)))) into (- 1/6) 18.494 * [backup-simplify]: Simplify (* (exp (* 1/6 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/6) 1) 1)))) into (* -1/6 (exp (* 1/6 (- (log -1) (log a))))) 18.495 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1/6 (exp (* 1/6 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/6 (- (log -1) (log a)))) 1)))) 1) into -1/6 18.495 * [backup-simplify]: Simplify -1/6 into -1/6 18.496 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.497 * [backup-simplify]: Simplify (+ 0 0) into 0 18.500 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 18.502 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.504 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 2)) (pow (exp (- (log -1) (log a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (- (log -1) (log a))) 1)))) 2) into -1/2 18.506 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/12) 18.508 * [backup-simplify]: Simplify (* (exp (* 1/6 (- (log -1) (log a)))) (+ (* (/ (pow (- 1/6) 2) 2)) (* (/ (pow (- 1/12) 1) 1)))) into (* -5/72 (exp (* 1/6 (- (log -1) (log a))))) 18.511 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1/6 (exp (* 1/6 (- (log -1) (log a)))))) 2)) (pow (exp (* 1/6 (- (log -1) (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -5/72 (exp (* 1/6 (- (log -1) (log a)))))) 1)) (pow (exp (* 1/6 (- (log -1) (log a)))) 1)))) 2) into -1/12 18.511 * [backup-simplify]: Simplify -1/12 into -1/12 18.512 * [backup-simplify]: Simplify (+ (* -1/12 (pow (/ 1 (- a)) 2)) (+ (* -1/6 (/ 1 (- a))) (* 1/6 (- (log -1) (log (/ 1 (- a))))))) into (- (+ (* 1/6 (log -1)) (* 1/6 (/ 1 a))) (+ (* 1/12 (/ 1 (pow a 2))) (* 1/6 (log (/ -1 a))))) 18.512 * * * [progress]: simplifying candidates 18.520 * [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 (cbrt (exp (log1p a))))) (log1p (log (cbrt (exp (log1p a))))) (log (cbrt (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt 1)) (log (cbrt (exp (log1p a)))) (log (* (cbrt (cbrt (exp (log1p a)))) (cbrt (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log 1) (log (cbrt (exp (log1p a)))) (log (exp (log1p a))) (log (cbrt (exp (log1p a)))) (log (log (cbrt (exp (log1p a))))) (exp (log (cbrt (exp (log1p a))))) (* (cbrt (log (cbrt (exp (log1p a))))) (cbrt (log (cbrt (exp (log1p a)))))) (cbrt (log (cbrt (exp (log1p a))))) (* (* (log (cbrt (exp (log1p a)))) (log (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a))))) (sqrt (log (cbrt (exp (log1p a))))) (sqrt (log (cbrt (exp (log1p a))))) (expm1 (log (sqrt (cbrt (exp (log1p a)))))) (log1p (log (sqrt (cbrt (exp (log1p a)))))) (log (* (cbrt (sqrt (cbrt (exp (log1p a))))) (cbrt (sqrt (cbrt (exp (log1p a))))))) (log (cbrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a))))))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) (log (sqrt (cbrt 1))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (* (cbrt (cbrt (exp (log1p a)))) (cbrt (cbrt (exp (log1p a))))))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt 1)) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log 1) (log (sqrt (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))) (log (sqrt (cbrt (exp (log1p a))))) (log (exp (log1p a))) (log (cbrt (exp (log1p a)))) (log (log (sqrt (cbrt (exp (log1p a)))))) (exp (log (sqrt (cbrt (exp (log1p a)))))) (* (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (cbrt (log (sqrt (cbrt (exp (log1p a))))))) (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (* (* (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (expm1 (log (sqrt (cbrt (exp (log1p a)))))) (log1p (log (sqrt (cbrt (exp (log1p a)))))) (log (* (cbrt (sqrt (cbrt (exp (log1p a))))) (cbrt (sqrt (cbrt (exp (log1p a))))))) (log (cbrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a))))))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) (log (sqrt (cbrt 1))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (* (cbrt (cbrt (exp (log1p a)))) (cbrt (cbrt (exp (log1p a))))))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt 1)) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log 1) (log (sqrt (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))) (log (sqrt (cbrt (exp (log1p a))))) (log (exp (log1p a))) (log (cbrt (exp (log1p a)))) (log (log (sqrt (cbrt (exp (log1p a)))))) (exp (log (sqrt (cbrt (exp (log1p a)))))) (* (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (cbrt (log (sqrt (cbrt (exp (log1p a))))))) (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (* (* (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (- (+ (* 1/9 (pow a 3)) (* 1/3 a)) (* 1/6 (pow a 2))) (- (+ (* 1/3 (/ 1 a)) (log (pow (/ 1 a) -1/3))) (* 1/6 (/ 1 (pow a 2)))) (- (+ (* 1/3 (log -1)) (* 1/3 (/ 1 a))) (+ (* 1/6 (/ 1 (pow a 2))) (* 1/3 (log (/ -1 a))))) (- (+ (* 1/18 (pow a 3)) (* 1/6 a)) (* 1/12 (pow a 2))) (- (+ (* 1/6 (/ 1 a)) (log (pow (/ 1 a) -1/6))) (* 1/12 (/ 1 (pow a 2)))) (- (+ (* 1/6 (log -1)) (* 1/6 (/ 1 a))) (+ (* 1/12 (/ 1 (pow a 2))) (* 1/6 (log (/ -1 a))))) (- (+ (* 1/18 (pow a 3)) (* 1/6 a)) (* 1/12 (pow a 2))) (- (+ (* 1/6 (/ 1 a)) (log (pow (/ 1 a) -1/6))) (* 1/12 (/ 1 (pow a 2)))) (- (+ (* 1/6 (log -1)) (* 1/6 (/ 1 a))) (+ (* 1/12 (/ 1 (pow a 2))) (* 1/6 (log (/ -1 a))))) 18.521 * * [simplify]: Extracting # 0 : cost 0 18.522 * * [simplify]: Extracting # 1 : cost 0 18.522 * * [simplify]: Extracting # 2 : cost 0 18.522 * * [simplify]: Extracting # 3 : cost 0 18.522 * * [simplify]: Extracting # 4 : cost 0 18.522 * * [simplify]: Extracting # 5 : cost 0 18.522 * * [simplify]: Extracting # 6 : cost 0 18.522 * * [simplify]: Extracting # 7 : cost 0 18.522 * * [simplify]: Extracting # 8 : cost 0 18.523 * * [simplify]: Extracting # 9 : cost 0 18.523 * * [simplify]: iteration 0 : 120 enodes (cost 903 ) 18.551 * * [simplify]: Extracting # 0 : cost 0 18.551 * * [simplify]: Extracting # 1 : cost 0 18.552 * * [simplify]: Extracting # 2 : cost 0 18.552 * * [simplify]: Extracting # 3 : cost 0 18.552 * * [simplify]: Extracting # 4 : cost 0 18.553 * * [simplify]: Extracting # 5 : cost 0 18.553 * * [simplify]: iteration 1 : 222 enodes (cost 834 ) 18.636 * * [simplify]: Extracting # 0 : cost 0 18.637 * * [simplify]: Extracting # 1 : cost 0 18.637 * * [simplify]: Extracting # 2 : cost 0 18.637 * * [simplify]: Extracting # 3 : cost 0 18.638 * * [simplify]: Extracting # 4 : cost 0 18.638 * * [simplify]: iteration 2 : 455 enodes (cost 762 ) 18.825 * * [simplify]: Extracting # 0 : cost 0 18.827 * * [simplify]: Extracting # 1 : cost 0 18.830 * * [simplify]: Extracting # 2 : cost 0 18.831 * * [simplify]: Extracting # 3 : cost 0 18.833 * * [simplify]: Extracting # 4 : cost 0 18.835 * * [simplify]: iteration 3 : 935 enodes (cost 756 ) 19.536 * * [simplify]: Extracting # 0 : cost 0 19.538 * * [simplify]: Extracting # 1 : cost 0 19.540 * * [simplify]: Extracting # 2 : cost 0 19.542 * * [simplify]: Extracting # 3 : cost 0 19.543 * * [simplify]: Extracting # 4 : cost 0 19.545 * * [simplify]: iteration 4 : 2015 enodes (cost 747 ) 21.296 * * [simplify]: Extracting # 0 : cost 0 21.304 * * [simplify]: Extracting # 1 : cost 0 21.309 * * [simplify]: Extracting # 2 : cost 0 21.313 * * [simplify]: Extracting # 3 : cost 0 21.319 * * [simplify]: Extracting # 4 : cost 0 21.328 * * [simplify]: iteration done: 5000 enodes (cost 720 ) 21.329 * [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))) (pow (fmod (cosh a) (* a a)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (cbrt (exp (log1p a))))) (log1p (log (cbrt (exp (log1p a))))) (log (cbrt (pow (cbrt (exp (log1p a))) 2))) (log (cbrt (cbrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) (log (cbrt (sqrt (exp (log1p a))))) 0 (log (cbrt (exp (log1p a)))) (* 2 (log (cbrt (cbrt (exp (log1p a)))))) (log (cbrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (cbrt (exp (log1p a))))) 0 (log (cbrt (exp (log1p a)))) (log1p a) (log (cbrt (exp (log1p a)))) (log (log (cbrt (exp (log1p a))))) (cbrt (exp (log1p a))) (* (cbrt (log (cbrt (exp (log1p a))))) (cbrt (log (cbrt (exp (log1p a)))))) (cbrt (log (cbrt (exp (log1p a))))) (pow (log (cbrt (exp (log1p a)))) 3) (sqrt (log (cbrt (exp (log1p a))))) (sqrt (log (cbrt (exp (log1p a))))) (expm1 (log (sqrt (cbrt (exp (log1p a)))))) (log1p (log (sqrt (cbrt (exp (log1p a)))))) (* 2 (log (cbrt (sqrt (cbrt (exp (log1p a))))))) (log (cbrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (pow (cbrt (exp (log1p a))) 2)))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) 0 (log (sqrt (cbrt (exp (log1p a))))) (log (fabs (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) 0 (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) 0 (log (sqrt (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))) (log (sqrt (cbrt (exp (log1p a))))) (log1p a) (log (cbrt (exp (log1p a)))) (log (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (cbrt (exp (log1p a)))) (* (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (cbrt (log (sqrt (cbrt (exp (log1p a))))))) (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (pow (log (sqrt (cbrt (exp (log1p a))))) 3) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (expm1 (log (sqrt (cbrt (exp (log1p a)))))) (log1p (log (sqrt (cbrt (exp (log1p a)))))) (* 2 (log (cbrt (sqrt (cbrt (exp (log1p a))))))) (log (cbrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (pow (cbrt (exp (log1p a))) 2)))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) (log (sqrt (cbrt (sqrt (exp (log1p a)))))) 0 (log (sqrt (cbrt (exp (log1p a))))) (log (fabs (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (cbrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) 0 (log (sqrt (cbrt (exp (log1p a))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) (log (sqrt (sqrt (cbrt (exp (log1p a)))))) 0 (log (sqrt (cbrt (exp (log1p a))))) (log (cbrt (exp (log1p a)))) (log (sqrt (cbrt (exp (log1p a))))) (log1p a) (log (cbrt (exp (log1p a)))) (log (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (cbrt (exp (log1p a)))) (* (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (cbrt (log (sqrt (cbrt (exp (log1p a))))))) (cbrt (log (sqrt (cbrt (exp (log1p a)))))) (pow (log (sqrt (cbrt (exp (log1p a))))) 3) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (sqrt (log (sqrt (cbrt (exp (log1p a)))))) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)) (* a (fma a (fma 1/9 a -1/6) 1/3)) (+ (/ -1/6 (* a a)) (fma (log a) 1/3 (/ 1/3 a))) (+ (/ -1/6 (* a a)) (fma (log a) 1/3 (/ 1/3 a))) (* a (fma a (fma a 1/18 -1/12) 1/6)) (+ (fma (log a) 1/6 (/ -1/12 (* a a))) (/ 1/6 a)) (+ (fma (log a) 1/6 (/ -1/12 (* a a))) (/ 1/6 a)) (* a (fma a (fma a 1/18 -1/12) 1/6)) (+ (fma (log a) 1/6 (/ -1/12 (* a a))) (/ 1/6 a)) (+ (fma (log a) 1/6 (/ -1/12 (* a a))) (/ 1/6 a)) 21.329 * * * [progress]: adding candidates to table 21.901 * [progress]: [Phase 3 of 3] Extracting. 21.902 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 21.907 * * * [regime-changes]: Trying 1 branch expressions: (a) 21.907 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #) 21.981 * * * [regime]: Found split indices: #