0.843 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.238 * * * [progress]: [2/2] Setting up program.
1.244 * [progress]: [Phase 2 of 3] Improving.
1.246 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.247 * * [simplify]: iteration 0: 7 enodes
1.250 * * [simplify]: iteration 1: 16 enodes
1.252 * * [simplify]: iteration 2: 24 enodes
1.257 * * [simplify]: iteration 3: 44 enodes
1.263 * * [simplify]: iteration 4: 91 enodes
1.294 * * [simplify]: iteration 5: 373 enodes
2.200 * * [simplify]: iteration 6: 3169 enodes
3.866 * * [simplify]: iteration complete: 5000 enodes
3.867 * * [simplify]: Extracting #0: cost 1 inf + 0
3.867 * * [simplify]: Extracting #1: cost 2 inf + 0
3.868 * * [simplify]: Extracting #2: cost 237 inf + 0
3.873 * * [simplify]: Extracting #3: cost 1217 inf + 1
3.881 * * [simplify]: Extracting #4: cost 1482 inf + 25
3.897 * * [simplify]: Extracting #5: cost 1415 inf + 755
3.905 * * [simplify]: Extracting #6: cost 719 inf + 16254
3.913 * * [simplify]: Extracting #7: cost 135 inf + 33961
3.921 * * [simplify]: Extracting #8: cost 0 inf + 38962
3.928 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.931 * * [progress]: iteration 1 / 4
3.931 * * * [progress]: picking best candidate
3.939 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
3.939 * * * [progress]: localizing error
3.974 * * * [progress]: generating rewritten candidates
3.974 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.976 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.978 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.985 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.989 * * * [progress]: generating series expansions
3.989 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.995 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.995 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.997 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.998 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.999 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.999 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.999 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.000 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.000 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.000 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.001 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.001 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.001 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.003 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.003 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.003 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.003 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.003 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.004 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.004 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.005 * * * * [progress]: [ 2 / 4 ] generating series at (2)
4.005 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.005 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.005 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.005 * [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.005 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.006 * [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.006 * [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.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [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.007 * [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.007 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.007 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.007 * [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.007 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.008 * [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.008 * [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.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 0 into 0
4.009 * [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.009 * [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.009 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.009 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.010 * [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.010 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.010 * [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.010 * [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.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [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.011 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
4.012 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.012 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
4.012 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.012 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.012 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.012 * [taylor]: Taking taylor expansion of (log1p a) in a
4.012 * [taylor]: Rewrote expression to (log (+ 1 a))
4.012 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.012 * [taylor]: Taking taylor expansion of 1 in a
4.012 * [backup-simplify]: Simplify 1 into 1
4.012 * [taylor]: Taking taylor expansion of a in a
4.012 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify 1 into 1
4.014 * [backup-simplify]: Simplify (+ 1 0) into 1
4.014 * [backup-simplify]: Simplify (log 1) into 0
4.014 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.014 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.014 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.015 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.015 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.029 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.029 * [backup-simplify]: Simplify (+ 0 1) into 1
4.031 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.032 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.032 * [backup-simplify]: Simplify (exp 0) into 1
4.032 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.032 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.032 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.032 * [taylor]: Taking taylor expansion of (log1p a) in a
4.033 * [taylor]: Rewrote expression to (log (+ 1 a))
4.033 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.033 * [taylor]: Taking taylor expansion of 1 in a
4.033 * [backup-simplify]: Simplify 1 into 1
4.033 * [taylor]: Taking taylor expansion of a in a
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [backup-simplify]: Simplify 1 into 1
4.034 * [backup-simplify]: Simplify (+ 1 0) into 1
4.035 * [backup-simplify]: Simplify (log 1) into 0
4.035 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.035 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.035 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.035 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.036 * [backup-simplify]: Simplify (* 0 (log (fmod (cosh a) (pow a 2)))) into 0
4.037 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.038 * [backup-simplify]: Simplify (+ 0 1) into 1
4.039 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.040 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (fmod (cosh a) (pow a 2))))) into (log (fmod (cosh a) (pow a 2)))
4.040 * [backup-simplify]: Simplify (exp 0) into 1
4.041 * [backup-simplify]: Simplify 1 into 1
4.042 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (fmod (cosh a) (pow a 2))) 1) 1)))) into (log (fmod (cosh a) (pow a 2)))
4.042 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.047 * [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.048 * [backup-simplify]: Simplify (+ 0 0) into 0
4.052 * [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.054 * [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.055 * [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.056 * [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.057 * [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.058 * [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.058 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
4.058 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.058 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.058 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.058 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.058 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.058 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.058 * [taylor]: Taking taylor expansion of 1 in a
4.058 * [backup-simplify]: Simplify 1 into 1
4.058 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.058 * [taylor]: Taking taylor expansion of a in a
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 1 into 1
4.059 * [backup-simplify]: Simplify (/ 1 1) into 1
4.060 * [backup-simplify]: Simplify (+ 0 1) into 1
4.060 * [backup-simplify]: Simplify (log 1) into 0
4.060 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.060 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.060 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.061 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.062 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.062 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))
4.062 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
4.062 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.062 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.062 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.063 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.063 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.063 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.063 * [taylor]: Taking taylor expansion of 1 in a
4.063 * [backup-simplify]: Simplify 1 into 1
4.063 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.063 * [taylor]: Taking taylor expansion of a in a
4.063 * [backup-simplify]: Simplify 0 into 0
4.063 * [backup-simplify]: Simplify 1 into 1
4.063 * [backup-simplify]: Simplify (/ 1 1) into 1
4.064 * [backup-simplify]: Simplify (+ 0 1) into 1
4.064 * [backup-simplify]: Simplify (log 1) into 0
4.064 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.064 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.064 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.065 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.065 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.065 * [backup-simplify]: Simplify (* (- (log a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))
4.066 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
4.066 * [backup-simplify]: Simplify (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) into (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a))))
4.067 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.068 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.069 * [backup-simplify]: Simplify (+ 1 0) into 1
4.071 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.071 * [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.072 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (+ (* (/ (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1) 1)))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
4.072 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
4.073 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.075 * [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.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.076 * [backup-simplify]: Simplify (+ 0 0) into 0
4.080 * [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.081 * [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.082 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (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 (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.083 * [backup-simplify]: Simplify (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (* (exp (* -1 (* (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (log a)))) (- (* 1/2 (pow (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
4.086 * [backup-simplify]: Simplify (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (- (* 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))))))) (pow (/ 1 a) 2)) (+ (* (* (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))) (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))) (/ 1 a)) (exp (* -1 (* (log (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) (log (/ 1 a))))))) into (- (+ (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))
4.087 * [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.087 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
4.087 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.087 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.087 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.087 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.087 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.087 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.087 * [taylor]: Taking taylor expansion of 1 in a
4.087 * [backup-simplify]: Simplify 1 into 1
4.087 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.087 * [taylor]: Taking taylor expansion of -1 in a
4.087 * [backup-simplify]: Simplify -1 into -1
4.087 * [taylor]: Taking taylor expansion of a in a
4.087 * [backup-simplify]: Simplify 0 into 0
4.087 * [backup-simplify]: Simplify 1 into 1
4.088 * [backup-simplify]: Simplify (/ -1 1) into -1
4.089 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.089 * [backup-simplify]: Simplify (log -1) into (log -1)
4.089 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.089 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.089 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.090 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.090 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.091 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.092 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
4.092 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.092 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.092 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.092 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.092 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.092 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.092 * [taylor]: Taking taylor expansion of 1 in a
4.092 * [backup-simplify]: Simplify 1 into 1
4.092 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.092 * [taylor]: Taking taylor expansion of -1 in a
4.092 * [backup-simplify]: Simplify -1 into -1
4.092 * [taylor]: Taking taylor expansion of a in a
4.092 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify 1 into 1
4.093 * [backup-simplify]: Simplify (/ -1 1) into -1
4.093 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.094 * [backup-simplify]: Simplify (log -1) into (log -1)
4.094 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.094 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.095 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.096 * [backup-simplify]: Simplify (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.096 * [backup-simplify]: Simplify (exp (* (- (log -1) (log a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
4.097 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a)))
4.098 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.099 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.100 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.101 * [backup-simplify]: Simplify (+ 1 0) into 1
4.102 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.103 * [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.104 * [backup-simplify]: Simplify (* (exp (* (- (log -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 (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
4.105 * [backup-simplify]: Simplify (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* -1 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
4.107 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.109 * [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.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.110 * [backup-simplify]: Simplify (+ 0 0) into 0
4.113 * [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.114 * [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.116 * [backup-simplify]: Simplify (* (exp (* (- (log -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 (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
4.118 * [backup-simplify]: Simplify (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (* (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (- (log -1) (log a))) (- (* 1/2 (pow (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2)) (* 1/2 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
4.123 * [backup-simplify]: Simplify (+ (* (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (- (* 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))))))) (pow (/ 1 (- a)) 2)) (+ (* (* -1 (* (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))) (log (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) (/ 1 (- a))) (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (- (log -1) (log (/ 1 (- a))))))) into (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))
4.123 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
4.123 * [backup-simplify]: Simplify (log1p a) into (log1p a)
4.123 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
4.123 * [taylor]: Taking taylor expansion of (log1p a) in a
4.123 * [taylor]: Rewrote expression to (log (+ 1 a))
4.123 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.123 * [taylor]: Taking taylor expansion of 1 in a
4.123 * [backup-simplify]: Simplify 1 into 1
4.123 * [taylor]: Taking taylor expansion of a in a
4.123 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify 1 into 1
4.124 * [backup-simplify]: Simplify (+ 1 0) into 1
4.124 * [backup-simplify]: Simplify (log 1) into 0
4.124 * [taylor]: Taking taylor expansion of (log1p a) in a
4.124 * [taylor]: Rewrote expression to (log (+ 1 a))
4.124 * [taylor]: Taking taylor expansion of (+ 1 a) in a
4.124 * [taylor]: Taking taylor expansion of 1 in a
4.124 * [backup-simplify]: Simplify 1 into 1
4.124 * [taylor]: Taking taylor expansion of a in a
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify 1 into 1
4.125 * [backup-simplify]: Simplify (+ 1 0) into 1
4.125 * [backup-simplify]: Simplify (log 1) into 0
4.125 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify (+ 0 1) into 1
4.127 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.127 * [backup-simplify]: Simplify 1 into 1
4.127 * [backup-simplify]: Simplify (+ 0 0) into 0
4.130 * [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.130 * [backup-simplify]: Simplify -1/2 into -1/2
4.131 * [backup-simplify]: Simplify (+ 0 0) into 0
4.136 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
4.136 * [backup-simplify]: Simplify 1/3 into 1/3
4.137 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2)))
4.137 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
4.137 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
4.137 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.138 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.138 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.138 * [taylor]: Taking taylor expansion of 1 in a
4.138 * [backup-simplify]: Simplify 1 into 1
4.138 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.138 * [taylor]: Taking taylor expansion of a in a
4.138 * [backup-simplify]: Simplify 0 into 0
4.138 * [backup-simplify]: Simplify 1 into 1
4.138 * [backup-simplify]: Simplify (/ 1 1) into 1
4.139 * [backup-simplify]: Simplify (+ 0 1) into 1
4.139 * [backup-simplify]: Simplify (log 1) into 0
4.139 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.139 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
4.139 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
4.139 * [taylor]: Taking taylor expansion of 1 in a
4.139 * [backup-simplify]: Simplify 1 into 1
4.139 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.139 * [taylor]: Taking taylor expansion of a in a
4.140 * [backup-simplify]: Simplify 0 into 0
4.140 * [backup-simplify]: Simplify 1 into 1
4.140 * [backup-simplify]: Simplify (/ 1 1) into 1
4.140 * [backup-simplify]: Simplify (+ 0 1) into 1
4.141 * [backup-simplify]: Simplify (log 1) into 0
4.141 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
4.141 * [backup-simplify]: Simplify (- (log a)) into (- (log a))
4.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.143 * [backup-simplify]: Simplify (+ 1 0) into 1
4.144 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.144 * [backup-simplify]: Simplify 1 into 1
4.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.145 * [backup-simplify]: Simplify (+ 0 0) into 0
4.148 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.148 * [backup-simplify]: Simplify -1/2 into -1/2
4.149 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a))))
4.149 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a))
4.149 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
4.149 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.149 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.149 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.149 * [taylor]: Taking taylor expansion of 1 in a
4.149 * [backup-simplify]: Simplify 1 into 1
4.149 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.149 * [taylor]: Taking taylor expansion of -1 in a
4.149 * [backup-simplify]: Simplify -1 into -1
4.149 * [taylor]: Taking taylor expansion of a in a
4.149 * [backup-simplify]: Simplify 0 into 0
4.149 * [backup-simplify]: Simplify 1 into 1
4.150 * [backup-simplify]: Simplify (/ -1 1) into -1
4.150 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.151 * [backup-simplify]: Simplify (log -1) into (log -1)
4.151 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.151 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
4.151 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
4.151 * [taylor]: Taking taylor expansion of 1 in a
4.151 * [backup-simplify]: Simplify 1 into 1
4.151 * [taylor]: Taking taylor expansion of (/ -1 a) in a
4.151 * [taylor]: Taking taylor expansion of -1 in a
4.151 * [backup-simplify]: Simplify -1 into -1
4.151 * [taylor]: Taking taylor expansion of a in a
4.151 * [backup-simplify]: Simplify 0 into 0
4.151 * [backup-simplify]: Simplify 1 into 1
4.152 * [backup-simplify]: Simplify (/ -1 1) into -1
4.152 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.153 * [backup-simplify]: Simplify (log -1) into (log -1)
4.154 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
4.154 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a))
4.155 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.156 * [backup-simplify]: Simplify (+ 1 0) into 1
4.157 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.157 * [backup-simplify]: Simplify -1 into -1
4.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.159 * [backup-simplify]: Simplify (+ 0 0) into 0
4.162 * [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.162 * [backup-simplify]: Simplify -1/2 into -1/2
4.163 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
4.163 * * * [progress]: simplifying candidates
4.165 * [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))
  (+ 1 a)
  (expm1 (log1p a))
  (log1p (log1p a))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (* (* (log1p a) (log1p a)) (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (+ (* 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 (fmod (cosh a) (pow a 2))) (log (/ 1 a))))) (+ (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) a) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (exp (* -1 (* (log (fmod (cosh a) (pow a 2))) (log (/ 1 a)))))) (pow a 2))))
  (- (+ (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) a) (+ (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a)))) (* 1/2 (/ (* (pow (log (fmod (cosh a) (pow a 2))) 2) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))) (* 1/2 (/ (* (log (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) (- (log -1) (log (/ -1 a))))) (pow a 2))))
  (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2)))
  (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a))))
  (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
4.167 * * [simplify]: iteration 0: 120 enodes
4.197 * * [simplify]: iteration 1: 311 enodes
4.321 * * [simplify]: iteration 2: 1268 enodes
4.732 * * [simplify]: iteration complete: 5001 enodes
4.732 * * [simplify]: Extracting #0: cost 52 inf + 0
4.733 * * [simplify]: Extracting #1: cost 630 inf + 23
4.738 * * [simplify]: Extracting #2: cost 1458 inf + 1031
4.744 * * [simplify]: Extracting #3: cost 1261 inf + 5592
4.752 * * [simplify]: Extracting #4: cost 433 inf + 18184
4.759 * * [simplify]: Extracting #5: cost 98 inf + 24785
4.772 * * [simplify]: Extracting #6: cost 7 inf + 26785
4.782 * * [simplify]: Extracting #7: cost 0 inf + 26931
4.796 * [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))
  (+ a 1)
  a
  (log1p (log1p a))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (pow (log1p a) 3)
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (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) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))
  (fma (* (/ (log (fmod (cosh a) (* a a))) a) (/ (pow (fmod (cosh a) (* a a)) (log a)) a)) -1/2 (fma (/ 1/2 a) (/ (* (pow (fmod (cosh a) (* a a)) (log a)) (pow (log (fmod (cosh a) (* a a))) 2)) a) (* (+ (/ (log (fmod (cosh a) (* a a))) a) 1) (pow (fmod (cosh a) (* a a)) (log a)))))
  (- (fma 1/2 (* (/ (pow (log (fmod (cosh a) (* a a))) 2) a) (/ (pow (fmod (cosh a) (* a a)) (+ 0 (log a))) a)) (* (+ (/ (log (fmod (cosh a) (* a a))) a) 1) (pow (fmod (cosh a) (* a a)) (+ 0 (log a))))) (/ (/ (* (log (sqrt (fmod (cosh a) (* a a)))) (pow (fmod (cosh a) (* a a)) (+ 0 (log a)))) a) a))
  (fma -1/2 (* a a) (fma (pow a 3) 1/3 a))
  (- (/ 1 a) (- (/ 1/2 (* a a)) (log a)))
  (- (+ (/ 1 a) (+ 0 (log a))) (/ 1/2 (* a a)))
4.796 * * * [progress]: adding candidates to table
5.154 * * [progress]: iteration 2 / 4
5.154 * * * [progress]: picking best candidate
5.223 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))>
5.223 * * * [progress]: localizing error
5.263 * * * [progress]: generating rewritten candidates
5.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.263 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.268 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.269 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
5.273 * * * [progress]: generating series expansions
5.273 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.274 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.274 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.274 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.274 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.274 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.274 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.274 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify 0 into 0
5.275 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.275 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.275 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.275 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.276 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.276 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.276 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.276 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.277 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.277 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.277 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.277 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.277 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify 0 into 0
5.278 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.278 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.278 * [backup-simplify]: Simplify (log (exp (log1p a))) into (log1p a)
5.278 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
5.278 * [taylor]: Taking taylor expansion of (log1p a) in a
5.278 * [taylor]: Rewrote expression to (log (+ 1 a))
5.278 * [taylor]: Taking taylor expansion of (+ 1 a) in a
5.278 * [taylor]: Taking taylor expansion of 1 in a
5.278 * [backup-simplify]: Simplify 1 into 1
5.278 * [taylor]: Taking taylor expansion of a in a
5.278 * [backup-simplify]: Simplify 0 into 0
5.278 * [backup-simplify]: Simplify 1 into 1
5.279 * [backup-simplify]: Simplify (+ 1 0) into 1
5.279 * [backup-simplify]: Simplify (log 1) into 0
5.279 * [taylor]: Taking taylor expansion of (log1p a) in a
5.279 * [taylor]: Rewrote expression to (log (+ 1 a))
5.279 * [taylor]: Taking taylor expansion of (+ 1 a) in a
5.279 * [taylor]: Taking taylor expansion of 1 in a
5.280 * [backup-simplify]: Simplify 1 into 1
5.280 * [taylor]: Taking taylor expansion of a in a
5.280 * [backup-simplify]: Simplify 0 into 0
5.280 * [backup-simplify]: Simplify 1 into 1
5.280 * [backup-simplify]: Simplify (+ 1 0) into 1
5.280 * [backup-simplify]: Simplify (log 1) into 0
5.280 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify (+ 0 1) into 1
5.282 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.282 * [backup-simplify]: Simplify 1 into 1
5.283 * [backup-simplify]: Simplify (+ 0 0) into 0
5.285 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
5.285 * [backup-simplify]: Simplify -1/2 into -1/2
5.286 * [backup-simplify]: Simplify (+ 0 0) into 0
5.291 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
5.291 * [backup-simplify]: Simplify 1/3 into 1/3
5.291 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2)))
5.292 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 a)))) into (log1p (/ 1 a))
5.292 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
5.292 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.292 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
5.292 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
5.292 * [taylor]: Taking taylor expansion of 1 in a
5.292 * [backup-simplify]: Simplify 1 into 1
5.292 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.292 * [taylor]: Taking taylor expansion of a in a
5.292 * [backup-simplify]: Simplify 0 into 0
5.292 * [backup-simplify]: Simplify 1 into 1
5.293 * [backup-simplify]: Simplify (/ 1 1) into 1
5.293 * [backup-simplify]: Simplify (+ 0 1) into 1
5.293 * [backup-simplify]: Simplify (log 1) into 0
5.293 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.293 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
5.294 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
5.294 * [taylor]: Taking taylor expansion of 1 in a
5.294 * [backup-simplify]: Simplify 1 into 1
5.294 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.294 * [taylor]: Taking taylor expansion of a in a
5.294 * [backup-simplify]: Simplify 0 into 0
5.294 * [backup-simplify]: Simplify 1 into 1
5.294 * [backup-simplify]: Simplify (/ 1 1) into 1
5.295 * [backup-simplify]: Simplify (+ 0 1) into 1
5.295 * [backup-simplify]: Simplify (log 1) into 0
5.295 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.296 * [backup-simplify]: Simplify (- (log a)) into (- (log a))
5.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.297 * [backup-simplify]: Simplify (+ 1 0) into 1
5.298 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.298 * [backup-simplify]: Simplify 1 into 1
5.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.299 * [backup-simplify]: Simplify (+ 0 0) into 0
5.302 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
5.302 * [backup-simplify]: Simplify -1/2 into -1/2
5.303 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a))))
5.303 * [backup-simplify]: Simplify (log (exp (log1p (/ 1 (- a))))) into (log1p (/ -1 a))
5.303 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
5.303 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.303 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
5.303 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
5.303 * [taylor]: Taking taylor expansion of 1 in a
5.303 * [backup-simplify]: Simplify 1 into 1
5.303 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.303 * [taylor]: Taking taylor expansion of -1 in a
5.303 * [backup-simplify]: Simplify -1 into -1
5.304 * [taylor]: Taking taylor expansion of a in a
5.304 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify 1 into 1
5.304 * [backup-simplify]: Simplify (/ -1 1) into -1
5.305 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.305 * [backup-simplify]: Simplify (log -1) into (log -1)
5.305 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.305 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
5.305 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
5.305 * [taylor]: Taking taylor expansion of 1 in a
5.305 * [backup-simplify]: Simplify 1 into 1
5.305 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.305 * [taylor]: Taking taylor expansion of -1 in a
5.305 * [backup-simplify]: Simplify -1 into -1
5.305 * [taylor]: Taking taylor expansion of a in a
5.305 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify 1 into 1
5.306 * [backup-simplify]: Simplify (/ -1 1) into -1
5.307 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.307 * [backup-simplify]: Simplify (log -1) into (log -1)
5.308 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.309 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a))
5.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.310 * [backup-simplify]: Simplify (+ 1 0) into 1
5.311 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
5.311 * [backup-simplify]: Simplify -1 into -1
5.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.313 * [backup-simplify]: Simplify (+ 0 0) into 0
5.316 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
5.316 * [backup-simplify]: Simplify -1/2 into -1/2
5.317 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
5.317 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.317 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.317 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
5.317 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.317 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.318 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.318 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.318 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.319 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log (exp (log1p (/ 1 a)))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
5.319 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
5.319 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.320 * [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))))
5.320 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.320 * [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))))
5.320 * [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))))
5.320 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [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)))
5.322 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log (exp (log1p (/ 1 (- a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
5.322 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
5.322 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.322 * [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))))
5.322 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.322 * [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))))
5.323 * [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))))
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 0 into 0
5.324 * [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)))
5.324 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
5.324 * [backup-simplify]: Simplify (exp (log1p a)) into (exp (log1p a))
5.324 * [approximate]: Taking taylor expansion of (exp (log1p a)) in (a) around 0
5.324 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a
5.324 * [taylor]: Taking taylor expansion of (log1p a) in a
5.324 * [taylor]: Rewrote expression to (log (+ 1 a))
5.324 * [taylor]: Taking taylor expansion of (+ 1 a) in a
5.324 * [taylor]: Taking taylor expansion of 1 in a
5.324 * [backup-simplify]: Simplify 1 into 1
5.324 * [taylor]: Taking taylor expansion of a in a
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 1 into 1
5.325 * [backup-simplify]: Simplify (+ 1 0) into 1
5.325 * [backup-simplify]: Simplify (log 1) into 0
5.326 * [backup-simplify]: Simplify (+ 0 1) into 1
5.327 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.327 * [backup-simplify]: Simplify (exp 0) into 1
5.327 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a
5.327 * [taylor]: Taking taylor expansion of (log1p a) in a
5.327 * [taylor]: Rewrote expression to (log (+ 1 a))
5.327 * [taylor]: Taking taylor expansion of (+ 1 a) in a
5.327 * [taylor]: Taking taylor expansion of 1 in a
5.327 * [backup-simplify]: Simplify 1 into 1
5.327 * [taylor]: Taking taylor expansion of a in a
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 1 into 1
5.328 * [backup-simplify]: Simplify (+ 1 0) into 1
5.328 * [backup-simplify]: Simplify (log 1) into 0
5.329 * [backup-simplify]: Simplify (+ 0 1) into 1
5.330 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.330 * [backup-simplify]: Simplify (exp 0) into 1
5.330 * [backup-simplify]: Simplify 1 into 1
5.331 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.331 * [backup-simplify]: Simplify 1 into 1
5.331 * [backup-simplify]: Simplify (+ 0 0) into 0
5.333 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
5.334 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
5.334 * [backup-simplify]: Simplify 0 into 0
5.335 * [backup-simplify]: Simplify (+ 0 0) into 0
5.337 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
5.339 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (+ 0 0) into 0
5.351 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into -1/4
5.354 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow -1/2 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow -1/2 2) 2)) (* (/ (pow -1/4 1) 1)))) into 0
5.354 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify (+ 0 0) into 0
5.364 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 1/5
5.369 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow -1/2 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 1 1) 1) (/ (pow -1/2 2) 2)) (* (/ (pow 1 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow -1/2 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 1/5 1) 1)))) into 0
5.369 * [backup-simplify]: Simplify 0 into 0
5.370 * [backup-simplify]: Simplify (+ 0 0) into 0
5.400 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 1) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 1) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 1) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 1) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 1) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into -1/6
5.418 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 6) 720)) (* (/ (pow 1 4) 24) (/ (pow -1/2 1) 1)) (* (/ (pow 1 3) 6) (/ (pow 1/3 1) 1)) (* (/ (pow 1 2) 2) (/ (pow -1/2 2) 2)) (* (/ (pow 1 2) 2) (/ (pow -1/4 1) 1)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/5 1) 1)) (* (/ (pow -1/2 3) 6)) (* (/ (pow -1/2 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into 0
5.418 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify (+ 0 0) into 0
5.448 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 1) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 1) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 1) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 1) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 1) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 1) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 1) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into 1/7
5.462 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 7) 5040)) (* (/ (pow 1 5) 120) (/ (pow -1/2 1) 1)) (* (/ (pow 1 4) 24) (/ (pow 1/3 1) 1)) (* (/ (pow 1 3) 6) (/ (pow -1/2 2) 2)) (* (/ (pow 1 3) 6) (/ (pow -1/4 1) 1)) (* (/ (pow 1 2) 2) (/ (pow -1/2 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/5 1) 1)) (* (/ (pow 1 1) 1) (/ (pow -1/2 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/3 2) 2)) (* (/ (pow 1 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow -1/2 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow -1/2 1) 1) (/ (pow 1/5 1) 1)) (* (/ (pow 1/3 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow 1/7 1) 1)))) into 0
5.462 * [backup-simplify]: Simplify 0 into 0
5.462 * [backup-simplify]: Simplify (+ (* 1 a) 1) into (+ a 1)
5.462 * [backup-simplify]: Simplify (exp (log1p (/ 1 a))) into (exp (log1p (/ 1 a)))
5.462 * [approximate]: Taking taylor expansion of (exp (log1p (/ 1 a))) in (a) around 0
5.462 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a
5.462 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.463 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
5.463 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
5.463 * [taylor]: Taking taylor expansion of 1 in a
5.463 * [backup-simplify]: Simplify 1 into 1
5.463 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.463 * [taylor]: Taking taylor expansion of a in a
5.463 * [backup-simplify]: Simplify 0 into 0
5.463 * [backup-simplify]: Simplify 1 into 1
5.463 * [backup-simplify]: Simplify (/ 1 1) into 1
5.463 * [backup-simplify]: Simplify (+ 0 1) into 1
5.464 * [backup-simplify]: Simplify (log 1) into 0
5.464 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.464 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.464 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
5.464 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a
5.464 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
5.464 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
5.465 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
5.465 * [taylor]: Taking taylor expansion of 1 in a
5.465 * [backup-simplify]: Simplify 1 into 1
5.465 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.465 * [taylor]: Taking taylor expansion of a in a
5.465 * [backup-simplify]: Simplify 0 into 0
5.465 * [backup-simplify]: Simplify 1 into 1
5.465 * [backup-simplify]: Simplify (/ 1 1) into 1
5.465 * [backup-simplify]: Simplify (+ 0 1) into 1
5.465 * [backup-simplify]: Simplify (log 1) into 0
5.466 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.466 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.466 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
5.466 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
5.466 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.467 * [backup-simplify]: Simplify (+ 1 0) into 1
5.468 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.468 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a)))
5.469 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
5.469 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.470 * [backup-simplify]: Simplify (+ 0 0) into 0
5.471 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
5.472 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
5.472 * [backup-simplify]: Simplify 0 into 0
5.473 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.473 * [backup-simplify]: Simplify (+ 0 0) into 0
5.477 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
5.480 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0
5.481 * [backup-simplify]: Simplify 0 into 0
5.481 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.483 * [backup-simplify]: Simplify (+ 0 0) into 0
5.494 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into -1/4
5.499 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow -1/2 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow -1/2 2) 2)) (* (/ (pow -1/4 1) 1)))) into 0
5.499 * [backup-simplify]: Simplify 0 into 0
5.500 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.501 * [backup-simplify]: Simplify (+ 0 0) into 0
5.514 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 1/5
5.519 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow -1/2 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 1 1) 1) (/ (pow -1/2 2) 2)) (* (/ (pow 1 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow -1/2 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 1/5 1) 1)))) into 0
5.519 * [backup-simplify]: Simplify 0 into 0
5.520 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.521 * [backup-simplify]: Simplify (+ 0 0) into 0
5.538 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 1) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 1) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 1) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 1) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 1) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into -1/6
5.546 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 6) 720)) (* (/ (pow 1 4) 24) (/ (pow -1/2 1) 1)) (* (/ (pow 1 3) 6) (/ (pow 1/3 1) 1)) (* (/ (pow 1 2) 2) (/ (pow -1/2 2) 2)) (* (/ (pow 1 2) 2) (/ (pow -1/4 1) 1)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/5 1) 1)) (* (/ (pow -1/2 3) 6)) (* (/ (pow -1/2 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into 0
5.546 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
5.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.547 * [backup-simplify]: Simplify (+ 0 0) into 0
5.575 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 1) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 1) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 1) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 1) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 1) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 1) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 1) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into 1/7
5.587 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 7) 5040)) (* (/ (pow 1 5) 120) (/ (pow -1/2 1) 1)) (* (/ (pow 1 4) 24) (/ (pow 1/3 1) 1)) (* (/ (pow 1 3) 6) (/ (pow -1/2 2) 2)) (* (/ (pow 1 3) 6) (/ (pow -1/4 1) 1)) (* (/ (pow 1 2) 2) (/ (pow -1/2 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/5 1) 1)) (* (/ (pow 1 1) 1) (/ (pow -1/2 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/3 2) 2)) (* (/ (pow 1 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow -1/2 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow -1/2 1) 1) (/ (pow 1/5 1) 1)) (* (/ (pow 1/3 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow 1/7 1) 1)))) into 0
5.587 * [backup-simplify]: Simplify 0 into 0
5.587 * [backup-simplify]: Simplify (+ (* (exp (- (log (/ 1 a)))) (/ 1 a)) (exp (- (log (/ 1 a))))) into (+ (exp (- (log (/ 1 a)))) (/ (exp (- (log (/ 1 a)))) a))
5.587 * [backup-simplify]: Simplify (exp (log1p (/ 1 (- a)))) into (exp (log1p (/ -1 a)))
5.588 * [approximate]: Taking taylor expansion of (exp (log1p (/ -1 a))) in (a) around 0
5.588 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a
5.588 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.588 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
5.588 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
5.588 * [taylor]: Taking taylor expansion of 1 in a
5.588 * [backup-simplify]: Simplify 1 into 1
5.588 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.588 * [taylor]: Taking taylor expansion of -1 in a
5.588 * [backup-simplify]: Simplify -1 into -1
5.588 * [taylor]: Taking taylor expansion of a in a
5.588 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify 1 into 1
5.588 * [backup-simplify]: Simplify (/ -1 1) into -1
5.589 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.589 * [backup-simplify]: Simplify (log -1) into (log -1)
5.590 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.591 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.591 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
5.591 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a
5.592 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
5.592 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
5.592 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
5.592 * [taylor]: Taking taylor expansion of 1 in a
5.592 * [backup-simplify]: Simplify 1 into 1
5.592 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.592 * [taylor]: Taking taylor expansion of -1 in a
5.592 * [backup-simplify]: Simplify -1 into -1
5.592 * [taylor]: Taking taylor expansion of a in a
5.592 * [backup-simplify]: Simplify 0 into 0
5.592 * [backup-simplify]: Simplify 1 into 1
5.592 * [backup-simplify]: Simplify (/ -1 1) into -1
5.593 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.593 * [backup-simplify]: Simplify (log -1) into (log -1)
5.594 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.595 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.595 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
5.596 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
5.597 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.598 * [backup-simplify]: Simplify (+ 1 0) into 1
5.599 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
5.601 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a))))
5.601 * [backup-simplify]: Simplify (* -1 (exp (- (log -1) (log a)))) into (* -1 (exp (- (log -1) (log a))))
5.602 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.604 * [backup-simplify]: Simplify (+ 0 0) into 0
5.607 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
5.609 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
5.609 * [backup-simplify]: Simplify 0 into 0
5.610 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.612 * [backup-simplify]: Simplify (+ 0 0) into 0
5.618 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3
5.621 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow -1/3 1) 1)))) into 0
5.622 * [backup-simplify]: Simplify 0 into 0
5.622 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.624 * [backup-simplify]: Simplify (+ 0 0) into 0
5.635 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into -1/4
5.641 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow -1/2 1) 1)) (* (/ (pow -1 1) 1) (/ (pow -1/3 1) 1)) (* (/ (pow -1/2 2) 2)) (* (/ (pow -1/4 1) 1)))) into 0
5.641 * [backup-simplify]: Simplify 0 into 0
5.642 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.643 * [backup-simplify]: Simplify (+ 0 0) into 0
5.659 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into -1/5
5.664 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow -1/2 1) 1)) (* (/ (pow -1 2) 2) (/ (pow -1/3 1) 1)) (* (/ (pow -1 1) 1) (/ (pow -1/2 2) 2)) (* (/ (pow -1 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow -1/2 1) 1) (/ (pow -1/3 1) 1)) (* (/ (pow -1/5 1) 1)))) into 0
5.664 * [backup-simplify]: Simplify 0 into 0
5.665 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.670 * [backup-simplify]: Simplify (+ 0 0) into 0
5.688 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 1) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 1) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 1) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 1) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 1) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into -1/6
5.696 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 6) 720)) (* (/ (pow -1 4) 24) (/ (pow -1/2 1) 1)) (* (/ (pow -1 3) 6) (/ (pow -1/3 1) 1)) (* (/ (pow -1 2) 2) (/ (pow -1/2 2) 2)) (* (/ (pow -1 2) 2) (/ (pow -1/4 1) 1)) (* (/ (pow -1 1) 1) (/ (pow -1/2 1) 1) (/ (pow -1/3 1) 1)) (* (/ (pow -1 1) 1) (/ (pow -1/5 1) 1)) (* (/ (pow -1/2 3) 6)) (* (/ (pow -1/2 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow -1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into 0
5.696 * [backup-simplify]: Simplify 0 into 0
5.696 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
5.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.697 * [backup-simplify]: Simplify (+ 0 0) into 0
5.727 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 1) 7)) (pow -1 7))) (* -2520 (/ (* (pow (* 1 1) 5) (pow (* 2 0) 1)) (pow -1 6))) (* 2520 (/ (* (pow (* 1 1) 3) (pow (* 2 0) 2)) (pow -1 5))) (* 840 (/ (* (pow (* 1 1) 4) 1 (pow (* 6 0) 1)) (pow -1 5))) (* -630 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 3)) (pow -1 4))) (* -1260 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 4))) (* -210 (/ (* (pow (* 1 1) 3) 1 1 (pow (* 24 0) 1)) (pow -1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow -1 3))) (* 140 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 2)) (pow -1 3))) (* 210 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 3))) (* 42 (/ (* (pow (* 1 1) 2) 1 1 1 (pow (* 120 0) 1)) (pow -1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow -1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* -7 (/ (* (pow (* 1 1) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow -1 1)))) 5040) into -1/7
5.749 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 7) 5040)) (* (/ (pow -1 5) 120) (/ (pow -1/2 1) 1)) (* (/ (pow -1 4) 24) (/ (pow -1/3 1) 1)) (* (/ (pow -1 3) 6) (/ (pow -1/2 2) 2)) (* (/ (pow -1 3) 6) (/ (pow -1/4 1) 1)) (* (/ (pow -1 2) 2) (/ (pow -1/2 1) 1) (/ (pow -1/3 1) 1)) (* (/ (pow -1 2) 2) (/ (pow -1/5 1) 1)) (* (/ (pow -1 1) 1) (/ (pow -1/2 3) 6)) (* (/ (pow -1 1) 1) (/ (pow -1/2 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow -1 1) 1) (/ (pow -1/3 2) 2)) (* (/ (pow -1 1) 1) (/ (pow -1/6 1) 1)) (* (/ (pow -1/2 2) 2) (/ (pow -1/3 1) 1)) (* (/ (pow -1/2 1) 1) (/ (pow -1/5 1) 1)) (* (/ (pow -1/3 1) 1) (/ (pow -1/4 1) 1)) (* (/ (pow -1/7 1) 1)))) into 0
5.749 * [backup-simplify]: Simplify 0 into 0
5.751 * [backup-simplify]: Simplify (+ (* (* -1 (exp (- (log -1) (log (/ 1 (- a)))))) (/ 1 (- a))) (exp (- (log -1) (log (/ 1 (- a)))))) into (+ (exp (- (log -1) (log (/ -1 a)))) (/ (exp (- (log -1) (log (/ -1 a)))) a))
5.751 * * * [progress]: simplifying candidates
5.752 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (log (exp (log1p a))))
  (log1p (log (exp (log1p a))))
  (log (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))))
  (log (cbrt (exp (log1p a))))
  (log (sqrt (exp (log1p a))))
  (log (sqrt (exp (log1p a))))
  (log 1)
  (log (exp (log1p a)))
  (log (exp (log1p a)))
  (log (exp (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log (exp (sqrt (log1p a))))
  (log (exp 1))
  (log (log (exp (log1p a))))
  (exp (log (exp (log1p a))))
  (* (cbrt (log (exp (log1p a)))) (cbrt (log (exp (log1p a)))))
  (cbrt (log (exp (log1p a))))
  (* (* (log (exp (log1p a))) (log (exp (log1p a)))) (log (exp (log1p a))))
  (sqrt (log (exp (log1p a))))
  (sqrt (log (exp (log1p a))))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))
  (log (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
  (expm1 (exp (log1p a)))
  (log1p (exp (log1p a)))
  (exp (* (cbrt (log1p a)) (cbrt (log1p a))))
  (exp (sqrt (log1p a)))
  (exp 1)
  (log (exp (log1p a)))
  (exp (exp (log1p a)))
  (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a))))
  (cbrt (exp (log1p a)))
  (* (* (exp (log1p a)) (exp (log1p a))) (exp (log1p a)))
  (sqrt (exp (log1p a)))
  (sqrt (exp (log1p a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2)))
  (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a))))
  (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (+ a 1)
  (+ (exp (- (log (/ 1 a)))) (/ (exp (- (log (/ 1 a)))) a))
  (+ (exp (- (log -1) (log (/ -1 a)))) (/ (exp (- (log -1) (log (/ -1 a)))) a))
5.754 * * [simplify]: iteration 0: 96 enodes
5.777 * * [simplify]: iteration 1: 176 enodes
5.818 * * [simplify]: iteration 2: 415 enodes
6.011 * * [simplify]: iteration 3: 1304 enodes
6.843 * * [simplify]: iteration complete: 5000 enodes
6.843 * * [simplify]: Extracting #0: cost 47 inf + 0
6.845 * * [simplify]: Extracting #1: cost 514 inf + 12
6.849 * * [simplify]: Extracting #2: cost 1291 inf + 957
6.855 * * [simplify]: Extracting #3: cost 396 inf + 7538
6.864 * * [simplify]: Extracting #4: cost 122 inf + 9809
6.880 * * [simplify]: Extracting #5: cost 29 inf + 10531
6.890 * * [simplify]: Extracting #6: cost 2 inf + 10769
6.897 * * [simplify]: Extracting #7: cost 0 inf + 10807
6.903 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  a
  (log1p (log1p a))
  (* 2 (log (cbrt (exp (log1p a)))))
  (log (cbrt (exp (log1p a))))
  (log (sqrt (exp (log1p a))))
  (log (sqrt (exp (log1p a))))
  0
  (log1p a)
  (log1p a)
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (sqrt (log1p a))
  1
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (pow (log1p a) 3)
  (sqrt (log1p a))
  (sqrt (log1p a))
  (expm1 (acos (pow (fmod (cosh a) (* 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 (exp (log1p a)))
  (log1p (exp (log1p a)))
  (pow (exp (cbrt (log1p a))) (cbrt (log1p a)))
  (exp (sqrt (log1p a)))
  E
  (log1p a)
  (exp (exp (log1p a)))
  (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a))))
  (cbrt (exp (log1p a)))
  (pow (exp (log1p a)) 3)
  (sqrt (exp (log1p a)))
  (sqrt (exp (log1p a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fma (* a a) (fma 1/3 a -1/2) a)
  (+ (- (/ 1 a) (/ 1/2 (* a a))) (log a))
  (+ (- (/ 1 a) (/ 1/2 (* a a))) (log a))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
  (+ 1 a)
  (+ 1 a)
  (+ 1 a)
6.903 * * * [progress]: adding candidates to table
7.231 * * [progress]: iteration 3 / 4
7.231 * * * [progress]: picking best candidate
7.282 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
7.282 * * * [progress]: localizing error
7.311 * * * [progress]: generating rewritten candidates
7.311 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
7.311 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
7.316 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.318 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
7.319 * * * [progress]: generating series expansions
7.319 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
7.320 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.320 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.320 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.320 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.320 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.320 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.320 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.320 * [backup-simplify]: Simplify 0 into 0
7.320 * [backup-simplify]: Simplify 0 into 0
7.320 * [backup-simplify]: Simplify 0 into 0
7.320 * [backup-simplify]: Simplify 0 into 0
7.321 * [backup-simplify]: Simplify 0 into 0
7.321 * [backup-simplify]: Simplify 0 into 0
7.321 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.321 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.321 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.321 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.322 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.322 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.322 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.323 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.323 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.323 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.323 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.323 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.323 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.323 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.323 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
7.324 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.324 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.324 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.324 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.324 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.324 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.324 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.324 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.324 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.324 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.324 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.324 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.325 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.325 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.325 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.325 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.325 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.325 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.325 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.325 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.326 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.326 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify 0 into 0
7.326 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.326 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.326 * [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)))
7.326 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
7.326 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.326 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.326 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.327 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.327 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.327 * [backup-simplify]: Simplify 0 into 0
7.327 * [backup-simplify]: Simplify 0 into 0
7.327 * [backup-simplify]: Simplify 0 into 0
7.327 * [backup-simplify]: Simplify 0 into 0
7.327 * [backup-simplify]: Simplify 0 into 0
7.327 * [backup-simplify]: Simplify 0 into 0
7.327 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.327 * [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))))
7.327 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
7.327 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.328 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.328 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.328 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.328 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.328 * [backup-simplify]: Simplify 0 into 0
7.328 * [backup-simplify]: Simplify 0 into 0
7.328 * [backup-simplify]: Simplify 0 into 0
7.328 * [backup-simplify]: Simplify 0 into 0
7.328 * [backup-simplify]: Simplify 0 into 0
7.328 * [backup-simplify]: Simplify 0 into 0
7.328 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.329 * [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))))
7.329 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
7.329 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.329 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.329 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.329 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.329 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.329 * [backup-simplify]: Simplify 0 into 0
7.329 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.330 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
7.330 * [backup-simplify]: Simplify (log1p a) into (log1p a)
7.330 * [approximate]: Taking taylor expansion of (log1p a) in (a) around 0
7.330 * [taylor]: Taking taylor expansion of (log1p a) in a
7.330 * [taylor]: Rewrote expression to (log (+ 1 a))
7.330 * [taylor]: Taking taylor expansion of (+ 1 a) in a
7.330 * [taylor]: Taking taylor expansion of 1 in a
7.330 * [backup-simplify]: Simplify 1 into 1
7.330 * [taylor]: Taking taylor expansion of a in a
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify 1 into 1
7.331 * [backup-simplify]: Simplify (+ 1 0) into 1
7.331 * [backup-simplify]: Simplify (log 1) into 0
7.331 * [taylor]: Taking taylor expansion of (log1p a) in a
7.331 * [taylor]: Rewrote expression to (log (+ 1 a))
7.331 * [taylor]: Taking taylor expansion of (+ 1 a) in a
7.331 * [taylor]: Taking taylor expansion of 1 in a
7.331 * [backup-simplify]: Simplify 1 into 1
7.331 * [taylor]: Taking taylor expansion of a in a
7.331 * [backup-simplify]: Simplify 0 into 0
7.331 * [backup-simplify]: Simplify 1 into 1
7.331 * [backup-simplify]: Simplify (+ 1 0) into 1
7.332 * [backup-simplify]: Simplify (log 1) into 0
7.332 * [backup-simplify]: Simplify 0 into 0
7.332 * [backup-simplify]: Simplify (+ 0 1) into 1
7.333 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
7.333 * [backup-simplify]: Simplify 1 into 1
7.333 * [backup-simplify]: Simplify (+ 0 0) into 0
7.335 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
7.335 * [backup-simplify]: Simplify -1/2 into -1/2
7.335 * [backup-simplify]: Simplify (+ 0 0) into 0
7.338 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
7.338 * [backup-simplify]: Simplify 1/3 into 1/3
7.338 * [backup-simplify]: Simplify (+ (* 1/3 (pow a 3)) (+ (* -1/2 (pow a 2)) (* 1 a))) into (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2)))
7.338 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
7.338 * [approximate]: Taking taylor expansion of (log1p (/ 1 a)) in (a) around 0
7.338 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
7.338 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
7.338 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
7.338 * [taylor]: Taking taylor expansion of 1 in a
7.338 * [backup-simplify]: Simplify 1 into 1
7.338 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.338 * [taylor]: Taking taylor expansion of a in a
7.338 * [backup-simplify]: Simplify 0 into 0
7.338 * [backup-simplify]: Simplify 1 into 1
7.339 * [backup-simplify]: Simplify (/ 1 1) into 1
7.339 * [backup-simplify]: Simplify (+ 0 1) into 1
7.339 * [backup-simplify]: Simplify (log 1) into 0
7.339 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
7.339 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
7.339 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
7.339 * [taylor]: Taking taylor expansion of 1 in a
7.339 * [backup-simplify]: Simplify 1 into 1
7.339 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.339 * [taylor]: Taking taylor expansion of a in a
7.339 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify 1 into 1
7.340 * [backup-simplify]: Simplify (/ 1 1) into 1
7.340 * [backup-simplify]: Simplify (+ 0 1) into 1
7.340 * [backup-simplify]: Simplify (log 1) into 0
7.340 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
7.340 * [backup-simplify]: Simplify (- (log a)) into (- (log a))
7.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.341 * [backup-simplify]: Simplify (+ 1 0) into 1
7.342 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
7.342 * [backup-simplify]: Simplify 1 into 1
7.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.343 * [backup-simplify]: Simplify (+ 0 0) into 0
7.344 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
7.344 * [backup-simplify]: Simplify -1/2 into -1/2
7.345 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 a) 2)) (+ (* 1 (/ 1 a)) (- (log (/ 1 a))))) into (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a))))
7.345 * [backup-simplify]: Simplify (log1p (/ 1 (- a))) into (log1p (/ -1 a))
7.345 * [approximate]: Taking taylor expansion of (log1p (/ -1 a)) in (a) around 0
7.345 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
7.345 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
7.345 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
7.345 * [taylor]: Taking taylor expansion of 1 in a
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [taylor]: Taking taylor expansion of (/ -1 a) in a
7.345 * [taylor]: Taking taylor expansion of -1 in a
7.345 * [backup-simplify]: Simplify -1 into -1
7.345 * [taylor]: Taking taylor expansion of a in a
7.345 * [backup-simplify]: Simplify 0 into 0
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify (/ -1 1) into -1
7.346 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.346 * [backup-simplify]: Simplify (log -1) into (log -1)
7.346 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
7.346 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
7.346 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
7.346 * [taylor]: Taking taylor expansion of 1 in a
7.346 * [backup-simplify]: Simplify 1 into 1
7.346 * [taylor]: Taking taylor expansion of (/ -1 a) in a
7.346 * [taylor]: Taking taylor expansion of -1 in a
7.346 * [backup-simplify]: Simplify -1 into -1
7.346 * [taylor]: Taking taylor expansion of a in a
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify 1 into 1
7.346 * [backup-simplify]: Simplify (/ -1 1) into -1
7.347 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.347 * [backup-simplify]: Simplify (log -1) into (log -1)
7.347 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
7.348 * [backup-simplify]: Simplify (- (log -1) (log a)) into (- (log -1) (log a))
7.348 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.348 * [backup-simplify]: Simplify (+ 1 0) into 1
7.349 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
7.349 * [backup-simplify]: Simplify -1 into -1
7.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.350 * [backup-simplify]: Simplify (+ 0 0) into 0
7.352 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
7.352 * [backup-simplify]: Simplify -1/2 into -1/2
7.352 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- a)) 2)) (+ (* -1 (/ 1 (- a))) (- (log -1) (log (/ 1 (- a)))))) into (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
7.352 * * * [progress]: simplifying candidates
7.353 * [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))))
  (+ 1 a)
  (expm1 (log1p a))
  (log1p (log1p a))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (* (* (log1p a) (log1p a)) (log1p a))
  (sqrt (log1p a))
  (sqrt (log1p a))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (+ a (* 1/3 (pow a 3))) (* 1/2 (pow a 2)))
  (- (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ 1 a))))
  (- (+ (/ 1 a) (log -1)) (+ (* 1/2 (/ 1 (pow a 2))) (log (/ -1 a))))
