1547627437.761 * [misc]progress:  [Phase 1 of 3] Setting up.
1547627437.763 * * * [misc]progress:  [1/2] Preparing points
1547627437.764 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1547627438.339 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627438.340 * * * * [misc]points:  Sampling 188 additional inputs, on iter 1 have 68 / 256
1547627438.545 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627438.545 * * * * [misc]points:  Sampling 150 additional inputs, on iter 2 have 106 / 256
1547627439.087 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.087 * * * * [misc]points:  Sampling 113 additional inputs, on iter 3 have 143 / 256
1547627439.269 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.269 * * * * [misc]points:  Sampling 82 additional inputs, on iter 4 have 174 / 256
1547627439.399 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.399 * * * * [misc]points:  Sampling 61 additional inputs, on iter 5 have 195 / 256
1547627439.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.491 * * * * [misc]points:  Sampling 46 additional inputs, on iter 6 have 210 / 256
1547627439.556 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.556 * * * * [misc]points:  Sampling 37 additional inputs, on iter 7 have 219 / 256
1547627439.595 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.595 * * * * [misc]points:  Sampling 29 additional inputs, on iter 8 have 227 / 256
1547627439.645 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.645 * * * * [misc]points:  Sampling 22 additional inputs, on iter 9 have 234 / 256
1547627439.673 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.673 * * * * [misc]points:  Sampling 20 additional inputs, on iter 10 have 236 / 256
1547627439.699 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.699 * * * * [misc]points:  Sampling 16 additional inputs, on iter 11 have 240 / 256
1547627439.725 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.725 * * * * [misc]points:  Sampling 11 additional inputs, on iter 12 have 245 / 256
1547627439.743 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.744 * * * * [misc]points:  Sampling 6 additional inputs, on iter 13 have 250 / 256
1547627439.751 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.751 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 252 / 256
1547627439.757 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.757 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
1547627439.759 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.759 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1547627439.761 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.761 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 255 / 256
1547627439.770 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627439.770 * * * * [exit]points:  Sampled 257 points with exact outputs
1547627439.770 * * * [misc]progress:  [2/2] Setting up program.
1547627439.778 * [misc]progress:  [Phase 2 of 3] Improving.
1547627439.779 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547627439.780 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627439.782 * * [misc]simplify:  iters left: 5 (7 enodes)
1547627439.809 * * [misc]simplify:  iters left: 4 (13 enodes)
1547627439.811 * * [misc]simplify:  iters left: 3 (16 enodes)
1547627439.814 * * [misc]simplify:  iters left: 2 (18 enodes)
1547627439.818 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627439.819 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627439.827 * * [misc]progress:  iteration 1 / 4
1547627439.827 * * * [misc]progress:  picking best candidate
1547627439.834 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547627439.834 * * * [misc]progress:  localizing error
1547627439.859 * * * [misc]progress:  generating rewritten candidates
1547627439.859 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1547627439.860 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1547627439.863 * * * [misc]progress:  generating series expansions
1547627439.863 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1547627439.867 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547627439.867 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627439.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627439.869 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627439.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627439.869 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627439.869 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627439.869 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.869 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.869 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627439.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627439.870 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627439.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627439.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627439.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627439.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627439.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627439.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627439.871 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627439.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627439.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627439.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627439.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627439.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627439.872 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.872 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.872 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.872 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.872 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.872 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627439.872 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1547627439.872 * [misc]backup-simplify:  Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627439.872 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547627439.872 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547627439.873 * [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)))
1547627439.873 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547627439.873 * [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)))
1547627439.873 * [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)))
1547627439.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.873 * [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)))
1547627439.874 * [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))))
1547627439.874 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547627439.874 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547627439.874 * [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))))
1547627439.874 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547627439.874 * [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))))
1547627439.874 * [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))))
1547627439.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.875 * [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)))
1547627439.875 * [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))))
1547627439.875 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547627439.875 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547627439.876 * [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))))
1547627439.876 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547627439.876 * [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))))
1547627439.876 * [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))))
1547627439.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627439.877 * [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)))
1547627439.877 * * * [misc]progress:  simplifying candidates
1547627439.877 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1547627439.877 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1547627439.877 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1547627439.877 * * * * [misc]progress:  [ 4 / 21 ] 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))))>
1547627439.877 * * * * [misc]progress:  [ 5 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1547627439.877 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1547627439.877 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1547627439.877 * * * * [misc]progress:  [ 8 / 21 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1547627439.878 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1547627439.878 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547627439.878 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547627439.878 * * * * [misc]progress:  [ 12 / 21 ] 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))))))>
1547627439.878 * * * * [misc]progress:  [ 13 / 21 ] 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))))))>
1547627439.878 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1547627439.878 * * * * [misc]progress:  [ 15 / 21 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1547627439.878 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627439.878 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627439.878 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627439.880 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627439.883 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627439.883 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627439.883 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627439.884 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627439.884 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627439.885 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627439.888 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627439.888 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627439.888 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627439.889 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627439.889 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627439.890 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627439.894 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627439.894 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627439.894 * * * * [misc]progress:  [ 19 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627439.894 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627439.894 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627439.896 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627439.900 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627439.904 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627439.910 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627439.910 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627439.910 * * * * [misc]progress:  [ 20 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627439.910 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627439.910 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627439.912 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627439.916 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627439.921 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627439.926 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627439.926 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627439.926 * * * * [misc]progress:  [ 21 / 21 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627439.926 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627439.926 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627439.928 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627439.932 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627439.937 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627439.943 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627439.943 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627439.943 * * * [misc]progress:  adding candidates to table
1547627440.196 * * [misc]progress:  iteration 2 / 4
1547627440.196 * * * [misc]progress:  picking best candidate
1547627440.223 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1547627440.223 * * * [misc]progress:  localizing error
1547627440.239 * * * [misc]progress:  generating rewritten candidates
1547627440.239 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1 1 1)
1547627440.240 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1547627440.241 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1547627440.243 * * * [misc]progress:  generating series expansions
1547627440.243 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1 1 1)
1547627440.243 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547627440.243 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627440.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.243 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.243 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.243 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.243 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.243 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.243 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.244 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.244 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627440.245 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1547627440.245 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1547627440.245 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627440.245 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.245 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.245 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.245 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.245 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.245 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.245 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.245 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.245 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.245 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.246 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.246 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.246 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627440.246 * [misc]backup-simplify:  Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.246 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.246 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.246 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.246 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.246 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.246 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.246 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627440.247 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1547627440.247 * [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)))
1547627440.247 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547627440.247 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547627440.247 * [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)))
1547627440.247 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547627440.247 * [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)))
1547627440.247 * [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)))
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.247 * [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)))
1547627440.248 * [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))))
1547627440.248 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547627440.248 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547627440.248 * [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))))
1547627440.248 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547627440.248 * [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))))
1547627440.248 * [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))))
1547627440.248 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.248 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.248 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.248 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.248 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.248 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.248 * [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)))
1547627440.248 * [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))))
1547627440.248 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547627440.248 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547627440.249 * [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))))
1547627440.249 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547627440.249 * [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))))
1547627440.249 * [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))))
1547627440.249 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.249 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.249 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.249 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.249 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.249 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.249 * [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)))
1547627440.249 * * * [misc]progress:  simplifying candidates
1547627440.249 * * * * [misc]progress:  [ 1 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1547627440.249 * * * * [misc]progress:  [ 2 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.249 * * * * [misc]progress:  [ 3 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.249 * * * * [misc]progress:  [ 4 / 39 ] 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))))>
1547627440.249 * * * * [misc]progress:  [ 5 / 39 ] 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))))>
1547627440.249 * * * * [misc]progress:  [ 6 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.249 * * * * [misc]progress:  [ 7 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1547627440.250 * * * * [misc]progress:  [ 8 / 39 ] 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))))>
1547627440.250 * [enter]simplify:  Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1547627440.250 * * [misc]simplify:  iters left: 6 (8 enodes)
1547627440.251 * * [misc]simplify:  iters left: 5 (16 enodes)
1547627440.253 * * [misc]simplify:  iters left: 4 (19 enodes)
1547627440.258 * * [misc]simplify:  iters left: 3 (21 enodes)
1547627440.261 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1547627440.261 * [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))))
1547627440.261 * * * * [misc]progress:  [ 9 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.261 * [enter]simplify:  Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1547627440.261 * * [misc]simplify:  iters left: 6 (7 enodes)
1547627440.262 * * [misc]simplify:  iters left: 5 (13 enodes)
1547627440.264 * * [misc]simplify:  iters left: 4 (16 enodes)
1547627440.266 * * [misc]simplify:  iters left: 3 (18 enodes)
1547627440.268 * [exit]simplify:  Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1547627440.268 * [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))))
1547627440.268 * * * * [misc]progress:  [ 10 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547627440.269 * [enter]simplify:  Simplifying (log 1)
1547627440.269 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627440.270 * [exit]simplify:  Simplified to 0
1547627440.270 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1547627440.270 * * * * [misc]progress:  [ 11 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547627440.270 * * * * [misc]progress:  [ 12 / 39 ] 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))))>
1547627440.270 * [enter]simplify:  Simplifying (cbrt (fmod (cosh a) (* a a)))
1547627440.270 * * [misc]simplify:  iters left: 4 (5 enodes)
1547627440.271 * * [misc]simplify:  iters left: 3 (11 enodes)
1547627440.273 * * [misc]simplify:  iters left: 2 (14 enodes)
1547627440.275 * * [misc]simplify:  iters left: 1 (16 enodes)
1547627440.277 * [exit]simplify:  Simplified to (cbrt (fmod (cosh a) (* a a)))
1547627440.277 * [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))))
1547627440.277 * * * * [misc]progress:  [ 13 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.277 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547627440.277 * * [misc]simplify:  iters left: 4 (5 enodes)
1547627440.278 * * [misc]simplify:  iters left: 3 (11 enodes)
1547627440.279 * * [misc]simplify:  iters left: 2 (14 enodes)
1547627440.283 * * [misc]simplify:  iters left: 1 (16 enodes)
1547627440.287 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547627440.288 * [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))))
1547627440.288 * * * * [misc]progress:  [ 14 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1547627440.288 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1547627440.288 * * [misc]simplify:  iters left: 3 (4 enodes)
1547627440.289 * * [misc]simplify:  iters left: 2 (10 enodes)
1547627440.292 * * [misc]simplify:  iters left: 1 (13 enodes)
1547627440.296 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627440.296 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1547627440.296 * * * * [misc]progress:  [ 15 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1547627440.296 * * * * [misc]progress:  [ 16 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1547627440.296 * [enter]simplify:  Simplifying (cosh a)
1547627440.296 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627440.297 * [exit]simplify:  Simplified to (cosh a)
1547627440.297 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627440.297 * * * * [misc]progress:  [ 17 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.297 * * * * [misc]progress:  [ 18 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.297 * * * * [misc]progress:  [ 19 / 39 ] 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))))>
1547627440.297 * * * * [misc]progress:  [ 20 / 39 ] 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))))>
1547627440.297 * * * * [misc]progress:  [ 21 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.297 * * * * [misc]progress:  [ 22 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1547627440.297 * * * * [misc]progress:  [ 23 / 39 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1547627440.297 * * * * [misc]progress:  [ 24 / 39 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1547627440.298 * * * * [misc]progress:  [ 25 / 39 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547627440.298 * * * * [misc]progress:  [ 26 / 39 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1547627440.298 * * * * [misc]progress:  [ 27 / 39 ] 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))))))>
1547627440.298 * * * * [misc]progress:  [ 28 / 39 ] 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))))))>
1547627440.298 * * * * [misc]progress:  [ 29 / 39 ] 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))))))>
1547627440.298 * * * * [misc]progress:  [ 30 / 39 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1547627440.298 * * * * [misc]progress:  [ 31 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547627440.298 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627440.298 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627440.300 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627440.303 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627440.303 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547627440.303 * * * * [misc]progress:  [ 32 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547627440.303 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627440.303 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627440.305 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627440.308 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627440.308 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547627440.308 * * * * [misc]progress:  [ 33 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547627440.308 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627440.309 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627440.310 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627440.313 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627440.313 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1547627440.313 * * * * [misc]progress:  [ 34 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627440.314 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627440.314 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627440.315 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627440.318 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627440.319 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627440.319 * * * * [misc]progress:  [ 35 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627440.319 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627440.319 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627440.320 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627440.324 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627440.324 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627440.324 * * * * [misc]progress:  [ 36 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627440.324 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627440.324 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627440.326 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627440.329 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627440.329 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627440.329 * * * * [misc]progress:  [ 37 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627440.329 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627440.329 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627440.332 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627440.336 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627440.340 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627440.345 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627440.345 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627440.346 * * * * [misc]progress:  [ 38 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627440.346 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627440.346 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627440.348 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627440.352 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627440.357 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627440.362 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627440.362 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627440.362 * * * * [misc]progress:  [ 39 / 39 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627440.362 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627440.363 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627440.365 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627440.369 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627440.373 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627440.379 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627440.379 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627440.379 * * * [misc]progress:  adding candidates to table
1547627440.862 * * [misc]progress:  iteration 3 / 4
1547627440.862 * * * [misc]progress:  picking best candidate
1547627440.899 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.899 * * * [misc]progress:  localizing error
1547627440.915 * * * [misc]progress:  generating rewritten candidates
1547627440.915 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1547627440.915 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 1)
1547627440.915 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1547627440.917 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1547627440.919 * * * [misc]progress:  generating series expansions
1547627440.919 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1547627440.919 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547627440.919 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627440.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.919 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.919 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.919 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.919 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.919 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.919 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.919 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.919 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.919 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.919 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.920 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.920 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.920 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.920 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.923 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.923 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.923 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.923 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.923 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.923 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.923 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.923 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627440.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.924 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.924 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.924 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.924 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.924 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.924 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.924 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.924 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627440.924 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 1)
1547627440.924 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547627440.924 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627440.924 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.925 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.925 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.925 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.925 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.925 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.925 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627440.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.926 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627440.926 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.926 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.926 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.926 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.926 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.926 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.926 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.926 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.926 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627440.926 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1547627440.926 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627440.926 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1547627440.926 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547627440.926 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.927 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.927 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627440.927 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627440.927 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547627440.927 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627440.927 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627440.927 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627440.927 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627440.927 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627440.927 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.929 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627440.929 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.930 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627440.930 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.930 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627440.930 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.930 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627440.931 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.931 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627440.931 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.931 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627440.931 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547627440.931 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1547627440.931 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547627440.931 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.932 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.932 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547627440.932 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.932 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547627440.932 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627440.932 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627440.932 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547627440.932 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.932 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547627440.932 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.933 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.933 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.933 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.933 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.934 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.934 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.934 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.934 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.935 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.935 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.935 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627440.935 * [misc]backup-simplify:  Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547627440.935 * [misc]approximate:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1547627440.935 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547627440.935 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.935 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.935 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547627440.935 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.935 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547627440.935 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627440.935 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627440.936 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547627440.936 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.936 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547627440.936 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.936 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.936 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.937 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.937 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.937 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.937 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.938 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.938 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.938 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627440.938 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.938 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627440.938 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1547627440.939 * [misc]backup-simplify:  Simplify (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627440.939 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1547627440.939 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547627440.939 * [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)))
1547627440.939 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1547627440.939 * [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)))
1547627440.939 * [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)))
1547627440.939 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.939 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.939 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.939 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.939 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.939 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.939 * [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)))
1547627440.939 * [misc]backup-simplify:  Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (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))))
1547627440.939 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1547627440.939 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547627440.940 * [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))))
1547627440.940 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1547627440.940 * [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))))
1547627440.940 * [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))))
1547627440.940 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.940 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.940 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.940 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.940 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.940 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.940 * [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)))
1547627440.940 * [misc]backup-simplify:  Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (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))))
1547627440.941 * [misc]approximate:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1547627440.941 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547627440.941 * [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))))
1547627440.941 * [misc]taylor:  Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1547627440.941 * [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))))
1547627440.941 * [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))))
1547627440.941 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.941 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.941 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.941 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.941 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.941 * [misc]backup-simplify:  Simplify 0 into 0
1547627440.941 * [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)))
1547627440.941 * * * [misc]progress:  simplifying candidates
1547627440.941 * * * * [misc]progress:  [ 1 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1547627440.941 * * * * [misc]progress:  [ 2 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.941 * * * * [misc]progress:  [ 3 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.941 * * * * [misc]progress:  [ 4 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 5 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 6 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 7 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 8 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627440.942 * * * * [misc]progress:  [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.942 * [enter]simplify:  Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547627440.942 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627440.944 * * [misc]simplify:  iters left: 5 (17 enodes)
1547627440.946 * * [misc]simplify:  iters left: 4 (20 enodes)
1547627440.949 * * [misc]simplify:  iters left: 3 (22 enodes)
1547627440.952 * [exit]simplify:  Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547627440.952 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627440.952 * * * * [misc]progress:  [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.952 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547627440.952 * * [misc]simplify:  iters left: 6 (8 enodes)
1547627440.953 * * [misc]simplify:  iters left: 5 (14 enodes)
1547627440.955 * * [misc]simplify:  iters left: 4 (17 enodes)
1547627440.958 * * [misc]simplify:  iters left: 3 (19 enodes)
1547627440.960 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547627440.960 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627440.960 * * * * [misc]progress:  [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1547627440.960 * [enter]simplify:  Simplifying (log 1)
1547627440.961 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627440.961 * [exit]simplify:  Simplified to 0
1547627440.961 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))
1547627440.961 * * * * [misc]progress:  [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1547627440.962 * * * * [misc]progress:  [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547627440.962 * [enter]simplify:  Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1547627440.962 * * [misc]simplify:  iters left: 5 (6 enodes)
1547627440.963 * * [misc]simplify:  iters left: 4 (12 enodes)
1547627440.964 * * [misc]simplify:  iters left: 3 (15 enodes)
1547627440.966 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627440.969 * [exit]simplify:  Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1547627440.969 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1547627440.969 * * * * [misc]progress:  [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547627440.969 * [enter]simplify:  Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1547627440.969 * * [misc]simplify:  iters left: 5 (6 enodes)
1547627440.970 * * [misc]simplify:  iters left: 4 (12 enodes)
1547627440.972 * * [misc]simplify:  iters left: 3 (15 enodes)
1547627440.974 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627440.976 * [exit]simplify:  Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1547627440.976 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1547627440.976 * * * * [misc]progress:  [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.976 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1547627440.976 * * [misc]simplify:  iters left: 5 (6 enodes)
1547627440.977 * * [misc]simplify:  iters left: 4 (12 enodes)
1547627440.979 * * [misc]simplify:  iters left: 3 (15 enodes)
1547627440.981 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627440.983 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1547627440.983 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627440.983 * * * * [misc]progress:  [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1547627440.983 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547627440.983 * * [misc]simplify:  iters left: 4 (5 enodes)
1547627440.984 * * [misc]simplify:  iters left: 3 (11 enodes)
1547627440.986 * * [misc]simplify:  iters left: 2 (14 enodes)
1547627440.987 * * [misc]simplify:  iters left: 1 (16 enodes)
1547627440.990 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547627440.990 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))
1547627440.990 * * * * [misc]progress:  [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627440.990 * [enter]simplify:  Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1547627440.990 * * [misc]simplify:  iters left: 5 (6 enodes)
1547627440.991 * * [misc]simplify:  iters left: 4 (12 enodes)
1547627440.993 * * [misc]simplify:  iters left: 3 (15 enodes)
1547627440.995 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627440.997 * [exit]simplify:  Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1547627440.997 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627440.997 * * * * [misc]progress:  [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1547627440.998 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (* a a)))
1547627440.998 * * [misc]simplify:  iters left: 4 (5 enodes)
1547627440.998 * * [misc]simplify:  iters left: 3 (11 enodes)
1547627441.000 * * [misc]simplify:  iters left: 2 (14 enodes)
1547627441.002 * * [misc]simplify:  iters left: 1 (16 enodes)
1547627441.004 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547627441.004 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))
1547627441.004 * * * * [misc]progress:  [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1547627441.004 * * * * [misc]progress:  [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1547627441.004 * [enter]simplify:  Simplifying (fmod (cosh a) (* a a))
1547627441.004 * * [misc]simplify:  iters left: 3 (4 enodes)
1547627441.005 * * [misc]simplify:  iters left: 2 (10 enodes)
1547627441.006 * * [misc]simplify:  iters left: 1 (13 enodes)
1547627441.008 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627441.008 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1547627441.008 * * * * [misc]progress:  [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627441.008 * * * * [misc]progress:  [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627441.008 * * * * [misc]progress:  [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627441.008 * * * * [misc]progress:  [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627441.008 * * * * [misc]progress:  [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627441.008 * * * * [misc]progress:  [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1547627441.008 * * * * [misc]progress:  [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1547627441.008 * * * * [misc]progress:  [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1547627441.008 * * * * [misc]progress:  [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547627441.009 * * * * [misc]progress:  [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547627441.009 * * * * [misc]progress:  [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547627441.009 * * * * [misc]progress:  [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547627441.009 * * * * [misc]progress:  [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1547627441.009 * * * * [misc]progress:  [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1547627441.009 * * * * [misc]progress:  [ 41 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1547627441.009 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627441.009 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627441.010 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627441.013 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627441.013 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1547627441.013 * * * * [misc]progress:  [ 42 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1547627441.013 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627441.013 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627441.014 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627441.016 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627441.016 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1547627441.016 * * * * [misc]progress:  [ 43 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1547627441.016 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627441.016 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627441.017 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627441.018 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627441.018 * [misc]simplify:  Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1547627441.018 * * * * [misc]progress:  [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627441.018 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627441.019 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627441.019 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627441.021 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627441.021 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1547627441.021 * * * * [misc]progress:  [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627441.021 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627441.021 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627441.022 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627441.023 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627441.023 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1547627441.023 * * * * [misc]progress:  [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1547627441.024 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627441.024 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627441.024 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627441.026 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627441.026 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1547627441.026 * * * * [misc]progress:  [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547627441.026 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547627441.026 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627441.027 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627441.029 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627441.031 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547627441.031 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1547627441.031 * * * * [misc]progress:  [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547627441.031 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547627441.031 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627441.032 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627441.034 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627441.036 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547627441.036 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1547627441.036 * * * * [misc]progress:  [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1547627441.036 * [enter]simplify:  Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1547627441.036 * * [misc]simplify:  iters left: 3 (6 enodes)
1547627441.037 * * [misc]simplify:  iters left: 2 (12 enodes)
1547627441.038 * * [misc]simplify:  iters left: 1 (15 enodes)
1547627441.040 * [exit]simplify:  Simplified to (sqrt (fmod (cosh a) (* a a)))
1547627441.041 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1547627441.041 * * * * [misc]progress:  [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627441.041 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627441.041 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627441.042 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627441.044 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627441.046 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627441.048 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627441.048 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627441.048 * * * * [misc]progress:  [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627441.048 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627441.049 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627441.050 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627441.052 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627441.054 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627441.056 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627441.056 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627441.056 * * * * [misc]progress:  [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1547627441.056 * [enter]simplify:  Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1547627441.056 * * [misc]simplify:  iters left: 4 (8 enodes)
1547627441.057 * * [misc]simplify:  iters left: 3 (14 enodes)
1547627441.060 * * [misc]simplify:  iters left: 2 (17 enodes)
1547627441.062 * * [misc]simplify:  iters left: 1 (19 enodes)
1547627441.064 * [exit]simplify:  Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1547627441.064 * [misc]simplify:  Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1547627441.064 * * * [misc]progress:  adding candidates to table
1547627441.807 * * [misc]progress:  iteration 4 / 4
1547627441.807 * * * [misc]progress:  picking best candidate
1547627441.842 * * * * [misc]pick:  Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627441.843 * * * [misc]progress:  localizing error
1547627441.867 * * * [misc]progress:  generating rewritten candidates
1547627441.867 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1 1)
1547627441.867 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1 1)
1547627441.867 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1)
1547627441.868 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 2)
1547627441.873 * * * [misc]progress:  generating series expansions
1547627441.873 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1 1)
1547627441.873 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547627441.873 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627441.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.873 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.873 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.873 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.873 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.873 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.874 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.874 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.874 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627441.874 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.874 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.874 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.874 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.874 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.875 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627441.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.875 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627441.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627441.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.875 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627441.875 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.876 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.876 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.876 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627441.876 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1 1)
1547627441.876 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547627441.876 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627441.876 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.876 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.876 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.877 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.877 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.877 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.877 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.877 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.877 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627441.877 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.877 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.877 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.878 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.878 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.878 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.878 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.878 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.878 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627441.878 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.878 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627441.878 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627441.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.879 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627441.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.879 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.879 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.879 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.879 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.879 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.879 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.879 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627441.879 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1)
1547627441.880 * [misc]backup-simplify:  Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1547627441.880 * [misc]approximate:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1547627441.880 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.880 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.880 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.880 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.880 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.880 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.880 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.880 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.880 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.880 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.880 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.880 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.880 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.880 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627441.881 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.881 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.881 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.881 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.881 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.881 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.881 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.881 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.881 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.881 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.881 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.881 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1547627441.882 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.882 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1547627441.882 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627441.882 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.882 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627441.882 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.882 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627441.882 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.882 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.882 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.882 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.882 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.883 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.883 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1547627441.883 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 2)
1547627441.883 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627441.883 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in (a) around 0
1547627441.883 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a
1547627441.883 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a
1547627441.883 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a
1547627441.883 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547627441.883 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.883 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.883 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627441.884 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627441.884 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2))))
1547627441.884 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))
1547627441.886 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1547627441.887 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547627441.887 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627441.887 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) in a
1547627441.887 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) in a
1547627441.887 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh a) (pow a 2)))) in a
1547627441.887 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1547627441.887 * [misc]taylor:  Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1547627441.887 * [misc]backup-simplify:  Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1547627441.887 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1547627441.887 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627441.888 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh a) (pow a 2)))) into (exp (sqrt (fmod (cosh a) (pow a 2))))
1547627441.888 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) into (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))
1547627441.889 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1547627441.889 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547627441.890 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627441.890 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627441.891 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 1) into 0
1547627441.891 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.893 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627441.895 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547627441.896 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547627441.898 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 2) into 0
1547627441.898 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.899 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627441.902 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547627441.903 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547627441.906 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 6) into 0
1547627441.906 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.907 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627441.913 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 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
1547627441.914 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547627441.919 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 24) into 0
1547627441.920 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.920 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627441.925 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 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
1547627441.926 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547627441.930 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 120) into 0
1547627441.931 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.931 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1547627441.939 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh a) (pow a 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
1547627441.939 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))) into 0
1547627441.947 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))) 1)))) 720) into 0
1547627441.947 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.947 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627441.947 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547627441.947 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in (a) around 0
1547627441.947 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
1547627441.947 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1547627441.947 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1547627441.947 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547627441.947 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.947 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.947 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547627441.948 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627441.948 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
1547627441.948 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
1547627441.949 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547627441.949 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547627441.949 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547627441.949 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
1547627441.949 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
1547627441.949 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
1547627441.949 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1547627441.949 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1547627441.949 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1547627441.949 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1547627441.949 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627441.949 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
1547627441.949 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
1547627441.950 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547627441.950 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547627441.950 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547627441.951 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))
1547627441.951 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0
1547627441.951 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.952 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627441.953 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547627441.953 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547627441.954 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0
1547627441.954 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.955 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627441.958 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547627441.958 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547627441.962 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0
1547627441.962 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.963 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627441.968 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 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
1547627441.969 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547627441.979 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0
1547627441.979 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.980 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627441.988 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 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
1547627441.989 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547627441.996 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0
1547627441.996 * [misc]backup-simplify:  Simplify 0 into 0
1547627441.997 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.005 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 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
1547627442.006 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.013 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0
1547627442.013 * [misc]backup-simplify:  Simplify 0 into 0
1547627442.013 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627442.014 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547627442.014 * [misc]approximate:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in (a) around 0
1547627442.014 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
1547627442.014 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1547627442.014 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1547627442.014 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547627442.014 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627442.014 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627442.014 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547627442.014 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.014 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
1547627442.014 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
1547627442.015 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547627442.015 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.015 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547627442.015 * [misc]taylor:  Taking taylor expansion of (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
1547627442.015 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
1547627442.015 * [misc]taylor:  Taking taylor expansion of (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
1547627442.015 * [misc]taylor:  Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1547627442.015 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1547627442.015 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1547627442.016 * [misc]backup-simplify:  Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1547627442.016 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.016 * [misc]backup-simplify:  Simplify (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
1547627442.016 * [misc]backup-simplify:  Simplify (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
1547627442.017 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
1547627442.017 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.017 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547627442.017 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))
1547627442.018 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 1) into 0
1547627442.018 * [misc]backup-simplify:  Simplify 0 into 0
1547627442.018 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.019 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1547627442.020 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.021 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 2) into 0
1547627442.021 * [misc]backup-simplify:  Simplify 0 into 0
1547627442.021 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.023 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1547627442.023 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.025 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 6) into 0
1547627442.025 * [misc]backup-simplify:  Simplify 0 into 0
1547627442.026 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.029 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 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
1547627442.029 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.033 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 24) into 0
1547627442.033 * [misc]backup-simplify:  Simplify 0 into 0
1547627442.033 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.038 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 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
1547627442.039 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.046 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 120) into 0
1547627442.047 * [misc]backup-simplify:  Simplify 0 into 0
1547627442.048 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1547627442.061 * [misc]backup-simplify:  Simplify (* (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 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
1547627442.062 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
1547627442.072 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) 1)))) 720) into 0
1547627442.072 * [misc]backup-simplify:  Simplify 0 into 0
1547627442.072 * [misc]backup-simplify:  Simplify (log (sqrt (exp (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))))))) into (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627442.072 * * * [misc]progress:  simplifying candidates
1547627442.072 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.072 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.073 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.073 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1547627442.073 * * [misc]simplify:  iters left: 6 (10 enodes)
1547627442.075 * * [misc]simplify:  iters left: 5 (18 enodes)
1547627442.077 * * [misc]simplify:  iters left: 4 (21 enodes)
1547627442.080 * * [misc]simplify:  iters left: 3 (23 enodes)
1547627442.083 * [exit]simplify:  Simplified to (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1547627442.083 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (+ (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547627442.083 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (sqrt (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.083 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))))
1547627442.083 * * [misc]simplify:  iters left: 6 (10 enodes)
1547627442.085 * * [misc]simplify:  iters left: 5 (17 enodes)
1547627442.088 * * [misc]simplify:  iters left: 4 (20 enodes)
1547627442.091 * * [misc]simplify:  iters left: 3 (22 enodes)
1547627442.094 * [exit]simplify:  Simplified to (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547627442.094 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (fabs (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547627442.094 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.094 * [enter]simplify:  Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547627442.094 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627442.096 * * [misc]simplify:  iters left: 5 (15 enodes)
1547627442.100 * * [misc]simplify:  iters left: 4 (18 enodes)
1547627442.104 * * [misc]simplify:  iters left: 3 (20 enodes)
1547627442.110 * [exit]simplify:  Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547627442.110 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547627442.110 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt 1)) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547627442.110 * [enter]simplify:  Simplifying (log (sqrt 1))
1547627442.111 * * [misc]simplify:  iters left: 2 (3 enodes)
1547627442.113 * * [misc]simplify:  iters left: 1 (5 enodes)
1547627442.114 * [exit]simplify:  Simplified to 0
1547627442.114 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1547627442.114 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.114 * [enter]simplify:  Simplifying (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547627442.114 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627442.117 * * [misc]simplify:  iters left: 5 (15 enodes)
1547627442.121 * * [misc]simplify:  iters left: 4 (18 enodes)
1547627442.125 * * [misc]simplify:  iters left: 3 (20 enodes)
1547627442.127 * [exit]simplify:  Simplified to (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1547627442.127 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))
1547627442.127 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log 1) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547627442.128 * [enter]simplify:  Simplifying (log 1)
1547627442.128 * * [misc]simplify:  iters left: 1 (2 enodes)
1547627442.128 * [exit]simplify:  Simplified to 0
1547627442.128 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ 0 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
1547627442.128 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1/2 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.129 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547627442.129 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (pow (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) 1))) (log1p a))))>
1547627442.129 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.129 * [enter]simplify:  Simplifying (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))
1547627442.129 * * [misc]simplify:  iters left: 6 (7 enodes)
1547627442.130 * * [misc]simplify:  iters left: 5 (13 enodes)
1547627442.132 * * [misc]simplify:  iters left: 4 (16 enodes)
1547627442.135 * * [misc]simplify:  iters left: 3 (18 enodes)
1547627442.137 * [exit]simplify:  Simplified to (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))
1547627442.137 * [misc]simplify:  Simplified (2 1 1 2 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.137 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (exp (log (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.137 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.137 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* (* (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (cbrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.137 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (* (* (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.137 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* (sqrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (sqrt (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))>
1547627442.137 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (* 1 (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
1547627442.137 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547627442.138 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.138 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.138 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.140 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.140 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.140 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547627442.140 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.140 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.141 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.143 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.143 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.143 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547627442.143 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.143 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.144 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.145 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.145 * [misc]simplify:  Simplified (2 1 1 2 2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.145 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.145 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.145 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.146 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.148 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.148 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.148 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.148 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.148 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.149 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.150 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.150 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.151 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.151 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.151 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.152 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.155 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.155 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.155 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.155 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.155 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.157 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.160 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.160 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.160 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.160 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.160 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.162 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.165 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.165 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.165 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1547627442.165 * [enter]simplify:  Simplifying (fmod (cosh a) (pow a 2))
1547627442.166 * * [misc]simplify:  iters left: 2 (5 enodes)
1547627442.167 * * [misc]simplify:  iters left: 1 (11 enodes)
1547627442.170 * [exit]simplify:  Simplified to (fmod (cosh a) (* a a))
1547627442.170 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.170 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547627442.171 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627442.171 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627442.173 * * [misc]simplify:  iters left: 5 (15 enodes)
1547627442.177 * * [misc]simplify:  iters left: 4 (18 enodes)
1547627442.182 * * [misc]simplify:  iters left: 3 (20 enodes)
1547627442.187 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547627442.187 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.187 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547627442.187 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627442.187 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627442.189 * * [misc]simplify:  iters left: 5 (15 enodes)
1547627442.190 * * [misc]simplify:  iters left: 4 (18 enodes)
1547627442.193 * * [misc]simplify:  iters left: 3 (20 enodes)
1547627442.195 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547627442.195 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.195 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2)))))))) (log1p a))))>
1547627442.196 * [enter]simplify:  Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (pow a 2))))))
1547627442.196 * * [misc]simplify:  iters left: 6 (9 enodes)
1547627442.197 * * [misc]simplify:  iters left: 5 (15 enodes)
1547627442.200 * * [misc]simplify:  iters left: 4 (18 enodes)
1547627442.202 * * [misc]simplify:  iters left: 3 (20 enodes)
1547627442.204 * [exit]simplify:  Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1547627442.204 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
1547627442.204 * * * [misc]progress:  adding candidates to table
1547627443.175 * [misc]progress:  [Phase 3 of 3] Extracting.
1547627443.176 * * [misc]regime:  Finding splitpoints for: (#<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))))))> #<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) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<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))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (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))))>)
1547627443.181 * * * [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))))
1547627443.182 * * * * [misc]regimes:  Trying to branch on a from (#<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))))))> #<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) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<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))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (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))))>)
1547627443.267 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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))))))> #<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) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<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))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (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))))>)
1547627443.394 * * * * [misc]regimes:  Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<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))))))>)
1547627443.441 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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))))))> #<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) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<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))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (* (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a))))> #<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))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (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))))>)
1547627443.537 * * * * [misc]regimes:  Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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))))))> #<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))))))>)
1547627443.603 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1547627443.604 * [enter]simplify:  Simplifying (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))))) (log1p a)))
1547627443.604 * * [misc]simplify:  iters left: 6 (16 enodes)
1547627443.605 * * [misc]simplify:  iters left: 5 (18 enodes)
1547627443.607 * [exit]simplify:  Simplified to (acos (pow (* (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (+ (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))
1547627443.607 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1547627456.031 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627456.033 * * * * [misc]points:  Sampling 6008 additional inputs, on iter 1 have 1992 / 8000
1547627464.873 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627464.874 * * * * [misc]points:  Sampling 4527 additional inputs, on iter 2 have 3473 / 8000
1547627471.471 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627471.472 * * * * [misc]points:  Sampling 3346 additional inputs, on iter 3 have 4654 / 8000
1547627476.853 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627476.854 * * * * [misc]points:  Sampling 2497 additional inputs, on iter 4 have 5503 / 8000
1547627481.044 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627481.044 * * * * [misc]points:  Sampling 1873 additional inputs, on iter 5 have 6127 / 8000
1547627483.586 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627483.586 * * * * [misc]points:  Sampling 1429 additional inputs, on iter 6 have 6571 / 8000
1547627485.710 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627485.710 * * * * [misc]points:  Sampling 1071 additional inputs, on iter 7 have 6929 / 8000
1547627487.324 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627487.325 * * * * [misc]points:  Sampling 802 additional inputs, on iter 8 have 7198 / 8000
1547627488.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627488.872 * * * * [misc]points:  Sampling 595 additional inputs, on iter 9 have 7405 / 8000
1547627489.646 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627489.646 * * * * [misc]points:  Sampling 453 additional inputs, on iter 10 have 7547 / 8000
1547627490.380 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627490.380 * * * * [misc]points:  Sampling 334 additional inputs, on iter 11 have 7666 / 8000
1547627490.797 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627490.797 * * * * [misc]points:  Sampling 248 additional inputs, on iter 12 have 7752 / 8000
1547627491.182 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627491.182 * * * * [misc]points:  Sampling 194 additional inputs, on iter 13 have 7806 / 8000
1547627491.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627491.483 * * * * [misc]points:  Sampling 144 additional inputs, on iter 14 have 7856 / 8000
1547627491.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627491.694 * * * * [misc]points:  Sampling 113 additional inputs, on iter 15 have 7887 / 8000
1547627491.886 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627491.886 * * * * [misc]points:  Sampling 81 additional inputs, on iter 16 have 7919 / 8000
1547627492.027 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.027 * * * * [misc]points:  Sampling 63 additional inputs, on iter 17 have 7937 / 8000
1547627492.164 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.164 * * * * [misc]points:  Sampling 46 additional inputs, on iter 18 have 7954 / 8000
1547627492.246 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.246 * * * * [misc]points:  Sampling 31 additional inputs, on iter 19 have 7969 / 8000
1547627492.289 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.289 * * * * [misc]points:  Sampling 24 additional inputs, on iter 20 have 7976 / 8000
1547627492.310 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.310 * * * * [misc]points:  Sampling 15 additional inputs, on iter 21 have 7985 / 8000
1547627492.340 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.340 * * * * [misc]points:  Sampling 12 additional inputs, on iter 22 have 7988 / 8000
1547627492.359 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.359 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1547627492.377 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.377 * * * * [misc]points:  Sampling 8 additional inputs, on iter 24 have 7992 / 8000
1547627492.394 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.394 * * * * [misc]points:  Sampling 5 additional inputs, on iter 25 have 7995 / 8000
1547627492.410 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.410 * * * * [misc]points:  Sampling 5 additional inputs, on iter 26 have 7995 / 8000
1547627492.420 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.420 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7998 / 8000
1547627492.422 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.422 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1547627492.427 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.428 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7999 / 8000
1547627492.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.433 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7999 / 8000
1547627492.438 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.438 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7999 / 8000
1547627492.468 * * * * [misc]points:  Filtering points with unrepresentable outputs
1547627492.468 * * * * [exit]points:  Sampled 8000 points with exact outputs
1547627494.064 * [misc]regime-testing:  Baseline error score: 59.09916397734675
1547627494.067 * [misc]regime-testing:  Oracle error score: 58.97371886750402
1547627494.073 * [misc]regime-testing:  End program error score: 59.09916397734675