1.455 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
1.213 * * * [progress]: [2/2] Setting up program.
1.221 * [progress]: [Phase 2 of 3] Improving.
1.225 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.227 * * [simplify]: Extracting # 0 : cost  0
1.227 * * [simplify]: Extracting # 1 : cost  0
1.227 * * [simplify]: Extracting # 2 : cost  0
1.227 * * [simplify]: Extracting # 3 : cost  0
1.228 * * [simplify]: Extracting # 4 : cost  0
1.228 * * [simplify]: Extracting # 5 : cost  0
1.228 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
1.236 * * [simplify]: Extracting # 0 : cost  0
1.236 * * [simplify]: Extracting # 1 : cost  0
1.236 * * [simplify]: Extracting # 2 : cost  0
1.236 * * [simplify]: Extracting # 3 : cost  0
1.236 * * [simplify]: Extracting # 4 : cost  0
1.236 * * [simplify]: Extracting # 5 : cost  0
1.236 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
1.241 * * [simplify]: Extracting # 0 : cost  0
1.241 * * [simplify]: Extracting # 1 : cost  0
1.242 * * [simplify]: Extracting # 2 : cost  0
1.242 * * [simplify]: Extracting # 3 : cost  0
1.242 * * [simplify]: Extracting # 4 : cost  0
1.242 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
1.251 * * [simplify]: Extracting # 0 : cost  0
1.252 * * [simplify]: Extracting # 1 : cost  0
1.252 * * [simplify]: Extracting # 2 : cost  0
1.252 * * [simplify]: Extracting # 3 : cost  0
1.252 * * [simplify]: Extracting # 4 : cost  0
1.252 * * [simplify]: iteration  3 :  44  enodes  (cost  10 )
1.271 * * [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.272 * * [simplify]: Extracting # 5 : cost  0
1.272 * * [simplify]: iteration  4 :  89  enodes  (cost  10 )
1.349 * * [simplify]: Extracting # 0 : cost  0
1.349 * * [simplify]: Extracting # 1 : cost  0
1.350 * * [simplify]: Extracting # 2 : cost  0
1.350 * * [simplify]: Extracting # 3 : cost  0
1.350 * * [simplify]: Extracting # 4 : cost  0
1.350 * * [simplify]: iteration  5 :  195  enodes  (cost  10 )
1.510 * * [simplify]: Extracting # 0 : cost  0
1.510 * * [simplify]: Extracting # 1 : cost  0
1.510 * * [simplify]: Extracting # 2 : cost  0
1.511 * * [simplify]: Extracting # 3 : cost  0
1.511 * * [simplify]: Extracting # 4 : cost  0
1.512 * * [simplify]: iteration  6 :  633  enodes  (cost  10 )
2.923 * * [simplify]: Extracting # 0 : cost  0
2.925 * * [simplify]: Extracting # 1 : cost  0
2.927 * * [simplify]: Extracting # 2 : cost  0
2.928 * * [simplify]: Extracting # 3 : cost  0
2.930 * * [simplify]: Extracting # 4 : cost  0
2.934 * * [simplify]: Extracting # 5 : cost  0
2.937 * * [simplify]: iteration  7 :  2582  enodes  (cost  10 )
4.356 * * [simplify]: Extracting # 0 : cost  0
4.361 * * [simplify]: Extracting # 1 : cost  0
4.366 * * [simplify]: Extracting # 2 : cost  0
4.371 * * [simplify]: Extracting # 3 : cost  0
4.376 * * [simplify]: iteration done:  5000  enodes  (cost  10 )
4.376 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.378 * * [progress]: iteration 1 / 4
4.378 * * * [progress]: picking best candidate
4.391 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.391 * * * [progress]: localizing error
4.411 * * * [progress]: generating rewritten candidates
4.411 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
4.412 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.413 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
4.419 * * * [progress]: generating series expansions
4.419 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
4.424 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.424 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.425 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.426 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.426 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.426 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.426 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.427 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.427 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.427 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.427 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.427 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.427 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.427 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.428 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.428 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.428 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.429 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.429 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.429 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.429 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.430 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.430 * [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.430 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.430 * [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.430 * [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.430 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify 0 into 0
4.430 * [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.431 * [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.431 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.431 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.431 * [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.431 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.431 * [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.431 * [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.431 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify 0 into 0
4.432 * [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.432 * [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.432 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.432 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.432 * [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.432 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.432 * [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.433 * [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.433 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify 0 into 0
4.433 * [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.433 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
4.433 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.433 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
4.433 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.433 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.433 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.433 * [taylor]: Taking taylor expansion of (log1p a) in a
4.434 * [taylor]: Rewrote expression to (log (+ 1 a))
4.434 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.434 * [taylor]: Taking taylor expansion of 1 in a
4.434 * [backup-simplify]: Simplify 1 into 1
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 0) into 1
4.436 * [backup-simplify]: Simplify (log 1) into 0
4.436 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.436 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.436 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.436 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.437 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.437 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.438 * [backup-simplify]: Simplify (+ 0 1) into 1
4.438 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.439 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.439 * [backup-simplify]: Simplify (exp 0) into 1
4.439 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.439 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.439 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.439 * [taylor]: Taking taylor expansion of (log1p a) in a
4.439 * [taylor]: Rewrote expression to (log (+ 1 a))
4.439 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.439 * [taylor]: Taking taylor expansion of 1 in a
4.439 * [backup-simplify]: Simplify 1 into 1
4.439 * [taylor]: Taking taylor expansion of a in a
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 1 into 1
4.440 * [backup-simplify]: Simplify (+ 1 0) into 1
4.440 * [backup-simplify]: Simplify (log 1) into 0
4.440 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.440 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.440 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.441 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.441 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.442 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.442 * [backup-simplify]: Simplify (+ 0 1) into 1
4.444 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.444 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.444 * [backup-simplify]: Simplify (exp 0) into 1
4.445 * [backup-simplify]: Simplify 1 into 1
4.446 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
4.446 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.449 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
4.450 * [backup-simplify]: Simplify (+ 0 0) into 0
4.452 * [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.453 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.453 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.454 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
4.455 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
4.455 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
4.455 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
4.455 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.455 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.455 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.455 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.455 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.455 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.455 * [taylor]: Taking taylor expansion of 1 in a
4.455 * [backup-simplify]: Simplify 1 into 1
4.455 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.455 * [taylor]: Taking taylor expansion of a in a
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [backup-simplify]: Simplify 1 into 1
4.456 * [backup-simplify]: Simplify (/ 1 1) into 1
4.456 * [backup-simplify]: Simplify (+ 0 1) into 1
4.457 * [backup-simplify]: Simplify (log 1) into 0
4.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.457 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.457 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.457 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.457 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.457 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
4.458 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.458 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.458 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.458 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.458 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.458 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.458 * [taylor]: Taking taylor expansion of (+ 1 (/ 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 (/ 1 a) in a
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.458 * [backup-simplify]: Simplify (/ 1 1) into 1
4.458 * [backup-simplify]: Simplify (+ 0 1) into 1
4.459 * [backup-simplify]: Simplify (log 1) into 0
4.459 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.459 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.459 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.459 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
4.460 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.460 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.460 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.461 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.462 * [backup-simplify]: Simplify (+ 1 0) into 1
4.462 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.463 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.463 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.463 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.464 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.465 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
4.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.466 * [backup-simplify]: Simplify (+ 0 0) into 0
4.467 * [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.468 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
4.469 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.469 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
4.471 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (pow (/ 1 a) 2)) (+ (* (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (/ 1 a)) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))))) into (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
4.471 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
4.471 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
4.471 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.471 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.471 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.471 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.472 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.472 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.472 * [taylor]: Taking taylor expansion of 1 in a
4.472 * [backup-simplify]: Simplify 1 into 1
4.472 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.472 * [taylor]: Taking taylor expansion of -1 in a
4.472 * [backup-simplify]: Simplify -1 into -1
4.472 * [taylor]: Taking taylor expansion of a in a
4.472 * [backup-simplify]: Simplify 0 into 0
4.472 * [backup-simplify]: Simplify 1 into 1
4.472 * [backup-simplify]: Simplify (/ -1 1) into -1
4.472 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.473 * [backup-simplify]: Simplify (log -1) into (log -1)
4.473 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.473 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.473 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.473 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.474 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.474 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
4.474 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
4.475 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.475 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.475 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.475 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.475 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.475 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.475 * [taylor]: Taking taylor expansion of 1 in a
4.475 * [backup-simplify]: Simplify 1 into 1
4.475 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.475 * [taylor]: Taking taylor expansion of -1 in a
4.475 * [backup-simplify]: Simplify -1 into -1
4.475 * [taylor]: Taking taylor expansion of a in a
4.475 * [backup-simplify]: Simplify 0 into 0
4.475 * [backup-simplify]: Simplify 1 into 1
4.475 * [backup-simplify]: Simplify (/ -1 1) into -1
4.475 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.476 * [backup-simplify]: Simplify (log -1) into (log -1)
4.476 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.476 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.476 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.476 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.476 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.477 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
4.477 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
4.478 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
4.478 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.479 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.480 * [backup-simplify]: Simplify (+ 1 0) into 1
4.481 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.481 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.482 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
4.482 * [backup-simplify]: Simplify (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
4.483 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.484 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
4.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.485 * [backup-simplify]: Simplify (+ 0 0) into 0
4.487 * [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.488 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
4.490 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
4.491 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
4.496 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) (/ 1 (- a))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) into (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
4.496 * * * [progress]: simplifying candidates
4.498 * [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))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (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/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
  (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
  (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
4.500 * * [simplify]: Extracting # 0 : cost  0
4.500 * * [simplify]: Extracting # 1 : cost  0
4.500 * * [simplify]: Extracting # 2 : cost  0
4.501 * * [simplify]: Extracting # 3 : cost  0
4.501 * * [simplify]: Extracting # 4 : cost  0
4.501 * * [simplify]: Extracting # 5 : cost  0
4.501 * * [simplify]: Extracting # 6 : cost  0
4.502 * * [simplify]: Extracting # 7 : cost  0
4.502 * * [simplify]: Extracting # 8 : cost  0
4.502 * * [simplify]: Extracting # 9 : cost  0
4.502 * * [simplify]: Extracting # 10 : cost  0
4.503 * * [simplify]: Extracting # 11 : cost  0
4.503 * * [simplify]: Extracting # 12 : cost  0
4.503 * * [simplify]: iteration  0 :  99  enodes  (cost  779 )
4.562 * * [simplify]: Extracting # 0 : cost  0
4.562 * * [simplify]: Extracting # 1 : cost  0
4.562 * * [simplify]: Extracting # 2 : cost  0
4.563 * * [simplify]: Extracting # 3 : cost  0
4.563 * * [simplify]: Extracting # 4 : cost  0
4.563 * * [simplify]: Extracting # 5 : cost  0
4.563 * * [simplify]: iteration  1 :  218  enodes  (cost  752 )
4.651 * * [simplify]: Extracting # 0 : cost  0
4.653 * * [simplify]: Extracting # 1 : cost  0
4.654 * * [simplify]: Extracting # 2 : cost  0
4.661 * * [simplify]: Extracting # 3 : cost  0
4.663 * * [simplify]: Extracting # 4 : cost  0
4.664 * * [simplify]: iteration  2 :  595  enodes  (cost  710 )
5.237 * * [simplify]: Extracting # 0 : cost  0
5.240 * * [simplify]: Extracting # 1 : cost  0
5.242 * * [simplify]: Extracting # 2 : cost  0
5.244 * * [simplify]: Extracting # 3 : cost  0
5.246 * * [simplify]: Extracting # 4 : cost  0
5.248 * * [simplify]: iteration  3 :  2177  enodes  (cost  659 )
6.474 * * [simplify]: Extracting # 0 : cost  0
6.485 * * [simplify]: Extracting # 1 : cost  0
6.491 * * [simplify]: Extracting # 2 : cost  0
6.496 * * [simplify]: Extracting # 3 : cost  0
6.501 * * [simplify]: Extracting # 4 : cost  0
6.511 * * [simplify]: iteration done:  5000  enodes  (cost  656 )
6.512 * [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))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3)
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (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 (* 1/2 (* (pow (log (fmod (cosh a) (pow a 2))) 2) a)) a (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow a (log (fmod (cosh a) (* a a)))) (fma (/ 1/2 a) (- (/ (pow (fmod (cosh a) (* a a)) (log a)) (/ a (pow (log (fmod (cosh a) (pow a 2))) 2))) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow a (log (fmod (cosh a) (* a a))))))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow a (log (fmod (cosh a) (* a a)))) (fma (/ 1/2 a) (- (/ (pow (fmod (cosh a) (* a a)) (log a)) (/ a (pow (log (fmod (cosh a) (pow a 2))) 2))) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow a (log (fmod (cosh a) (* a a))))))
6.512 * * * [progress]: adding candidates to table
6.760 * * [progress]: iteration 2 / 4
6.760 * * * [progress]: picking best candidate
6.812 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
6.812 * * * [progress]: localizing error
6.842 * * * [progress]: generating rewritten candidates
6.842 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.843 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.849 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
6.851 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.863 * * * [progress]: generating series expansions
6.863 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.863 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
6.863 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
6.863 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.864 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.864 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.864 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.864 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.865 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
6.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.866 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
6.866 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.866 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
6.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.867 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.867 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.867 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.867 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.867 * [backup-simplify]: Simplify 0 into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.868 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
6.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.868 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
6.868 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
6.868 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.868 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.868 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.868 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.869 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.869 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify 0 into 0
6.869 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.869 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.869 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
6.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
6.871 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.871 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
6.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.871 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.871 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.871 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify 0 into 0
6.872 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
6.872 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.872 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.872 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
6.872 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
6.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.872 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
6.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.872 * [backup-simplify]: Simplify 0 into 0
6.872 * [backup-simplify]: Simplify 0 into 0
6.872 * [backup-simplify]: Simplify 0 into 0
6.872 * [backup-simplify]: Simplify 0 into 0
6.873 * [backup-simplify]: Simplify 0 into 0
6.873 * [backup-simplify]: Simplify 0 into 0
6.873 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
6.873 * [backup-simplify]: Simplify (acos (pow (log (exp (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))))
6.873 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
6.873 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
6.873 * [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))))
6.873 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
6.873 * [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))))
6.874 * [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))))
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [backup-simplify]: Simplify 0 into 0
6.874 * [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)))
6.874 * [backup-simplify]: Simplify (acos (pow (log (exp (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))))
6.874 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
6.874 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
6.875 * [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))))
6.875 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
6.875 * [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))))
6.875 * [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))))
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [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)))
6.876 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.876 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
6.876 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
6.876 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
6.876 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
6.876 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
6.876 * [taylor]: Taking taylor expansion of (log1p a) in a
6.876 * [taylor]: Rewrote expression to (log (+ 1 a))
6.876 * [taylor]: Taking taylor expansion of (+ 1 a) in a
6.876 * [taylor]: Taking taylor expansion of 1 in a
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [taylor]: Taking taylor expansion of a in a
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [backup-simplify]: Simplify (+ 1 0) into 1
6.877 * [backup-simplify]: Simplify (log 1) into 0
6.877 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
6.877 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.877 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.877 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
6.877 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
6.878 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
6.878 * [backup-simplify]: Simplify (+ 0 1) into 1
6.879 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.879 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
6.879 * [backup-simplify]: Simplify (exp 0) into 1
6.879 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
6.879 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
6.879 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
6.879 * [taylor]: Taking taylor expansion of (log1p a) in a
6.879 * [taylor]: Rewrote expression to (log (+ 1 a))
6.879 * [taylor]: Taking taylor expansion of (+ 1 a) in a
6.879 * [taylor]: Taking taylor expansion of 1 in a
6.879 * [backup-simplify]: Simplify 1 into 1
6.879 * [taylor]: Taking taylor expansion of a in a
6.879 * [backup-simplify]: Simplify 0 into 0
6.879 * [backup-simplify]: Simplify 1 into 1
6.880 * [backup-simplify]: Simplify (+ 1 0) into 1
6.880 * [backup-simplify]: Simplify (log 1) into 0
6.880 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
6.880 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
6.880 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
6.880 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
6.880 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
6.881 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
6.881 * [backup-simplify]: Simplify (+ 0 1) into 1
6.882 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.882 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
6.882 * [backup-simplify]: Simplify (exp 0) into 1
6.882 * [backup-simplify]: Simplify 1 into 1
6.882 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
6.883 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
6.884 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
6.884 * [backup-simplify]: Simplify (+ 0 0) into 0
6.885 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.886 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
6.887 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
6.887 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
6.888 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
6.888 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
6.888 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
6.888 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
6.888 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
6.888 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
6.888 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
6.888 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
6.888 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
6.888 * [taylor]: Taking taylor expansion of 1 in a
6.888 * [backup-simplify]: Simplify 1 into 1
6.888 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.888 * [taylor]: Taking taylor expansion of a in a
6.888 * [backup-simplify]: Simplify 0 into 0
6.888 * [backup-simplify]: Simplify 1 into 1
6.888 * [backup-simplify]: Simplify (/ 1 1) into 1
6.889 * [backup-simplify]: Simplify (+ 0 1) into 1
6.889 * [backup-simplify]: Simplify (log 1) into 0
6.889 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
6.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.889 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.889 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
6.890 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
6.890 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
6.890 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
6.890 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
6.890 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
6.890 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
6.890 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
6.890 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
6.890 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
6.890 * [taylor]: Taking taylor expansion of 1 in a
6.890 * [backup-simplify]: Simplify 1 into 1
6.890 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.890 * [taylor]: Taking taylor expansion of a in a
6.890 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify 1 into 1
6.890 * [backup-simplify]: Simplify (/ 1 1) into 1
6.891 * [backup-simplify]: Simplify (+ 0 1) into 1
6.891 * [backup-simplify]: Simplify (log 1) into 0
6.891 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
6.891 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
6.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
6.891 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
6.892 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
6.892 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
6.892 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
6.892 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
6.893 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
6.893 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
6.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.894 * [backup-simplify]: Simplify (+ 1 0) into 1
6.895 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.895 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
6.895 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
6.896 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
6.896 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
6.897 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
6.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.898 * [backup-simplify]: Simplify (+ 0 0) into 0
6.901 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.902 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
6.903 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
6.904 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
6.908 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (pow (/ 1 a) 2)) (+ (* (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (/ 1 a)) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))))) into (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
6.909 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
6.909 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
6.909 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
6.909 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
6.909 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
6.909 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
6.909 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
6.909 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
6.909 * [taylor]: Taking taylor expansion of 1 in a
6.909 * [backup-simplify]: Simplify 1 into 1
6.909 * [taylor]: Taking taylor expansion of (/ -1 a) in a
6.909 * [taylor]: Taking taylor expansion of -1 in a
6.909 * [backup-simplify]: Simplify -1 into -1
6.909 * [taylor]: Taking taylor expansion of a in a
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 1 into 1
6.910 * [backup-simplify]: Simplify (/ -1 1) into -1
6.910 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.911 * [backup-simplify]: Simplify (log -1) into (log -1)
6.911 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
6.911 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.911 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.911 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
6.912 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
6.913 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
6.914 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
6.914 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
6.914 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
6.914 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
6.914 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
6.914 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
6.914 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
6.914 * [taylor]: Taking taylor expansion of 1 in a
6.914 * [backup-simplify]: Simplify 1 into 1
6.914 * [taylor]: Taking taylor expansion of (/ -1 a) in a
6.914 * [taylor]: Taking taylor expansion of -1 in a
6.914 * [backup-simplify]: Simplify -1 into -1
6.914 * [taylor]: Taking taylor expansion of a in a
6.914 * [backup-simplify]: Simplify 0 into 0
6.914 * [backup-simplify]: Simplify 1 into 1
6.915 * [backup-simplify]: Simplify (/ -1 1) into -1
6.915 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.916 * [backup-simplify]: Simplify (log -1) into (log -1)
6.916 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
6.916 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
6.916 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
6.916 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
6.917 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
6.918 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
6.919 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
6.919 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
6.920 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
6.921 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
6.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.923 * [backup-simplify]: Simplify (+ 1 0) into 1
6.924 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
6.925 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
6.926 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
6.927 * [backup-simplify]: Simplify (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
6.928 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
6.930 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
6.931 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.932 * [backup-simplify]: Simplify (+ 0 0) into 0
6.935 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
6.936 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
6.938 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
6.939 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
6.950 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) (/ 1 (- a))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) into (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
6.950 * * * [progress]: simplifying candidates
6.951 * [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 (fmod (cosh a) (* a a)))))
  (log1p (log (exp (fmod (cosh a) (* a a)))))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (expm1 (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log1p (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) 1)
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (log (exp 1)) (log1p a))
  (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (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/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
  (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
  (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
6.953 * * [simplify]: Extracting # 0 : cost  0
6.953 * * [simplify]: Extracting # 1 : cost  0
6.953 * * [simplify]: Extracting # 2 : cost  0
6.953 * * [simplify]: Extracting # 3 : cost  0
6.954 * * [simplify]: Extracting # 4 : cost  0
6.954 * * [simplify]: Extracting # 5 : cost  0
6.954 * * [simplify]: Extracting # 6 : cost  0
6.954 * * [simplify]: Extracting # 7 : cost  0
6.954 * * [simplify]: Extracting # 8 : cost  0
6.955 * * [simplify]: Extracting # 9 : cost  0
6.955 * * [simplify]: Extracting # 10 : cost  0
6.955 * * [simplify]: Extracting # 11 : cost  0
6.955 * * [simplify]: Extracting # 12 : cost  0
6.955 * * [simplify]: Extracting # 13 : cost  0
6.955 * * [simplify]: Extracting # 14 : cost  0
6.956 * * [simplify]: iteration  0 :  128  enodes  (cost  1155 )
6.987 * * [simplify]: Extracting # 0 : cost  0
6.988 * * [simplify]: Extracting # 1 : cost  0
6.988 * * [simplify]: Extracting # 2 : cost  0
6.989 * * [simplify]: Extracting # 3 : cost  0
6.989 * * [simplify]: Extracting # 4 : cost  0
6.990 * * [simplify]: Extracting # 5 : cost  0
6.990 * * [simplify]: Extracting # 6 : cost  0
6.991 * * [simplify]: iteration  1 :  250  enodes  (cost  1003 )
7.092 * * [simplify]: Extracting # 0 : cost  0
7.093 * * [simplify]: Extracting # 1 : cost  0
7.095 * * [simplify]: Extracting # 2 : cost  0
7.096 * * [simplify]: Extracting # 3 : cost  0
7.097 * * [simplify]: Extracting # 4 : cost  0
7.099 * * [simplify]: Extracting # 5 : cost  0
7.100 * * [simplify]: iteration  2 :  631  enodes  (cost  942 )
7.700 * * [simplify]: Extracting # 0 : cost  0
7.705 * * [simplify]: Extracting # 1 : cost  0
7.709 * * [simplify]: Extracting # 2 : cost  0
7.713 * * [simplify]: Extracting # 3 : cost  0
7.716 * * [simplify]: Extracting # 4 : cost  0
7.717 * * [simplify]: Extracting # 5 : cost  0
7.719 * * [simplify]: iteration  3 :  2239  enodes  (cost  891 )
9.016 * * [simplify]: Extracting # 0 : cost  0
9.023 * * [simplify]: Extracting # 1 : cost  0
9.028 * * [simplify]: Extracting # 2 : cost  0
9.037 * * [simplify]: Extracting # 3 : cost  0
9.047 * * [simplify]: Extracting # 4 : cost  0
9.058 * * [simplify]: iteration done:  5000  enodes  (cost  888 )
9.059 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (pow a 2)))
  1
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (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) (* 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))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (pow a 2))) (log1p a))
  (* (log (fmod (cosh a) (pow a 2))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (pow a 2)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (pow a 2)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  1
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  1
  (pow (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (* (log (fmod (cosh a) (pow a 2))) (log1p a))
  (exp (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (pow a 2)) (log1p a))) (cbrt (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3)
  (sqrt (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a 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 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2)) 1/2 (fma (log (fmod (cosh a) (pow a 2))) (- a (* 1/2 (* a a))) 1))
  (fma (/ (log (fmod (cosh a) (pow a 2))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (pow (log (fmod (cosh a) (pow a 2))) 2) (/ a (pow (fmod (cosh a) (pow a 2)) (log a)))) (/ (pow (fmod (cosh a) (pow a 2)) (log a)) (/ a (log (fmod (cosh a) (* a a)))))) (pow (fmod (cosh a) (* a a)) (log a))))
  (fma (/ (log (fmod (cosh a) (pow a 2))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (pow (log (fmod (cosh a) (pow a 2))) 2) (/ a (pow (fmod (cosh a) (pow a 2)) (log a)))) (/ (pow (fmod (cosh a) (pow a 2)) (log a)) (/ a (log (fmod (cosh a) (* a a)))))) (pow (fmod (cosh a) (* a a)) (log a))))
9.060 * * * [progress]: adding candidates to table
9.406 * * [progress]: iteration 3 / 4
9.406 * * * [progress]: picking best candidate
9.429 * * * * [pick]: Picked  #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
9.429 * * * [progress]: localizing error
9.447 * * * [progress]: generating rewritten candidates
9.447 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
9.447 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
9.457 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
9.461 * * * [progress]: generating series expansions
9.461 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
9.461 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.461 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.461 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.462 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.462 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.462 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.462 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.462 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.462 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.463 * [backup-simplify]: Simplify 0 into 0
9.463 * [backup-simplify]: Simplify 0 into 0
9.463 * [backup-simplify]: Simplify 0 into 0
9.463 * [backup-simplify]: Simplify 0 into 0
9.463 * [backup-simplify]: Simplify 0 into 0
9.463 * [backup-simplify]: Simplify 0 into 0
9.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.463 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.464 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
9.464 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.464 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
9.464 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.465 * [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.465 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.465 * [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.465 * [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.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [backup-simplify]: Simplify 0 into 0
9.465 * [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.465 * [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))))
9.465 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
9.465 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.466 * [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.466 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.466 * [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.466 * [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.466 * [backup-simplify]: Simplify 0 into 0
9.466 * [backup-simplify]: Simplify 0 into 0
9.466 * [backup-simplify]: Simplify 0 into 0
9.466 * [backup-simplify]: Simplify 0 into 0
9.466 * [backup-simplify]: Simplify 0 into 0
9.466 * [backup-simplify]: Simplify 0 into 0
9.466 * [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.467 * [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))))
9.467 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
9.467 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.467 * [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.467 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.467 * [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.467 * [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.468 * [backup-simplify]: Simplify 0 into 0
9.468 * [backup-simplify]: Simplify 0 into 0
9.468 * [backup-simplify]: Simplify 0 into 0
9.468 * [backup-simplify]: Simplify 0 into 0
9.468 * [backup-simplify]: Simplify 0 into 0
9.468 * [backup-simplify]: Simplify 0 into 0
9.468 * [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.468 * * * * [progress]: [ 3 / 4 ] generating series at (2)
9.468 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.468 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
9.468 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.469 * [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.469 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.469 * [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.469 * [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.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [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.469 * [backup-simplify]: Simplify (log (exp (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))))
9.470 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
9.470 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.470 * [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.470 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.470 * [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.470 * [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.470 * [backup-simplify]: Simplify 0 into 0
9.470 * [backup-simplify]: Simplify 0 into 0
9.470 * [backup-simplify]: Simplify 0 into 0
9.470 * [backup-simplify]: Simplify 0 into 0
9.470 * [backup-simplify]: Simplify 0 into 0
9.470 * [backup-simplify]: Simplify 0 into 0
9.471 * [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.471 * [backup-simplify]: Simplify (log (exp (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))))
9.471 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
9.471 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.471 * [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.471 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.471 * [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.472 * [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.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [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.472 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
9.472 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
9.472 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
9.472 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
9.472 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
9.472 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
9.472 * [taylor]: Taking taylor expansion of (log1p a) in a
9.472 * [taylor]: Rewrote expression to (log (+ 1 a))
9.472 * [taylor]: Taking taylor expansion of (+ 1 a) in a
9.472 * [taylor]: Taking taylor expansion of 1 in a
9.472 * [backup-simplify]: Simplify 1 into 1
9.472 * [taylor]: Taking taylor expansion of a in a
9.472 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify 1 into 1
9.473 * [backup-simplify]: Simplify (+ 1 0) into 1
9.473 * [backup-simplify]: Simplify (log 1) into 0
9.473 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
9.473 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.473 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.474 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
9.474 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
9.474 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
9.475 * [backup-simplify]: Simplify (+ 0 1) into 1
9.475 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
9.476 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
9.476 * [backup-simplify]: Simplify (exp 0) into 1
9.476 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
9.476 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
9.476 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
9.476 * [taylor]: Taking taylor expansion of (log1p a) in a
9.476 * [taylor]: Rewrote expression to (log (+ 1 a))
9.476 * [taylor]: Taking taylor expansion of (+ 1 a) in a
9.476 * [taylor]: Taking taylor expansion of 1 in a
9.476 * [backup-simplify]: Simplify 1 into 1
9.476 * [taylor]: Taking taylor expansion of a in a
9.476 * [backup-simplify]: Simplify 0 into 0
9.476 * [backup-simplify]: Simplify 1 into 1
9.476 * [backup-simplify]: Simplify (+ 1 0) into 1
9.476 * [backup-simplify]: Simplify (log 1) into 0
9.476 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
9.476 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.477 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.477 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
9.477 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
9.477 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
9.478 * [backup-simplify]: Simplify (+ 0 1) into 1
9.478 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
9.479 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
9.479 * [backup-simplify]: Simplify (exp 0) into 1
9.479 * [backup-simplify]: Simplify 1 into 1
9.479 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
9.479 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
9.480 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
9.481 * [backup-simplify]: Simplify (+ 0 0) into 0
9.482 * [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.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh a) (pow a 2)))))) into (- (* 1/2 (log (fmod (cosh a) (pow a 2)))))
9.483 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh a) (pow a 2))))) 1) 1)))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
9.483 * [backup-simplify]: Simplify (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) into (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2)))))
9.484 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (pow (log (fmod (cosh a) (pow a 2))) 2)) (* 1/2 (log (fmod (cosh a) (pow a 2))))) (pow a 2)) (+ (* (log (fmod (cosh a) (pow a 2))) a) 1)) into (- (+ (* 1/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
9.484 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
9.484 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
9.484 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
9.484 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
9.484 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
9.484 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
9.484 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
9.484 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
9.484 * [taylor]: Taking taylor expansion of 1 in a
9.484 * [backup-simplify]: Simplify 1 into 1
9.484 * [taylor]: Taking taylor expansion of (/ 1 a) in a
9.484 * [taylor]: Taking taylor expansion of a in a
9.484 * [backup-simplify]: Simplify 0 into 0
9.485 * [backup-simplify]: Simplify 1 into 1
9.485 * [backup-simplify]: Simplify (/ 1 1) into 1
9.485 * [backup-simplify]: Simplify (+ 0 1) into 1
9.485 * [backup-simplify]: Simplify (log 1) into 0
9.485 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
9.485 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.486 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.486 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
9.486 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
9.486 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
9.486 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
9.486 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
9.486 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
9.486 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
9.486 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
9.487 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
9.487 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
9.487 * [taylor]: Taking taylor expansion of 1 in a
9.487 * [backup-simplify]: Simplify 1 into 1
9.487 * [taylor]: Taking taylor expansion of (/ 1 a) in a
9.487 * [taylor]: Taking taylor expansion of a in a
9.487 * [backup-simplify]: Simplify 0 into 0
9.487 * [backup-simplify]: Simplify 1 into 1
9.487 * [backup-simplify]: Simplify (/ 1 1) into 1
9.487 * [backup-simplify]: Simplify (+ 0 1) into 1
9.487 * [backup-simplify]: Simplify (log 1) into 0
9.487 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
9.487 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.488 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.488 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
9.488 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
9.488 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
9.488 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
9.489 * [backup-simplify]: Simplify (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
9.489 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
9.490 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
9.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.490 * [backup-simplify]: Simplify (+ 1 0) into 1
9.491 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
9.492 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (* 1 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
9.493 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
9.493 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
9.494 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
9.496 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
9.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.497 * [backup-simplify]: Simplify (+ 0 0) into 0
9.500 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
9.501 * [backup-simplify]: Simplify (+ (* (- (log a)) 0) (+ (* 1 0) (* -1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
9.503 * [backup-simplify]: Simplify (* (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
9.504 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (exp (* -1 (* (log a) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))
9.507 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (pow (/ 1 a) 2)) (+ (* (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))))) (/ 1 a)) (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))))) into (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
9.508 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
9.508 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
9.508 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
9.508 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
9.508 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
9.508 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
9.508 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
9.508 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
9.508 * [taylor]: Taking taylor expansion of 1 in a
9.508 * [backup-simplify]: Simplify 1 into 1
9.508 * [taylor]: Taking taylor expansion of (/ -1 a) in a
9.508 * [taylor]: Taking taylor expansion of -1 in a
9.508 * [backup-simplify]: Simplify -1 into -1
9.508 * [taylor]: Taking taylor expansion of a in a
9.508 * [backup-simplify]: Simplify 0 into 0
9.508 * [backup-simplify]: Simplify 1 into 1
9.509 * [backup-simplify]: Simplify (/ -1 1) into -1
9.509 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.510 * [backup-simplify]: Simplify (log -1) into (log -1)
9.510 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
9.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.510 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.510 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
9.511 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
9.512 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
9.513 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
9.513 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
9.513 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
9.513 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
9.513 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
9.513 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
9.513 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
9.513 * [taylor]: Taking taylor expansion of 1 in a
9.513 * [backup-simplify]: Simplify 1 into 1
9.513 * [taylor]: Taking taylor expansion of (/ -1 a) in a
9.513 * [taylor]: Taking taylor expansion of -1 in a
9.513 * [backup-simplify]: Simplify -1 into -1
9.513 * [taylor]: Taking taylor expansion of a in a
9.513 * [backup-simplify]: Simplify 0 into 0
9.513 * [backup-simplify]: Simplify 1 into 1
9.514 * [backup-simplify]: Simplify (/ -1 1) into -1
9.514 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.514 * [backup-simplify]: Simplify (log -1) into (log -1)
9.514 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
9.514 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.515 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.515 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
9.516 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
9.517 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))
9.517 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
9.518 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) into (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))
9.519 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
9.520 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
9.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.522 * [backup-simplify]: Simplify (+ 1 0) into 1
9.523 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
9.524 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (* -1 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
9.525 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1) 1)))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
9.526 * [backup-simplify]: Simplify (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))) into (* -1 (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))))
9.527 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
9.530 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
9.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.531 * [backup-simplify]: Simplify (+ 0 0) into 0
9.533 * [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.535 * [backup-simplify]: Simplify (+ (* (- (log -1) (log a)) 0) (+ (* -1 0) (* -1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
9.536 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))) (+ (* (/ (pow (- (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2) 2)) (* (/ (pow (- (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1) 1)))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
9.537 * [backup-simplify]: Simplify (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a))))) into (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (exp (* (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (- (log -1) (log a)))))
9.539 * [backup-simplify]: Simplify (+ (* (* (- (* 1/2 (pow (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) (/ 1 (- a))) (exp (* (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) (- (log -1) (log (/ 1 (- a)))))))) into (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
9.540 * * * [progress]: simplifying candidates
9.541 * [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))))
  (expm1 (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log1p (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (* (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log 1)
  (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (/ PI 2)))
  (log (exp (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (log (exp (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (exp (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (exp 1))
  (log (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (exp (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (* (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (cbrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (* (* (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (sqrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (sqrt (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (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)))
  (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/2 (* (pow a 2) (pow (log (fmod (cosh a) (pow a 2))) 2))) (+ (* a (log (fmod (cosh a) (pow a 2)))) 1)) (* 1/2 (* (pow a 2) (log (fmod (cosh a) (pow a 2))))))
  (- (+ (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (+ (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (exp (* -1 (* (log (/ 1 a)) (log (fmod (cosh a) (pow a 2)))))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
  (- (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (+ (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (pow (log (fmod (cosh a) (pow a 2))) 2)) (pow a 2))) (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) a))) (* 1/2 (/ (* (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (log (fmod (cosh a) (pow a 2)))) (pow a 2))))
9.542 * * [simplify]: Extracting # 0 : cost  0
9.542 * * [simplify]: Extracting # 1 : cost  0
9.542 * * [simplify]: Extracting # 2 : cost  0
9.543 * * [simplify]: Extracting # 3 : cost  0
9.543 * * [simplify]: Extracting # 4 : cost  0
9.543 * * [simplify]: Extracting # 5 : cost  0
9.543 * * [simplify]: Extracting # 6 : cost  0
9.543 * * [simplify]: Extracting # 7 : cost  0
9.543 * * [simplify]: Extracting # 8 : cost  0
9.544 * * [simplify]: Extracting # 9 : cost  0
9.544 * * [simplify]: Extracting # 10 : cost  0
9.544 * * [simplify]: Extracting # 11 : cost  0
9.544 * * [simplify]: Extracting # 12 : cost  0
9.544 * * [simplify]: Extracting # 13 : cost  0
9.544 * * [simplify]: Extracting # 14 : cost  0
9.544 * * [simplify]: Extracting # 15 : cost  0
9.545 * * [simplify]: iteration  0 :  126  enodes  (cost  1114 )
9.576 * * [simplify]: Extracting # 0 : cost  0
9.577 * * [simplify]: Extracting # 1 : cost  0
9.577 * * [simplify]: Extracting # 2 : cost  0
9.577 * * [simplify]: Extracting # 3 : cost  0
9.577 * * [simplify]: Extracting # 4 : cost  0
9.578 * * [simplify]: Extracting # 5 : cost  0
9.578 * * [simplify]: Extracting # 6 : cost  0
9.578 * * [simplify]: iteration  1 :  250  enodes  (cost  1048 )
9.664 * * [simplify]: Extracting # 0 : cost  0
9.667 * * [simplify]: Extracting # 1 : cost  0
9.668 * * [simplify]: Extracting # 2 : cost  0
9.669 * * [simplify]: Extracting # 3 : cost  0
9.669 * * [simplify]: Extracting # 4 : cost  0
9.670 * * [simplify]: iteration  2 :  632  enodes  (cost  975 )
10.233 * * [simplify]: Extracting # 0 : cost  0
10.237 * * [simplify]: Extracting # 1 : cost  0
10.241 * * [simplify]: Extracting # 2 : cost  0
10.245 * * [simplify]: Extracting # 3 : cost  0
10.249 * * [simplify]: Extracting # 4 : cost  0
10.253 * * [simplify]: Extracting # 5 : cost  0
10.257 * * [simplify]: iteration  3 :  2234  enodes  (cost  924 )
11.684 * * [simplify]: Extracting # 0 : cost  0
11.694 * * [simplify]: Extracting # 1 : cost  0
11.706 * * [simplify]: Extracting # 2 : cost  0
11.717 * * [simplify]: Extracting # 3 : cost  0
11.736 * * [simplify]: Extracting # 4 : cost  0
11.747 * * [simplify]: iteration done:  5000  enodes  (cost  921 )
11.748 * [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) (pow a 2)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (pow a 2)) (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) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))
  0
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (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)))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  1
  (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) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (expm1 (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log1p (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3)
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (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)))
  (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 (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (* (pow (fmod (cosh a) (* a a)) (log a)) (pow (log (fmod (cosh a) (pow a 2))) 2)) a) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow (fmod (cosh a) (* a a)) (log a))))
  (fma (/ (log (fmod (cosh a) (* a a))) a) (pow (fmod (cosh a) (* a a)) (log a)) (fma (/ 1/2 a) (- (/ (* (pow (fmod (cosh a) (* a a)) (log a)) (pow (log (fmod (cosh a) (pow a 2))) 2)) a) (* (/ (pow (fmod (cosh a) (* a a)) (log a)) a) (log (fmod (cosh a) (* a a))))) (pow (fmod (cosh a) (* a a)) (log a))))
11.749 * * * [progress]: adding candidates to table
12.096 * * [progress]: iteration 4 / 4
12.096 * * * [progress]: picking best candidate
12.153 * * * * [pick]: Picked  #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))>
12.153 * * * [progress]: localizing error
12.178 * * * [progress]: generating rewritten candidates
12.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
12.179 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
12.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
12.181 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
12.184 * * * [progress]: generating series expansions
12.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
12.184 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.184 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.184 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.184 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.185 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.185 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.185 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.185 * [backup-simplify]: Simplify 0 into 0
12.185 * [backup-simplify]: Simplify 0 into 0
12.185 * [backup-simplify]: Simplify 0 into 0
12.185 * [backup-simplify]: Simplify 0 into 0
12.185 * [backup-simplify]: Simplify 0 into 0
12.185 * [backup-simplify]: Simplify 0 into 0
12.185 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.186 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.186 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.186 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.186 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.186 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.186 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.187 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.187 * [backup-simplify]: Simplify 0 into 0
12.187 * [backup-simplify]: Simplify 0 into 0
12.187 * [backup-simplify]: Simplify 0 into 0
12.187 * [backup-simplify]: Simplify 0 into 0
12.187 * [backup-simplify]: Simplify 0 into 0
12.187 * [backup-simplify]: Simplify 0 into 0
12.187 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.187 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.187 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.187 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.188 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.188 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.188 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.188 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.188 * [backup-simplify]: Simplify 0 into 0
12.188 * [backup-simplify]: Simplify 0 into 0
12.188 * [backup-simplify]: Simplify 0 into 0
12.188 * [backup-simplify]: Simplify 0 into 0
12.188 * [backup-simplify]: Simplify 0 into 0
12.189 * [backup-simplify]: Simplify 0 into 0
12.189 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.189 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
12.189 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.189 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.189 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.189 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.189 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.190 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.190 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.190 * [backup-simplify]: Simplify 0 into 0
12.190 * [backup-simplify]: Simplify 0 into 0
12.190 * [backup-simplify]: Simplify 0 into 0
12.190 * [backup-simplify]: Simplify 0 into 0
12.190 * [backup-simplify]: Simplify 0 into 0
12.190 * [backup-simplify]: Simplify 0 into 0
12.190 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.190 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.190 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.190 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.191 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.191 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.191 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.191 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.191 * [backup-simplify]: Simplify 0 into 0
12.191 * [backup-simplify]: Simplify 0 into 0
12.191 * [backup-simplify]: Simplify 0 into 0
12.191 * [backup-simplify]: Simplify 0 into 0
12.191 * [backup-simplify]: Simplify 0 into 0
12.191 * [backup-simplify]: Simplify 0 into 0
12.192 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.192 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.192 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.192 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.192 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.192 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.193 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.193 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.193 * [backup-simplify]: Simplify 0 into 0
12.193 * [backup-simplify]: Simplify 0 into 0
12.193 * [backup-simplify]: Simplify 0 into 0
12.193 * [backup-simplify]: Simplify 0 into 0
12.193 * [backup-simplify]: Simplify 0 into 0
12.193 * [backup-simplify]: Simplify 0 into 0
12.194 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.194 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
12.194 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.194 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
12.194 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.194 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.194 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.195 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.195 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.195 * [backup-simplify]: Simplify 0 into 0
12.195 * [backup-simplify]: Simplify 0 into 0
12.195 * [backup-simplify]: Simplify 0 into 0
12.195 * [backup-simplify]: Simplify 0 into 0
12.195 * [backup-simplify]: Simplify 0 into 0
12.195 * [backup-simplify]: Simplify 0 into 0
12.195 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.196 * [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))))
12.196 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
12.196 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.196 * [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))))
12.196 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.197 * [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))))
12.197 * [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))))
12.197 * [backup-simplify]: Simplify 0 into 0
12.197 * [backup-simplify]: Simplify 0 into 0
12.197 * [backup-simplify]: Simplify 0 into 0
12.197 * [backup-simplify]: Simplify 0 into 0
12.197 * [backup-simplify]: Simplify 0 into 0
12.197 * [backup-simplify]: Simplify 0 into 0
12.198 * [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)))
12.198 * [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))))
12.198 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
12.198 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.199 * [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))))
12.199 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.199 * [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))))
12.200 * [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))))
12.200 * [backup-simplify]: Simplify 0 into 0
12.200 * [backup-simplify]: Simplify 0 into 0
12.200 * [backup-simplify]: Simplify 0 into 0
12.200 * [backup-simplify]: Simplify 0 into 0
12.200 * [backup-simplify]: Simplify 0 into 0
12.200 * [backup-simplify]: Simplify 0 into 0
12.201 * [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)))
12.201 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
12.201 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.201 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
12.201 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.201 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.201 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.202 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.202 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.202 * [backup-simplify]: Simplify 0 into 0
12.202 * [backup-simplify]: Simplify 0 into 0
12.202 * [backup-simplify]: Simplify 0 into 0
12.202 * [backup-simplify]: Simplify 0 into 0
12.202 * [backup-simplify]: Simplify 0 into 0
12.202 * [backup-simplify]: Simplify 0 into 0
12.202 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.203 * [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))))
12.203 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
12.203 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.203 * [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))))
12.203 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.204 * [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))))
12.204 * [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))))
12.204 * [backup-simplify]: Simplify 0 into 0
12.204 * [backup-simplify]: Simplify 0 into 0
12.204 * [backup-simplify]: Simplify 0 into 0
12.204 * [backup-simplify]: Simplify 0 into 0
12.204 * [backup-simplify]: Simplify 0 into 0
12.205 * [backup-simplify]: Simplify 0 into 0
12.205 * [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)))
12.205 * [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))))
12.205 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
12.206 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.206 * [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))))
12.206 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.206 * [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))))
12.207 * [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))))
12.207 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify 0 into 0
12.208 * [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)))
12.208 * * * [progress]: simplifying candidates
12.209 * [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 (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))))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (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)))
  (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)))