7.354 * * [simplify]: iteration 0: 88 enodes
7.381 * * [simplify]: iteration 1: 158 enodes
7.415 * * [simplify]: iteration 2: 339 enodes
7.551 * * [simplify]: iteration 3: 1106 enodes
7.992 * * [simplify]: iteration complete: 5001 enodes
7.992 * * [simplify]: Extracting #0: cost 36 inf + 0
7.994 * * [simplify]: Extracting #1: cost 484 inf + 3
7.999 * * [simplify]: Extracting #2: cost 1429 inf + 330
8.005 * * [simplify]: Extracting #3: cost 677 inf + 5028
8.015 * * [simplify]: Extracting #4: cost 197 inf + 9134
8.023 * * [simplify]: Extracting #5: cost 32 inf + 10599
8.034 * * [simplify]: Extracting #6: cost 4 inf + 10942
8.045 * * [simplify]: Extracting #7: cost 0 inf + 11016
8.055 * * [simplify]: Extracting #8: cost 0 inf + 11014
8.061 * [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 (cbrt (exp (fmod (cosh a) (* a a))))) 2)
  (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) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (+ 1 a)
  a
  (log1p (log1p a))
  (log (log1p a))
  (exp (log1p a))
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (cbrt (log1p a))
  (pow (log1p a) 3)
  (sqrt (log1p a))
  (sqrt (log1p a))
  (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 3) 1/3 (fma -1/2 (* a a) a))
  (- (/ 1 a) (- (/ 1/2 (* a a)) (log a)))
  (- (/ 1 a) (- (/ 1/2 (* a a)) (log a)))
