0.884 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.257 * * * [progress]: [2/2] Setting up program. 1.265 * [progress]: [Phase 2 of 3] Improving. 1.269 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.270 * * [simplify]: Extracting # 0 : cost 0 1.271 * * [simplify]: Extracting # 1 : cost 0 1.271 * * [simplify]: Extracting # 2 : cost 0 1.271 * * [simplify]: Extracting # 3 : cost 0 1.271 * * [simplify]: Extracting # 4 : cost 0 1.271 * * [simplify]: Extracting # 5 : cost 0 1.271 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 1.330 * * [simplify]: Extracting # 0 : cost 0 1.330 * * [simplify]: Extracting # 1 : cost 0 1.330 * * [simplify]: Extracting # 2 : cost 0 1.330 * * [simplify]: Extracting # 3 : cost 0 1.330 * * [simplify]: Extracting # 4 : cost 0 1.330 * * [simplify]: Extracting # 5 : cost 0 1.330 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 1.339 * * [simplify]: Extracting # 0 : cost 0 1.339 * * [simplify]: Extracting # 1 : cost 0 1.339 * * [simplify]: Extracting # 2 : cost 0 1.339 * * [simplify]: Extracting # 3 : cost 0 1.340 * * [simplify]: Extracting # 4 : cost 0 1.340 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 1.349 * * [simplify]: Extracting # 0 : cost 0 1.349 * * [simplify]: Extracting # 1 : cost 0 1.349 * * [simplify]: Extracting # 2 : cost 0 1.349 * * [simplify]: Extracting # 3 : cost 0 1.349 * * [simplify]: Extracting # 4 : cost 0 1.350 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 1.368 * * [simplify]: Extracting # 0 : cost 0 1.368 * * [simplify]: Extracting # 1 : cost 0 1.368 * * [simplify]: Extracting # 2 : cost 0 1.368 * * [simplify]: Extracting # 3 : cost 0 1.368 * * [simplify]: Extracting # 4 : cost 0 1.369 * * [simplify]: Extracting # 5 : cost 0 1.369 * * [simplify]: iteration 4 : 89 enodes (cost 10 ) 1.426 * * [simplify]: Extracting # 0 : cost 0 1.426 * * [simplify]: Extracting # 1 : cost 0 1.426 * * [simplify]: Extracting # 2 : cost 0 1.427 * * [simplify]: Extracting # 3 : cost 0 1.427 * * [simplify]: Extracting # 4 : cost 0 1.427 * * [simplify]: iteration 5 : 195 enodes (cost 10 ) 1.620 * * [simplify]: Extracting # 0 : cost 0 1.621 * * [simplify]: Extracting # 1 : cost 0 1.622 * * [simplify]: Extracting # 2 : cost 0 1.623 * * [simplify]: Extracting # 3 : cost 0 1.624 * * [simplify]: Extracting # 4 : cost 0 1.624 * * [simplify]: iteration 6 : 633 enodes (cost 10 ) 3.080 * * [simplify]: Extracting # 0 : cost 0 3.084 * * [simplify]: Extracting # 1 : cost 0 3.087 * * [simplify]: Extracting # 2 : cost 0 3.090 * * [simplify]: Extracting # 3 : cost 0 3.093 * * [simplify]: Extracting # 4 : cost 0 3.096 * * [simplify]: Extracting # 5 : cost 0 3.099 * * [simplify]: iteration 7 : 2582 enodes (cost 10 ) 4.266 * * [simplify]: Extracting # 0 : cost 0 4.271 * * [simplify]: Extracting # 1 : cost 0 4.277 * * [simplify]: Extracting # 2 : cost 0 4.282 * * [simplify]: Extracting # 3 : cost 0 4.286 * * [simplify]: iteration done: 5000 enodes (cost 10 ) 4.287 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 4.289 * * [progress]: iteration 1 / 4 4.289 * * * [progress]: picking best candidate 4.292 * * * * [pick]: Picked # 4.292 * * * [progress]: localizing error 4.311 * * * [progress]: generating rewritten candidates 4.312 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 4.313 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 4.316 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 4.319 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 4.323 * * * [progress]: generating series expansions 4.323 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 4.327 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 4.327 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 4.328 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.329 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.329 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.329 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.330 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify 0 into 0 4.330 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.331 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 4.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.331 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.331 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 4.332 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.332 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 4.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.332 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.333 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify 0 into 0 4.333 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 4.333 * * * * [progress]: [ 2 / 4 ] generating series at (2) 4.333 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.333 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 4.333 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.333 * [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.333 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.334 * [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.334 * [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.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [backup-simplify]: Simplify 0 into 0 4.334 * [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.334 * [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.334 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 4.334 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.334 * [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.335 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.335 * [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.335 * [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.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [backup-simplify]: Simplify 0 into 0 4.335 * [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.336 * [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.336 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 4.336 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.336 * [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.336 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.336 * [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.336 * [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.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 0 into 0 4.337 * [backup-simplify]: Simplify 0 into 0 4.337 * [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.347 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 4.347 * [backup-simplify]: Simplify (log1p a) into (log1p a) 4.347 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 4.347 * [taylor]: Taking taylor expansion of (log1p a) in a 4.348 * [taylor]: Rewrote expression to (log (+ 1 a)) 4.348 * [taylor]: Taking taylor expansion of (+ 1 a) in a 4.348 * [taylor]: Taking taylor expansion of 1 in a 4.348 * [backup-simplify]: Simplify 1 into 1 4.348 * [taylor]: Taking taylor expansion of a in a 4.348 * [backup-simplify]: Simplify 0 into 0 4.348 * [backup-simplify]: Simplify 1 into 1 4.350 * [backup-simplify]: Simplify (+ 1 0) into 1 4.351 * [backup-simplify]: Simplify (log 1) into 0 4.351 * [taylor]: Taking taylor expansion of (log1p a) in a 4.351 * [taylor]: Rewrote expression to (log (+ 1 a)) 4.351 * [taylor]: Taking taylor expansion of (+ 1 a) in a 4.351 * [taylor]: Taking taylor expansion of 1 in a 4.351 * [backup-simplify]: Simplify 1 into 1 4.351 * [taylor]: Taking taylor expansion of a in a 4.351 * [backup-simplify]: Simplify 0 into 0 4.351 * [backup-simplify]: Simplify 1 into 1 4.352 * [backup-simplify]: Simplify (+ 1 0) into 1 4.352 * [backup-simplify]: Simplify (log 1) into 0 4.353 * [backup-simplify]: Simplify 0 into 0 4.353 * [backup-simplify]: Simplify (+ 0 1) into 1 4.355 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.355 * [backup-simplify]: Simplify 1 into 1 4.356 * [backup-simplify]: Simplify (+ 0 0) into 0 4.359 * [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.359 * [backup-simplify]: Simplify -1/2 into -1/2 4.359 * [backup-simplify]: Simplify (+ 0 0) into 0 4.365 * [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.365 * [backup-simplify]: Simplify 1/3 into 1/3 4.367 * [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.367 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 4.367 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 4.367 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 4.367 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 4.367 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 4.367 * [taylor]: Taking taylor expansion of 1 in a 4.367 * [backup-simplify]: Simplify 1 into 1 4.367 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.367 * [taylor]: Taking taylor expansion of a in a 4.367 * [backup-simplify]: Simplify 0 into 0 4.368 * [backup-simplify]: Simplify 1 into 1 4.368 * [backup-simplify]: Simplify (/ 1 1) into 1 4.369 * [backup-simplify]: Simplify (+ 0 1) into 1 4.369 * [backup-simplify]: Simplify (log 1) into 0 4.369 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 4.370 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 4.370 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 4.370 * [taylor]: Taking taylor expansion of 1 in a 4.370 * [backup-simplify]: Simplify 1 into 1 4.370 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.370 * [taylor]: Taking taylor expansion of a in a 4.370 * [backup-simplify]: Simplify 0 into 0 4.370 * [backup-simplify]: Simplify 1 into 1 4.370 * [backup-simplify]: Simplify (/ 1 1) into 1 4.371 * [backup-simplify]: Simplify (+ 0 1) into 1 4.371 * [backup-simplify]: Simplify (log 1) into 0 4.372 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 4.372 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 4.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.374 * [backup-simplify]: Simplify (+ 1 0) into 1 4.375 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.375 * [backup-simplify]: Simplify 1 into 1 4.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.376 * [backup-simplify]: Simplify (+ 0 0) into 0 4.379 * [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.380 * [backup-simplify]: Simplify -1/2 into -1/2 4.380 * [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.380 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 4.380 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 4.381 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 4.381 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 4.381 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 4.381 * [taylor]: Taking taylor expansion of 1 in a 4.381 * [backup-simplify]: Simplify 1 into 1 4.381 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.381 * [taylor]: Taking taylor expansion of -1 in a 4.381 * [backup-simplify]: Simplify -1 into -1 4.381 * [taylor]: Taking taylor expansion of a in a 4.381 * [backup-simplify]: Simplify 0 into 0 4.381 * [backup-simplify]: Simplify 1 into 1 4.382 * [backup-simplify]: Simplify (/ -1 1) into -1 4.382 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.382 * [backup-simplify]: Simplify (log -1) into (log -1) 4.383 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 4.383 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 4.383 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 4.383 * [taylor]: Taking taylor expansion of 1 in a 4.383 * [backup-simplify]: Simplify 1 into 1 4.383 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.383 * [taylor]: Taking taylor expansion of -1 in a 4.383 * [backup-simplify]: Simplify -1 into -1 4.383 * [taylor]: Taking taylor expansion of a in a 4.383 * [backup-simplify]: Simplify 0 into 0 4.383 * [backup-simplify]: Simplify 1 into 1 4.383 * [backup-simplify]: Simplify (/ -1 1) into -1 4.384 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.384 * [backup-simplify]: Simplify (log -1) into (log -1) 4.385 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 4.386 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 4.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.387 * [backup-simplify]: Simplify (+ 1 0) into 1 4.389 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 4.389 * [backup-simplify]: Simplify -1 into -1 4.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.390 * [backup-simplify]: Simplify (+ 0 0) into 0 4.393 * [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.394 * [backup-simplify]: Simplify -1/2 into -1/2 4.395 * [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.395 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.395 * [backup-simplify]: Simplify (cosh a) into (cosh a) 4.395 * [approximate]: Taking taylor expansion of (cosh a) in (a) around 0 4.395 * [taylor]: Taking taylor expansion of (cosh a) in a 4.395 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 4.395 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 4.395 * [taylor]: Taking taylor expansion of (exp a) in a 4.395 * [taylor]: Taking taylor expansion of a in a 4.395 * [backup-simplify]: Simplify 0 into 0 4.395 * [backup-simplify]: Simplify 1 into 1 4.395 * [backup-simplify]: Simplify (exp 0) into 1 4.395 * [taylor]: Taking taylor expansion of (exp (- a)) in a 4.395 * [taylor]: Taking taylor expansion of (- a) in a 4.395 * [taylor]: Taking taylor expansion of a in a 4.395 * [backup-simplify]: Simplify 0 into 0 4.395 * [backup-simplify]: Simplify 1 into 1 4.396 * [backup-simplify]: Simplify (- 0) into 0 4.396 * [backup-simplify]: Simplify (- 1) into -1 4.396 * [backup-simplify]: Simplify (exp 0) into 1 4.396 * [taylor]: Taking taylor expansion of 2 in a 4.396 * [backup-simplify]: Simplify 2 into 2 4.397 * [backup-simplify]: Simplify (+ 1 1) into 2 4.397 * [backup-simplify]: Simplify (/ 2 2) into 1 4.397 * [taylor]: Taking taylor expansion of (cosh a) in a 4.397 * [taylor]: Rewrote expression to (/ (+ (exp a) (exp (- a))) 2) 4.397 * [taylor]: Taking taylor expansion of (+ (exp a) (exp (- a))) in a 4.397 * [taylor]: Taking taylor expansion of (exp a) in a 4.397 * [taylor]: Taking taylor expansion of a in a 4.397 * [backup-simplify]: Simplify 0 into 0 4.398 * [backup-simplify]: Simplify 1 into 1 4.398 * [backup-simplify]: Simplify (exp 0) into 1 4.398 * [taylor]: Taking taylor expansion of (exp (- a)) in a 4.398 * [taylor]: Taking taylor expansion of (- a) in a 4.398 * [taylor]: Taking taylor expansion of a in a 4.398 * [backup-simplify]: Simplify 0 into 0 4.398 * [backup-simplify]: Simplify 1 into 1 4.398 * [backup-simplify]: Simplify (- 0) into 0 4.399 * [backup-simplify]: Simplify (- 1) into -1 4.399 * [backup-simplify]: Simplify (exp 0) into 1 4.399 * [taylor]: Taking taylor expansion of 2 in a 4.399 * [backup-simplify]: Simplify 2 into 2 4.399 * [backup-simplify]: Simplify (+ 1 1) into 2 4.399 * [backup-simplify]: Simplify (/ 2 2) into 1 4.399 * [backup-simplify]: Simplify 1 into 1 4.401 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.402 * [backup-simplify]: Simplify (- 1) into -1 4.403 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.404 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.405 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.405 * [backup-simplify]: Simplify 0 into 0 4.406 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.407 * [backup-simplify]: Simplify (- 1) into -1 4.407 * [backup-simplify]: Simplify (- 0) into 0 4.409 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.409 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.411 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 4.411 * [backup-simplify]: Simplify 1/2 into 1/2 4.413 * [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.414 * [backup-simplify]: Simplify (- 1) into -1 4.414 * [backup-simplify]: Simplify (- 1) into -1 4.414 * [backup-simplify]: Simplify (- 0) into 0 4.415 * [backup-simplify]: Simplify (- 0) into 0 4.417 * [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.418 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.419 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 4.419 * [backup-simplify]: Simplify 0 into 0 4.424 * [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.424 * [backup-simplify]: Simplify (- 1) into -1 4.425 * [backup-simplify]: Simplify (- 1) into -1 4.425 * [backup-simplify]: Simplify (- 0) into 0 4.425 * [backup-simplify]: Simplify (- 1) into -1 4.426 * [backup-simplify]: Simplify (- 0) into 0 4.426 * [backup-simplify]: Simplify (- 0) into 0 4.426 * [backup-simplify]: Simplify (- 0) into 0 4.431 * [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.431 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.433 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 4.433 * [backup-simplify]: Simplify 1/24 into 1/24 4.434 * [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.434 * [backup-simplify]: Simplify (cosh (/ 1 a)) into (cosh (/ 1 a)) 4.434 * [approximate]: Taking taylor expansion of (cosh (/ 1 a)) in (a) around 0 4.434 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a 4.434 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 4.434 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 4.434 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 4.434 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.434 * [taylor]: Taking taylor expansion of a in a 4.434 * [backup-simplify]: Simplify 0 into 0 4.434 * [backup-simplify]: Simplify 1 into 1 4.435 * [backup-simplify]: Simplify (/ 1 1) into 1 4.435 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 4.435 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a 4.435 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 4.435 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.435 * [taylor]: Taking taylor expansion of a in a 4.435 * [backup-simplify]: Simplify 0 into 0 4.435 * [backup-simplify]: Simplify 1 into 1 4.435 * [backup-simplify]: Simplify (/ 1 1) into 1 4.436 * [backup-simplify]: Simplify (- 1) into -1 4.436 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 4.436 * [taylor]: Taking taylor expansion of 2 in a 4.436 * [backup-simplify]: Simplify 2 into 2 4.436 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 4.436 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 4.436 * [taylor]: Taking taylor expansion of (cosh (/ 1 a)) in a 4.437 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) 2) 4.437 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) in a 4.437 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 4.437 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.437 * [taylor]: Taking taylor expansion of a in a 4.437 * [backup-simplify]: Simplify 0 into 0 4.437 * [backup-simplify]: Simplify 1 into 1 4.437 * [backup-simplify]: Simplify (/ 1 1) into 1 4.437 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 4.437 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a))) in a 4.437 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 4.437 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.437 * [taylor]: Taking taylor expansion of a in a 4.437 * [backup-simplify]: Simplify 0 into 0 4.437 * [backup-simplify]: Simplify 1 into 1 4.438 * [backup-simplify]: Simplify (/ 1 1) into 1 4.438 * [backup-simplify]: Simplify (- 1) into -1 4.438 * [backup-simplify]: Simplify (exp (- (/ 1 a))) into (exp (- (/ 1 a))) 4.438 * [taylor]: Taking taylor expansion of 2 in a 4.438 * [backup-simplify]: Simplify 2 into 2 4.439 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (- (/ 1 a)))) into (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 4.439 * [backup-simplify]: Simplify (/ (+ (exp (- (/ 1 a))) (exp (/ 1 a))) 2) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 4.439 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) into (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) 4.440 * [backup-simplify]: Simplify (+ 0 0) into 0 4.441 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)))) into 0 4.441 * [backup-simplify]: Simplify 0 into 0 4.441 * [backup-simplify]: Simplify (+ 0 0) into 0 4.443 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.443 * [backup-simplify]: Simplify 0 into 0 4.443 * [backup-simplify]: Simplify (+ 0 0) into 0 4.445 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 a))) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.445 * [backup-simplify]: Simplify 0 into 0 4.446 * [backup-simplify]: Simplify (+ 0 0) into 0 4.448 * [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.449 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify (+ 0 0) into 0 4.452 * [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.452 * [backup-simplify]: Simplify 0 into 0 4.453 * [backup-simplify]: Simplify (+ 0 0) into 0 4.456 * [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.456 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 a)))) (exp (/ 1 (/ 1 a))))) into (* 1/2 (+ (exp (- a)) (exp a))) 4.457 * [backup-simplify]: Simplify (cosh (/ 1 (- a))) into (cosh (/ -1 a)) 4.457 * [approximate]: Taking taylor expansion of (cosh (/ -1 a)) in (a) around 0 4.457 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a 4.457 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 4.457 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 4.457 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 4.457 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.457 * [taylor]: Taking taylor expansion of -1 in a 4.457 * [backup-simplify]: Simplify -1 into -1 4.457 * [taylor]: Taking taylor expansion of a in a 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify 1 into 1 4.458 * [backup-simplify]: Simplify (/ -1 1) into -1 4.458 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 4.458 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a 4.458 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a 4.458 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.458 * [taylor]: Taking taylor expansion of -1 in a 4.458 * [backup-simplify]: Simplify -1 into -1 4.458 * [taylor]: Taking taylor expansion of a in a 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify 1 into 1 4.459 * [backup-simplify]: Simplify (/ -1 1) into -1 4.459 * [backup-simplify]: Simplify (- -1) into 1 4.459 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 4.459 * [taylor]: Taking taylor expansion of 2 in a 4.459 * [backup-simplify]: Simplify 2 into 2 4.460 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 4.460 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) 4.460 * [taylor]: Taking taylor expansion of (cosh (/ -1 a)) in a 4.460 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) 2) 4.460 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 a)) (exp (- (/ -1 a)))) in a 4.460 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 4.460 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.460 * [taylor]: Taking taylor expansion of -1 in a 4.460 * [backup-simplify]: Simplify -1 into -1 4.460 * [taylor]: Taking taylor expansion of a in a 4.460 * [backup-simplify]: Simplify 0 into 0 4.460 * [backup-simplify]: Simplify 1 into 1 4.461 * [backup-simplify]: Simplify (/ -1 1) into -1 4.461 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 4.461 * [taylor]: Taking taylor expansion of (exp (- (/ -1 a))) in a 4.461 * [taylor]: Taking taylor expansion of (- (/ -1 a)) in a 4.461 * [taylor]: Taking taylor expansion of (/ -1 a) in a 4.461 * [taylor]: Taking taylor expansion of -1 in a 4.461 * [backup-simplify]: Simplify -1 into -1 4.461 * [taylor]: Taking taylor expansion of a in a 4.461 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify 1 into 1 4.462 * [backup-simplify]: Simplify (/ -1 1) into -1 4.462 * [backup-simplify]: Simplify (- -1) into 1 4.462 * [backup-simplify]: Simplify (exp (- (/ -1 a))) into (exp (/ 1 a)) 4.462 * [taylor]: Taking taylor expansion of 2 in a 4.462 * [backup-simplify]: Simplify 2 into 2 4.462 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) (exp (/ 1 a))) into (+ (exp (/ 1 a)) (exp (/ -1 a))) 4.463 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 a)) (exp (/ -1 a))) 2) into (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) 4.463 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) into (* 1/2 (+ (exp (/ 1 a)) (exp (/ -1 a)))) 4.464 * [backup-simplify]: Simplify (+ 0 0) into 0 4.465 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)))) into 0 4.465 * [backup-simplify]: Simplify 0 into 0 4.465 * [backup-simplify]: Simplify (+ 0 0) into 0 4.467 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify (+ 0 0) into 0 4.469 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 a)) (exp (/ 1 a)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.469 * [backup-simplify]: Simplify 0 into 0 4.470 * [backup-simplify]: Simplify (+ 0 0) into 0 4.472 * [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.472 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify (+ 0 0) into 0 4.476 * [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.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify (+ 0 0) into 0 4.480 * [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.480 * [backup-simplify]: Simplify 0 into 0 4.481 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- a)))) (exp (/ -1 (/ 1 (- a)))))) into (* 1/2 (+ (exp (* -1 a)) (exp a))) 4.481 * * * [progress]: simplifying candidates 4.482 * [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.484 * * [simplify]: Extracting # 0 : cost 0 4.484 * * [simplify]: Extracting # 1 : cost 0 4.484 * * [simplify]: Extracting # 2 : cost 0 4.485 * * [simplify]: Extracting # 3 : cost 0 4.485 * * [simplify]: Extracting # 4 : cost 0 4.485 * * [simplify]: Extracting # 5 : cost 0 4.485 * * [simplify]: Extracting # 6 : cost 0 4.485 * * [simplify]: Extracting # 7 : cost 0 4.486 * * [simplify]: Extracting # 8 : cost 0 4.486 * * [simplify]: Extracting # 9 : cost 0 4.486 * * [simplify]: iteration 0 : 90 enodes (cost 436 ) 4.532 * * [simplify]: Extracting # 0 : cost 0 4.533 * * [simplify]: Extracting # 1 : cost 0 4.533 * * [simplify]: Extracting # 2 : cost 0 4.534 * * [simplify]: Extracting # 3 : cost 0 4.534 * * [simplify]: Extracting # 4 : cost 0 4.534 * * [simplify]: iteration 1 : 161 enodes (cost 425 ) 4.609 * * [simplify]: Extracting # 0 : cost 0 4.610 * * [simplify]: Extracting # 1 : cost 0 4.610 * * [simplify]: Extracting # 2 : cost 0 4.611 * * [simplify]: Extracting # 3 : cost 0 4.611 * * [simplify]: Extracting # 4 : cost 0 4.612 * * [simplify]: iteration 2 : 310 enodes (cost 384 ) 4.766 * * [simplify]: Extracting # 0 : cost 0 4.767 * * [simplify]: Extracting # 1 : cost 0 4.768 * * [simplify]: Extracting # 2 : cost 0 4.770 * * [simplify]: Extracting # 3 : cost 0 4.771 * * [simplify]: Extracting # 4 : cost 0 4.772 * * [simplify]: iteration 3 : 657 enodes (cost 383 ) 5.263 * * [simplify]: Extracting # 0 : cost 0 5.265 * * [simplify]: Extracting # 1 : cost 0 5.266 * * [simplify]: Extracting # 2 : cost 0 5.267 * * [simplify]: Extracting # 3 : cost 0 5.269 * * [simplify]: Extracting # 4 : cost 0 5.270 * * [simplify]: iteration 4 : 1514 enodes (cost 376 ) 7.264 * * [simplify]: Extracting # 0 : cost 0 7.269 * * [simplify]: Extracting # 1 : cost 0 7.273 * * [simplify]: Extracting # 2 : cost 0 7.276 * * [simplify]: Extracting # 3 : cost 0 7.279 * * [simplify]: Extracting # 4 : cost 0 7.283 * * [simplify]: iteration 5 : 3936 enodes (cost 376 ) 9.256 * * [simplify]: Extracting # 0 : cost 0 9.266 * * [simplify]: Extracting # 1 : cost 0 9.275 * * [simplify]: Extracting # 2 : cost 0 9.284 * * [simplify]: iteration done: 5000 enodes (cost 376 ) 9.285 * [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))) 9.286 * * * [progress]: adding candidates to table 9.563 * * [progress]: iteration 2 / 4 9.563 * * * [progress]: picking best candidate 9.595 * * * * [pick]: Picked # 9.595 * * * [progress]: localizing error 9.626 * * * [progress]: generating rewritten candidates 9.626 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 9.627 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 9.633 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 9.635 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 9.637 * * * [progress]: generating series expansions 9.637 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 9.637 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 9.638 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 9.638 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 9.638 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.638 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 9.638 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.638 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.638 * [backup-simplify]: Simplify 0 into 0 9.638 * [backup-simplify]: Simplify 0 into 0 9.638 * [backup-simplify]: Simplify 0 into 0 9.638 * [backup-simplify]: Simplify 0 into 0 9.638 * [backup-simplify]: Simplify 0 into 0 9.639 * [backup-simplify]: Simplify 0 into 0 9.639 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 9.639 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.639 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 9.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 9.639 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.639 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 9.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 9.640 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 9.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.641 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 9.641 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 9.641 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.641 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 9.641 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 9.642 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 9.642 * [backup-simplify]: Simplify (log (exp (log1p a))) into (log1p a) 9.642 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 9.642 * [taylor]: Taking taylor expansion of (log1p a) in a 9.643 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.643 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.643 * [taylor]: Taking taylor expansion of 1 in a 9.643 * [backup-simplify]: Simplify 1 into 1 9.643 * [taylor]: Taking taylor expansion of a in a 9.643 * [backup-simplify]: Simplify 0 into 0 9.643 * [backup-simplify]: Simplify 1 into 1 9.643 * [backup-simplify]: Simplify (+ 1 0) into 1 9.644 * [backup-simplify]: Simplify (log 1) into 0 9.644 * [taylor]: Taking taylor expansion of (log1p a) in a 9.644 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.644 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.644 * [taylor]: Taking taylor expansion of 1 in a 9.644 * [backup-simplify]: Simplify 1 into 1 9.644 * [taylor]: Taking taylor expansion of a in a 9.644 * [backup-simplify]: Simplify 0 into 0 9.644 * [backup-simplify]: Simplify 1 into 1 9.644 * [backup-simplify]: Simplify (+ 1 0) into 1 9.645 * [backup-simplify]: Simplify (log 1) into 0 9.645 * [backup-simplify]: Simplify 0 into 0 9.645 * [backup-simplify]: Simplify (+ 0 1) into 1 9.647 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.647 * [backup-simplify]: Simplify 1 into 1 9.647 * [backup-simplify]: Simplify (+ 0 0) into 0 9.650 * [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.650 * [backup-simplify]: Simplify -1/2 into -1/2 9.650 * [backup-simplify]: Simplify (+ 0 0) into 0 9.657 * [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.657 * [backup-simplify]: Simplify 1/3 into 1/3 9.658 * [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.658 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 a)))) into (log1p (/ 1 a)) 9.658 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 9.658 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.658 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.658 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.658 * [taylor]: Taking taylor expansion of 1 in a 9.658 * [backup-simplify]: Simplify 1 into 1 9.658 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.658 * [taylor]: Taking taylor expansion of a in a 9.658 * [backup-simplify]: Simplify 0 into 0 9.658 * [backup-simplify]: Simplify 1 into 1 9.659 * [backup-simplify]: Simplify (/ 1 1) into 1 9.659 * [backup-simplify]: Simplify (+ 0 1) into 1 9.659 * [backup-simplify]: Simplify (log 1) into 0 9.659 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.660 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.660 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.660 * [taylor]: Taking taylor expansion of 1 in a 9.660 * [backup-simplify]: Simplify 1 into 1 9.660 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.660 * [taylor]: Taking taylor expansion of a in a 9.660 * [backup-simplify]: Simplify 0 into 0 9.660 * [backup-simplify]: Simplify 1 into 1 9.660 * [backup-simplify]: Simplify (/ 1 1) into 1 9.661 * [backup-simplify]: Simplify (+ 0 1) into 1 9.661 * [backup-simplify]: Simplify (log 1) into 0 9.661 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 9.662 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 9.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.663 * [backup-simplify]: Simplify (+ 1 0) into 1 9.664 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.664 * [backup-simplify]: Simplify 1 into 1 9.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.665 * [backup-simplify]: Simplify (+ 0 0) into 0 9.668 * [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.668 * [backup-simplify]: Simplify -1/2 into -1/2 9.669 * [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.669 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 (- a))))) into (log1p (/ -1 a)) 9.669 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 9.669 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.669 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.669 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.669 * [taylor]: Taking taylor expansion of 1 in a 9.669 * [backup-simplify]: Simplify 1 into 1 9.669 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.669 * [taylor]: Taking taylor expansion of -1 in a 9.669 * [backup-simplify]: Simplify -1 into -1 9.669 * [taylor]: Taking taylor expansion of a in a 9.670 * [backup-simplify]: Simplify 0 into 0 9.670 * [backup-simplify]: Simplify 1 into 1 9.670 * [backup-simplify]: Simplify (/ -1 1) into -1 9.671 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.671 * [backup-simplify]: Simplify (log -1) into (log -1) 9.671 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.671 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.671 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.671 * [taylor]: Taking taylor expansion of 1 in a 9.671 * [backup-simplify]: Simplify 1 into 1 9.671 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.671 * [taylor]: Taking taylor expansion of -1 in a 9.671 * [backup-simplify]: Simplify -1 into -1 9.671 * [taylor]: Taking taylor expansion of a in a 9.671 * [backup-simplify]: Simplify 0 into 0 9.671 * [backup-simplify]: Simplify 1 into 1 9.672 * [backup-simplify]: Simplify (/ -1 1) into -1 9.672 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.673 * [backup-simplify]: Simplify (log -1) into (log -1) 9.674 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 9.674 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 9.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.676 * [backup-simplify]: Simplify (+ 1 0) into 1 9.677 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 9.677 * [backup-simplify]: Simplify -1 into -1 9.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.678 * [backup-simplify]: Simplify (+ 0 0) into 0 9.681 * [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.681 * [backup-simplify]: Simplify -1/2 into -1/2 9.682 * [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.682 * * * * [progress]: [ 3 / 4 ] generating series at (2) 9.683 * [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.683 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 9.683 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 9.683 * [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.683 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 9.684 * [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.684 * [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.684 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify 0 into 0 9.684 * [backup-simplify]: Simplify 0 into 0 9.684 * [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.685 * [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.685 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 9.685 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 9.685 * [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.685 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 9.686 * [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.686 * [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.686 * [backup-simplify]: Simplify 0 into 0 9.686 * [backup-simplify]: Simplify 0 into 0 9.686 * [backup-simplify]: Simplify 0 into 0 9.686 * [backup-simplify]: Simplify 0 into 0 9.686 * [backup-simplify]: Simplify 0 into 0 9.686 * [backup-simplify]: Simplify 0 into 0 9.687 * [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.687 * [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.687 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 9.688 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 9.688 * [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.688 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 9.688 * [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.689 * [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.689 * [backup-simplify]: Simplify 0 into 0 9.689 * [backup-simplify]: Simplify 0 into 0 9.689 * [backup-simplify]: Simplify 0 into 0 9.689 * [backup-simplify]: Simplify 0 into 0 9.689 * [backup-simplify]: Simplify 0 into 0 9.689 * [backup-simplify]: Simplify 0 into 0 9.690 * [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.690 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 9.690 * [backup-simplify]: Simplify (log1p a) into (log1p a) 9.690 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0 9.690 * [taylor]: Taking taylor expansion of (log1p a) in a 9.690 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.690 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.690 * [taylor]: Taking taylor expansion of 1 in a 9.690 * [backup-simplify]: Simplify 1 into 1 9.690 * [taylor]: Taking taylor expansion of a in a 9.690 * [backup-simplify]: Simplify 0 into 0 9.690 * [backup-simplify]: Simplify 1 into 1 9.691 * [backup-simplify]: Simplify (+ 1 0) into 1 9.691 * [backup-simplify]: Simplify (log 1) into 0 9.691 * [taylor]: Taking taylor expansion of (log1p a) in a 9.691 * [taylor]: Rewrote expression to (log (+ 1 a)) 9.691 * [taylor]: Taking taylor expansion of (+ 1 a) in a 9.691 * [taylor]: Taking taylor expansion of 1 in a 9.691 * [backup-simplify]: Simplify 1 into 1 9.691 * [taylor]: Taking taylor expansion of a in a 9.691 * [backup-simplify]: Simplify 0 into 0 9.691 * [backup-simplify]: Simplify 1 into 1 9.692 * [backup-simplify]: Simplify (+ 1 0) into 1 9.692 * [backup-simplify]: Simplify (log 1) into 0 9.692 * [backup-simplify]: Simplify 0 into 0 9.693 * [backup-simplify]: Simplify (+ 0 1) into 1 9.702 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.702 * [backup-simplify]: Simplify 1 into 1 9.703 * [backup-simplify]: Simplify (+ 0 0) into 0 9.706 * [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.706 * [backup-simplify]: Simplify -1/2 into -1/2 9.707 * [backup-simplify]: Simplify (+ 0 0) into 0 9.713 * [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.713 * [backup-simplify]: Simplify 1/3 into 1/3 9.713 * [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.714 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a)) 9.714 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0 9.714 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.714 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.714 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.714 * [taylor]: Taking taylor expansion of 1 in a 9.714 * [backup-simplify]: Simplify 1 into 1 9.714 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.714 * [taylor]: Taking taylor expansion of a in a 9.714 * [backup-simplify]: Simplify 0 into 0 9.714 * [backup-simplify]: Simplify 1 into 1 9.714 * [backup-simplify]: Simplify (/ 1 1) into 1 9.715 * [backup-simplify]: Simplify (+ 0 1) into 1 9.715 * [backup-simplify]: Simplify (log 1) into 0 9.715 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 9.715 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 9.715 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 9.715 * [taylor]: Taking taylor expansion of 1 in a 9.716 * [backup-simplify]: Simplify 1 into 1 9.716 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.716 * [taylor]: Taking taylor expansion of a in a 9.716 * [backup-simplify]: Simplify 0 into 0 9.716 * [backup-simplify]: Simplify 1 into 1 9.716 * [backup-simplify]: Simplify (/ 1 1) into 1 9.716 * [backup-simplify]: Simplify (+ 0 1) into 1 9.717 * [backup-simplify]: Simplify (log 1) into 0 9.718 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 9.718 * [backup-simplify]: Simplify (- (log a)) into (- (log a)) 9.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.719 * [backup-simplify]: Simplify (+ 1 0) into 1 9.720 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.720 * [backup-simplify]: Simplify 1 into 1 9.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.722 * [backup-simplify]: Simplify (+ 0 0) into 0 9.725 * [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.725 * [backup-simplify]: Simplify -1/2 into -1/2 9.725 * [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.725 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a)) 9.725 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0 9.725 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.725 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.726 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.726 * [taylor]: Taking taylor expansion of 1 in a 9.726 * [backup-simplify]: Simplify 1 into 1 9.726 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.726 * [taylor]: Taking taylor expansion of -1 in a 9.726 * [backup-simplify]: Simplify -1 into -1 9.726 * [taylor]: Taking taylor expansion of a in a 9.726 * [backup-simplify]: Simplify 0 into 0 9.726 * [backup-simplify]: Simplify 1 into 1 9.726 * [backup-simplify]: Simplify (/ -1 1) into -1 9.727 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.727 * [backup-simplify]: Simplify (log -1) into (log -1) 9.727 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 9.727 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 9.727 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 9.727 * [taylor]: Taking taylor expansion of 1 in a 9.727 * [backup-simplify]: Simplify 1 into 1 9.727 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.728 * [taylor]: Taking taylor expansion of -1 in a 9.728 * [backup-simplify]: Simplify -1 into -1 9.728 * [taylor]: Taking taylor expansion of a in a 9.728 * [backup-simplify]: Simplify 0 into 0 9.728 * [backup-simplify]: Simplify 1 into 1 9.728 * [backup-simplify]: Simplify (/ -1 1) into -1 9.729 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.729 * [backup-simplify]: Simplify (log -1) into (log -1) 9.730 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 9.730 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a)) 9.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.732 * [backup-simplify]: Simplify (+ 1 0) into 1 9.733 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 9.733 * [backup-simplify]: Simplify -1 into -1 9.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.735 * [backup-simplify]: Simplify (+ 0 0) into 0 9.738 * [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.738 * [backup-simplify]: Simplify -1/2 into -1/2 9.739 * [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.739 * * * [progress]: simplifying candidates 9.740 * [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.742 * * [simplify]: Extracting # 0 : cost 0 9.742 * * [simplify]: Extracting # 1 : cost 0 9.743 * * [simplify]: Extracting # 2 : cost 0 9.743 * * [simplify]: Extracting # 3 : cost 0 9.743 * * [simplify]: Extracting # 4 : cost 0 9.743 * * [simplify]: Extracting # 5 : cost 0 9.743 * * [simplify]: Extracting # 6 : cost 0 9.744 * * [simplify]: iteration 0 : 88 enodes (cost 550 ) 9.768 * * [simplify]: Extracting # 0 : cost 0 9.768 * * [simplify]: Extracting # 1 : cost 0 9.768 * * [simplify]: Extracting # 2 : cost 0 9.768 * * [simplify]: Extracting # 3 : cost 0 9.769 * * [simplify]: Extracting # 4 : cost 0 9.769 * * [simplify]: Extracting # 5 : cost 0 9.769 * * [simplify]: iteration 1 : 144 enodes (cost 473 ) 9.802 * * [simplify]: Extracting # 0 : cost 0 9.802 * * [simplify]: Extracting # 1 : cost 0 9.803 * * [simplify]: Extracting # 2 : cost 0 9.803 * * [simplify]: Extracting # 3 : cost 0 9.803 * * [simplify]: Extracting # 4 : cost 0 9.804 * * [simplify]: iteration 2 : 259 enodes (cost 428 ) 9.887 * * [simplify]: Extracting # 0 : cost 0 9.887 * * [simplify]: Extracting # 1 : cost 0 9.888 * * [simplify]: Extracting # 2 : cost 0 9.888 * * [simplify]: Extracting # 3 : cost 0 9.889 * * [simplify]: Extracting # 4 : cost 0 9.889 * * [simplify]: Extracting # 5 : cost 0 9.890 * * [simplify]: iteration 3 : 504 enodes (cost 426 ) 10.188 * * [simplify]: Extracting # 0 : cost 0 10.190 * * [simplify]: Extracting # 1 : cost 0 10.192 * * [simplify]: Extracting # 2 : cost 0 10.195 * * [simplify]: Extracting # 3 : cost 0 10.196 * * [simplify]: Extracting # 4 : cost 0 10.198 * * [simplify]: iteration 4 : 1093 enodes (cost 412 ) 11.643 * * [simplify]: Extracting # 0 : cost 0 11.646 * * [simplify]: Extracting # 1 : cost 0 11.649 * * [simplify]: Extracting # 2 : cost 0 11.651 * * [simplify]: Extracting # 3 : cost 0 11.654 * * [simplify]: Extracting # 4 : cost 0 11.657 * * [simplify]: iteration 5 : 2718 enodes (cost 412 ) 14.135 * * [simplify]: Extracting # 0 : cost 0 14.142 * * [simplify]: Extracting # 1 : cost 0 14.151 * * [simplify]: Extracting # 2 : cost 0 14.159 * * [simplify]: Extracting # 3 : cost 0 14.167 * * [simplify]: Extracting # 4 : cost 0 14.174 * * [simplify]: iteration done: 5000 enodes (cost 412 ) 14.175 * [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))) 14.175 * * * [progress]: adding candidates to table 14.441 * * [progress]: iteration 3 / 4 14.441 * * * [progress]: picking best candidate 14.466 * * * * [pick]: Picked # 14.466 * * * [progress]: localizing error 14.508 * * * [progress]: generating rewritten candidates 14.508 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 14.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 14.515 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 14.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 14.524 * * * [progress]: generating series expansions 14.525 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 14.525 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 14.525 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 14.525 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.525 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.525 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.525 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.525 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.526 * [backup-simplify]: Simplify 0 into 0 14.526 * [backup-simplify]: Simplify 0 into 0 14.526 * [backup-simplify]: Simplify 0 into 0 14.526 * [backup-simplify]: Simplify 0 into 0 14.526 * [backup-simplify]: Simplify 0 into 0 14.526 * [backup-simplify]: Simplify 0 into 0 14.526 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 14.526 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.526 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 14.526 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 14.526 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.526 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 14.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 14.527 * [backup-simplify]: Simplify 0 into 0 14.527 * [backup-simplify]: Simplify 0 into 0 14.527 * [backup-simplify]: Simplify 0 into 0 14.527 * [backup-simplify]: Simplify 0 into 0 14.527 * [backup-simplify]: Simplify 0 into 0 14.527 * [backup-simplify]: Simplify 0 into 0 14.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 14.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.528 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 14.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 14.528 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 14.528 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 14.529 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 14.529 * [backup-simplify]: Simplify (log (cbrt (exp (log1p a)))) into (log (pow (exp (log1p a)) 1/3)) 14.529 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in (a) around 0 14.529 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.529 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.530 * [taylor]: Taking taylor expansion of 1/3 in a 14.530 * [backup-simplify]: Simplify 1/3 into 1/3 14.530 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.530 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.530 * [taylor]: Taking taylor expansion of (log1p a) in a 14.530 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.530 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.530 * [taylor]: Taking taylor expansion of 1 in a 14.530 * [backup-simplify]: Simplify 1 into 1 14.530 * [taylor]: Taking taylor expansion of a in a 14.530 * [backup-simplify]: Simplify 0 into 0 14.530 * [backup-simplify]: Simplify 1 into 1 14.531 * [backup-simplify]: Simplify (+ 1 0) into 1 14.531 * [backup-simplify]: Simplify (log 1) into 0 14.531 * [backup-simplify]: Simplify (+ 0 1) into 1 14.533 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.533 * [backup-simplify]: Simplify (exp 0) into 1 14.533 * [backup-simplify]: Simplify (log 1) into 0 14.534 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.535 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.536 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.537 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.537 * [backup-simplify]: Simplify (exp 0) into 1 14.537 * [backup-simplify]: Simplify (log 1) into 0 14.537 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.537 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.537 * [taylor]: Taking taylor expansion of 1/3 in a 14.537 * [backup-simplify]: Simplify 1/3 into 1/3 14.537 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.537 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.537 * [taylor]: Taking taylor expansion of (log1p a) in a 14.537 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.537 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.537 * [taylor]: Taking taylor expansion of 1 in a 14.537 * [backup-simplify]: Simplify 1 into 1 14.538 * [taylor]: Taking taylor expansion of a in a 14.538 * [backup-simplify]: Simplify 0 into 0 14.538 * [backup-simplify]: Simplify 1 into 1 14.538 * [backup-simplify]: Simplify (+ 1 0) into 1 14.538 * [backup-simplify]: Simplify (log 1) into 0 14.539 * [backup-simplify]: Simplify (+ 0 1) into 1 14.551 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.551 * [backup-simplify]: Simplify (exp 0) into 1 14.551 * [backup-simplify]: Simplify (log 1) into 0 14.552 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.553 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.555 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.556 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.556 * [backup-simplify]: Simplify (exp 0) into 1 14.557 * [backup-simplify]: Simplify (log 1) into 0 14.557 * [backup-simplify]: Simplify 0 into 0 14.558 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 14.559 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/3) 1)) (pow 1 1)))) 1) into 1/3 14.559 * [backup-simplify]: Simplify 1/3 into 1/3 14.560 * [backup-simplify]: Simplify (+ 0 0) into 0 14.564 * [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.565 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.569 * [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.570 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 14.572 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 14.575 * [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.575 * [backup-simplify]: Simplify -1/6 into -1/6 14.576 * [backup-simplify]: Simplify (+ 0 0) into 0 14.581 * [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.585 * [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.591 * [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.593 * [backup-simplify]: Simplify (+ (* 1/3 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/9 14.597 * [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.601 * [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.601 * [backup-simplify]: Simplify 1/9 into 1/9 14.601 * [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.601 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 a))))) into (log (pow (exp (log1p (/ 1 a))) 1/3)) 14.601 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in (a) around 0 14.601 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.601 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.602 * [taylor]: Taking taylor expansion of 1/3 in a 14.602 * [backup-simplify]: Simplify 1/3 into 1/3 14.602 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.602 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.602 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.602 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.602 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.602 * [taylor]: Taking taylor expansion of 1 in a 14.602 * [backup-simplify]: Simplify 1 into 1 14.602 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.602 * [taylor]: Taking taylor expansion of a in a 14.602 * [backup-simplify]: Simplify 0 into 0 14.602 * [backup-simplify]: Simplify 1 into 1 14.602 * [backup-simplify]: Simplify (/ 1 1) into 1 14.603 * [backup-simplify]: Simplify (+ 0 1) into 1 14.603 * [backup-simplify]: Simplify (log 1) into 0 14.603 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.604 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.604 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.604 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.604 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.604 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.604 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.604 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.604 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.604 * [taylor]: Taking taylor expansion of 1/3 in a 14.604 * [backup-simplify]: Simplify 1/3 into 1/3 14.604 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.604 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.604 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.604 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.604 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.604 * [taylor]: Taking taylor expansion of 1 in a 14.604 * [backup-simplify]: Simplify 1 into 1 14.604 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.604 * [taylor]: Taking taylor expansion of a in a 14.605 * [backup-simplify]: Simplify 0 into 0 14.605 * [backup-simplify]: Simplify 1 into 1 14.605 * [backup-simplify]: Simplify (/ 1 1) into 1 14.605 * [backup-simplify]: Simplify (+ 0 1) into 1 14.605 * [backup-simplify]: Simplify (log 1) into 0 14.606 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.606 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.606 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.606 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.606 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.607 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.607 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.607 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.607 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.608 * [backup-simplify]: Simplify (+ 1 0) into 1 14.609 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.609 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 14.609 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 14.610 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log a)))) into 1/3 14.610 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 a) 1/3)) 14.611 * [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.611 * [backup-simplify]: Simplify 1/3 into 1/3 14.611 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.612 * [backup-simplify]: Simplify (+ 0 0) into 0 14.614 * [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.614 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.615 * [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.616 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/6) 14.617 * [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.617 * [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.617 * [backup-simplify]: Simplify -1/6 into -1/6 14.618 * [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.618 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 (- a)))))) into (log (pow (exp (log1p (/ -1 a))) 1/3)) 14.618 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in (a) around 0 14.618 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.618 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.618 * [taylor]: Taking taylor expansion of 1/3 in a 14.618 * [backup-simplify]: Simplify 1/3 into 1/3 14.618 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.618 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.618 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.618 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.618 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.618 * [taylor]: Taking taylor expansion of 1 in a 14.618 * [backup-simplify]: Simplify 1 into 1 14.618 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.618 * [taylor]: Taking taylor expansion of -1 in a 14.618 * [backup-simplify]: Simplify -1 into -1 14.618 * [taylor]: Taking taylor expansion of a in a 14.618 * [backup-simplify]: Simplify 0 into 0 14.618 * [backup-simplify]: Simplify 1 into 1 14.619 * [backup-simplify]: Simplify (/ -1 1) into -1 14.619 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.619 * [backup-simplify]: Simplify (log -1) into (log -1) 14.620 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.620 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.621 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.621 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.621 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.622 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.622 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.622 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.622 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.622 * [taylor]: Taking taylor expansion of 1/3 in a 14.622 * [backup-simplify]: Simplify 1/3 into 1/3 14.622 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.622 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.622 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.622 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.622 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.622 * [taylor]: Taking taylor expansion of 1 in a 14.622 * [backup-simplify]: Simplify 1 into 1 14.622 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.622 * [taylor]: Taking taylor expansion of -1 in a 14.622 * [backup-simplify]: Simplify -1 into -1 14.622 * [taylor]: Taking taylor expansion of a in a 14.623 * [backup-simplify]: Simplify 0 into 0 14.623 * [backup-simplify]: Simplify 1 into 1 14.623 * [backup-simplify]: Simplify (/ -1 1) into -1 14.623 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.623 * [backup-simplify]: Simplify (log -1) into (log -1) 14.624 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.624 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.625 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.625 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.625 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.626 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.626 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.626 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.627 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.628 * [backup-simplify]: Simplify (+ 1 0) into 1 14.629 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 14.629 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 14.630 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 14.631 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log a)))) into (- 1/3) 14.631 * [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.632 * [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.632 * [backup-simplify]: Simplify -1/3 into -1/3 14.633 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.634 * [backup-simplify]: Simplify (+ 0 0) into 0 14.635 * [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.636 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.638 * [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.639 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/6) 14.640 * [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.642 * [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.642 * [backup-simplify]: Simplify -1/6 into -1/6 14.642 * [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.642 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 14.643 * [backup-simplify]: Simplify (log (cbrt (exp (log1p a)))) into (log (pow (exp (log1p a)) 1/3)) 14.643 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in (a) around 0 14.643 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.643 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.643 * [taylor]: Taking taylor expansion of 1/3 in a 14.643 * [backup-simplify]: Simplify 1/3 into 1/3 14.643 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.643 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.643 * [taylor]: Taking taylor expansion of (log1p a) in a 14.643 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.643 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.643 * [taylor]: Taking taylor expansion of 1 in a 14.643 * [backup-simplify]: Simplify 1 into 1 14.643 * [taylor]: Taking taylor expansion of a in a 14.643 * [backup-simplify]: Simplify 0 into 0 14.643 * [backup-simplify]: Simplify 1 into 1 14.643 * [backup-simplify]: Simplify (+ 1 0) into 1 14.644 * [backup-simplify]: Simplify (log 1) into 0 14.644 * [backup-simplify]: Simplify (+ 0 1) into 1 14.645 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.645 * [backup-simplify]: Simplify (exp 0) into 1 14.645 * [backup-simplify]: Simplify (log 1) into 0 14.645 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.646 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.646 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.647 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.647 * [backup-simplify]: Simplify (exp 0) into 1 14.647 * [backup-simplify]: Simplify (log 1) into 0 14.647 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 14.647 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 14.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 14.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 14.647 * [taylor]: Taking taylor expansion of 1/3 in a 14.647 * [backup-simplify]: Simplify 1/3 into 1/3 14.647 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 14.647 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 14.647 * [taylor]: Taking taylor expansion of (log1p a) in a 14.647 * [taylor]: Rewrote expression to (log (+ 1 a)) 14.647 * [taylor]: Taking taylor expansion of (+ 1 a) in a 14.647 * [taylor]: Taking taylor expansion of 1 in a 14.647 * [backup-simplify]: Simplify 1 into 1 14.647 * [taylor]: Taking taylor expansion of a in a 14.647 * [backup-simplify]: Simplify 0 into 0 14.647 * [backup-simplify]: Simplify 1 into 1 14.648 * [backup-simplify]: Simplify (+ 1 0) into 1 14.648 * [backup-simplify]: Simplify (log 1) into 0 14.648 * [backup-simplify]: Simplify (+ 0 1) into 1 14.649 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.649 * [backup-simplify]: Simplify (exp 0) into 1 14.649 * [backup-simplify]: Simplify (log 1) into 0 14.649 * [backup-simplify]: Simplify (* 1/3 0) into 0 14.650 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 14.651 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.651 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 14.651 * [backup-simplify]: Simplify (exp 0) into 1 14.652 * [backup-simplify]: Simplify (log 1) into 0 14.652 * [backup-simplify]: Simplify 0 into 0 14.652 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 14.653 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/3) 1)) (pow 1 1)))) 1) into 1/3 14.653 * [backup-simplify]: Simplify 1/3 into 1/3 14.653 * [backup-simplify]: Simplify (+ 0 0) into 0 14.655 * [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.656 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.657 * [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.658 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 14.660 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 14.663 * [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.663 * [backup-simplify]: Simplify -1/6 into -1/6 14.663 * [backup-simplify]: Simplify (+ 0 0) into 0 14.666 * [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.674 * [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.678 * [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.679 * [backup-simplify]: Simplify (+ (* 1/3 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/9 14.681 * [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.684 * [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.684 * [backup-simplify]: Simplify 1/9 into 1/9 14.685 * [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.685 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 a))))) into (log (pow (exp (log1p (/ 1 a))) 1/3)) 14.685 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in (a) around 0 14.685 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.685 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.685 * [taylor]: Taking taylor expansion of 1/3 in a 14.685 * [backup-simplify]: Simplify 1/3 into 1/3 14.685 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.685 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.685 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.685 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.685 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.685 * [taylor]: Taking taylor expansion of 1 in a 14.685 * [backup-simplify]: Simplify 1 into 1 14.685 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.685 * [taylor]: Taking taylor expansion of a in a 14.685 * [backup-simplify]: Simplify 0 into 0 14.685 * [backup-simplify]: Simplify 1 into 1 14.686 * [backup-simplify]: Simplify (/ 1 1) into 1 14.686 * [backup-simplify]: Simplify (+ 0 1) into 1 14.686 * [backup-simplify]: Simplify (log 1) into 0 14.687 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.687 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.687 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.687 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.687 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.687 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.687 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.687 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 14.687 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 14.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 14.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 14.687 * [taylor]: Taking taylor expansion of 1/3 in a 14.687 * [backup-simplify]: Simplify 1/3 into 1/3 14.688 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 14.688 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 14.688 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 14.688 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 14.688 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 14.688 * [taylor]: Taking taylor expansion of 1 in a 14.688 * [backup-simplify]: Simplify 1 into 1 14.688 * [taylor]: Taking taylor expansion of (/ 1 a) in a 14.688 * [taylor]: Taking taylor expansion of a in a 14.688 * [backup-simplify]: Simplify 0 into 0 14.688 * [backup-simplify]: Simplify 1 into 1 14.688 * [backup-simplify]: Simplify (/ 1 1) into 1 14.688 * [backup-simplify]: Simplify (+ 0 1) into 1 14.689 * [backup-simplify]: Simplify (log 1) into 0 14.689 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.689 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.689 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 14.689 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 14.689 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 14.690 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 14.690 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.690 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 14.690 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.691 * [backup-simplify]: Simplify (+ 1 0) into 1 14.692 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 14.692 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 14.692 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 14.693 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log a)))) into 1/3 14.693 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 a) 1/3)) 14.694 * [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.694 * [backup-simplify]: Simplify 1/3 into 1/3 14.694 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 14.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.696 * [backup-simplify]: Simplify (+ 0 0) into 0 14.699 * [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.701 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.702 * [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.703 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/6) 14.705 * [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.706 * [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.706 * [backup-simplify]: Simplify -1/6 into -1/6 14.707 * [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.707 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 (- a)))))) into (log (pow (exp (log1p (/ -1 a))) 1/3)) 14.707 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in (a) around 0 14.707 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.707 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.707 * [taylor]: Taking taylor expansion of 1/3 in a 14.707 * [backup-simplify]: Simplify 1/3 into 1/3 14.707 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.707 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.708 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.708 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.708 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.708 * [taylor]: Taking taylor expansion of 1 in a 14.708 * [backup-simplify]: Simplify 1 into 1 14.708 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.708 * [taylor]: Taking taylor expansion of -1 in a 14.708 * [backup-simplify]: Simplify -1 into -1 14.708 * [taylor]: Taking taylor expansion of a in a 14.708 * [backup-simplify]: Simplify 0 into 0 14.708 * [backup-simplify]: Simplify 1 into 1 14.708 * [backup-simplify]: Simplify (/ -1 1) into -1 14.709 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.709 * [backup-simplify]: Simplify (log -1) into (log -1) 14.710 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.711 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.712 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.712 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.713 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.713 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.714 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.714 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 14.714 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 14.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 14.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 14.714 * [taylor]: Taking taylor expansion of 1/3 in a 14.714 * [backup-simplify]: Simplify 1/3 into 1/3 14.714 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 14.714 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 14.714 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 14.714 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 14.714 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 14.714 * [taylor]: Taking taylor expansion of 1 in a 14.714 * [backup-simplify]: Simplify 1 into 1 14.714 * [taylor]: Taking taylor expansion of (/ -1 a) in a 14.714 * [taylor]: Taking taylor expansion of -1 in a 14.714 * [backup-simplify]: Simplify -1 into -1 14.714 * [taylor]: Taking taylor expansion of a in a 14.714 * [backup-simplify]: Simplify 0 into 0 14.714 * [backup-simplify]: Simplify 1 into 1 14.715 * [backup-simplify]: Simplify (/ -1 1) into -1 14.715 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.716 * [backup-simplify]: Simplify (log -1) into (log -1) 14.717 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.717 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.718 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 14.719 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 14.719 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.720 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 14.720 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 14.721 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 14.722 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.723 * [backup-simplify]: Simplify (+ 1 0) into 1 14.724 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 14.726 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 14.726 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 14.727 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log a)))) into (- 1/3) 14.728 * [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.729 * [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.729 * [backup-simplify]: Simplify -1/3 into -1/3 14.729 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 14.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.730 * [backup-simplify]: Simplify (+ 0 0) into 0 14.732 * [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.733 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 14.735 * [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.736 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/6) 14.737 * [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.739 * [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.739 * [backup-simplify]: Simplify -1/6 into -1/6 14.739 * [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.739 * * * * [progress]: [ 4 / 4 ] generating series at (2) 14.740 * [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.740 * [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.740 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) in a 14.740 * [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.740 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 3 (log (pow (exp (log1p a)) 1/3))))) in a 14.741 * [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.741 * [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.741 * [backup-simplify]: Simplify 0 into 0 14.741 * [backup-simplify]: Simplify 0 into 0 14.741 * [backup-simplify]: Simplify 0 into 0 14.741 * [backup-simplify]: Simplify 0 into 0 14.741 * [backup-simplify]: Simplify 0 into 0 14.741 * [backup-simplify]: Simplify 0 into 0 14.741 * [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.742 * [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.742 * [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.742 * [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.742 * [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.742 * [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.743 * [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.743 * [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.743 * [backup-simplify]: Simplify 0 into 0 14.743 * [backup-simplify]: Simplify 0 into 0 14.743 * [backup-simplify]: Simplify 0 into 0 14.743 * [backup-simplify]: Simplify 0 into 0 14.743 * [backup-simplify]: Simplify 0 into 0 14.743 * [backup-simplify]: Simplify 0 into 0 14.743 * [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.744 * [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.744 * [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.744 * [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.744 * [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.744 * [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.744 * [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.745 * [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.745 * [backup-simplify]: Simplify 0 into 0 14.745 * [backup-simplify]: Simplify 0 into 0 14.745 * [backup-simplify]: Simplify 0 into 0 14.745 * [backup-simplify]: Simplify 0 into 0 14.745 * [backup-simplify]: Simplify 0 into 0 14.745 * [backup-simplify]: Simplify 0 into 0 14.745 * [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.745 * * * [progress]: simplifying candidates 14.746 * [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.748 * * [simplify]: Extracting # 0 : cost 0 14.748 * * [simplify]: Extracting # 1 : cost 0 14.748 * * [simplify]: Extracting # 2 : cost 0 14.748 * * [simplify]: Extracting # 3 : cost 0 14.748 * * [simplify]: Extracting # 4 : cost 0 14.748 * * [simplify]: Extracting # 5 : cost 0 14.749 * * [simplify]: Extracting # 6 : cost 0 14.749 * * [simplify]: Extracting # 7 : cost 0 14.749 * * [simplify]: Extracting # 8 : cost 0 14.749 * * [simplify]: Extracting # 9 : cost 0 14.749 * * [simplify]: iteration 0 : 95 enodes (cost 868 ) 14.785 * * [simplify]: Extracting # 0 : cost 0 14.785 * * [simplify]: Extracting # 1 : cost 0 14.786 * * [simplify]: Extracting # 2 : cost 0 14.786 * * [simplify]: Extracting # 3 : cost 0 14.787 * * [simplify]: Extracting # 4 : cost 0 14.787 * * [simplify]: Extracting # 5 : cost 0 14.787 * * [simplify]: iteration 1 : 174 enodes (cost 709 ) 14.898 * * [simplify]: Extracting # 0 : cost 0 14.899 * * [simplify]: Extracting # 1 : cost 0 14.900 * * [simplify]: Extracting # 2 : cost 0 14.901 * * [simplify]: Extracting # 3 : cost 0 14.901 * * [simplify]: Extracting # 4 : cost 0 14.902 * * [simplify]: iteration 2 : 356 enodes (cost 601 ) 15.179 * * [simplify]: Extracting # 0 : cost 0 15.180 * * [simplify]: Extracting # 1 : cost 0 15.181 * * [simplify]: Extracting # 2 : cost 0 15.182 * * [simplify]: Extracting # 3 : cost 0 15.182 * * [simplify]: Extracting # 4 : cost 0 15.183 * * [simplify]: iteration 3 : 778 enodes (cost 571 ) 16.035 * * [simplify]: Extracting # 0 : cost 0 16.037 * * [simplify]: Extracting # 1 : cost 0 16.040 * * [simplify]: Extracting # 2 : cost 0 16.043 * * [simplify]: Extracting # 3 : cost 0 16.047 * * [simplify]: Extracting # 4 : cost 0 16.051 * * [simplify]: iteration 4 : 2441 enodes (cost 565 ) 17.552 * * [simplify]: Extracting # 0 : cost 0 17.570 * * [simplify]: Extracting # 1 : cost 0 17.581 * * [simplify]: Extracting # 2 : cost 0 17.591 * * [simplify]: Extracting # 3 : cost 0 17.601 * * [simplify]: Extracting # 4 : cost 0 17.611 * * [simplify]: iteration done: 5000 enodes (cost 557 ) 17.612 * [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.612 * * * [progress]: adding candidates to table 18.111 * * [progress]: iteration 4 / 4 18.111 * * * [progress]: picking best candidate 18.142 * * * * [pick]: Picked # 18.142 * * * [progress]: localizing error 18.189 * * * [progress]: generating rewritten candidates 18.189 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 18.189 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 18.196 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2) 18.205 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1) 18.217 * * * [progress]: generating series expansions 18.217 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 18.217 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 18.217 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 18.217 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 18.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.217 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 18.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.218 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.218 * [backup-simplify]: Simplify 0 into 0 18.218 * [backup-simplify]: Simplify 0 into 0 18.218 * [backup-simplify]: Simplify 0 into 0 18.218 * [backup-simplify]: Simplify 0 into 0 18.218 * [backup-simplify]: Simplify 0 into 0 18.218 * [backup-simplify]: Simplify 0 into 0 18.218 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 18.218 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.218 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 18.218 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 18.219 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.219 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 18.219 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.219 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 18.219 * [backup-simplify]: Simplify 0 into 0 18.219 * [backup-simplify]: Simplify 0 into 0 18.219 * [backup-simplify]: Simplify 0 into 0 18.219 * [backup-simplify]: Simplify 0 into 0 18.219 * [backup-simplify]: Simplify 0 into 0 18.220 * [backup-simplify]: Simplify 0 into 0 18.220 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 18.220 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.220 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 18.220 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 18.220 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.220 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 18.221 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.221 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 18.221 * [backup-simplify]: Simplify 0 into 0 18.221 * [backup-simplify]: Simplify 0 into 0 18.221 * [backup-simplify]: Simplify 0 into 0 18.221 * [backup-simplify]: Simplify 0 into 0 18.221 * [backup-simplify]: Simplify 0 into 0 18.221 * [backup-simplify]: Simplify 0 into 0 18.222 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 18.222 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 18.222 * [backup-simplify]: Simplify (log (cbrt (exp (log1p a)))) into (log (pow (exp (log1p a)) 1/3)) 18.222 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in (a) around 0 18.222 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 18.222 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 18.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 18.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 18.222 * [taylor]: Taking taylor expansion of 1/3 in a 18.222 * [backup-simplify]: Simplify 1/3 into 1/3 18.222 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.222 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.222 * [taylor]: Taking taylor expansion of (log1p a) in a 18.222 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.222 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.222 * [taylor]: Taking taylor expansion of 1 in a 18.222 * [backup-simplify]: Simplify 1 into 1 18.222 * [taylor]: Taking taylor expansion of a in a 18.222 * [backup-simplify]: Simplify 0 into 0 18.222 * [backup-simplify]: Simplify 1 into 1 18.223 * [backup-simplify]: Simplify (+ 1 0) into 1 18.224 * [backup-simplify]: Simplify (log 1) into 0 18.224 * [backup-simplify]: Simplify (+ 0 1) into 1 18.226 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.226 * [backup-simplify]: Simplify (exp 0) into 1 18.226 * [backup-simplify]: Simplify (log 1) into 0 18.227 * [backup-simplify]: Simplify (* 1/3 0) into 0 18.228 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.229 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.230 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 18.230 * [backup-simplify]: Simplify (exp 0) into 1 18.230 * [backup-simplify]: Simplify (log 1) into 0 18.230 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/3)) in a 18.231 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/3) in a 18.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p a))))) in a 18.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p a)))) in a 18.231 * [taylor]: Taking taylor expansion of 1/3 in a 18.231 * [backup-simplify]: Simplify 1/3 into 1/3 18.231 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.231 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.231 * [taylor]: Taking taylor expansion of (log1p a) in a 18.231 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.231 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.231 * [taylor]: Taking taylor expansion of 1 in a 18.231 * [backup-simplify]: Simplify 1 into 1 18.231 * [taylor]: Taking taylor expansion of a in a 18.231 * [backup-simplify]: Simplify 0 into 0 18.231 * [backup-simplify]: Simplify 1 into 1 18.232 * [backup-simplify]: Simplify (+ 1 0) into 1 18.232 * [backup-simplify]: Simplify (log 1) into 0 18.232 * [backup-simplify]: Simplify (+ 0 1) into 1 18.234 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.234 * [backup-simplify]: Simplify (exp 0) into 1 18.234 * [backup-simplify]: Simplify (log 1) into 0 18.235 * [backup-simplify]: Simplify (* 1/3 0) into 0 18.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.237 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.238 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 18.238 * [backup-simplify]: Simplify (exp 0) into 1 18.238 * [backup-simplify]: Simplify (log 1) into 0 18.238 * [backup-simplify]: Simplify 0 into 0 18.239 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 18.241 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/3) 1)) (pow 1 1)))) 1) into 1/3 18.241 * [backup-simplify]: Simplify 1/3 into 1/3 18.241 * [backup-simplify]: Simplify (+ 0 0) into 0 18.244 * [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.246 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.249 * [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.251 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 18.252 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 18.256 * [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.256 * [backup-simplify]: Simplify -1/6 into -1/6 18.256 * [backup-simplify]: Simplify (+ 0 0) into 0 18.262 * [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.266 * [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.271 * [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.273 * [backup-simplify]: Simplify (+ (* 1/3 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/9 18.277 * [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.283 * [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.283 * [backup-simplify]: Simplify 1/9 into 1/9 18.284 * [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.284 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 a))))) into (log (pow (exp (log1p (/ 1 a))) 1/3)) 18.284 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in (a) around 0 18.284 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 18.284 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 18.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 18.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 18.285 * [taylor]: Taking taylor expansion of 1/3 in a 18.285 * [backup-simplify]: Simplify 1/3 into 1/3 18.285 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.285 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.285 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.285 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.285 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.285 * [taylor]: Taking taylor expansion of 1 in a 18.285 * [backup-simplify]: Simplify 1 into 1 18.285 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.285 * [taylor]: Taking taylor expansion of a in a 18.285 * [backup-simplify]: Simplify 0 into 0 18.285 * [backup-simplify]: Simplify 1 into 1 18.286 * [backup-simplify]: Simplify (/ 1 1) into 1 18.286 * [backup-simplify]: Simplify (+ 0 1) into 1 18.287 * [backup-simplify]: Simplify (log 1) into 0 18.287 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.288 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.288 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.288 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.288 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 18.288 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 18.288 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 18.288 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/3)) in a 18.288 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/3) in a 18.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ 1 a)))))) in a 18.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ 1 a))))) in a 18.289 * [taylor]: Taking taylor expansion of 1/3 in a 18.289 * [backup-simplify]: Simplify 1/3 into 1/3 18.289 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.289 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.289 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.289 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.289 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.289 * [taylor]: Taking taylor expansion of 1 in a 18.289 * [backup-simplify]: Simplify 1 into 1 18.289 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.289 * [taylor]: Taking taylor expansion of a in a 18.289 * [backup-simplify]: Simplify 0 into 0 18.289 * [backup-simplify]: Simplify 1 into 1 18.290 * [backup-simplify]: Simplify (/ 1 1) into 1 18.290 * [backup-simplify]: Simplify (+ 0 1) into 1 18.291 * [backup-simplify]: Simplify (log 1) into 0 18.291 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.292 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.292 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.293 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.293 * [backup-simplify]: Simplify (* 1/3 (- (log a))) into (* -1/3 (log a)) 18.293 * [backup-simplify]: Simplify (exp (* -1/3 (log a))) into (pow a -1/3) 18.293 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 18.293 * [backup-simplify]: Simplify (log (pow a -1/3)) into (log (pow a -1/3)) 18.294 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.296 * [backup-simplify]: Simplify (+ 1 0) into 1 18.297 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.298 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 18.299 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 18.299 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (log a)))) into 1/3 18.300 * [backup-simplify]: Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 a) 1/3)) 18.301 * [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.301 * [backup-simplify]: Simplify 1/3 into 1/3 18.302 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.303 * [backup-simplify]: Simplify (+ 0 0) into 0 18.306 * [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.307 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.309 * [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.310 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/6) 18.312 * [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.313 * [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.313 * [backup-simplify]: Simplify -1/6 into -1/6 18.313 * [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.314 * [backup-simplify]: Simplify (log (cbrt (exp (log1p (/ 1 (- a)))))) into (log (pow (exp (log1p (/ -1 a))) 1/3)) 18.314 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in (a) around 0 18.314 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 18.314 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 18.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 18.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 18.314 * [taylor]: Taking taylor expansion of 1/3 in a 18.314 * [backup-simplify]: Simplify 1/3 into 1/3 18.314 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.314 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.314 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.314 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.314 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.314 * [taylor]: Taking taylor expansion of 1 in a 18.314 * [backup-simplify]: Simplify 1 into 1 18.314 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.314 * [taylor]: Taking taylor expansion of -1 in a 18.314 * [backup-simplify]: Simplify -1 into -1 18.314 * [taylor]: Taking taylor expansion of a in a 18.314 * [backup-simplify]: Simplify 0 into 0 18.314 * [backup-simplify]: Simplify 1 into 1 18.315 * [backup-simplify]: Simplify (/ -1 1) into -1 18.315 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.315 * [backup-simplify]: Simplify (log -1) into (log -1) 18.316 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.316 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.317 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.317 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.318 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 18.318 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 18.319 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 18.319 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/3)) in a 18.319 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/3) in a 18.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (log1p (/ -1 a)))))) in a 18.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (log1p (/ -1 a))))) in a 18.319 * [taylor]: Taking taylor expansion of 1/3 in a 18.319 * [backup-simplify]: Simplify 1/3 into 1/3 18.319 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.319 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.319 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.319 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.319 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.319 * [taylor]: Taking taylor expansion of 1 in a 18.319 * [backup-simplify]: Simplify 1 into 1 18.319 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.319 * [taylor]: Taking taylor expansion of -1 in a 18.319 * [backup-simplify]: Simplify -1 into -1 18.319 * [taylor]: Taking taylor expansion of a in a 18.319 * [backup-simplify]: Simplify 0 into 0 18.319 * [backup-simplify]: Simplify 1 into 1 18.320 * [backup-simplify]: Simplify (/ -1 1) into -1 18.320 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.320 * [backup-simplify]: Simplify (log -1) into (log -1) 18.321 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.321 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.322 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.322 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.322 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 18.323 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a)))) 18.323 * [backup-simplify]: Simplify (log (exp (* 1/3 (- (log -1) (log a))))) into (* 1/3 (- (log -1) (log a))) 18.323 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a))) 18.324 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.325 * [backup-simplify]: Simplify (+ 1 0) into 1 18.326 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 18.327 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 18.327 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 18.328 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log a)))) into (- 1/3) 18.329 * [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.330 * [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.330 * [backup-simplify]: Simplify -1/3 into -1/3 18.330 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.331 * [backup-simplify]: Simplify (+ 0 0) into 0 18.333 * [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.340 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.342 * [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.343 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/6) 18.345 * [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.346 * [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.346 * [backup-simplify]: Simplify -1/6 into -1/6 18.347 * [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.347 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2) 18.347 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p a))))) into (log (pow (exp (log1p a)) 1/6)) 18.347 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in (a) around 0 18.347 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.347 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.347 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.347 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.347 * [taylor]: Taking taylor expansion of 1/6 in a 18.347 * [backup-simplify]: Simplify 1/6 into 1/6 18.347 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.347 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.347 * [taylor]: Taking taylor expansion of (log1p a) in a 18.348 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.348 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.348 * [taylor]: Taking taylor expansion of 1 in a 18.348 * [backup-simplify]: Simplify 1 into 1 18.348 * [taylor]: Taking taylor expansion of a in a 18.348 * [backup-simplify]: Simplify 0 into 0 18.348 * [backup-simplify]: Simplify 1 into 1 18.348 * [backup-simplify]: Simplify (+ 1 0) into 1 18.348 * [backup-simplify]: Simplify (log 1) into 0 18.349 * [backup-simplify]: Simplify (+ 0 1) into 1 18.350 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.350 * [backup-simplify]: Simplify (exp 0) into 1 18.351 * [backup-simplify]: Simplify (log 1) into 0 18.351 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.352 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.353 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.353 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.353 * [backup-simplify]: Simplify (exp 0) into 1 18.354 * [backup-simplify]: Simplify (log 1) into 0 18.354 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.354 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.354 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.354 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.354 * [taylor]: Taking taylor expansion of 1/6 in a 18.354 * [backup-simplify]: Simplify 1/6 into 1/6 18.354 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.354 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.354 * [taylor]: Taking taylor expansion of (log1p a) in a 18.354 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.354 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.354 * [taylor]: Taking taylor expansion of 1 in a 18.354 * [backup-simplify]: Simplify 1 into 1 18.354 * [taylor]: Taking taylor expansion of a in a 18.354 * [backup-simplify]: Simplify 0 into 0 18.354 * [backup-simplify]: Simplify 1 into 1 18.354 * [backup-simplify]: Simplify (+ 1 0) into 1 18.355 * [backup-simplify]: Simplify (log 1) into 0 18.355 * [backup-simplify]: Simplify (+ 0 1) into 1 18.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.356 * [backup-simplify]: Simplify (exp 0) into 1 18.356 * [backup-simplify]: Simplify (log 1) into 0 18.356 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.357 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.358 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.358 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.358 * [backup-simplify]: Simplify (exp 0) into 1 18.358 * [backup-simplify]: Simplify (log 1) into 0 18.358 * [backup-simplify]: Simplify 0 into 0 18.359 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 1) 1)))) into 1/6 18.360 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/6) 1)) (pow 1 1)))) 1) into 1/6 18.360 * [backup-simplify]: Simplify 1/6 into 1/6 18.360 * [backup-simplify]: Simplify (+ 0 0) into 0 18.362 * [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.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.364 * [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.365 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 0))) into -1/12 18.366 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow -1/12 1) 1)))) into -5/72 18.368 * [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.368 * [backup-simplify]: Simplify -1/12 into -1/12 18.368 * [backup-simplify]: Simplify (+ 0 0) into 0 18.371 * [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.373 * [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.376 * [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.376 * [backup-simplify]: Simplify (+ (* 1/6 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/18 18.378 * [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.381 * [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.382 * [backup-simplify]: Simplify 1/18 into 1/18 18.382 * [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.382 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 a)))))) into (log (pow (exp (log1p (/ 1 a))) 1/6)) 18.382 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in (a) around 0 18.382 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.382 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.382 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.382 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.382 * [taylor]: Taking taylor expansion of 1/6 in a 18.383 * [backup-simplify]: Simplify 1/6 into 1/6 18.383 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.383 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.383 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.383 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.383 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.383 * [taylor]: Taking taylor expansion of 1 in a 18.383 * [backup-simplify]: Simplify 1 into 1 18.383 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.383 * [taylor]: Taking taylor expansion of a in a 18.383 * [backup-simplify]: Simplify 0 into 0 18.383 * [backup-simplify]: Simplify 1 into 1 18.383 * [backup-simplify]: Simplify (/ 1 1) into 1 18.384 * [backup-simplify]: Simplify (+ 0 1) into 1 18.384 * [backup-simplify]: Simplify (log 1) into 0 18.385 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.385 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.385 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.385 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.386 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.386 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.386 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.386 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.386 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.386 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.386 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.386 * [taylor]: Taking taylor expansion of 1/6 in a 18.386 * [backup-simplify]: Simplify 1/6 into 1/6 18.386 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.386 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.386 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.386 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.386 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.386 * [taylor]: Taking taylor expansion of 1 in a 18.386 * [backup-simplify]: Simplify 1 into 1 18.386 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.386 * [taylor]: Taking taylor expansion of a in a 18.386 * [backup-simplify]: Simplify 0 into 0 18.386 * [backup-simplify]: Simplify 1 into 1 18.387 * [backup-simplify]: Simplify (/ 1 1) into 1 18.387 * [backup-simplify]: Simplify (+ 0 1) into 1 18.388 * [backup-simplify]: Simplify (log 1) into 0 18.388 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.389 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.389 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.389 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.389 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.389 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.389 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.389 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.390 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.391 * [backup-simplify]: Simplify (+ 1 0) into 1 18.392 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.393 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 18.394 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 18.394 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 (- (log a)))) into 1/6 18.395 * [backup-simplify]: Simplify (* (exp (* -1/6 (log a))) (+ (* (/ (pow 1/6 1) 1)))) into (* 1/6 (pow (/ 1 a) 1/6)) 18.396 * [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.396 * [backup-simplify]: Simplify 1/6 into 1/6 18.396 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.398 * [backup-simplify]: Simplify (+ 0 0) into 0 18.401 * [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.402 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.404 * [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.405 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/12) 18.407 * [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.408 * [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.408 * [backup-simplify]: Simplify -1/12 into -1/12 18.408 * [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.408 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 (- a))))))) into (log (pow (exp (log1p (/ -1 a))) 1/6)) 18.408 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in (a) around 0 18.408 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.408 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.409 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.409 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.409 * [taylor]: Taking taylor expansion of 1/6 in a 18.409 * [backup-simplify]: Simplify 1/6 into 1/6 18.409 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.409 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.409 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.409 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.409 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.409 * [taylor]: Taking taylor expansion of 1 in a 18.409 * [backup-simplify]: Simplify 1 into 1 18.409 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.409 * [taylor]: Taking taylor expansion of -1 in a 18.409 * [backup-simplify]: Simplify -1 into -1 18.409 * [taylor]: Taking taylor expansion of a in a 18.409 * [backup-simplify]: Simplify 0 into 0 18.409 * [backup-simplify]: Simplify 1 into 1 18.410 * [backup-simplify]: Simplify (/ -1 1) into -1 18.410 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.410 * [backup-simplify]: Simplify (log -1) into (log -1) 18.411 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.411 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.411 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.412 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.412 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.412 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.413 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.413 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.413 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.413 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.413 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.413 * [taylor]: Taking taylor expansion of 1/6 in a 18.413 * [backup-simplify]: Simplify 1/6 into 1/6 18.413 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.413 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.413 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.413 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.413 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.413 * [taylor]: Taking taylor expansion of 1 in a 18.413 * [backup-simplify]: Simplify 1 into 1 18.413 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.413 * [taylor]: Taking taylor expansion of -1 in a 18.413 * [backup-simplify]: Simplify -1 into -1 18.413 * [taylor]: Taking taylor expansion of a in a 18.413 * [backup-simplify]: Simplify 0 into 0 18.413 * [backup-simplify]: Simplify 1 into 1 18.414 * [backup-simplify]: Simplify (/ -1 1) into -1 18.414 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.414 * [backup-simplify]: Simplify (log -1) into (log -1) 18.415 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.415 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.416 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.416 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.416 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.417 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.417 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.417 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.418 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.419 * [backup-simplify]: Simplify (+ 1 0) into 1 18.420 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 18.420 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 18.421 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 18.422 * [backup-simplify]: Simplify (+ (* 1/6 -1) (* 0 (- (log -1) (log a)))) into (- 1/6) 18.423 * [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.423 * [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.423 * [backup-simplify]: Simplify -1/6 into -1/6 18.424 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.425 * [backup-simplify]: Simplify (+ 0 0) into 0 18.427 * [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.428 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.429 * [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.430 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/12) 18.432 * [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.433 * [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.433 * [backup-simplify]: Simplify -1/12 into -1/12 18.434 * [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.434 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1) 18.434 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p a))))) into (log (pow (exp (log1p a)) 1/6)) 18.434 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in (a) around 0 18.434 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.434 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.434 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.434 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.434 * [taylor]: Taking taylor expansion of 1/6 in a 18.434 * [backup-simplify]: Simplify 1/6 into 1/6 18.434 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.434 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.434 * [taylor]: Taking taylor expansion of (log1p a) in a 18.434 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.434 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.434 * [taylor]: Taking taylor expansion of 1 in a 18.434 * [backup-simplify]: Simplify 1 into 1 18.434 * [taylor]: Taking taylor expansion of a in a 18.434 * [backup-simplify]: Simplify 0 into 0 18.434 * [backup-simplify]: Simplify 1 into 1 18.435 * [backup-simplify]: Simplify (+ 1 0) into 1 18.435 * [backup-simplify]: Simplify (log 1) into 0 18.435 * [backup-simplify]: Simplify (+ 0 1) into 1 18.436 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.436 * [backup-simplify]: Simplify (exp 0) into 1 18.436 * [backup-simplify]: Simplify (log 1) into 0 18.437 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.437 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.438 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.439 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.439 * [backup-simplify]: Simplify (exp 0) into 1 18.440 * [backup-simplify]: Simplify (log 1) into 0 18.440 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p a)) 1/6)) in a 18.440 * [taylor]: Taking taylor expansion of (pow (exp (log1p a)) 1/6) in a 18.440 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p a))))) in a 18.440 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p a)))) in a 18.440 * [taylor]: Taking taylor expansion of 1/6 in a 18.440 * [backup-simplify]: Simplify 1/6 into 1/6 18.440 * [taylor]: Taking taylor expansion of (log (exp (log1p a))) in a 18.440 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a 18.440 * [taylor]: Taking taylor expansion of (log1p a) in a 18.440 * [taylor]: Rewrote expression to (log (+ 1 a)) 18.440 * [taylor]: Taking taylor expansion of (+ 1 a) in a 18.440 * [taylor]: Taking taylor expansion of 1 in a 18.440 * [backup-simplify]: Simplify 1 into 1 18.440 * [taylor]: Taking taylor expansion of a in a 18.440 * [backup-simplify]: Simplify 0 into 0 18.440 * [backup-simplify]: Simplify 1 into 1 18.441 * [backup-simplify]: Simplify (+ 1 0) into 1 18.441 * [backup-simplify]: Simplify (log 1) into 0 18.441 * [backup-simplify]: Simplify (+ 0 1) into 1 18.443 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.443 * [backup-simplify]: Simplify (exp 0) into 1 18.443 * [backup-simplify]: Simplify (log 1) into 0 18.443 * [backup-simplify]: Simplify (* 1/6 0) into 0 18.444 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 18.446 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.446 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 18.446 * [backup-simplify]: Simplify (exp 0) into 1 18.447 * [backup-simplify]: Simplify (log 1) into 0 18.447 * [backup-simplify]: Simplify 0 into 0 18.448 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 1) 1)))) into 1/6 18.449 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/6) 1)) (pow 1 1)))) 1) into 1/6 18.449 * [backup-simplify]: Simplify 1/6 into 1/6 18.450 * [backup-simplify]: Simplify (+ 0 0) into 0 18.460 * [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.462 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.465 * [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.466 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 0))) into -1/12 18.468 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/6 2) 2)) (* (/ (pow -1/12 1) 1)))) into -5/72 18.471 * [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.471 * [backup-simplify]: Simplify -1/12 into -1/12 18.472 * [backup-simplify]: Simplify (+ 0 0) into 0 18.477 * [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.481 * [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.486 * [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.488 * [backup-simplify]: Simplify (+ (* 1/6 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/18 18.491 * [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.497 * [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.497 * [backup-simplify]: Simplify 1/18 into 1/18 18.498 * [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.498 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 a)))))) into (log (pow (exp (log1p (/ 1 a))) 1/6)) 18.498 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in (a) around 0 18.498 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.498 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.498 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.498 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.498 * [taylor]: Taking taylor expansion of 1/6 in a 18.498 * [backup-simplify]: Simplify 1/6 into 1/6 18.498 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.498 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.498 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.498 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.498 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.498 * [taylor]: Taking taylor expansion of 1 in a 18.498 * [backup-simplify]: Simplify 1 into 1 18.498 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.498 * [taylor]: Taking taylor expansion of a in a 18.499 * [backup-simplify]: Simplify 0 into 0 18.499 * [backup-simplify]: Simplify 1 into 1 18.499 * [backup-simplify]: Simplify (/ 1 1) into 1 18.499 * [backup-simplify]: Simplify (+ 0 1) into 1 18.500 * [backup-simplify]: Simplify (log 1) into 0 18.500 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.501 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.501 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.501 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.501 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.501 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.501 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.502 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ 1 a))) 1/6)) in a 18.502 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ 1 a))) 1/6) in a 18.502 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ 1 a)))))) in a 18.502 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ 1 a))))) in a 18.502 * [taylor]: Taking taylor expansion of 1/6 in a 18.502 * [backup-simplify]: Simplify 1/6 into 1/6 18.502 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ 1 a)))) in a 18.502 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a 18.502 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a 18.502 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a))) 18.502 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a 18.502 * [taylor]: Taking taylor expansion of 1 in a 18.502 * [backup-simplify]: Simplify 1 into 1 18.502 * [taylor]: Taking taylor expansion of (/ 1 a) in a 18.502 * [taylor]: Taking taylor expansion of a in a 18.502 * [backup-simplify]: Simplify 0 into 0 18.502 * [backup-simplify]: Simplify 1 into 1 18.502 * [backup-simplify]: Simplify (/ 1 1) into 1 18.503 * [backup-simplify]: Simplify (+ 0 1) into 1 18.503 * [backup-simplify]: Simplify (log 1) into 0 18.504 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.504 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.504 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a))) 18.505 * [backup-simplify]: Simplify (log (exp (- (log a)))) into (- (log a)) 18.505 * [backup-simplify]: Simplify (* 1/6 (- (log a))) into (* -1/6 (log a)) 18.505 * [backup-simplify]: Simplify (exp (* -1/6 (log a))) into (pow a -1/6) 18.505 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.505 * [backup-simplify]: Simplify (log (pow a -1/6)) into (log (pow a -1/6)) 18.506 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.507 * [backup-simplify]: Simplify (+ 1 0) into 1 18.508 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 18.509 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a))) 18.510 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp (- (log a)))) 1)) (pow (exp (- (log a))) 1)))) 1) into 1 18.510 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 (- (log a)))) into 1/6 18.511 * [backup-simplify]: Simplify (* (exp (* -1/6 (log a))) (+ (* (/ (pow 1/6 1) 1)))) into (* 1/6 (pow (/ 1 a) 1/6)) 18.512 * [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.512 * [backup-simplify]: Simplify 1/6 into 1/6 18.512 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a)) 18.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.514 * [backup-simplify]: Simplify (+ 0 0) into 0 18.517 * [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.519 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.520 * [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.521 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 1) (* 0 (- (log a))))) into (- 1/12) 18.523 * [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.524 * [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.524 * [backup-simplify]: Simplify -1/12 into -1/12 18.525 * [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.525 * [backup-simplify]: Simplify (log (sqrt (cbrt (exp (log1p (/ 1 (- a))))))) into (log (pow (exp (log1p (/ -1 a))) 1/6)) 18.525 * [approximate]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in (a) around 0 18.525 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.525 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.525 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.525 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.525 * [taylor]: Taking taylor expansion of 1/6 in a 18.525 * [backup-simplify]: Simplify 1/6 into 1/6 18.525 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.525 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.525 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.525 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.525 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.525 * [taylor]: Taking taylor expansion of 1 in a 18.526 * [backup-simplify]: Simplify 1 into 1 18.526 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.526 * [taylor]: Taking taylor expansion of -1 in a 18.526 * [backup-simplify]: Simplify -1 into -1 18.526 * [taylor]: Taking taylor expansion of a in a 18.526 * [backup-simplify]: Simplify 0 into 0 18.526 * [backup-simplify]: Simplify 1 into 1 18.526 * [backup-simplify]: Simplify (/ -1 1) into -1 18.526 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.527 * [backup-simplify]: Simplify (log -1) into (log -1) 18.527 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.528 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.528 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.528 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.529 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.529 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.529 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.529 * [taylor]: Taking taylor expansion of (log (pow (exp (log1p (/ -1 a))) 1/6)) in a 18.530 * [taylor]: Taking taylor expansion of (pow (exp (log1p (/ -1 a))) 1/6) in a 18.530 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (exp (log1p (/ -1 a)))))) in a 18.530 * [taylor]: Taking taylor expansion of (* 1/6 (log (exp (log1p (/ -1 a))))) in a 18.530 * [taylor]: Taking taylor expansion of 1/6 in a 18.530 * [backup-simplify]: Simplify 1/6 into 1/6 18.530 * [taylor]: Taking taylor expansion of (log (exp (log1p (/ -1 a)))) in a 18.530 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a 18.530 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a 18.530 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a))) 18.530 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a 18.530 * [taylor]: Taking taylor expansion of 1 in a 18.530 * [backup-simplify]: Simplify 1 into 1 18.530 * [taylor]: Taking taylor expansion of (/ -1 a) in a 18.530 * [taylor]: Taking taylor expansion of -1 in a 18.530 * [backup-simplify]: Simplify -1 into -1 18.530 * [taylor]: Taking taylor expansion of a in a 18.530 * [backup-simplify]: Simplify 0 into 0 18.530 * [backup-simplify]: Simplify 1 into 1 18.530 * [backup-simplify]: Simplify (/ -1 1) into -1 18.530 * [backup-simplify]: Simplify (+ 0 -1) into -1 18.531 * [backup-simplify]: Simplify (log -1) into (log -1) 18.531 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.532 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.532 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a))) 18.533 * [backup-simplify]: Simplify (log (exp (- (log -1) (log a)))) into (- (log -1) (log a)) 18.533 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.533 * [backup-simplify]: Simplify (exp (* 1/6 (- (log -1) (log a)))) into (exp (* 1/6 (- (log -1) (log a)))) 18.534 * [backup-simplify]: Simplify (log (exp (* 1/6 (- (log -1) (log a))))) into (* 1/6 (- (log -1) (log a))) 18.534 * [backup-simplify]: Simplify (* 1/6 (- (log -1) (log a))) into (* 1/6 (- (log -1) (log a))) 18.535 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.536 * [backup-simplify]: Simplify (+ 1 0) into 1 18.537 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 18.537 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a)))) 18.538 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1 (exp (- (log -1) (log a))))) 1)) (pow (exp (- (log -1) (log a))) 1)))) 1) into -1 18.539 * [backup-simplify]: Simplify (+ (* 1/6 -1) (* 0 (- (log -1) (log a)))) into (- 1/6) 18.540 * [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.541 * [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.541 * [backup-simplify]: Simplify -1/6 into -1/6 18.541 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a)) 18.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.542 * [backup-simplify]: Simplify (+ 0 0) into 0 18.544 * [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.545 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0 18.546 * [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.547 * [backup-simplify]: Simplify (+ (* 1/6 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log a))))) into (- 1/12) 18.549 * [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.550 * [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.550 * [backup-simplify]: Simplify -1/12 into -1/12 18.551 * [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.551 * * * [progress]: simplifying candidates 18.552 * [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.554 * * [simplify]: Extracting # 0 : cost 0 18.554 * * [simplify]: Extracting # 1 : cost 0 18.554 * * [simplify]: Extracting # 2 : cost 0 18.555 * * [simplify]: Extracting # 3 : cost 0 18.555 * * [simplify]: Extracting # 4 : cost 0 18.555 * * [simplify]: Extracting # 5 : cost 0 18.556 * * [simplify]: Extracting # 6 : cost 0 18.556 * * [simplify]: Extracting # 7 : cost 0 18.556 * * [simplify]: Extracting # 8 : cost 0 18.557 * * [simplify]: Extracting # 9 : cost 0 18.557 * * [simplify]: iteration 0 : 120 enodes (cost 903 ) 18.602 * * [simplify]: Extracting # 0 : cost 0 18.603 * * [simplify]: Extracting # 1 : cost 0 18.603 * * [simplify]: Extracting # 2 : cost 0 18.604 * * [simplify]: Extracting # 3 : cost 0 18.604 * * [simplify]: Extracting # 4 : cost 0 18.605 * * [simplify]: Extracting # 5 : cost 0 18.605 * * [simplify]: iteration 1 : 222 enodes (cost 834 ) 18.721 * * [simplify]: Extracting # 0 : cost 0 18.722 * * [simplify]: Extracting # 1 : cost 0 18.722 * * [simplify]: Extracting # 2 : cost 0 18.723 * * [simplify]: Extracting # 3 : cost 0 18.723 * * [simplify]: Extracting # 4 : cost 0 18.724 * * [simplify]: iteration 2 : 455 enodes (cost 762 ) 18.871 * * [simplify]: Extracting # 0 : cost 0 18.872 * * [simplify]: Extracting # 1 : cost 0 18.873 * * [simplify]: Extracting # 2 : cost 0 18.874 * * [simplify]: Extracting # 3 : cost 0 18.880 * * [simplify]: Extracting # 4 : cost 0 18.881 * * [simplify]: iteration 3 : 935 enodes (cost 756 ) 19.630 * * [simplify]: Extracting # 0 : cost 0 19.633 * * [simplify]: Extracting # 1 : cost 0 19.635 * * [simplify]: Extracting # 2 : cost 0 19.637 * * [simplify]: Extracting # 3 : cost 0 19.639 * * [simplify]: Extracting # 4 : cost 0 19.643 * * [simplify]: iteration 4 : 2015 enodes (cost 747 ) 21.617 * * [simplify]: Extracting # 0 : cost 0 21.632 * * [simplify]: Extracting # 1 : cost 0 21.638 * * [simplify]: Extracting # 2 : cost 0 21.643 * * [simplify]: Extracting # 3 : cost 0 21.648 * * [simplify]: Extracting # 4 : cost 0 21.654 * * [simplify]: iteration done: 5000 enodes (cost 720 ) 21.654 * [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.656 * * * [progress]: adding candidates to table 22.260 * [progress]: [Phase 3 of 3] Extracting. 22.261 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 22.269 * * * [regime-changes]: Trying 2 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) a) 22.270 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # # # # #) 22.363 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #) 22.455 * * * [regime]: Found split indices: #