1548149063.240 * [misc]progress:  [Phase 1 of 3] Setting up.
1548149063.242 * * * [misc]progress:  [1/2] Preparing points
1548149065.060 * * * [misc]progress:  [2/2] Setting up program.
1548149065.065 * [misc]progress:  [Phase 2 of 3] Improving.
1548149065.065 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1548149065.066 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.067 * * [misc]simplify:  iters left: 5 (7 enodes)
1548149065.071 * * [misc]simplify:  iters left: 4 (13 enodes)
1548149065.073 * * [misc]simplify:  iters left: 3 (16 enodes)
1548149065.075 * * [misc]simplify:  iters left: 2 (18 enodes)
1548149065.079 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.079 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.084 * * [misc]progress:  iteration 1 / 4
1548149065.084 * * * [misc]progress:  picking best candidate
1548149065.087 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1548149065.087 * * * [misc]progress:  localizing error
1548149065.135 * * * [misc]progress:  generating rewritten candidates
1548149065.136 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1548149065.137 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1548149065.142 * * * [misc]progress:  generating series expansions
1548149065.142 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1548149065.148 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149065.148 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149065.149 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149065.151 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.151 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149065.151 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.152 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.152 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.152 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.152 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.152 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.152 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.152 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.152 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.153 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.153 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149065.153 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149065.153 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.153 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149065.153 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.153 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.153 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.153 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.153 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.153 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.154 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.154 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.154 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149065.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.155 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149065.155 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149065.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.155 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149065.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.155 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.155 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.155 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.155 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.156 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.156 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.156 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.156 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149065.156 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1548149065.156 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.156 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1548149065.156 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1548149065.156 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.156 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1548149065.156 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.157 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.157 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.157 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.157 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.157 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.157 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.157 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.157 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.157 * [misc]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))))
1548149065.157 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1548149065.157 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1548149065.158 * [misc]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))))
1548149065.158 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1548149065.158 * [misc]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))))
1548149065.158 * [misc]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))))
1548149065.158 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.158 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.158 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.158 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.158 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.158 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.159 * [misc]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)))
1548149065.159 * [misc]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))))
1548149065.159 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1548149065.159 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1548149065.159 * [misc]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))))
1548149065.159 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1548149065.159 * [misc]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))))
1548149065.160 * [misc]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))))
1548149065.160 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.160 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.160 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.160 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.160 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.160 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.160 * [misc]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)))
1548149065.160 * * * [misc]progress:  simplifying candidates
1548149065.160 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.160 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1548149065.161 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1548149065.161 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1548149065.161 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1548149065.161 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1548149065.161 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1548149065.161 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1548149065.161 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (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))))))>
1548149065.162 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (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))))))>
1548149065.162 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1548149065.162 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1548149065.162 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.162 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.162 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.164 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.167 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.167 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.167 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.167 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.167 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.169 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.172 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.172 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.172 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.172 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.172 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.173 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.176 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.177 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.177 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.177 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.177 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149065.179 * * [misc]simplify:  iters left: 3 (14 enodes)
1548149065.183 * * [misc]simplify:  iters left: 2 (17 enodes)
1548149065.187 * * [misc]simplify:  iters left: 1 (19 enodes)
1548149065.192 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.192 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.192 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.193 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.193 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149065.195 * * [misc]simplify:  iters left: 3 (14 enodes)
1548149065.199 * * [misc]simplify:  iters left: 2 (17 enodes)
1548149065.203 * * [misc]simplify:  iters left: 1 (19 enodes)
1548149065.208 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.208 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.208 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.208 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.208 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149065.211 * * [misc]simplify:  iters left: 3 (14 enodes)
1548149065.214 * * [misc]simplify:  iters left: 2 (17 enodes)
1548149065.219 * * [misc]simplify:  iters left: 1 (19 enodes)
1548149065.223 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.223 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.223 * * * [misc]progress:  adding candidates to table
1548149065.516 * * [misc]progress:  iteration 2 / 4
1548149065.516 * * * [misc]progress:  picking best candidate
1548149065.534 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1548149065.534 * * * [misc]progress:  localizing error
1548149065.558 * * * [misc]progress:  generating rewritten candidates
1548149065.558 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1548149065.559 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1548149065.561 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1548149065.563 * * * [misc]progress:  generating series expansions
1548149065.563 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1548149065.563 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149065.563 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149065.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149065.563 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149065.563 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.563 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.563 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.563 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.563 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.563 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.563 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.563 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.563 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.563 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.563 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149065.563 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.564 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.564 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.564 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.564 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.564 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.564 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.564 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.564 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149065.564 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.564 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.564 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.564 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149065.565 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1548149065.565 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1548149065.565 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149065.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149065.565 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149065.565 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.565 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.565 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149065.565 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.565 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149065.565 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149065.565 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.566 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149065.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149065.566 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.566 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149065.566 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149065.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.566 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149065.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.566 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.566 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149065.567 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1548149065.567 * [misc]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)))
1548149065.567 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1548149065.567 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1548149065.567 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.567 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1548149065.567 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.567 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.567 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.567 * [misc]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))))
1548149065.567 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1548149065.567 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1548149065.568 * [misc]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))))
1548149065.568 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1548149065.568 * [misc]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))))
1548149065.568 * [misc]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))))
1548149065.568 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.568 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.568 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.568 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.568 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.568 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.568 * [misc]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)))
1548149065.568 * [misc]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))))
1548149065.568 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1548149065.568 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1548149065.569 * [misc]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))))
1548149065.569 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1548149065.569 * [misc]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))))
1548149065.569 * [misc]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))))
1548149065.569 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.569 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.569 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.569 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.569 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.569 * [misc]backup-simplify:  Simplify 0 into 0
1548149065.569 * [misc]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)))
1548149065.569 * * * [misc]progress:  simplifying candidates
1548149065.569 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1548149065.569 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.570 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.570 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.570 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1548149065.570 * * [misc]simplify:  iters left: 6 (8 enodes)
1548149065.571 * * [misc]simplify:  iters left: 5 (16 enodes)
1548149065.573 * * [misc]simplify:  iters left: 4 (19 enodes)
1548149065.575 * * [misc]simplify:  iters left: 3 (21 enodes)
1548149065.578 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1548149065.578 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
1548149065.578 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.578 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1548149065.578 * * [misc]simplify:  iters left: 6 (7 enodes)
1548149065.579 * * [misc]simplify:  iters left: 5 (13 enodes)
1548149065.582 * * [misc]simplify:  iters left: 4 (16 enodes)
1548149065.584 * * [misc]simplify:  iters left: 3 (18 enodes)
1548149065.586 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1548149065.586 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
1548149065.586 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1548149065.586 * [enter]simplify:  Simplifying (log 1)
1548149065.586 * * [misc]simplify:  iters left: 1 (2 enodes)
1548149065.588 * [exit]simplify:  Simplified to 0
1548149065.588 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1548149065.588 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1548149065.588 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149065.588 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1548149065.588 * * [misc]simplify:  iters left: 4 (5 enodes)
1548149065.589 * * [misc]simplify:  iters left: 3 (11 enodes)
1548149065.590 * * [misc]simplify:  iters left: 2 (14 enodes)
1548149065.592 * * [misc]simplify:  iters left: 1 (16 enodes)
1548149065.595 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1548149065.595 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149065.595 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.596 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1548149065.596 * * [misc]simplify:  iters left: 4 (5 enodes)
1548149065.597 * * [misc]simplify:  iters left: 3 (11 enodes)
1548149065.600 * * [misc]simplify:  iters left: 2 (14 enodes)
1548149065.604 * * [misc]simplify:  iters left: 1 (16 enodes)
1548149065.608 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1548149065.608 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1548149065.608 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1548149065.608 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1548149065.608 * * [misc]simplify:  iters left: 3 (4 enodes)
1548149065.610 * * [misc]simplify:  iters left: 2 (10 enodes)
1548149065.612 * * [misc]simplify:  iters left: 1 (13 enodes)
1548149065.616 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.616 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1548149065.616 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1548149065.616 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1548149065.616 * [enter]simplify:  Simplifying (cosh a)
1548149065.616 * * [misc]simplify:  iters left: 1 (2 enodes)
1548149065.617 * [exit]simplify:  Simplified to (cosh a)
1548149065.617 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.617 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.617 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.617 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.617 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.617 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1548149065.617 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1548149065.618 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1548149065.618 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1548149065.618 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1548149065.618 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1548149065.618 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1548149065.618 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1548149065.618 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (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))))))>
1548149065.618 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (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))))))>
1548149065.618 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (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))))))>
1548149065.618 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1548149065.618 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1548149065.618 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.618 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.620 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.623 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.623 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1548149065.623 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1548149065.623 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.623 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.625 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.628 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.628 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1548149065.628 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1548149065.628 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.629 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.630 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.633 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.633 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1548149065.633 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.634 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.634 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.635 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.637 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.637 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.637 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.637 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.638 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.638 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.640 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.640 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.640 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.640 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149065.640 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149065.641 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149065.642 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149065.642 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.642 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.642 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.642 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149065.643 * * [misc]simplify:  iters left: 3 (14 enodes)
1548149065.645 * * [misc]simplify:  iters left: 2 (17 enodes)
1548149065.647 * * [misc]simplify:  iters left: 1 (19 enodes)
1548149065.652 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.652 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.652 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.652 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.652 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149065.653 * * [misc]simplify:  iters left: 3 (14 enodes)
1548149065.655 * * [misc]simplify:  iters left: 2 (17 enodes)
1548149065.657 * * [misc]simplify:  iters left: 1 (19 enodes)
1548149065.659 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.659 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.659 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1548149065.660 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1548149065.660 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149065.661 * * [misc]simplify:  iters left: 3 (14 enodes)
1548149065.662 * * [misc]simplify:  iters left: 2 (17 enodes)
1548149065.664 * * [misc]simplify:  iters left: 1 (19 enodes)
1548149065.667 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1548149065.667 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149065.667 * * * [misc]progress:  adding candidates to table
1548149066.261 * * [misc]progress:  iteration 3 / 4
1548149066.261 * * * [misc]progress:  picking best candidate
1548149066.279 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.279 * * * [misc]progress:  localizing error
1548149066.310 * * * [misc]progress:  generating rewritten candidates
1548149066.310 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1548149066.311 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1548149066.311 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1)
1548149066.315 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1548149066.322 * * * [misc]progress:  generating series expansions
1548149066.322 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1548149066.323 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149066.323 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149066.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.323 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.323 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.323 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.323 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.323 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.323 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.323 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.323 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.323 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.323 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.323 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.324 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149066.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.324 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.324 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.324 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.324 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.324 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.324 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.324 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.324 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149066.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.325 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149066.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.325 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.325 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.325 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.325 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.325 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.326 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.326 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.326 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.326 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149066.326 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1548149066.326 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149066.326 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149066.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.326 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.326 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.326 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.326 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.326 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.327 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.327 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.327 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.327 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.327 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.327 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.327 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149066.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.327 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.327 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.328 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.328 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.328 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.328 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.328 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.328 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149066.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.328 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149066.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.328 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.328 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.329 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.329 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.329 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.329 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.329 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.329 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.329 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149066.329 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1)
1548149066.329 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149066.329 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149066.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.329 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.329 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.330 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.330 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.330 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.330 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.330 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.330 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.330 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.330 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.330 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.330 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149066.330 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.330 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.330 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.331 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.331 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.331 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.331 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.331 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.331 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149066.331 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.331 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149066.331 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.332 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.332 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.332 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.332 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.332 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.332 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.332 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.332 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149066.332 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1548149066.333 * [misc]backup-simplify:  Simplify (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.333 * [misc]approximate:  Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in (a) around 0
1548149066.333 * [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in a
1548149066.333 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) in a
1548149066.333 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) in a
1548149066.333 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1548149066.333 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1548149066.333 * [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh a) (pow a 2)) 2)) in a
1548149066.333 * [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 2) in a
1548149066.333 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.333 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.334 * [misc]backup-simplify:  Simplify (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) into (pow (fmod (cosh a) (pow a 2)) 2)
1548149066.334 * [misc]backup-simplify:  Simplify (log (pow (fmod (cosh a) (pow a 2)) 2)) into (log (pow (fmod (cosh a) (pow a 2)) 2))
1548149066.334 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) into (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))
1548149066.335 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.335 * [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) in a
1548149066.335 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) in a
1548149066.335 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) in a
1548149066.335 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1548149066.335 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1548149066.335 * [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh a) (pow a 2)) 2)) in a
1548149066.335 * [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) 2) in a
1548149066.335 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149066.335 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149066.335 * [misc]backup-simplify:  Simplify (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) into (pow (fmod (cosh a) (pow a 2)) 2)
1548149066.335 * [misc]backup-simplify:  Simplify (log (pow (fmod (cosh a) (pow a 2)) 2)) into (log (pow (fmod (cosh a) (pow a 2)) 2))
1548149066.336 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2))) into (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))
1548149066.336 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.336 * [misc]backup-simplify:  Simplify (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.337 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (* 0 (fmod (cosh a) (pow a 2)))) into 0
1548149066.339 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 1) into 0
1548149066.339 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))) into 0
1548149066.341 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1548149066.341 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.342 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))) into 0
1548149066.343 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 2) into 0
1548149066.344 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))) into 0
1548149066.346 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.346 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.347 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))) into 0
1548149066.350 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 6) into 0
1548149066.351 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))))) into 0
1548149066.354 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1548149066.354 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.355 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))) into 0
1548149066.359 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 24) into 0
1548149066.359 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))))) into 0
1548149066.362 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.362 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.363 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))))) into 0
1548149066.368 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 120) into 0
1548149066.368 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2)))))))) into 0
1548149066.373 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1548149066.373 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.374 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh a) (pow a 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))))) into 0
1548149066.382 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1)))) 720) into 0
1548149066.382 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh a) (pow a 2)) 2))))))))) into 0
1548149066.390 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh a) (pow a 2)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.390 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.390 * [misc]backup-simplify:  Simplify (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.391 * [misc]backup-simplify:  Simplify (log (exp (* (cbrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (cbrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.391 * [misc]approximate:  Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in (a) around 0
1548149066.391 * [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1548149066.391 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1548149066.391 * [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.391 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.391 * [misc]backup-simplify:  Simplify (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)
1548149066.391 * [misc]backup-simplify:  Simplify (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))
1548149066.391 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))
1548149066.391 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.391 * [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) in a
1548149066.391 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1548149066.391 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1548149066.392 * [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) in a
1548149066.392 * [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) in a
1548149066.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149066.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149066.392 * [misc]backup-simplify:  Simplify (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)
1548149066.392 * [misc]backup-simplify:  Simplify (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))
1548149066.392 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))
1548149066.392 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.392 * [misc]backup-simplify:  Simplify (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3) into (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.392 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into 0
1548149066.393 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 1) into 0
1548149066.394 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) into 0
1548149066.394 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1548149066.394 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.395 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1548149066.396 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 2) into 0
1548149066.396 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))) into 0
1548149066.397 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.397 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.397 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
1548149066.399 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 6) into 0
1548149066.400 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))))) into 0
1548149066.401 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1548149066.401 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.402 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1548149066.405 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 24) into 0
1548149066.405 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))))) into 0
1548149066.408 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.408 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.409 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
1548149066.418 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 120) into 0
1548149066.419 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))))))) into 0
1548149066.428 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1548149066.428 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.429 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
1548149066.441 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2) 1)))) 720) into 0
1548149066.442 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))))))))) into 0
1548149066.454 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.454 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.454 * [misc]backup-simplify:  Simplify (pow (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.454 * [misc]backup-simplify:  Simplify (log (exp (* (cbrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (cbrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.454 * [misc]approximate:  Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in (a) around 0
1548149066.454 * [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
1548149066.454 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) in a
1548149066.454 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) in a
1548149066.454 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1548149066.455 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1548149066.455 * [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) in a
1548149066.455 * [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) in a
1548149066.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.455 * [misc]backup-simplify:  Simplify (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)
1548149066.455 * [misc]backup-simplify:  Simplify (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))
1548149066.455 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))
1548149066.455 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.455 * [misc]taylor:  Taking taylor expansion of (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) in a
1548149066.455 * [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) in a
1548149066.455 * [misc]taylor:  Taking taylor expansion of (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) in a
1548149066.455 * [misc]taylor:  Taking taylor expansion of 1/3 in a
1548149066.455 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1548149066.455 * [misc]taylor:  Taking taylor expansion of (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) in a
1548149066.455 * [misc]taylor:  Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) in a
1548149066.455 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149066.455 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149066.456 * [misc]backup-simplify:  Simplify (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)
1548149066.456 * [misc]backup-simplify:  Simplify (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)) into (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))
1548149066.456 * [misc]backup-simplify:  Simplify (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) into (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))
1548149066.456 * [misc]backup-simplify:  Simplify (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.456 * [misc]backup-simplify:  Simplify (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3) into (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1/3)
1548149066.456 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into 0
1548149066.457 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 1) into 0
1548149066.458 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) into 0
1548149066.458 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1548149066.458 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.459 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1548149066.460 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 2) into 0
1548149066.460 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))) into 0
1548149066.461 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.461 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.462 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
1548149066.464 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 6) into 0
1548149066.464 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))))) into 0
1548149066.466 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1548149066.466 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.466 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1548149066.469 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 24) into 0
1548149066.470 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))))) into 0
1548149066.474 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.474 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.474 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
1548149066.479 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 120) into 0
1548149066.480 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))))))) into 0
1548149066.488 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1548149066.488 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.489 * [misc]backup-simplify:  Simplify (+ (* (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
1548149066.501 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2) 1)))) 720) into 0
1548149066.502 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))))))))) into 0
1548149066.514 * [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1548149066.514 * [misc]backup-simplify:  Simplify 0 into 0
1548149066.514 * [misc]backup-simplify:  Simplify (pow (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) 2) 1/3) into (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.514 * * * [misc]progress:  simplifying candidates
1548149066.514 * * * * [misc]progress:  [ 1 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log1p (expm1 (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.514 * * * * [misc]progress:  [ 2 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (expm1 (log1p (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 3 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (pow (fmod (cosh a) (* a a)) 1)))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 4 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (exp (log (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 5 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log (exp (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 6 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 7 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 8 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 9 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* 1 (fmod (cosh a) (* a a)))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 10 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (log1p (expm1 (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 11 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (expm1 (log1p (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 12 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 13 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 14 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 15 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 16 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.515 * * * * [misc]progress:  [ 17 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 18 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 19 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 20 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 21 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 22 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 23 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 24 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 25 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 26 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 27 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 28 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log1p (expm1 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 29 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (expm1 (log1p (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.516 * * * * [misc]progress:  [ 30 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.517 * [enter]simplify:  Simplifying (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))
1548149066.517 * * [misc]simplify:  iters left: 6 (10 enodes)
1548149066.520 * * [misc]simplify:  iters left: 5 (20 enodes)
1548149066.525 * * [misc]simplify:  iters left: 4 (23 enodes)
1548149066.532 * * [misc]simplify:  iters left: 3 (25 enodes)
1548149066.539 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))
1548149066.539 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149066.539 * * * * [misc]progress:  [ 31 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.540 * [enter]simplify:  Simplifying (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))
1548149066.540 * * [misc]simplify:  iters left: 6 (9 enodes)
1548149066.542 * * [misc]simplify:  iters left: 5 (17 enodes)
1548149066.547 * * [misc]simplify:  iters left: 4 (20 enodes)
1548149066.552 * * [misc]simplify:  iters left: 3 (22 enodes)
1548149066.558 * [exit]simplify:  Simplified to (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))
1548149066.558 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149066.558 * * * * [misc]progress:  [ 32 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1548149066.559 * [enter]simplify:  Simplifying (log 1)
1548149066.559 * * [misc]simplify:  iters left: 1 (2 enodes)
1548149066.560 * [exit]simplify:  Simplified to 0
1548149066.560 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1548149066.560 * * * * [misc]progress:  [ 33 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.560 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1548149066.560 * * [misc]simplify:  iters left: 4 (5 enodes)
1548149066.562 * * [misc]simplify:  iters left: 3 (11 enodes)
1548149066.565 * * [misc]simplify:  iters left: 2 (14 enodes)
1548149066.568 * * [misc]simplify:  iters left: 1 (16 enodes)
1548149066.572 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1548149066.572 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.572 * * * * [misc]progress:  [ 34 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* 1 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1548149066.572 * * * * [misc]progress:  [ 35 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.573 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1548149066.573 * * [misc]simplify:  iters left: 4 (5 enodes)
1548149066.573 * * [misc]simplify:  iters left: 3 (11 enodes)
1548149066.576 * * [misc]simplify:  iters left: 2 (14 enodes)
1548149066.578 * * [misc]simplify:  iters left: 1 (16 enodes)
1548149066.580 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1548149066.580 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (log (exp (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.580 * * * * [misc]progress:  [ 36 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) 1)) (log1p a))))>
1548149066.580 * * * * [misc]progress:  [ 37 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log1p a))))>
1548149066.580 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1548149066.580 * * [misc]simplify:  iters left: 4 (5 enodes)
1548149066.581 * * [misc]simplify:  iters left: 3 (11 enodes)
1548149066.582 * * [misc]simplify:  iters left: 2 (14 enodes)
1548149066.584 * * [misc]simplify:  iters left: 1 (16 enodes)
1548149066.586 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1548149066.586 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))) (log1p a))))
1548149066.586 * * * * [misc]progress:  [ 38 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (exp (log (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.586 * * * * [misc]progress:  [ 39 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.586 * * * * [misc]progress:  [ 40 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (cbrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.586 * * * * [misc]progress:  [ 41 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.586 * * * * [misc]progress:  [ 42 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (sqrt (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149066.586 * * * * [misc]progress:  [ 43 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (* 1 (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1548149066.586 * * * * [misc]progress:  [ 44 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))) (log1p a))))>
1548149066.587 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.587 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.588 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.589 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.589 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.589 * * * * [misc]progress:  [ 45 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))) (log1p a))))>
1548149066.589 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.589 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.590 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.591 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.591 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.592 * * * * [misc]progress:  [ 46 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))) (log1p a))))>
1548149066.592 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.592 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.592 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.594 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.594 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.594 * * * * [misc]progress:  [ 47 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.594 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.594 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.595 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.596 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.596 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.596 * * * * [misc]progress:  [ 48 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.596 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.596 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.597 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.598 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.598 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.598 * * * * [misc]progress:  [ 49 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.599 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.599 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.599 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.601 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.601 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.601 * * * * [misc]progress:  [ 50 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (pow a 2))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.601 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.601 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.602 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.603 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.603 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.603 * * * * [misc]progress:  [ 51 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (pow a 2))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.603 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.603 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.604 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.606 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.607 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.607 * * * * [misc]progress:  [ 52 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (pow a 2))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1548149066.607 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149066.607 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149066.608 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149066.611 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149066.611 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
1548149066.611 * * * * [misc]progress:  [ 53 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)) (log1p a))))>
1548149066.612 * [enter]simplify:  Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.612 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149066.614 * * [misc]simplify:  iters left: 3 (16 enodes)
1548149066.618 * * [misc]simplify:  iters left: 2 (19 enodes)
1548149066.623 * * [misc]simplify:  iters left: 1 (21 enodes)
1548149066.628 * [exit]simplify:  Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
1548149066.628 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a))))
1548149066.629 * * * * [misc]progress:  [ 54 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)) (log1p a))))>
1548149066.629 * [enter]simplify:  Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.629 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149066.631 * * [misc]simplify:  iters left: 3 (16 enodes)
1548149066.635 * * [misc]simplify:  iters left: 2 (19 enodes)
1548149066.640 * * [misc]simplify:  iters left: 1 (21 enodes)
1548149066.645 * [exit]simplify:  Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
1548149066.646 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a))))
1548149066.646 * * * * [misc]progress:  [ 55 / 55 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)) (log1p a))))>
1548149066.646 * [enter]simplify:  Simplifying (pow (pow (fmod (cosh a) (pow a 2)) 2) 1/3)
1548149066.646 * * [misc]simplify:  iters left: 4 (8 enodes)
1548149066.648 * * [misc]simplify:  iters left: 3 (16 enodes)
1548149066.652 * * [misc]simplify:  iters left: 2 (19 enodes)
1548149066.657 * * [misc]simplify:  iters left: 1 (21 enodes)
1548149066.662 * [exit]simplify:  Simplified to (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
1548149066.662 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))) (log1p a))))
1548149066.663 * * * [misc]progress:  adding candidates to table
1548149067.534 * * [misc]progress:  iteration 4 / 4
1548149067.535 * * * [misc]progress:  picking best candidate
1548149067.554 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.554 * * * [misc]progress:  localizing error
1548149067.590 * * * [misc]progress:  generating rewritten candidates
1548149067.590 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 2 1)
1548149067.590 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1 1)
1548149067.591 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1 2 1)
1548149067.591 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1 1 2 1 1 1 1)
1548149067.592 * * * [misc]progress:  generating series expansions
1548149067.592 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 2 1)
1548149067.592 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149067.592 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149067.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.592 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.592 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.592 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.593 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.593 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.593 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.593 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.593 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.593 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.593 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.593 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.593 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.593 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.593 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.594 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.594 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.594 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.594 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.594 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.594 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149067.594 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.594 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.594 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.595 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.595 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.595 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.595 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.595 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.595 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.595 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.595 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.595 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.595 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.595 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149067.596 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 2 1 1 1 1 1)
1548149067.596 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149067.596 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149067.596 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.596 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.596 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.596 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.596 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.596 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.596 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.596 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.596 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.596 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.596 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.596 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.597 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.597 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.597 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.597 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.597 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.597 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.597 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.597 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.597 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.597 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.597 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.597 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.597 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.598 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149067.598 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.598 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.598 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.598 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.598 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.598 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.598 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.598 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.598 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.599 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.599 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.599 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.599 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.599 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149067.599 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 2 1 1 2 1)
1548149067.599 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149067.599 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149067.599 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.599 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.599 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.599 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.599 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.599 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.600 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.600 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.600 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.600 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.600 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.600 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.600 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.600 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.600 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.600 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.600 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.600 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.601 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.601 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.601 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.601 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.601 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.601 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.601 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.601 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149067.601 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.601 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.601 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.601 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.601 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.602 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.602 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.602 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.602 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.602 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.602 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.602 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.602 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.602 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149067.602 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1 1 2 1 1 1 1)
1548149067.602 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1548149067.602 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1548149067.602 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.603 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.603 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1548149067.603 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.603 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.603 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.603 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.603 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.603 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.603 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.603 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.603 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1548149067.603 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.603 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.603 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.604 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.604 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1548149067.604 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.604 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1548149067.604 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.604 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.604 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.604 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.604 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.604 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.604 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1548149067.605 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.605 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1548149067.605 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.605 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.605 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1548149067.605 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.605 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1548149067.605 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.605 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.605 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.605 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.605 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.605 * [misc]backup-simplify:  Simplify 0 into 0
1548149067.606 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1548149067.606 * * * [misc]progress:  simplifying candidates
1548149067.606 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log1p (expm1 (fmod (cosh a) (* a a))))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (expm1 (log1p (fmod (cosh a) (* a a))))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (pow (fmod (cosh a) (* a a)) 1)))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (exp (log (fmod (cosh a) (* a a))))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log (exp (fmod (cosh a) (* a a))))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* 1 (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (log1p (expm1 (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.606 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (expm1 (log1p (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log1p (expm1 (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (expm1 (log1p (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (pow (fmod (cosh a) (* a a)) 1))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (exp (log (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.607 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (log (exp (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (* 1 (fmod (cosh a) (* a a))))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (log1p (expm1 (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (expm1 (log1p (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (pow (fmod (cosh a) (* a a)) 1)) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (exp (log (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.608 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (* 1 (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.609 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))))) (log1p a))))>
1548149067.609 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.609 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.610 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.613 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.614 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.614 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))))) (log1p a))))>
1548149067.614 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.614 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.616 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.617 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.617 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.617 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2))))))))) (log1p a))))>
1548149067.618 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.618 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.618 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.620 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.620 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.620 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.620 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.620 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.621 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.622 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.622 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.622 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.622 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.622 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.623 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.624 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.625 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.625 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.625 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.625 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.625 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.627 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.627 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.627 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.627 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.627 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.628 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.629 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.629 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.629 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.629 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.629 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.630 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.631 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.631 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.631 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (pow a 2)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.632 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.632 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.632 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.634 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.634 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 2 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.634 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.634 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.634 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.635 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.636 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.636 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.636 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.636 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.636 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.637 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.638 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.638 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.638 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1548149067.639 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1548149067.639 * * [misc]simplify:  iters left: 2 (5 enodes)
1548149067.639 * * [misc]simplify:  iters left: 1 (11 enodes)
1548149067.641 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1548149067.641 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1548149067.641 * * * [misc]progress:  adding candidates to table
1548149068.753 * [misc]progress:  [Phase 3 of 3] Extracting.
1548149068.753 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>)
1548149068.756 * * * [misc]regime-changes:  Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1548149068.757 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>)
1548149068.815 * * * * [misc]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) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>)
1548149068.878 * * * * [misc]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) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
1548149068.913 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))>)
1548149069.012 * * * [misc]regime:  Found split indices: #<option (#s(si 1 255))>
1548149069.013 * [enter]simplify:  Simplifying (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))))) (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))
1548149069.013 * * [misc]simplify:  iters left: 6 (16 enodes)
1548149069.015 * * [misc]simplify:  iters left: 5 (18 enodes)
1548149069.017 * [exit]simplify:  Simplified to (acos (pow (* (+ (log (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log (* (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (cbrt (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (cbrt (fmod (cosh a) (* a a)))) (log1p a)))
1548149104.431 * [misc]regime-testing:  Baseline error score: 59.4558347278207
1548149104.433 * [misc]regime-testing:  Oracle error score: 59.170097598157625
1548149104.436 * [misc]regime-testing:  End program error score: 59.4558347278207