8.061 * * * [progress]: adding candidates to table
8.358 * * [progress]: iteration 4 / 4
8.358 * * * [progress]: picking best candidate
8.409 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))>
8.409 * * * [progress]: localizing error
8.434 * * * [progress]: generating rewritten candidates
8.434 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
8.435 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
8.440 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
8.443 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
8.445 * * * [progress]: generating series expansions
8.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
8.445 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.445 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.445 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.445 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.445 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.445 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.445 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.446 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.446 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.446 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.446 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.446 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.447 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.447 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.447 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.447 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.447 * [backup-simplify]: Simplify 0 into 0
8.447 * [backup-simplify]: Simplify 0 into 0
8.447 * [backup-simplify]: Simplify 0 into 0
8.447 * [backup-simplify]: Simplify 0 into 0
8.447 * [backup-simplify]: Simplify 0 into 0
8.447 * [backup-simplify]: Simplify 0 into 0
8.447 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
8.447 * [backup-simplify]: Simplify (log (sqrt (exp (log1p a)))) into (log (sqrt (exp (log1p a))))
8.447 * [approximate]: Taking taylor expansion of (log (sqrt (exp (log1p a)))) in (a) around 0
8.447 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p a)))) in a
8.447 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p a))) in a
8.447 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a
8.447 * [taylor]: Taking taylor expansion of (log1p a) in a
8.447 * [taylor]: Rewrote expression to (log (+ 1 a))
8.447 * [taylor]: Taking taylor expansion of (+ 1 a) in a
8.448 * [taylor]: Taking taylor expansion of 1 in a
8.448 * [backup-simplify]: Simplify 1 into 1
8.448 * [taylor]: Taking taylor expansion of a in a
8.448 * [backup-simplify]: Simplify 0 into 0
8.448 * [backup-simplify]: Simplify 1 into 1
8.448 * [backup-simplify]: Simplify (+ 1 0) into 1
8.448 * [backup-simplify]: Simplify (log 1) into 0
8.449 * [backup-simplify]: Simplify (+ 0 1) into 1
8.449 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.449 * [backup-simplify]: Simplify (exp 0) into 1
8.450 * [backup-simplify]: Simplify (sqrt 1) into 1
8.450 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.451 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
8.451 * [backup-simplify]: Simplify (log 1) into 0
8.451 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p a)))) in a
8.451 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p a))) in a
8.451 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a
8.451 * [taylor]: Taking taylor expansion of (log1p a) in a
8.451 * [taylor]: Rewrote expression to (log (+ 1 a))
8.451 * [taylor]: Taking taylor expansion of (+ 1 a) in a
8.451 * [taylor]: Taking taylor expansion of 1 in a
8.451 * [backup-simplify]: Simplify 1 into 1
8.451 * [taylor]: Taking taylor expansion of a in a
8.451 * [backup-simplify]: Simplify 0 into 0
8.451 * [backup-simplify]: Simplify 1 into 1
8.451 * [backup-simplify]: Simplify (+ 1 0) into 1
8.452 * [backup-simplify]: Simplify (log 1) into 0
8.452 * [backup-simplify]: Simplify (+ 0 1) into 1
8.453 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.453 * [backup-simplify]: Simplify (exp 0) into 1
8.453 * [backup-simplify]: Simplify (sqrt 1) into 1
8.453 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.454 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
8.454 * [backup-simplify]: Simplify (log 1) into 0
8.454 * [backup-simplify]: Simplify 0 into 0
8.455 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
8.455 * [backup-simplify]: Simplify 1/2 into 1/2
8.455 * [backup-simplify]: Simplify (+ 0 0) into 0
8.457 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
8.458 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
8.459 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
8.460 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4
8.460 * [backup-simplify]: Simplify -1/4 into -1/4
8.460 * [backup-simplify]: Simplify (+ 0 0) into 0
8.463 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
8.465 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0
8.466 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16
8.479 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6
8.479 * [backup-simplify]: Simplify 1/6 into 1/6
8.480 * [backup-simplify]: Simplify (+ (* 1/6 (pow a 3)) (+ (* -1/4 (pow a 2)) (* 1/2 a))) into (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2)))
8.480 * [backup-simplify]: Simplify (log (sqrt (exp (log1p (/ 1 a))))) into (log (sqrt (exp (log1p (/ 1 a)))))
8.480 * [approximate]: Taking taylor expansion of (log (sqrt (exp (log1p (/ 1 a))))) in (a) around 0
8.480 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ 1 a))))) in a
8.480 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ 1 a)))) in a
8.480 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a
8.480 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
8.480 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
8.480 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
8.480 * [taylor]: Taking taylor expansion of 1 in a
8.480 * [backup-simplify]: Simplify 1 into 1
8.480 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.480 * [taylor]: Taking taylor expansion of a in a
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 1 into 1
8.481 * [backup-simplify]: Simplify (/ 1 1) into 1
8.481 * [backup-simplify]: Simplify (+ 0 1) into 1
8.482 * [backup-simplify]: Simplify (log 1) into 0
8.482 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.482 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.483 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
8.483 * [backup-simplify]: Simplify (sqrt (exp (- (log a)))) into (sqrt (exp (- (log a))))
8.483 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.484 * [backup-simplify]: Simplify (+ 1 0) into 1
8.486 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.486 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a)))
8.487 * [backup-simplify]: Simplify (/ (exp (- (log a))) (* 2 (sqrt (exp (- (log a)))))) into (* 1/2 (sqrt (exp (- (log a)))))
8.487 * [backup-simplify]: Simplify (log (sqrt (exp (- (log a))))) into (log (sqrt (exp (- (log a)))))
8.487 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ 1 a))))) in a
8.487 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ 1 a)))) in a
8.487 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a
8.487 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
8.487 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
8.487 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
8.487 * [taylor]: Taking taylor expansion of 1 in a
8.487 * [backup-simplify]: Simplify 1 into 1
8.487 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.487 * [taylor]: Taking taylor expansion of a in a
8.487 * [backup-simplify]: Simplify 0 into 0
8.487 * [backup-simplify]: Simplify 1 into 1
8.487 * [backup-simplify]: Simplify (/ 1 1) into 1
8.488 * [backup-simplify]: Simplify (+ 0 1) into 1
8.489 * [backup-simplify]: Simplify (log 1) into 0
8.489 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.490 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.490 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
8.490 * [backup-simplify]: Simplify (sqrt (exp (- (log a)))) into (sqrt (exp (- (log a))))
8.491 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.492 * [backup-simplify]: Simplify (+ 1 0) into 1
8.493 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.494 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a)))
8.494 * [backup-simplify]: Simplify (/ (exp (- (log a))) (* 2 (sqrt (exp (- (log a)))))) into (* 1/2 (sqrt (exp (- (log a)))))
8.494 * [backup-simplify]: Simplify (log (sqrt (exp (- (log a))))) into (log (sqrt (exp (- (log a)))))
8.495 * [backup-simplify]: Simplify (log (sqrt (exp (- (log a))))) into (log (sqrt (exp (- (log a)))))
8.495 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 (sqrt (exp (- (log a)))))) 1)) (pow (sqrt (exp (- (log a)))) 1)))) 1) into 1/2
8.495 * [backup-simplify]: Simplify 1/2 into 1/2
8.496 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.497 * [backup-simplify]: Simplify (+ 0 0) into 0
8.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
8.501 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
8.503 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (exp (- (log a))))) 2) (+)) (* 2 (sqrt (exp (- (log a)))))) into (* -1/8 (sqrt (exp (- (log a)))))
8.504 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/2 (sqrt (exp (- (log a)))))) 2)) (pow (sqrt (exp (- (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/8 (sqrt (exp (- (log a)))))) 1)) (pow (sqrt (exp (- (log a)))) 1)))) 2) into -1/4
8.504 * [backup-simplify]: Simplify -1/4 into -1/4
8.504 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 a) 2)) (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log (/ 1 a)))))))) into (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log (/ 1 a))))))) (* 1/4 (/ 1 (pow a 2))))
8.504 * [backup-simplify]: Simplify (log (sqrt (exp (log1p (/ 1 (- a)))))) into (log (sqrt (exp (log1p (/ -1 a)))))
8.504 * [approximate]: Taking taylor expansion of (log (sqrt (exp (log1p (/ -1 a))))) in (a) around 0
8.504 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ -1 a))))) in a
8.504 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ -1 a)))) in a
8.504 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a
8.504 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
8.505 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
8.505 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
8.505 * [taylor]: Taking taylor expansion of 1 in a
8.505 * [backup-simplify]: Simplify 1 into 1
8.505 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.505 * [taylor]: Taking taylor expansion of -1 in a
8.505 * [backup-simplify]: Simplify -1 into -1
8.505 * [taylor]: Taking taylor expansion of a in a
8.505 * [backup-simplify]: Simplify 0 into 0
8.505 * [backup-simplify]: Simplify 1 into 1
8.505 * [backup-simplify]: Simplify (/ -1 1) into -1
8.506 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.506 * [backup-simplify]: Simplify (log -1) into (log -1)
8.507 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.508 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.508 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
8.509 * [backup-simplify]: Simplify (sqrt (exp (- (log -1) (log a)))) into (sqrt (exp (- (log -1) (log a))))
8.510 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.511 * [backup-simplify]: Simplify (+ 1 0) into 1
8.513 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
8.514 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a))))
8.515 * [backup-simplify]: Simplify (/ (* -1 (exp (- (log -1) (log a)))) (* 2 (sqrt (exp (- (log -1) (log a)))))) into (* -1/2 (sqrt (exp (- (log -1) (log a)))))
8.515 * [backup-simplify]: Simplify (log (sqrt (exp (- (log -1) (log a))))) into (log (sqrt (exp (- (log -1) (log a)))))
8.516 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ -1 a))))) in a
8.516 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ -1 a)))) in a
8.516 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a
8.516 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
8.516 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
8.516 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
8.516 * [taylor]: Taking taylor expansion of 1 in a
8.516 * [backup-simplify]: Simplify 1 into 1
8.516 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.516 * [taylor]: Taking taylor expansion of -1 in a
8.516 * [backup-simplify]: Simplify -1 into -1
8.516 * [taylor]: Taking taylor expansion of a in a
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 1 into 1
8.516 * [backup-simplify]: Simplify (/ -1 1) into -1
8.517 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.517 * [backup-simplify]: Simplify (log -1) into (log -1)
8.518 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.519 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.519 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
8.520 * [backup-simplify]: Simplify (sqrt (exp (- (log -1) (log a)))) into (sqrt (exp (- (log -1) (log a))))
8.521 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.522 * [backup-simplify]: Simplify (+ 1 0) into 1
8.523 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
8.525 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a))))
8.526 * [backup-simplify]: Simplify (/ (* -1 (exp (- (log -1) (log a)))) (* 2 (sqrt (exp (- (log -1) (log a)))))) into (* -1/2 (sqrt (exp (- (log -1) (log a)))))
8.526 * [backup-simplify]: Simplify (log (sqrt (exp (- (log -1) (log a))))) into (log (sqrt (exp (- (log -1) (log a)))))
8.527 * [backup-simplify]: Simplify (log (sqrt (exp (- (log -1) (log a))))) into (log (sqrt (exp (- (log -1) (log a)))))
8.528 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1/2 (sqrt (exp (- (log -1) (log a)))))) 1)) (pow (sqrt (exp (- (log -1) (log a)))) 1)))) 1) into -1/2
8.528 * [backup-simplify]: Simplify -1/2 into -1/2
8.529 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.531 * [backup-simplify]: Simplify (+ 0 0) into 0
8.534 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
8.536 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
8.537 * [backup-simplify]: Simplify (/ (- 0 (pow (* -1/2 (sqrt (exp (- (log -1) (log a))))) 2) (+)) (* 2 (sqrt (exp (- (log -1) (log a)))))) into (* -1/8 (sqrt (exp (- (log -1) (log a)))))
8.540 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1/2 (sqrt (exp (- (log -1) (log a)))))) 2)) (pow (sqrt (exp (- (log -1) (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/8 (sqrt (exp (- (log -1) (log a)))))) 1)) (pow (sqrt (exp (- (log -1) (log a)))) 1)))) 2) into -1/4
8.540 * [backup-simplify]: Simplify -1/4 into -1/4
8.541 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 (- a)) 2)) (+ (* -1/2 (/ 1 (- a))) (log (sqrt (exp (- (log -1) (log (/ 1 (- a))))))))) into (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log -1) (log (/ -1 a))))))) (* 1/4 (/ 1 (pow a 2))))
8.541 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
8.541 * [backup-simplify]: Simplify (log (sqrt (exp (log1p a)))) into (log (sqrt (exp (log1p a))))
8.541 * [approximate]: Taking taylor expansion of (log (sqrt (exp (log1p a)))) in (a) around 0
8.541 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p a)))) in a
8.541 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p a))) in a
8.541 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a
8.541 * [taylor]: Taking taylor expansion of (log1p a) in a
8.541 * [taylor]: Rewrote expression to (log (+ 1 a))
8.541 * [taylor]: Taking taylor expansion of (+ 1 a) in a
8.541 * [taylor]: Taking taylor expansion of 1 in a
8.541 * [backup-simplify]: Simplify 1 into 1
8.542 * [taylor]: Taking taylor expansion of a in a
8.542 * [backup-simplify]: Simplify 0 into 0
8.542 * [backup-simplify]: Simplify 1 into 1
8.542 * [backup-simplify]: Simplify (+ 1 0) into 1
8.542 * [backup-simplify]: Simplify (log 1) into 0
8.543 * [backup-simplify]: Simplify (+ 0 1) into 1
8.544 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.544 * [backup-simplify]: Simplify (exp 0) into 1
8.545 * [backup-simplify]: Simplify (sqrt 1) into 1
8.546 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.546 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
8.547 * [backup-simplify]: Simplify (log 1) into 0
8.547 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p a)))) in a
8.547 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p a))) in a
8.547 * [taylor]: Taking taylor expansion of (exp (log1p a)) in a
8.547 * [taylor]: Taking taylor expansion of (log1p a) in a
8.547 * [taylor]: Rewrote expression to (log (+ 1 a))
8.547 * [taylor]: Taking taylor expansion of (+ 1 a) in a
8.547 * [taylor]: Taking taylor expansion of 1 in a
8.547 * [backup-simplify]: Simplify 1 into 1
8.547 * [taylor]: Taking taylor expansion of a in a
8.547 * [backup-simplify]: Simplify 0 into 0
8.547 * [backup-simplify]: Simplify 1 into 1
8.548 * [backup-simplify]: Simplify (+ 1 0) into 1
8.548 * [backup-simplify]: Simplify (log 1) into 0
8.549 * [backup-simplify]: Simplify (+ 0 1) into 1
8.550 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.550 * [backup-simplify]: Simplify (exp 0) into 1
8.550 * [backup-simplify]: Simplify (sqrt 1) into 1
8.552 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.552 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
8.553 * [backup-simplify]: Simplify (log 1) into 0
8.553 * [backup-simplify]: Simplify 0 into 0
8.554 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
8.554 * [backup-simplify]: Simplify 1/2 into 1/2
8.555 * [backup-simplify]: Simplify (+ 0 0) into 0
8.557 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
8.559 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
8.561 * [backup-simplify]: Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
8.564 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4
8.564 * [backup-simplify]: Simplify -1/4 into -1/4
8.565 * [backup-simplify]: Simplify (+ 0 0) into 0
8.570 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
8.572 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 1/3 1) 1)))) into 0
8.573 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16
8.576 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6
8.576 * [backup-simplify]: Simplify 1/6 into 1/6
8.576 * [backup-simplify]: Simplify (+ (* 1/6 (pow a 3)) (+ (* -1/4 (pow a 2)) (* 1/2 a))) into (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2)))
8.576 * [backup-simplify]: Simplify (log (sqrt (exp (log1p (/ 1 a))))) into (log (sqrt (exp (log1p (/ 1 a)))))
8.576 * [approximate]: Taking taylor expansion of (log (sqrt (exp (log1p (/ 1 a))))) in (a) around 0
8.576 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ 1 a))))) in a
8.576 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ 1 a)))) in a
8.576 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a
8.576 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
8.576 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
8.576 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
8.576 * [taylor]: Taking taylor expansion of 1 in a
8.576 * [backup-simplify]: Simplify 1 into 1
8.576 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.576 * [taylor]: Taking taylor expansion of a in a
8.576 * [backup-simplify]: Simplify 0 into 0
8.576 * [backup-simplify]: Simplify 1 into 1
8.577 * [backup-simplify]: Simplify (/ 1 1) into 1
8.577 * [backup-simplify]: Simplify (+ 0 1) into 1
8.577 * [backup-simplify]: Simplify (log 1) into 0
8.578 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.578 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.578 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
8.578 * [backup-simplify]: Simplify (sqrt (exp (- (log a)))) into (sqrt (exp (- (log a))))
8.578 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.579 * [backup-simplify]: Simplify (+ 1 0) into 1
8.580 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.580 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a)))
8.580 * [backup-simplify]: Simplify (/ (exp (- (log a))) (* 2 (sqrt (exp (- (log a)))))) into (* 1/2 (sqrt (exp (- (log a)))))
8.580 * [backup-simplify]: Simplify (log (sqrt (exp (- (log a))))) into (log (sqrt (exp (- (log a)))))
8.580 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ 1 a))))) in a
8.580 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ 1 a)))) in a
8.580 * [taylor]: Taking taylor expansion of (exp (log1p (/ 1 a))) in a
8.580 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
8.581 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 a)))
8.581 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 a)) in a
8.581 * [taylor]: Taking taylor expansion of 1 in a
8.581 * [backup-simplify]: Simplify 1 into 1
8.581 * [taylor]: Taking taylor expansion of (/ 1 a) in a
8.581 * [taylor]: Taking taylor expansion of a in a
8.581 * [backup-simplify]: Simplify 0 into 0
8.581 * [backup-simplify]: Simplify 1 into 1
8.581 * [backup-simplify]: Simplify (/ 1 1) into 1
8.581 * [backup-simplify]: Simplify (+ 0 1) into 1
8.581 * [backup-simplify]: Simplify (log 1) into 0
8.582 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.582 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.582 * [backup-simplify]: Simplify (exp (- (log a))) into (exp (- (log a)))
8.582 * [backup-simplify]: Simplify (sqrt (exp (- (log a)))) into (sqrt (exp (- (log a))))
8.582 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.583 * [backup-simplify]: Simplify (+ 1 0) into 1
8.584 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.584 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log a)))
8.584 * [backup-simplify]: Simplify (/ (exp (- (log a))) (* 2 (sqrt (exp (- (log a)))))) into (* 1/2 (sqrt (exp (- (log a)))))
8.585 * [backup-simplify]: Simplify (log (sqrt (exp (- (log a))))) into (log (sqrt (exp (- (log a)))))
8.585 * [backup-simplify]: Simplify (log (sqrt (exp (- (log a))))) into (log (sqrt (exp (- (log a)))))
8.585 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 (sqrt (exp (- (log a)))))) 1)) (pow (sqrt (exp (- (log a)))) 1)))) 1) into 1/2
8.585 * [backup-simplify]: Simplify 1/2 into 1/2
8.585 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
8.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.586 * [backup-simplify]: Simplify (+ 0 0) into 0
8.588 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
8.589 * [backup-simplify]: Simplify (* (exp (- (log a))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
8.589 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (exp (- (log a))))) 2) (+)) (* 2 (sqrt (exp (- (log a)))))) into (* -1/8 (sqrt (exp (- (log a)))))
8.590 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/2 (sqrt (exp (- (log a)))))) 2)) (pow (sqrt (exp (- (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/8 (sqrt (exp (- (log a)))))) 1)) (pow (sqrt (exp (- (log a)))) 1)))) 2) into -1/4
8.590 * [backup-simplify]: Simplify -1/4 into -1/4
8.590 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 a) 2)) (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log (/ 1 a)))))))) into (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log (/ 1 a))))))) (* 1/4 (/ 1 (pow a 2))))
8.590 * [backup-simplify]: Simplify (log (sqrt (exp (log1p (/ 1 (- a)))))) into (log (sqrt (exp (log1p (/ -1 a)))))
8.590 * [approximate]: Taking taylor expansion of (log (sqrt (exp (log1p (/ -1 a))))) in (a) around 0
8.590 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ -1 a))))) in a
8.590 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ -1 a)))) in a
8.590 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a
8.590 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
8.590 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
8.590 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
8.590 * [taylor]: Taking taylor expansion of 1 in a
8.590 * [backup-simplify]: Simplify 1 into 1
8.590 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.590 * [taylor]: Taking taylor expansion of -1 in a
8.590 * [backup-simplify]: Simplify -1 into -1
8.590 * [taylor]: Taking taylor expansion of a in a
8.590 * [backup-simplify]: Simplify 0 into 0
8.590 * [backup-simplify]: Simplify 1 into 1
8.591 * [backup-simplify]: Simplify (/ -1 1) into -1
8.591 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.591 * [backup-simplify]: Simplify (log -1) into (log -1)
8.592 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.592 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.592 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
8.593 * [backup-simplify]: Simplify (sqrt (exp (- (log -1) (log a)))) into (sqrt (exp (- (log -1) (log a))))
8.593 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.594 * [backup-simplify]: Simplify (+ 1 0) into 1
8.595 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
8.596 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a))))
8.596 * [backup-simplify]: Simplify (/ (* -1 (exp (- (log -1) (log a)))) (* 2 (sqrt (exp (- (log -1) (log a)))))) into (* -1/2 (sqrt (exp (- (log -1) (log a)))))
8.597 * [backup-simplify]: Simplify (log (sqrt (exp (- (log -1) (log a))))) into (log (sqrt (exp (- (log -1) (log a)))))
8.597 * [taylor]: Taking taylor expansion of (log (sqrt (exp (log1p (/ -1 a))))) in a
8.597 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (/ -1 a)))) in a
8.597 * [taylor]: Taking taylor expansion of (exp (log1p (/ -1 a))) in a
8.597 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
8.597 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 a)))
8.597 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 a)) in a
8.597 * [taylor]: Taking taylor expansion of 1 in a
8.597 * [backup-simplify]: Simplify 1 into 1
8.597 * [taylor]: Taking taylor expansion of (/ -1 a) in a
8.597 * [taylor]: Taking taylor expansion of -1 in a
8.597 * [backup-simplify]: Simplify -1 into -1
8.597 * [taylor]: Taking taylor expansion of a in a
8.597 * [backup-simplify]: Simplify 0 into 0
8.597 * [backup-simplify]: Simplify 1 into 1
8.597 * [backup-simplify]: Simplify (/ -1 1) into -1
8.597 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.598 * [backup-simplify]: Simplify (log -1) into (log -1)
8.598 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.599 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.600 * [backup-simplify]: Simplify (exp (- (log -1) (log a))) into (exp (- (log -1) (log a)))
8.600 * [backup-simplify]: Simplify (sqrt (exp (- (log -1) (log a)))) into (sqrt (exp (- (log -1) (log a))))
8.601 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.602 * [backup-simplify]: Simplify (+ 1 0) into 1
8.604 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
8.605 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- (log -1) (log a))))
8.606 * [backup-simplify]: Simplify (/ (* -1 (exp (- (log -1) (log a)))) (* 2 (sqrt (exp (- (log -1) (log a)))))) into (* -1/2 (sqrt (exp (- (log -1) (log a)))))
8.606 * [backup-simplify]: Simplify (log (sqrt (exp (- (log -1) (log a))))) into (log (sqrt (exp (- (log -1) (log a)))))
8.607 * [backup-simplify]: Simplify (log (sqrt (exp (- (log -1) (log a))))) into (log (sqrt (exp (- (log -1) (log a)))))
8.614 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* -1/2 (sqrt (exp (- (log -1) (log a)))))) 1)) (pow (sqrt (exp (- (log -1) (log a)))) 1)))) 1) into -1/2
8.614 * [backup-simplify]: Simplify -1/2 into -1/2
8.615 * [backup-simplify]: Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
8.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.617 * [backup-simplify]: Simplify (+ 0 0) into 0
8.620 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
8.622 * [backup-simplify]: Simplify (* (exp (- (log -1) (log a))) (+ (* (/ (pow -1 2) 2)) (* (/ (pow -1/2 1) 1)))) into 0
8.623 * [backup-simplify]: Simplify (/ (- 0 (pow (* -1/2 (sqrt (exp (- (log -1) (log a))))) 2) (+)) (* 2 (sqrt (exp (- (log -1) (log a)))))) into (* -1/8 (sqrt (exp (- (log -1) (log a)))))
8.626 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* -1/2 (sqrt (exp (- (log -1) (log a)))))) 2)) (pow (sqrt (exp (- (log -1) (log a)))) 2))) (* 1 (/ (* 1 (pow (* 2 (* -1/8 (sqrt (exp (- (log -1) (log a)))))) 1)) (pow (sqrt (exp (- (log -1) (log a)))) 1)))) 2) into -1/4
8.626 * [backup-simplify]: Simplify -1/4 into -1/4
8.627 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 (- a)) 2)) (+ (* -1/2 (/ 1 (- a))) (log (sqrt (exp (- (log -1) (log (/ 1 (- a))))))))) into (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log -1) (log (/ -1 a))))))) (* 1/4 (/ 1 (pow a 2))))
8.627 * * * * [progress]: [ 4 / 4 ] generating series at (2)
8.627 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.627 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a))))))) in (a) around 0
8.628 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a))))))) in a
8.628 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.628 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a))))))) in a
8.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.629 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.629 * [backup-simplify]: Simplify 0 into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.630 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.630 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (+ (log (sqrt (exp (log1p (/ 1 a))))) (log (sqrt (exp (log1p (/ 1 a)))))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a))))))))
8.630 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a)))))))) in (a) around 0
8.630 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a)))))))) in a
8.631 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a)))))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a))))))))
8.631 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a)))))))) in a
8.631 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a)))))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a))))))))
8.632 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a)))))))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ 1 a))))))))
8.632 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.633 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (* 2 (log (sqrt (exp (log1p (/ 1 (/ 1 a))))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.633 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (+ (log (sqrt (exp (log1p (/ 1 (- a)))))) (log (sqrt (exp (log1p (/ 1 (- a))))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a))))))))
8.633 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a)))))))) in (a) around 0
8.633 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a)))))))) in a
8.634 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a)))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a))))))))
8.634 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a)))))))) in a
8.634 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a)))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a))))))))
8.635 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a)))))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (* 2 (log (sqrt (exp (log1p (/ -1 a))))))))
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (* 2 (log (sqrt (exp (log1p (/ -1 (/ 1 (- a)))))))))) into (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.635 * * * [progress]: simplifying candidates
8.636 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (log (sqrt (exp (log1p a)))))
  (log1p (log (sqrt (exp (log1p a)))))
  (log (* (cbrt (sqrt (exp (log1p a)))) (cbrt (sqrt (exp (log1p a))))))
  (log (cbrt (sqrt (exp (log1p a)))))
  (log (sqrt (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a))))))
  (log (sqrt (cbrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt 1))
  (log (sqrt (exp (log1p a))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log 1)
  (log (sqrt (exp (log1p a))))
  (log (exp (log1p a)))
  (log (sqrt (exp (log1p a))))
  (log (exp (log1p a)))
  (log (exp (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log (exp (sqrt (log1p a))))
  (log (exp 1))
  (log (log (sqrt (exp (log1p a)))))
  (exp (log (sqrt (exp (log1p a)))))
  (* (cbrt (log (sqrt (exp (log1p a))))) (cbrt (log (sqrt (exp (log1p a))))))
  (cbrt (log (sqrt (exp (log1p a)))))
  (* (* (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))) (log (sqrt (exp (log1p a)))))
  (sqrt (log (sqrt (exp (log1p a)))))
  (sqrt (log (sqrt (exp (log1p a)))))
  (expm1 (log (sqrt (exp (log1p a)))))
  (log1p (log (sqrt (exp (log1p a)))))
  (log (* (cbrt (sqrt (exp (log1p a)))) (cbrt (sqrt (exp (log1p a))))))
  (log (cbrt (sqrt (exp (log1p a)))))
  (log (sqrt (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a))))))
  (log (sqrt (cbrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt 1))
  (log (sqrt (exp (log1p a))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log 1)
  (log (sqrt (exp (log1p a))))
  (log (exp (log1p a)))
  (log (sqrt (exp (log1p a))))
  (log (exp (log1p a)))
  (log (exp (* (cbrt (log1p a)) (cbrt (log1p a)))))
  (log (exp (sqrt (log1p a))))
  (log (exp 1))
  (log (log (sqrt (exp (log1p a)))))
  (exp (log (sqrt (exp (log1p a)))))
  (* (cbrt (log (sqrt (exp (log1p a))))) (cbrt (log (sqrt (exp (log1p a))))))
  (cbrt (log (sqrt (exp (log1p a)))))
  (* (* (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))) (log (sqrt (exp (log1p a)))))
  (sqrt (log (sqrt (exp (log1p a)))))
  (sqrt (log (sqrt (exp (log1p a)))))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))))))
  (log (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))))))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a)))))))) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2)))
  (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log (/ 1 a))))))) (* 1/4 (/ 1 (pow a 2))))
  (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log -1) (log (/ -1 a))))))) (* 1/4 (/ 1 (pow a 2))))
  (- (+ (* 1/2 a) (* 1/6 (pow a 3))) (* 1/4 (pow a 2)))
  (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log (/ 1 a))))))) (* 1/4 (/ 1 (pow a 2))))
  (- (+ (* 1/2 (/ 1 a)) (log (sqrt (exp (- (log -1) (log (/ -1 a))))))) (* 1/4 (/ 1 (pow a 2))))
  (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
  (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
  (acos (pow (fmod (cosh a) (pow a 2)) (* 2 (log (sqrt (exp (log1p a)))))))
8.637 * * [simplify]: iteration 0: 104 enodes
8.655 * * [simplify]: iteration 1: 176 enodes
8.711 * * [simplify]: iteration 2: 358 enodes
8.864 * * [simplify]: iteration 3: 968 enodes
11.001 * * [simplify]: iteration 4: 4139 enodes
12.353 * * [simplify]: iteration complete: 5000 enodes
12.353 * * [simplify]: Extracting #0: cost 41 inf + 0
12.354 * * [simplify]: Extracting #1: cost 294 inf + 2
12.358 * * [simplify]: Extracting #2: cost 1000 inf + 171
12.371 * * [simplify]: Extracting #3: cost 464 inf + 3076
12.380 * * [simplify]: Extracting #4: cost 199 inf + 5815
12.385 * * [simplify]: Extracting #5: cost 31 inf + 7621
12.389 * * [simplify]: Extracting #6: cost 1 inf + 7963
12.394 * * [simplify]: Extracting #7: cost 0 inf + 7966
12.399 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (log (sqrt (exp (log1p a)))))
  (log1p (log (sqrt (exp (log1p a)))))
  (* (log (cbrt (sqrt (exp (log1p a))))) 2)
  (log (cbrt (sqrt (exp (log1p a)))))
  (log (fabs (cbrt (exp (log1p a)))))
  (log (sqrt (cbrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  0
  (log (sqrt (exp (log1p a))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  0
  (log (sqrt (exp (log1p a))))
  (log1p a)
  (log (sqrt (exp (log1p a))))
  (log1p a)
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (sqrt (log1p a))
  1
  (log (log (sqrt (exp (log1p a)))))
  (sqrt (exp (log1p a)))
  (* (cbrt (log (sqrt (exp (log1p a))))) (cbrt (log (sqrt (exp (log1p a))))))
  (cbrt (log (sqrt (exp (log1p a)))))
  (pow (log (sqrt (exp (log1p a)))) 3)
  (sqrt (log (sqrt (exp (log1p a)))))
  (sqrt (log (sqrt (exp (log1p a)))))
  (expm1 (log (sqrt (exp (log1p a)))))
  (log1p (log (sqrt (exp (log1p a)))))
  (* (log (cbrt (sqrt (exp (log1p a))))) 2)
  (log (cbrt (sqrt (exp (log1p a)))))
  (log (fabs (cbrt (exp (log1p a)))))
  (log (sqrt (cbrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  0
  (log (sqrt (exp (log1p a))))
  (log (sqrt (sqrt (exp (log1p a)))))
  (log (sqrt (sqrt (exp (log1p a)))))
  0
  (log (sqrt (exp (log1p a))))
  (log1p a)
  (log (sqrt (exp (log1p a))))
  (log1p a)
  (* (cbrt (log1p a)) (cbrt (log1p a)))
  (sqrt (log1p a))
  1
  (log (log (sqrt (exp (log1p a)))))
  (sqrt (exp (log1p a)))
  (* (cbrt (log (sqrt (exp (log1p a))))) (cbrt (log (sqrt (exp (log1p a))))))
  (cbrt (log (sqrt (exp (log1p a)))))
  (pow (log (sqrt (exp (log1p a)))) 3)
  (sqrt (log (sqrt (exp (log1p a)))))
  (sqrt (log (sqrt (exp (log1p a)))))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a)))))))
  (log (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a)))))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a)))))))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* a (fma a (- (* a 1/6) 1/4) 1/2))
  (- (log (sqrt a)) (- (/ 1/4 (* a a)) (/ 1/2 a)))
  (- (log (sqrt a)) (- (/ 1/4 (* a a)) (/ 1/2 a)))
  (* a (fma a (- (* a 1/6) 1/4) 1/2))
  (- (log (sqrt a)) (- (/ 1/4 (* a a)) (/ 1/2 a)))
  (- (log (sqrt a)) (- (/ 1/4 (* a a)) (/ 1/2 a)))
  (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a)))))))
  (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a)))))))
  (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a)))))))