12.211 * * [simplify]: Extracting # 0 : cost  0
12.211 * * [simplify]: Extracting # 1 : cost  0
12.211 * * [simplify]: Extracting # 2 : cost  0
12.211 * * [simplify]: Extracting # 3 : cost  0
12.211 * * [simplify]: Extracting # 4 : cost  0
12.211 * * [simplify]: Extracting # 5 : cost  0
12.211 * * [simplify]: Extracting # 6 : cost  0
12.211 * * [simplify]: Extracting # 7 : cost  0
12.211 * * [simplify]: iteration  0 :  33  enodes  (cost  554 )
12.224 * * [simplify]: Extracting # 0 : cost  0
12.224 * * [simplify]: Extracting # 1 : cost  0
12.224 * * [simplify]: Extracting # 2 : cost  0
12.224 * * [simplify]: Extracting # 3 : cost  0
12.224 * * [simplify]: Extracting # 4 : cost  0
12.224 * * [simplify]: Extracting # 5 : cost  0
12.224 * * [simplify]: iteration  1 :  47  enodes  (cost  554 )
12.240 * * [simplify]: Extracting # 0 : cost  0
12.240 * * [simplify]: Extracting # 1 : cost  0
12.241 * * [simplify]: Extracting # 2 : cost  0
12.241 * * [simplify]: Extracting # 3 : cost  0
12.241 * * [simplify]: iteration  2 :  65  enodes  (cost  490 )
12.259 * * [simplify]: Extracting # 0 : cost  0
12.260 * * [simplify]: Extracting # 1 : cost  0
12.260 * * [simplify]: Extracting # 2 : cost  0
12.260 * * [simplify]: Extracting # 3 : cost  0
12.260 * * [simplify]: Extracting # 4 : cost  0
12.260 * * [simplify]: iteration  3 :  94  enodes  (cost  490 )
12.276 * * [simplify]: Extracting # 0 : cost  0
12.284 * * [simplify]: Extracting # 1 : cost  0
12.284 * * [simplify]: Extracting # 2 : cost  0
12.285 * * [simplify]: Extracting # 3 : cost  0
12.285 * * [simplify]: Extracting # 4 : cost  0
12.285 * * [simplify]: Extracting # 5 : cost  0
12.285 * * [simplify]: iteration  4 :  152  enodes  (cost  490 )
12.335 * * [simplify]: Extracting # 0 : cost  0
12.335 * * [simplify]: Extracting # 1 : cost  0
12.336 * * [simplify]: Extracting # 2 : cost  0
12.336 * * [simplify]: Extracting # 3 : cost  0
12.336 * * [simplify]: Extracting # 4 : cost  0
12.336 * * [simplify]: iteration  5 :  294  enodes  (cost  490 )
12.925 * * [simplify]: Extracting # 0 : cost  0
12.926 * * [simplify]: Extracting # 1 : cost  0
12.927 * * [simplify]: Extracting # 2 : cost  0
12.927 * * [simplify]: Extracting # 3 : cost  0
12.931 * * [simplify]: Extracting # 4 : cost  0
12.932 * * [simplify]: Extracting # 5 : cost  0
12.933 * * [simplify]: iteration  6 :  776  enodes  (cost  490 )
14.346 * * [simplify]: Extracting # 0 : cost  0
14.351 * * [simplify]: Extracting # 1 : cost  0
14.353 * * [simplify]: Extracting # 2 : cost  0
14.354 * * [simplify]: Extracting # 3 : cost  0
14.356 * * [simplify]: Extracting # 4 : cost  0
14.357 * * [simplify]: iteration  7 :  2892  enodes  (cost  490 )
15.733 * * [simplify]: Extracting # 0 : cost  0
15.740 * * [simplify]: Extracting # 1 : cost  0
15.750 * * [simplify]: Extracting # 2 : cost  0
15.758 * * [simplify]: Extracting # 3 : cost  0
15.767 * * [simplify]: iteration done:  5000  enodes  (cost  490 )
15.768 * [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 (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))))
  (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))
  (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)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
15.768 * * * [progress]: adding candidates to table
16.133 * [progress]: [Phase 3 of 3] Extracting.
16.133 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (log (exp (* (* (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))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.137 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
16.138 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (log (exp (* (* (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))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.269 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (log (exp (* (* (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))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.331 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (log (exp (* (* (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))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.429 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (* (* (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))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))>)
16.477 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))> #<alt (λ (a) (log (exp (acos (* (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a)))))))> #<alt (λ (a) (log (exp (acos (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* 1/2 a) a) (fma (log (fmod (cosh a) (* a a))) (- a (* 1/2 (* a a))) 1))))))> #<alt (λ (a) (log (exp (* (* (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))))))))> #<alt (λ (a) (+ (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))) (log (sqrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (cbrt (pow (pow (fmod (cosh a) (* a a)) (log1p a)) 3))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (log (exp (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
16.585 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
16.586 * [simplify]: Simplifying:
  (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
16.587 * * [simplify]: Extracting # 0 : cost  0
16.587 * * [simplify]: Extracting # 1 : cost  0
16.587 * * [simplify]: Extracting # 2 : cost  0
16.587 * * [simplify]: Extracting # 3 : cost  0
16.587 * * [simplify]: Extracting # 4 : cost  0
16.587 * * [simplify]: Extracting # 5 : cost  0
16.587 * * [simplify]: Extracting # 6 : cost  0
16.587 * * [simplify]: Extracting # 7 : cost  0
16.587 * * [simplify]: Extracting # 8 : cost  0
16.587 * * [simplify]: Extracting # 9 : cost  0
16.587 * * [simplify]: Extracting # 10 : cost  0
16.587 * * [simplify]: Extracting # 11 : cost  0
16.587 * * [simplify]: Extracting # 12 : cost  0
16.587 * * [simplify]: Extracting # 13 : cost  0
16.587 * * [simplify]: Extracting # 14 : cost  0
16.587 * * [simplify]: iteration  0 :  20  enodes  (cost  31 )
16.589 * * [simplify]: Extracting # 0 : cost  0
16.589 * * [simplify]: iteration  1 :  22  enodes  (cost  31 )
16.590 * * [simplify]: Extracting # 0 : cost  0
16.591 * * [simplify]: iteration done:  22  enodes  (cost  31 )
16.591 * [simplify]: Simplified to:
  (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))) (log (cbrt (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))))
56.836 * [regime-testing]: Baseline error score: 60.18391674178797
56.841 * [regime-testing]: Oracle error score: 59.80367958453075
56.852 * [regime-testing]: End program error score: 60.18391674178797