12.400 * * * [progress]: adding candidates to table
12.880 * [progress]: [Phase 3 of 3] Extracting.
12.880 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))> #<alt (λ (a) (acos (+ (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (* (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))) (cbrt (exp (log1p a))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (+ (* (log (cbrt (sqrt (exp (log1p a))))) 2) (log (cbrt (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))> #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<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))))))>)
12.885 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
12.886 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))> #<alt (λ (a) (acos (+ (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (* (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))) (cbrt (exp (log1p a))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (+ (* (log (cbrt (sqrt (exp (log1p a))))) 2) (log (cbrt (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))> #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<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))))))>)
13.012 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<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))))))>)
13.097 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))> #<alt (λ (a) (acos (+ (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (* (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))) (cbrt (exp (log1p a))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (+ (* (log (cbrt (sqrt (exp (log1p a))))) 2) (log (cbrt (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))> #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<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))))))>)
13.237 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))> #<alt (λ (a) (acos (+ (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (* (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))) (cbrt (exp (log1p a))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (+ (* (log (cbrt (sqrt (exp (log1p a))))) 2) (log (cbrt (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))> #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<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))))))>)
13.367 * * * [regime]: Found split indices: #<option (#s(si 6 130) #s(si 8 255))>
13.370 * [binary-search]: Only using regimes for bounds on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) and (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))> #<alt (λ (a) (acos (+ (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (* (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))) (cbrt (exp (log1p a))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (+ (* (log (cbrt (sqrt (exp (log1p a))))) 2) (log (cbrt (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))> #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<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))))))>)
13.370 * [regimes]: Found splitpoints: (#s(sp 6 (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.372690074837192e-08) #s(sp 8 (acos (pow (fmod (cosh a) (* a a)) (log1p a))) +nan.0)) , with alts (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (* 2 (log (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (log1p a)))) (log (sqrt (exp (log1p a))))))))> #<alt (λ (a) (acos (+ (fma (pow (log (fmod (cosh a) (* a a))) 2) (* (* a a) 1/2) 1) (* (log (fmod (cosh a) (* a a))) (- a (* (* a a) 1/2))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (* (* (cbrt (exp (log1p a))) (cbrt (exp (log1p a)))) (cbrt (exp (log1p a))))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (+ (log (sqrt (exp (log1p a)))) (+ (* (log (cbrt (sqrt (exp (log1p a))))) 2) (log (cbrt (sqrt (exp (log1p a))))))))))> #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))> #<alt (λ (a) (acos (* (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)) (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2)))))> #<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))))))>)
13.371 * [simplify]: Simplifying:
  (if (<= (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.372690074837192e-08) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
13.372 * * [simplify]: iteration 0: 20 enodes
13.373 * * [simplify]: iteration complete: 20 enodes
13.373 * * [simplify]: Extracting #0: cost 1 inf + 0
13.373 * * [simplify]: Extracting #1: cost 4 inf + 0
13.373 * * [simplify]: Extracting #2: cost 8 inf + 0
13.373 * * [simplify]: Extracting #3: cost 12 inf + 1
13.373 * * [simplify]: Extracting #4: cost 17 inf + 1
13.373 * * [simplify]: Extracting #5: cost 17 inf + 2
13.373 * * [simplify]: Extracting #6: cost 12 inf + 27
13.373 * * [simplify]: Extracting #7: cost 8 inf + 60
13.373 * * [simplify]: Extracting #8: cost 4 inf + 100
13.373 * * [simplify]: Extracting #9: cost 2 inf + 141
13.373 * * [simplify]: Extracting #10: cost 1 inf + 164
13.374 * * [simplify]: Extracting #11: cost 0 inf + 212
13.374 * [simplify]: Simplified to:
  (if (<= (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 5.372690074837192e-08) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a))))))
46.657 * [regime-testing]: Baseline error score: 60.021113761754314
46.659 * [regime-testing]: Oracle error score: 58.559964571816536
46.664 * [regime-testing]: End program error score: 58.700094423536925