1553844832.953 * [progress]: [Phase 1 of 3] Setting up.
1553844832.955 * * * [progress]: [1/2] Preparing points
1553844834.628 * * * [progress]: [2/2] Setting up program.
1553844834.666 * [progress]: [Phase 2 of 3] Improving.
1553844834.666 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1553844834.667 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844834.668 * * [simplify]: iters left: 5 (7 enodes)
1553844834.673 * * [simplify]: iters left: 4 (30 enodes)
1553844834.683 * * [simplify]: iters left: 3 (52 enodes)
1553844834.692 * * [simplify]: iters left: 2 (80 enodes)
1553844834.706 * * [simplify]: iters left: 1 (137 enodes)
1553844834.732 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844834.733 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844834.733 * * [simplify]: Extracting #2: cost 15 inf + 0
1553844834.733 * * [simplify]: Extracting #3: cost 52 inf + 1
1553844834.734 * * [simplify]: Extracting #4: cost 67 inf + 61
1553844834.735 * * [simplify]: Extracting #5: cost 47 inf + 4801
1553844834.737 * * [simplify]: Extracting #6: cost 27 inf + 11788
1553844834.743 * * [simplify]: Extracting #7: cost 2 inf + 27949
1553844834.749 * * [simplify]: Extracting #8: cost 0 inf + 28280
1553844834.755 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844834.766 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844834.776 * * [progress]: iteration 1 / 4
1553844834.776 * * * [progress]: picking best candidate
1553844834.782 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1553844834.783 * * * [progress]: localizing error
1553844834.821 * * * [progress]: generating rewritten candidates
1553844834.821 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
1553844834.823 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1553844834.828 * * * [progress]: generating series expansions
1553844834.828 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
1553844834.834 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1553844834.834 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1553844834.836 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844834.838 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844834.838 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844834.838 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844834.839 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844834.839 * [backup-simplify]: Simplify 0 into 0
1553844834.839 * [backup-simplify]: Simplify 0 into 0
1553844834.839 * [backup-simplify]: Simplify 0 into 0
1553844834.839 * [backup-simplify]: Simplify 0 into 0
1553844834.839 * [backup-simplify]: Simplify 0 into 0
1553844834.839 * [backup-simplify]: Simplify 0 into 0
1553844834.839 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844834.839 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844834.839 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844834.839 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844834.840 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844834.840 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844834.840 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844834.840 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844834.840 * [backup-simplify]: Simplify 0 into 0
1553844834.840 * [backup-simplify]: Simplify 0 into 0
1553844834.840 * [backup-simplify]: Simplify 0 into 0
1553844834.840 * [backup-simplify]: Simplify 0 into 0
1553844834.840 * [backup-simplify]: Simplify 0 into 0
1553844834.840 * [backup-simplify]: Simplify 0 into 0
1553844834.840 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1553844834.841 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844834.842 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844834.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844834.842 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844834.842 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844834.842 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844834.842 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844834.842 * [backup-simplify]: Simplify 0 into 0
1553844834.842 * [backup-simplify]: Simplify 0 into 0
1553844834.842 * [backup-simplify]: Simplify 0 into 0
1553844834.842 * [backup-simplify]: Simplify 0 into 0
1553844834.842 * [backup-simplify]: Simplify 0 into 0
1553844834.842 * [backup-simplify]: Simplify 0 into 0
1553844834.843 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1553844834.843 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1553844834.843 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.843 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1553844834.843 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844834.843 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.843 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844834.843 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.843 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.843 * [backup-simplify]: Simplify 0 into 0
1553844834.844 * [backup-simplify]: Simplify 0 into 0
1553844834.844 * [backup-simplify]: Simplify 0 into 0
1553844834.844 * [backup-simplify]: Simplify 0 into 0
1553844834.844 * [backup-simplify]: Simplify 0 into 0
1553844834.844 * [backup-simplify]: Simplify 0 into 0
1553844834.844 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.844 * [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))))
1553844834.844 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1553844834.844 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844834.844 * [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))))
1553844834.844 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844834.845 * [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))))
1553844834.845 * [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))))
1553844834.845 * [backup-simplify]: Simplify 0 into 0
1553844834.845 * [backup-simplify]: Simplify 0 into 0
1553844834.845 * [backup-simplify]: Simplify 0 into 0
1553844834.845 * [backup-simplify]: Simplify 0 into 0
1553844834.845 * [backup-simplify]: Simplify 0 into 0
1553844834.845 * [backup-simplify]: Simplify 0 into 0
1553844834.845 * [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)))
1553844834.845 * [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))))
1553844834.845 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1553844834.845 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844834.845 * [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))))
1553844834.845 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844834.846 * [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))))
1553844834.846 * [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))))
1553844834.846 * [backup-simplify]: Simplify 0 into 0
1553844834.846 * [backup-simplify]: Simplify 0 into 0
1553844834.846 * [backup-simplify]: Simplify 0 into 0
1553844834.846 * [backup-simplify]: Simplify 0 into 0
1553844834.846 * [backup-simplify]: Simplify 0 into 0
1553844834.846 * [backup-simplify]: Simplify 0 into 0
1553844834.846 * [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)))
1553844834.846 * * * [progress]: simplifying candidates
1553844834.846 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1553844834.846 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1553844834.846 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1553844834.846 * * * * [progress]: [ 4 / 23 ] 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))))>
1553844834.846 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1553844834.846 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1553844834.846 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1553844834.846 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
1553844834.846 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1553844834.847 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1553844834.847 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1553844834.847 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1553844834.847 * * * * [progress]: [ 13 / 23 ] 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))))))>
1553844834.847 * * * * [progress]: [ 14 / 23 ] 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))))))>
1553844834.847 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1553844834.847 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1553844834.847 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1553844834.847 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844834.847 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844834.847 * * [simplify]: iters left: 2 (5 enodes)
1553844834.849 * * [simplify]: iters left: 1 (25 enodes)
1553844834.853 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844834.853 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844834.853 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844834.853 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844834.853 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844834.853 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844834.854 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844834.854 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844834.854 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844834.854 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844834.854 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844834.854 * * [simplify]: iters left: 2 (5 enodes)
1553844834.856 * * [simplify]: iters left: 1 (25 enodes)
1553844834.860 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844834.860 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844834.860 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844834.860 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844834.860 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844834.860 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844834.861 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844834.861 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844834.861 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844834.861 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844834.861 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844834.861 * * [simplify]: iters left: 2 (5 enodes)
1553844834.863 * * [simplify]: iters left: 1 (25 enodes)
1553844834.867 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844834.867 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844834.867 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844834.867 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844834.867 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844834.867 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844834.867 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844834.867 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844834.867 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844834.867 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844834.868 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.868 * * [simplify]: iters left: 4 (8 enodes)
1553844834.870 * * [simplify]: iters left: 3 (37 enodes)
1553844834.878 * * [simplify]: iters left: 2 (60 enodes)
1553844834.899 * * [simplify]: iters left: 1 (86 enodes)
1553844834.912 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844834.912 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844834.912 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844834.912 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844834.913 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844834.913 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844834.914 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844834.915 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844834.916 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844834.919 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844834.919 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844834.920 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844834.920 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.920 * * [simplify]: iters left: 4 (8 enodes)
1553844834.924 * * [simplify]: iters left: 3 (37 enodes)
1553844834.936 * * [simplify]: iters left: 2 (60 enodes)
1553844834.954 * * [simplify]: iters left: 1 (86 enodes)
1553844834.981 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844834.981 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844834.981 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844834.981 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844834.981 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844834.982 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844834.982 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844834.984 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844834.985 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844834.987 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844834.987 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844834.987 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844834.987 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844834.987 * * [simplify]: iters left: 4 (8 enodes)
1553844834.990 * * [simplify]: iters left: 3 (37 enodes)
1553844834.996 * * [simplify]: iters left: 2 (60 enodes)
1553844835.005 * * [simplify]: iters left: 1 (86 enodes)
1553844835.021 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.021 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.021 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844835.021 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844835.021 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844835.021 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844835.022 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844835.023 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844835.025 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844835.026 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844835.026 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.027 * * * [progress]: adding candidates to table
1553844835.279 * * [progress]: iteration 2 / 4
1553844835.279 * * * [progress]: picking best candidate
1553844835.334 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1553844835.334 * * * [progress]: localizing error
1553844835.386 * * * [progress]: generating rewritten candidates
1553844835.386 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
1553844835.387 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1553844835.391 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1553844835.394 * * * [progress]: generating series expansions
1553844835.394 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
1553844835.394 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1553844835.394 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1553844835.394 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844835.394 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.394 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844835.394 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.395 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.395 * [backup-simplify]: Simplify 0 into 0
1553844835.395 * [backup-simplify]: Simplify 0 into 0
1553844835.395 * [backup-simplify]: Simplify 0 into 0
1553844835.395 * [backup-simplify]: Simplify 0 into 0
1553844835.395 * [backup-simplify]: Simplify 0 into 0
1553844835.395 * [backup-simplify]: Simplify 0 into 0
1553844835.395 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.395 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844835.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844835.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844835.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.396 * [backup-simplify]: Simplify 0 into 0
1553844835.396 * [backup-simplify]: Simplify 0 into 0
1553844835.396 * [backup-simplify]: Simplify 0 into 0
1553844835.396 * [backup-simplify]: Simplify 0 into 0
1553844835.396 * [backup-simplify]: Simplify 0 into 0
1553844835.396 * [backup-simplify]: Simplify 0 into 0
1553844835.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1553844835.396 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.396 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844835.396 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844835.396 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.397 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844835.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.397 * [backup-simplify]: Simplify 0 into 0
1553844835.397 * [backup-simplify]: Simplify 0 into 0
1553844835.397 * [backup-simplify]: Simplify 0 into 0
1553844835.397 * [backup-simplify]: Simplify 0 into 0
1553844835.397 * [backup-simplify]: Simplify 0 into 0
1553844835.397 * [backup-simplify]: Simplify 0 into 0
1553844835.397 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1553844835.397 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1553844835.397 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1553844835.397 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1553844835.398 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844835.398 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.398 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844835.398 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.398 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.398 * [backup-simplify]: Simplify 0 into 0
1553844835.398 * [backup-simplify]: Simplify 0 into 0
1553844835.398 * [backup-simplify]: Simplify 0 into 0
1553844835.398 * [backup-simplify]: Simplify 0 into 0
1553844835.398 * [backup-simplify]: Simplify 0 into 0
1553844835.398 * [backup-simplify]: Simplify 0 into 0
1553844835.398 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844835.398 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.398 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844835.398 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844835.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844835.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844835.399 * [backup-simplify]: Simplify 0 into 0
1553844835.399 * [backup-simplify]: Simplify 0 into 0
1553844835.399 * [backup-simplify]: Simplify 0 into 0
1553844835.399 * [backup-simplify]: Simplify 0 into 0
1553844835.399 * [backup-simplify]: Simplify 0 into 0
1553844835.399 * [backup-simplify]: Simplify 0 into 0
1553844835.399 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1553844835.400 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.400 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844835.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844835.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.400 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844835.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.400 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844835.400 * [backup-simplify]: Simplify 0 into 0
1553844835.401 * [backup-simplify]: Simplify 0 into 0
1553844835.401 * [backup-simplify]: Simplify 0 into 0
1553844835.401 * [backup-simplify]: Simplify 0 into 0
1553844835.401 * [backup-simplify]: Simplify 0 into 0
1553844835.401 * [backup-simplify]: Simplify 0 into 0
1553844835.401 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1553844835.401 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1553844835.401 * [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)))
1553844835.401 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1553844835.401 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844835.401 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844835.401 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844835.402 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844835.402 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844835.402 * [backup-simplify]: Simplify 0 into 0
1553844835.402 * [backup-simplify]: Simplify 0 into 0
1553844835.402 * [backup-simplify]: Simplify 0 into 0
1553844835.402 * [backup-simplify]: Simplify 0 into 0
1553844835.402 * [backup-simplify]: Simplify 0 into 0
1553844835.402 * [backup-simplify]: Simplify 0 into 0
1553844835.402 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844835.402 * [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))))
1553844835.402 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1553844835.402 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844835.403 * [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))))
1553844835.403 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844835.403 * [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))))
1553844835.403 * [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))))
1553844835.403 * [backup-simplify]: Simplify 0 into 0
1553844835.403 * [backup-simplify]: Simplify 0 into 0
1553844835.403 * [backup-simplify]: Simplify 0 into 0
1553844835.403 * [backup-simplify]: Simplify 0 into 0
1553844835.403 * [backup-simplify]: Simplify 0 into 0
1553844835.403 * [backup-simplify]: Simplify 0 into 0
1553844835.404 * [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)))
1553844835.404 * [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))))
1553844835.404 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1553844835.404 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844835.404 * [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))))
1553844835.404 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844835.404 * [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))))
1553844835.405 * [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))))
1553844835.405 * [backup-simplify]: Simplify 0 into 0
1553844835.405 * [backup-simplify]: Simplify 0 into 0
1553844835.405 * [backup-simplify]: Simplify 0 into 0
1553844835.405 * [backup-simplify]: Simplify 0 into 0
1553844835.405 * [backup-simplify]: Simplify 0 into 0
1553844835.405 * [backup-simplify]: Simplify 0 into 0
1553844835.405 * [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)))
1553844835.405 * * * [progress]: simplifying candidates
1553844835.405 * * * * [progress]: [ 1 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1553844835.405 * * * * [progress]: [ 2 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.405 * * * * [progress]: [ 3 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.406 * * * * [progress]: [ 4 / 43 ] 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))))>
1553844835.406 * * * * [progress]: [ 5 / 43 ] 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))))>
1553844835.406 * * * * [progress]: [ 6 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.406 * * * * [progress]: [ 7 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1553844835.406 * * * * [progress]: [ 8 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.406 * * * * [progress]: [ 9 / 43 ] 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))))>
1553844835.406 * [simplify]: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1553844835.406 * * [simplify]: iters left: 6 (8 enodes)
1553844835.409 * * [simplify]: iters left: 5 (32 enodes)
1553844835.414 * * [simplify]: iters left: 4 (47 enodes)
1553844835.421 * * [simplify]: iters left: 3 (51 enodes)
1553844835.428 * * [simplify]: iters left: 2 (53 enodes)
1553844835.435 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.435 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.435 * * [simplify]: Extracting #2: cost 7 inf + 0
1553844835.435 * * [simplify]: Extracting #3: cost 9 inf + 0
1553844835.435 * * [simplify]: Extracting #4: cost 11 inf + 0
1553844835.435 * * [simplify]: Extracting #5: cost 14 inf + 0
1553844835.436 * * [simplify]: Extracting #6: cost 19 inf + 0
1553844835.436 * * [simplify]: Extracting #7: cost 20 inf + 2
1553844835.436 * * [simplify]: Extracting #8: cost 18 inf + 543
1553844835.436 * * [simplify]: Extracting #9: cost 12 inf + 1580
1553844835.436 * * [simplify]: Extracting #10: cost 1 inf + 4471
1553844835.437 * * [simplify]: Extracting #11: cost 0 inf + 4857
1553844835.437 * [simplify]: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1553844835.437 * [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))))
1553844835.437 * * * * [progress]: [ 10 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.438 * [simplify]: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1553844835.438 * * [simplify]: iters left: 6 (7 enodes)
1553844835.439 * * [simplify]: iters left: 5 (27 enodes)
1553844835.445 * * [simplify]: iters left: 4 (40 enodes)
1553844835.457 * * [simplify]: iters left: 3 (44 enodes)
1553844835.474 * * [simplify]: iters left: 2 (46 enodes)
1553844835.480 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.480 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.480 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844835.480 * * [simplify]: Extracting #3: cost 7 inf + 0
1553844835.480 * * [simplify]: Extracting #4: cost 10 inf + 0
1553844835.480 * * [simplify]: Extracting #5: cost 15 inf + 0
1553844835.480 * * [simplify]: Extracting #6: cost 16 inf + 2
1553844835.481 * * [simplify]: Extracting #7: cost 14 inf + 433
1553844835.481 * * [simplify]: Extracting #8: cost 7 inf + 1446
1553844835.481 * * [simplify]: Extracting #9: cost 0 inf + 3133
1553844835.481 * [simplify]: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1553844835.481 * [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))))
1553844835.482 * * * * [progress]: [ 11 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1553844835.482 * [simplify]: Simplifying (log 1)
1553844835.482 * * [simplify]: iters left: 1 (2 enodes)
1553844835.483 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.483 * * [simplify]: Extracting #1: cost 0 inf + 1
1553844835.483 * [simplify]: Simplified to 0
1553844835.483 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1553844835.483 * * * * [progress]: [ 12 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1553844835.483 * * * * [progress]: [ 13 / 43 ] 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))))>
1553844835.484 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
1553844835.484 * * [simplify]: iters left: 4 (5 enodes)
1553844835.485 * * [simplify]: iters left: 3 (21 enodes)
1553844835.488 * * [simplify]: iters left: 2 (34 enodes)
1553844835.497 * * [simplify]: iters left: 1 (38 enodes)
1553844835.509 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.509 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.509 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844835.509 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844835.509 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844835.509 * * [simplify]: Extracting #5: cost 9 inf + 599
1553844835.510 * * [simplify]: Extracting #6: cost 5 inf + 1069
1553844835.510 * * [simplify]: Extracting #7: cost 0 inf + 1909
1553844835.511 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
1553844835.511 * [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))))
1553844835.511 * * * * [progress]: [ 14 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.511 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1553844835.511 * * [simplify]: iters left: 4 (5 enodes)
1553844835.513 * * [simplify]: iters left: 3 (21 enodes)
1553844835.520 * * [simplify]: iters left: 2 (34 enodes)
1553844835.531 * * [simplify]: iters left: 1 (38 enodes)
1553844835.541 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.541 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.542 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844835.542 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844835.542 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844835.542 * * [simplify]: Extracting #5: cost 9 inf + 599
1553844835.542 * * [simplify]: Extracting #6: cost 5 inf + 1029
1553844835.543 * * [simplify]: Extracting #7: cost 0 inf + 1829
1553844835.543 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844835.543 * [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))))
1553844835.543 * * * * [progress]: [ 15 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1553844835.544 * [simplify]: Simplifying (fmod (cosh a) (* a a))
1553844835.544 * * [simplify]: iters left: 3 (4 enodes)
1553844835.545 * * [simplify]: iters left: 2 (18 enodes)
1553844835.551 * * [simplify]: iters left: 1 (31 enodes)
1553844835.561 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.561 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.561 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844835.561 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844835.561 * * [simplify]: Extracting #4: cost 7 inf + 599
1553844835.561 * * [simplify]: Extracting #5: cost 5 inf + 712
1553844835.562 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844835.562 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844835.562 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1553844835.562 * * * * [progress]: [ 16 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1553844835.562 * * * * [progress]: [ 17 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1553844835.563 * [simplify]: Simplifying (cosh a)
1553844835.563 * * [simplify]: iters left: 1 (2 enodes)
1553844835.564 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.564 * * [simplify]: Extracting #1: cost 5 inf + 0
1553844835.564 * * [simplify]: Extracting #2: cost 5 inf + 2
1553844835.564 * * [simplify]: Extracting #3: cost 3 inf + 185
1553844835.564 * * [simplify]: Extracting #4: cost 0 inf + 558
1553844835.564 * [simplify]: Simplified to (cosh a)
1553844835.564 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.564 * * * * [progress]: [ 18 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1553844835.565 * [simplify]: Simplifying (exp (fmod (cosh a) (* a a)))
1553844835.565 * * [simplify]: iters left: 4 (5 enodes)
1553844835.567 * * [simplify]: iters left: 3 (21 enodes)
1553844835.574 * * [simplify]: iters left: 2 (34 enodes)
1553844835.584 * * [simplify]: iters left: 1 (38 enodes)
1553844835.595 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.595 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.595 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844835.595 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844835.595 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844835.595 * * [simplify]: Extracting #5: cost 9 inf + 599
1553844835.595 * * [simplify]: Extracting #6: cost 5 inf + 1059
1553844835.596 * * [simplify]: Extracting #7: cost 0 inf + 1889
1553844835.596 * [simplify]: Simplified to (exp (fmod (cosh a) (* a a)))
1553844835.596 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1553844835.597 * * * * [progress]: [ 19 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.597 * * * * [progress]: [ 20 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.597 * * * * [progress]: [ 21 / 43 ] 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))))>
1553844835.597 * * * * [progress]: [ 22 / 43 ] 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))))>
1553844835.597 * * * * [progress]: [ 23 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.597 * * * * [progress]: [ 24 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1553844835.597 * * * * [progress]: [ 25 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844835.597 * * * * [progress]: [ 26 / 43 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1553844835.597 * * * * [progress]: [ 27 / 43 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1553844835.597 * * * * [progress]: [ 28 / 43 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1553844835.597 * * * * [progress]: [ 29 / 43 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1553844835.597 * * * * [progress]: [ 30 / 43 ] 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))))))>
1553844835.597 * * * * [progress]: [ 31 / 43 ] 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))))))>
1553844835.597 * * * * [progress]: [ 32 / 43 ] 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))))))>
1553844835.597 * * * * [progress]: [ 33 / 43 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1553844835.598 * * * * [progress]: [ 34 / 43 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1553844835.598 * * * * [progress]: [ 35 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1553844835.598 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844835.598 * * [simplify]: iters left: 2 (5 enodes)
1553844835.601 * * [simplify]: iters left: 1 (25 enodes)
1553844835.609 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.609 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.609 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844835.609 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844835.610 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844835.610 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844835.610 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844835.611 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844835.611 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1553844835.611 * * * * [progress]: [ 36 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1553844835.611 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844835.611 * * [simplify]: iters left: 2 (5 enodes)
1553844835.614 * * [simplify]: iters left: 1 (25 enodes)
1553844835.625 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.625 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.625 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844835.625 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844835.626 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844835.626 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844835.626 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844835.627 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844835.627 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1553844835.627 * * * * [progress]: [ 37 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1553844835.627 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844835.627 * * [simplify]: iters left: 2 (5 enodes)
1553844835.630 * * [simplify]: iters left: 1 (25 enodes)
1553844835.634 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.634 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.634 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844835.634 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844835.634 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844835.634 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844835.634 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844835.634 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844835.634 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1553844835.634 * * * * [progress]: [ 38 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844835.635 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844835.635 * * [simplify]: iters left: 2 (5 enodes)
1553844835.636 * * [simplify]: iters left: 1 (25 enodes)
1553844835.640 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.640 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.640 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844835.640 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844835.640 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844835.640 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844835.641 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844835.641 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844835.641 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.641 * * * * [progress]: [ 39 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844835.641 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844835.641 * * [simplify]: iters left: 2 (5 enodes)
1553844835.643 * * [simplify]: iters left: 1 (25 enodes)
1553844835.647 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.647 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.647 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844835.647 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844835.647 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844835.647 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844835.647 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844835.647 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844835.647 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.648 * * * * [progress]: [ 40 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844835.648 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844835.648 * * [simplify]: iters left: 2 (5 enodes)
1553844835.649 * * [simplify]: iters left: 1 (25 enodes)
1553844835.653 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.653 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844835.653 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844835.653 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844835.654 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844835.654 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844835.654 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844835.654 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844835.654 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.654 * * * * [progress]: [ 41 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844835.654 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844835.654 * * [simplify]: iters left: 4 (8 enodes)
1553844835.657 * * [simplify]: iters left: 3 (37 enodes)
1553844835.662 * * [simplify]: iters left: 2 (60 enodes)
1553844835.677 * * [simplify]: iters left: 1 (86 enodes)
1553844835.703 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.703 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.703 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844835.703 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844835.704 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844835.704 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844835.706 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844835.708 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844835.711 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844835.714 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844835.714 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.715 * * * * [progress]: [ 42 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844835.715 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844835.715 * * [simplify]: iters left: 4 (8 enodes)
1553844835.719 * * [simplify]: iters left: 3 (37 enodes)
1553844835.731 * * [simplify]: iters left: 2 (60 enodes)
1553844835.749 * * [simplify]: iters left: 1 (86 enodes)
1553844835.764 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.764 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.764 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844835.764 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844835.764 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844835.765 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844835.765 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844835.767 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844835.768 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844835.770 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844835.770 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.770 * * * * [progress]: [ 43 / 43 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844835.770 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844835.770 * * [simplify]: iters left: 4 (8 enodes)
1553844835.773 * * [simplify]: iters left: 3 (37 enodes)
1553844835.778 * * [simplify]: iters left: 2 (60 enodes)
1553844835.788 * * [simplify]: iters left: 1 (86 enodes)
1553844835.808 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844835.808 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844835.808 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844835.808 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844835.808 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844835.808 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844835.809 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844835.810 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844835.812 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844835.814 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844835.814 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844835.814 * * * [progress]: adding candidates to table
1553844836.272 * * [progress]: iteration 3 / 4
1553844836.272 * * * [progress]: picking best candidate
1553844836.341 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.341 * * * [progress]: localizing error
1553844836.381 * * * [progress]: generating rewritten candidates
1553844836.381 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1553844836.381 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1553844836.381 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1553844836.384 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1553844836.386 * * * [progress]: generating series expansions
1553844836.386 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1553844836.386 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1553844836.386 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1553844836.386 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844836.386 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.386 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.387 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844836.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify 0 into 0
1553844836.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.388 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844836.388 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.388 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.388 * [backup-simplify]: Simplify 0 into 0
1553844836.388 * [backup-simplify]: Simplify 0 into 0
1553844836.388 * [backup-simplify]: Simplify 0 into 0
1553844836.388 * [backup-simplify]: Simplify 0 into 0
1553844836.388 * [backup-simplify]: Simplify 0 into 0
1553844836.388 * [backup-simplify]: Simplify 0 into 0
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1553844836.388 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1553844836.388 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1553844836.388 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.388 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.388 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.389 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844836.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844836.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844836.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify 0 into 0
1553844836.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1553844836.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.389 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844836.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844836.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844836.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.390 * [backup-simplify]: Simplify 0 into 0
1553844836.390 * [backup-simplify]: Simplify 0 into 0
1553844836.390 * [backup-simplify]: Simplify 0 into 0
1553844836.390 * [backup-simplify]: Simplify 0 into 0
1553844836.390 * [backup-simplify]: Simplify 0 into 0
1553844836.390 * [backup-simplify]: Simplify 0 into 0
1553844836.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1553844836.390 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1553844836.390 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844836.390 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1553844836.390 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1553844836.390 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844836.390 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.390 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844836.391 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844836.391 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1553844836.391 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844836.391 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844836.391 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844836.391 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844836.391 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844836.391 * [backup-simplify]: Simplify 0 into 0
1553844836.392 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844836.392 * [backup-simplify]: Simplify 0 into 0
1553844836.393 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844836.393 * [backup-simplify]: Simplify 0 into 0
1553844836.393 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844836.393 * [backup-simplify]: Simplify 0 into 0
1553844836.394 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844836.394 * [backup-simplify]: Simplify 0 into 0
1553844836.395 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844836.395 * [backup-simplify]: Simplify 0 into 0
1553844836.395 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844836.395 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844836.395 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1553844836.395 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1553844836.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844836.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.395 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844836.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.395 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1553844836.395 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844836.395 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844836.395 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844836.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.395 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844836.396 * [backup-simplify]: Simplify 0 into 0
1553844836.396 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.396 * [backup-simplify]: Simplify 0 into 0
1553844836.397 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.397 * [backup-simplify]: Simplify 0 into 0
1553844836.397 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.397 * [backup-simplify]: Simplify 0 into 0
1553844836.398 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.398 * [backup-simplify]: Simplify 0 into 0
1553844836.399 * [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
1553844836.399 * [backup-simplify]: Simplify 0 into 0
1553844836.399 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844836.399 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844836.399 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1553844836.399 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1553844836.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844836.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.399 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844836.399 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.399 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1553844836.399 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844836.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844836.399 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844836.400 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.400 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844836.400 * [backup-simplify]: Simplify 0 into 0
1553844836.400 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.400 * [backup-simplify]: Simplify 0 into 0
1553844836.401 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.401 * [backup-simplify]: Simplify 0 into 0
1553844836.401 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.401 * [backup-simplify]: Simplify 0 into 0
1553844836.402 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844836.402 * [backup-simplify]: Simplify 0 into 0
1553844836.403 * [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
1553844836.403 * [backup-simplify]: Simplify 0 into 0
1553844836.403 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844836.403 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1553844836.403 * [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)))
1553844836.403 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1553844836.403 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844836.403 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844836.403 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844836.403 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844836.403 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844836.403 * [backup-simplify]: Simplify 0 into 0
1553844836.403 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844836.404 * [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))))
1553844836.404 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1553844836.404 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844836.404 * [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))))
1553844836.404 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844836.404 * [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))))
1553844836.404 * [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))))
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.404 * [backup-simplify]: Simplify 0 into 0
1553844836.405 * [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)))
1553844836.405 * [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))))
1553844836.405 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1553844836.405 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844836.405 * [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))))
1553844836.405 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844836.405 * [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))))
1553844836.405 * [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))))
1553844836.405 * [backup-simplify]: Simplify 0 into 0
1553844836.405 * [backup-simplify]: Simplify 0 into 0
1553844836.405 * [backup-simplify]: Simplify 0 into 0
1553844836.405 * [backup-simplify]: Simplify 0 into 0
1553844836.405 * [backup-simplify]: Simplify 0 into 0
1553844836.405 * [backup-simplify]: Simplify 0 into 0
1553844836.406 * [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)))
1553844836.406 * * * [progress]: simplifying candidates
1553844836.406 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 4 / 57 ] 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))))>
1553844836.406 * * * * [progress]: [ 5 / 57 ] 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))))>
1553844836.406 * * * * [progress]: [ 6 / 57 ] 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))))>
1553844836.406 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 12 / 57 ] 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))))>
1553844836.406 * * * * [progress]: [ 13 / 57 ] 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))))>
1553844836.406 * * * * [progress]: [ 14 / 57 ] 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))))>
1553844836.406 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.406 * * * * [progress]: [ 17 / 57 ] 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))))>
1553844836.406 * [simplify]: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1553844836.407 * * [simplify]: iters left: 6 (9 enodes)
1553844836.408 * * [simplify]: iters left: 5 (35 enodes)
1553844836.414 * * [simplify]: iters left: 4 (50 enodes)
1553844836.429 * * [simplify]: iters left: 3 (54 enodes)
1553844836.441 * * [simplify]: iters left: 2 (56 enodes)
1553844836.449 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.449 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.449 * * [simplify]: Extracting #2: cost 7 inf + 0
1553844836.449 * * [simplify]: Extracting #3: cost 9 inf + 0
1553844836.449 * * [simplify]: Extracting #4: cost 11 inf + 0
1553844836.449 * * [simplify]: Extracting #5: cost 13 inf + 0
1553844836.449 * * [simplify]: Extracting #6: cost 16 inf + 0
1553844836.449 * * [simplify]: Extracting #7: cost 21 inf + 0
1553844836.449 * * [simplify]: Extracting #8: cost 22 inf + 2
1553844836.449 * * [simplify]: Extracting #9: cost 22 inf + 211
1553844836.449 * * [simplify]: Extracting #10: cost 11 inf + 1858
1553844836.454 * * [simplify]: Extracting #11: cost 2 inf + 4777
1553844836.455 * * [simplify]: Extracting #12: cost 0 inf + 5669
1553844836.455 * [simplify]: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1553844836.455 * [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))))
1553844836.455 * * * * [progress]: [ 18 / 57 ] 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))))>
1553844836.456 * [simplify]: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1553844836.456 * * [simplify]: iters left: 6 (8 enodes)
1553844836.457 * * [simplify]: iters left: 5 (30 enodes)
1553844836.462 * * [simplify]: iters left: 4 (43 enodes)
1553844836.468 * * [simplify]: iters left: 3 (47 enodes)
1553844836.475 * * [simplify]: iters left: 2 (49 enodes)
1553844836.482 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.482 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.482 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844836.482 * * [simplify]: Extracting #3: cost 7 inf + 0
1553844836.482 * * [simplify]: Extracting #4: cost 9 inf + 0
1553844836.482 * * [simplify]: Extracting #5: cost 12 inf + 0
1553844836.482 * * [simplify]: Extracting #6: cost 17 inf + 0
1553844836.482 * * [simplify]: Extracting #7: cost 18 inf + 2
1553844836.482 * * [simplify]: Extracting #8: cost 17 inf + 377
1553844836.483 * * [simplify]: Extracting #9: cost 10 inf + 1400
1553844836.483 * * [simplify]: Extracting #10: cost 0 inf + 3785
1553844836.484 * [simplify]: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1553844836.484 * [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))))
1553844836.485 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1553844836.485 * [simplify]: Simplifying (log 1)
1553844836.485 * * [simplify]: iters left: 1 (2 enodes)
1553844836.487 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.487 * * [simplify]: Extracting #1: cost 0 inf + 1
1553844836.487 * [simplify]: Simplified to 0
1553844836.487 * [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))))
1553844836.488 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1553844836.488 * * * * [progress]: [ 21 / 57 ] 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))))>
1553844836.488 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1553844836.488 * * [simplify]: iters left: 5 (6 enodes)
1553844836.491 * * [simplify]: iters left: 4 (24 enodes)
1553844836.498 * * [simplify]: iters left: 3 (37 enodes)
1553844836.508 * * [simplify]: iters left: 2 (41 enodes)
1553844836.515 * * [simplify]: iters left: 1 (43 enodes)
1553844836.521 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.521 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.521 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844836.521 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844836.521 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844836.521 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844836.521 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844836.521 * * [simplify]: Extracting #7: cost 6 inf + 1410
1553844836.521 * * [simplify]: Extracting #8: cost 1 inf + 2180
1553844836.522 * * [simplify]: Extracting #9: cost 0 inf + 2401
1553844836.522 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1553844836.522 * [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))))
1553844836.522 * * * * [progress]: [ 22 / 57 ] 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))))>
1553844836.522 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1553844836.523 * * [simplify]: iters left: 5 (6 enodes)
1553844836.524 * * [simplify]: iters left: 4 (24 enodes)
1553844836.527 * * [simplify]: iters left: 3 (37 enodes)
1553844836.533 * * [simplify]: iters left: 2 (41 enodes)
1553844836.540 * * [simplify]: iters left: 1 (43 enodes)
1553844836.545 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.546 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.546 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844836.546 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844836.546 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844836.546 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844836.546 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844836.546 * * [simplify]: Extracting #7: cost 6 inf + 1490
1553844836.546 * * [simplify]: Extracting #8: cost 1 inf + 2260
1553844836.548 * * [simplify]: Extracting #9: cost 0 inf + 2481
1553844836.548 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1553844836.548 * [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))))
1553844836.549 * * * * [progress]: [ 23 / 57 ] 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))))>
1553844836.549 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844836.549 * * [simplify]: iters left: 5 (6 enodes)
1553844836.550 * * [simplify]: iters left: 4 (24 enodes)
1553844836.554 * * [simplify]: iters left: 3 (37 enodes)
1553844836.559 * * [simplify]: iters left: 2 (41 enodes)
1553844836.569 * * [simplify]: iters left: 1 (43 enodes)
1553844836.581 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.581 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.581 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844836.581 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844836.581 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844836.581 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844836.581 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844836.582 * * [simplify]: Extracting #7: cost 6 inf + 1370
1553844836.582 * * [simplify]: Extracting #8: cost 1 inf + 2100
1553844836.583 * * [simplify]: Extracting #9: cost 0 inf + 2321
1553844836.584 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844836.584 * [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))))
1553844836.584 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1553844836.584 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1553844836.584 * * [simplify]: iters left: 4 (5 enodes)
1553844836.586 * * [simplify]: iters left: 3 (21 enodes)
1553844836.593 * * [simplify]: iters left: 2 (34 enodes)
1553844836.600 * * [simplify]: iters left: 1 (38 enodes)
1553844836.606 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.606 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.606 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844836.606 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844836.606 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844836.606 * * [simplify]: Extracting #5: cost 9 inf + 599
1553844836.606 * * [simplify]: Extracting #6: cost 5 inf + 1029
1553844836.606 * * [simplify]: Extracting #7: cost 0 inf + 1829
1553844836.607 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844836.607 * [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))))
1553844836.607 * * * * [progress]: [ 25 / 57 ] 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))))>
1553844836.607 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844836.607 * * [simplify]: iters left: 5 (6 enodes)
1553844836.608 * * [simplify]: iters left: 4 (24 enodes)
1553844836.612 * * [simplify]: iters left: 3 (37 enodes)
1553844836.617 * * [simplify]: iters left: 2 (41 enodes)
1553844836.623 * * [simplify]: iters left: 1 (43 enodes)
1553844836.632 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.632 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.633 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844836.633 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844836.633 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844836.633 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844836.633 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844836.633 * * [simplify]: Extracting #7: cost 6 inf + 1370
1553844836.634 * * [simplify]: Extracting #8: cost 1 inf + 2100
1553844836.634 * * [simplify]: Extracting #9: cost 0 inf + 2321
1553844836.635 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844836.635 * [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))))
1553844836.635 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1553844836.635 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1553844836.635 * * [simplify]: iters left: 4 (5 enodes)
1553844836.637 * * [simplify]: iters left: 3 (21 enodes)
1553844836.643 * * [simplify]: iters left: 2 (34 enodes)
1553844836.652 * * [simplify]: iters left: 1 (38 enodes)
1553844836.665 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.665 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.665 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844836.665 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844836.665 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844836.665 * * [simplify]: Extracting #5: cost 9 inf + 599
1553844836.665 * * [simplify]: Extracting #6: cost 5 inf + 1029
1553844836.666 * * [simplify]: Extracting #7: cost 0 inf + 1829
1553844836.666 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844836.666 * [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))))
1553844836.667 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1553844836.667 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1553844836.667 * [simplify]: Simplifying (fmod (cosh a) (* a a))
1553844836.667 * * [simplify]: iters left: 3 (4 enodes)
1553844836.669 * * [simplify]: iters left: 2 (18 enodes)
1553844836.675 * * [simplify]: iters left: 1 (31 enodes)
1553844836.684 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.684 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.684 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844836.684 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844836.685 * * [simplify]: Extracting #4: cost 7 inf + 599
1553844836.685 * * [simplify]: Extracting #5: cost 5 inf + 712
1553844836.685 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844836.686 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844836.686 * [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))))
1553844836.686 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.686 * [simplify]: Simplifying (exp (sqrt (fmod (cosh a) (* a a))))
1553844836.686 * * [simplify]: iters left: 5 (6 enodes)
1553844836.689 * * [simplify]: iters left: 4 (24 enodes)
1553844836.697 * * [simplify]: iters left: 3 (37 enodes)
1553844836.709 * * [simplify]: iters left: 2 (41 enodes)
1553844836.717 * * [simplify]: iters left: 1 (43 enodes)
1553844836.723 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.723 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.723 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844836.723 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844836.723 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844836.723 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844836.723 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844836.723 * * [simplify]: Extracting #7: cost 6 inf + 1400
1553844836.723 * * [simplify]: Extracting #8: cost 1 inf + 2160
1553844836.724 * * [simplify]: Extracting #9: cost 0 inf + 2381
1553844836.724 * [simplify]: Simplified to (exp (sqrt (fmod (cosh a) (* a a))))
1553844836.724 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1553844836.724 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1553844836.724 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1553844836.724 * * * * [progress]: [ 32 / 57 ] 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))))>
1553844836.724 * * * * [progress]: [ 33 / 57 ] 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))))>
1553844836.724 * * * * [progress]: [ 34 / 57 ] 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))))>
1553844836.724 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1553844836.724 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1553844836.724 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844836.724 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1553844836.725 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844836.725 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844836.725 * * * * [progress]: [ 41 / 57 ] 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))))))>
1553844836.725 * * * * [progress]: [ 42 / 57 ] 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))))))>
1553844836.725 * * * * [progress]: [ 43 / 57 ] 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))))))>
1553844836.725 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844836.725 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844836.725 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1553844836.725 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844836.725 * * [simplify]: iters left: 2 (5 enodes)
1553844836.727 * * [simplify]: iters left: 1 (25 enodes)
1553844836.731 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.731 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.731 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844836.731 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844836.731 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844836.731 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844836.732 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844836.732 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844836.732 * [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))))
1553844836.732 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1553844836.732 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844836.732 * * [simplify]: iters left: 2 (5 enodes)
1553844836.734 * * [simplify]: iters left: 1 (25 enodes)
1553844836.738 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.738 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.738 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844836.738 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844836.738 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844836.738 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844836.738 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844836.739 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844836.739 * [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))))
1553844836.739 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1553844836.739 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844836.739 * * [simplify]: iters left: 2 (5 enodes)
1553844836.741 * * [simplify]: iters left: 1 (25 enodes)
1553844836.744 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.744 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.745 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844836.745 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844836.745 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844836.745 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844836.745 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844836.745 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844836.745 * [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))))
1553844836.746 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.746 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844836.746 * * [simplify]: iters left: 2 (5 enodes)
1553844836.748 * * [simplify]: iters left: 1 (25 enodes)
1553844836.753 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.753 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.753 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844836.753 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844836.753 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844836.753 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844836.753 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844836.754 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844836.754 * [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))))
1553844836.754 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.754 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844836.754 * * [simplify]: iters left: 2 (5 enodes)
1553844836.756 * * [simplify]: iters left: 1 (25 enodes)
1553844836.760 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.760 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.760 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844836.760 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844836.760 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844836.760 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844836.760 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844836.761 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844836.761 * [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))))
1553844836.761 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1553844836.761 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844836.761 * * [simplify]: iters left: 2 (5 enodes)
1553844836.763 * * [simplify]: iters left: 1 (25 enodes)
1553844836.768 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.768 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844836.768 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844836.768 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844836.769 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844836.769 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844836.769 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844836.770 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844836.770 * [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))))
1553844836.770 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1553844836.770 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1553844836.770 * * [simplify]: iters left: 3 (6 enodes)
1553844836.776 * * [simplify]: iters left: 2 (28 enodes)
1553844836.784 * * [simplify]: iters left: 1 (42 enodes)
1553844836.795 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.795 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.795 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844836.795 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844836.795 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844836.796 * * [simplify]: Extracting #5: cost 12 inf + 226
1553844836.796 * * [simplify]: Extracting #6: cost 6 inf + 918
1553844836.796 * * [simplify]: Extracting #7: cost 1 inf + 1608
1553844836.797 * * [simplify]: Extracting #8: cost 0 inf + 1829
1553844836.797 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844836.797 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1553844836.797 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1553844836.797 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1553844836.797 * * [simplify]: iters left: 3 (6 enodes)
1553844836.799 * * [simplify]: iters left: 2 (28 enodes)
1553844836.803 * * [simplify]: iters left: 1 (42 enodes)
1553844836.809 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.809 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.809 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844836.809 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844836.809 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844836.809 * * [simplify]: Extracting #5: cost 12 inf + 226
1553844836.809 * * [simplify]: Extracting #6: cost 6 inf + 918
1553844836.809 * * [simplify]: Extracting #7: cost 1 inf + 1608
1553844836.810 * * [simplify]: Extracting #8: cost 0 inf + 1829
1553844836.810 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844836.810 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1553844836.810 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1553844836.810 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1553844836.810 * * [simplify]: iters left: 3 (6 enodes)
1553844836.812 * * [simplify]: iters left: 2 (28 enodes)
1553844836.816 * * [simplify]: iters left: 1 (42 enodes)
1553844836.822 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.822 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.822 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844836.822 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844836.822 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844836.822 * * [simplify]: Extracting #5: cost 12 inf + 226
1553844836.822 * * [simplify]: Extracting #6: cost 6 inf + 918
1553844836.823 * * [simplify]: Extracting #7: cost 1 inf + 1608
1553844836.823 * * [simplify]: Extracting #8: cost 0 inf + 1829
1553844836.823 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844836.823 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1553844836.823 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844836.823 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844836.823 * * [simplify]: iters left: 4 (8 enodes)
1553844836.826 * * [simplify]: iters left: 3 (37 enodes)
1553844836.831 * * [simplify]: iters left: 2 (60 enodes)
1553844836.840 * * [simplify]: iters left: 1 (86 enodes)
1553844836.853 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.853 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.853 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844836.853 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844836.853 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844836.854 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844836.854 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844836.856 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844836.857 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844836.859 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844836.859 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844836.859 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844836.859 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844836.859 * * [simplify]: iters left: 4 (8 enodes)
1553844836.863 * * [simplify]: iters left: 3 (37 enodes)
1553844836.869 * * [simplify]: iters left: 2 (60 enodes)
1553844836.878 * * [simplify]: iters left: 1 (86 enodes)
1553844836.892 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.892 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.892 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844836.892 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844836.892 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844836.892 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844836.893 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844836.894 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844836.896 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844836.898 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844836.898 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844836.898 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1553844836.898 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844836.898 * * [simplify]: iters left: 4 (8 enodes)
1553844836.900 * * [simplify]: iters left: 3 (37 enodes)
1553844836.906 * * [simplify]: iters left: 2 (60 enodes)
1553844836.917 * * [simplify]: iters left: 1 (86 enodes)
1553844836.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844836.943 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844836.943 * * [simplify]: Extracting #2: cost 13 inf + 0
1553844836.943 * * [simplify]: Extracting #3: cost 38 inf + 0
1553844836.943 * * [simplify]: Extracting #4: cost 45 inf + 241
1553844836.943 * * [simplify]: Extracting #5: cost 33 inf + 2907
1553844836.944 * * [simplify]: Extracting #6: cost 22 inf + 6227
1553844836.945 * * [simplify]: Extracting #7: cost 3 inf + 14662
1553844836.947 * * [simplify]: Extracting #8: cost 0 inf + 16508
1553844836.949 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844836.949 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844836.949 * * * [progress]: adding candidates to table
1553844837.550 * * [progress]: iteration 4 / 4
1553844837.550 * * * [progress]: picking best candidate
1553844837.606 * * * * [pick]: Picked  #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844837.606 * * * [progress]: localizing error
1553844837.645 * * * [progress]: generating rewritten candidates
1553844837.645 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1 1 1)
1553844837.645 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1)
1553844837.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1553844837.648 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1553844837.660 * * * [progress]: generating series expansions
1553844837.660 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1 1 1)
1553844837.660 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1553844837.660 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1553844837.660 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844837.660 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.660 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844837.660 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.660 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.660 * [backup-simplify]: Simplify 0 into 0
1553844837.660 * [backup-simplify]: Simplify 0 into 0
1553844837.660 * [backup-simplify]: Simplify 0 into 0
1553844837.660 * [backup-simplify]: Simplify 0 into 0
1553844837.660 * [backup-simplify]: Simplify 0 into 0
1553844837.660 * [backup-simplify]: Simplify 0 into 0
1553844837.660 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.661 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844837.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.661 * [backup-simplify]: Simplify 0 into 0
1553844837.661 * [backup-simplify]: Simplify 0 into 0
1553844837.661 * [backup-simplify]: Simplify 0 into 0
1553844837.661 * [backup-simplify]: Simplify 0 into 0
1553844837.661 * [backup-simplify]: Simplify 0 into 0
1553844837.661 * [backup-simplify]: Simplify 0 into 0
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.661 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844837.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.661 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844837.661 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1553844837.662 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1)
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1553844837.662 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1553844837.662 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.662 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify 0 into 0
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.662 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844837.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844837.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844837.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1553844837.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.663 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1553844837.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844837.663 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844837.663 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.663 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.663 * [backup-simplify]: Simplify 0 into 0
1553844837.664 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1553844837.664 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1553844837.664 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844837.664 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1553844837.664 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1553844837.664 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844837.664 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.664 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844837.664 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844837.664 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1553844837.664 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1553844837.664 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1553844837.664 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844837.664 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844837.664 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844837.664 * [backup-simplify]: Simplify 0 into 0
1553844837.666 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844837.666 * [backup-simplify]: Simplify 0 into 0
1553844837.667 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844837.667 * [backup-simplify]: Simplify 0 into 0
1553844837.667 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844837.667 * [backup-simplify]: Simplify 0 into 0
1553844837.668 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844837.668 * [backup-simplify]: Simplify 0 into 0
1553844837.668 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1553844837.669 * [backup-simplify]: Simplify 0 into 0
1553844837.669 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844837.669 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844837.669 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1553844837.669 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1553844837.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844837.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.669 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844837.669 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.669 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1553844837.669 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1553844837.669 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1553844837.669 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844837.669 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.669 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1553844837.669 * [backup-simplify]: Simplify 0 into 0
1553844837.670 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.670 * [backup-simplify]: Simplify 0 into 0
1553844837.671 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.671 * [backup-simplify]: Simplify 0 into 0
1553844837.671 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.671 * [backup-simplify]: Simplify 0 into 0
1553844837.672 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.672 * [backup-simplify]: Simplify 0 into 0
1553844837.672 * [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
1553844837.672 * [backup-simplify]: Simplify 0 into 0
1553844837.673 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844837.673 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844837.673 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1553844837.673 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1553844837.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844837.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.673 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844837.673 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.673 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1553844837.673 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1553844837.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1553844837.673 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844837.674 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.674 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1553844837.674 * [backup-simplify]: Simplify 0 into 0
1553844837.674 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.674 * [backup-simplify]: Simplify 0 into 0
1553844837.675 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.675 * [backup-simplify]: Simplify 0 into 0
1553844837.676 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.676 * [backup-simplify]: Simplify 0 into 0
1553844837.676 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1553844837.676 * [backup-simplify]: Simplify 0 into 0
1553844837.677 * [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
1553844837.677 * [backup-simplify]: Simplify 0 into 0
1553844837.677 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1553844837.677 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1553844837.678 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844837.678 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0
1553844837.678 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
1553844837.678 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
1553844837.678 * [taylor]: Taking taylor expansion of 1/2 in a
1553844837.678 * [backup-simplify]: Simplify 1/2 into 1/2
1553844837.678 * [taylor]: Taking taylor expansion of PI in a
1553844837.678 * [backup-simplify]: Simplify PI into PI
1553844837.678 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844837.678 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844837.678 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
1553844837.678 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
1553844837.678 * [taylor]: Taking taylor expansion of 1/2 in a
1553844837.678 * [backup-simplify]: Simplify 1/2 into 1/2
1553844837.678 * [taylor]: Taking taylor expansion of PI in a
1553844837.678 * [backup-simplify]: Simplify PI into PI
1553844837.678 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1553844837.679 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1553844837.679 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
1553844837.679 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844837.680 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844837.680 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844837.680 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
1553844837.681 * [backup-simplify]: Simplify (- 0) into 0
1553844837.681 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.681 * [backup-simplify]: Simplify 0 into 0
1553844837.682 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
1553844837.682 * [backup-simplify]: Simplify (- 0) into 0
1553844837.682 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.682 * [backup-simplify]: Simplify 0 into 0
1553844837.683 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
1553844837.683 * [backup-simplify]: Simplify (- 0) into 0
1553844837.683 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.683 * [backup-simplify]: Simplify 0 into 0
1553844837.684 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
1553844837.684 * [backup-simplify]: Simplify (- 0) into 0
1553844837.684 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.684 * [backup-simplify]: Simplify 0 into 0
1553844837.685 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
1553844837.686 * [backup-simplify]: Simplify (- 0) into 0
1553844837.686 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.686 * [backup-simplify]: Simplify 0 into 0
1553844837.687 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
1553844837.687 * [backup-simplify]: Simplify (- 0) into 0
1553844837.687 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.687 * [backup-simplify]: Simplify 0 into 0
1553844837.688 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844837.688 * [backup-simplify]: Simplify (- (/ PI 2) (asin (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 (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
1553844837.688 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in (a) around 0
1553844837.688 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in a
1553844837.688 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
1553844837.688 * [taylor]: Taking taylor expansion of 1/2 in a
1553844837.688 * [backup-simplify]: Simplify 1/2 into 1/2
1553844837.688 * [taylor]: Taking taylor expansion of PI in a
1553844837.688 * [backup-simplify]: Simplify PI into PI
1553844837.688 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844837.688 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1553844837.688 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in a
1553844837.688 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
1553844837.688 * [taylor]: Taking taylor expansion of 1/2 in a
1553844837.688 * [backup-simplify]: Simplify 1/2 into 1/2
1553844837.688 * [taylor]: Taking taylor expansion of PI in a
1553844837.688 * [backup-simplify]: Simplify PI into PI
1553844837.689 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1553844837.689 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
1553844837.689 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
1553844837.689 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) into (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
1553844837.689 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
1553844837.690 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
1553844837.690 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
1553844837.691 * [backup-simplify]: Simplify (- 0) into 0
1553844837.691 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.691 * [backup-simplify]: Simplify 0 into 0
1553844837.691 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
1553844837.692 * [backup-simplify]: Simplify (- 0) into 0
1553844837.692 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.692 * [backup-simplify]: Simplify 0 into 0
1553844837.692 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
1553844837.693 * [backup-simplify]: Simplify (- 0) into 0
1553844837.693 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.693 * [backup-simplify]: Simplify 0 into 0
1553844837.694 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
1553844837.694 * [backup-simplify]: Simplify (- 0) into 0
1553844837.694 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.694 * [backup-simplify]: Simplify 0 into 0
1553844837.695 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
1553844837.695 * [backup-simplify]: Simplify (- 0) into 0
1553844837.695 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.695 * [backup-simplify]: Simplify 0 into 0
1553844837.696 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
1553844837.697 * [backup-simplify]: Simplify (- 0) into 0
1553844837.697 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.697 * [backup-simplify]: Simplify 0 into 0
1553844837.697 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844837.698 * [backup-simplify]: Simplify (- (/ PI 2) (asin (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 (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
1553844837.698 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in (a) around 0
1553844837.698 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in a
1553844837.698 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
1553844837.698 * [taylor]: Taking taylor expansion of 1/2 in a
1553844837.698 * [backup-simplify]: Simplify 1/2 into 1/2
1553844837.698 * [taylor]: Taking taylor expansion of PI in a
1553844837.698 * [backup-simplify]: Simplify PI into PI
1553844837.698 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844837.698 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1553844837.698 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in a
1553844837.698 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
1553844837.698 * [taylor]: Taking taylor expansion of 1/2 in a
1553844837.698 * [backup-simplify]: Simplify 1/2 into 1/2
1553844837.698 * [taylor]: Taking taylor expansion of PI in a
1553844837.698 * [backup-simplify]: Simplify PI into PI
1553844837.698 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1553844837.698 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
1553844837.699 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
1553844837.699 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) into (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
1553844837.699 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
1553844837.700 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
1553844837.700 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
1553844837.700 * [backup-simplify]: Simplify (- 0) into 0
1553844837.701 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.701 * [backup-simplify]: Simplify 0 into 0
1553844837.701 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
1553844837.701 * [backup-simplify]: Simplify (- 0) into 0
1553844837.702 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.702 * [backup-simplify]: Simplify 0 into 0
1553844837.702 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
1553844837.702 * [backup-simplify]: Simplify (- 0) into 0
1553844837.703 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.703 * [backup-simplify]: Simplify 0 into 0
1553844837.704 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
1553844837.704 * [backup-simplify]: Simplify (- 0) into 0
1553844837.704 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.704 * [backup-simplify]: Simplify 0 into 0
1553844837.705 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
1553844837.705 * [backup-simplify]: Simplify (- 0) into 0
1553844837.705 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.705 * [backup-simplify]: Simplify 0 into 0
1553844837.706 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
1553844837.706 * [backup-simplify]: Simplify (- 0) into 0
1553844837.707 * [backup-simplify]: Simplify (+ 0 0) into 0
1553844837.707 * [backup-simplify]: Simplify 0 into 0
1553844837.707 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844837.707 * * * [progress]: simplifying candidates
1553844837.707 * * * * [progress]: [ 1 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a)))))>
1553844837.707 * * * * [progress]: [ 2 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a)))))>
1553844837.707 * * * * [progress]: [ 3 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a)))))>
1553844837.707 * * * * [progress]: [ 4 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.708 * * * * [progress]: [ 5 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.708 * * * * [progress]: [ 6 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 7 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 8 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 9 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 10 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 11 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 12 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.708 * * * * [progress]: [ 13 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.708 * * * * [progress]: [ 14 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 15 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 16 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844837.708 * * * * [progress]: [ 17 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.708 * [simplify]: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1553844837.708 * * [simplify]: iters left: 6 (9 enodes)
1553844837.710 * * [simplify]: iters left: 5 (35 enodes)
1553844837.718 * * [simplify]: iters left: 4 (50 enodes)
1553844837.729 * * [simplify]: iters left: 3 (54 enodes)
1553844837.736 * * [simplify]: iters left: 2 (56 enodes)
1553844837.743 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844837.743 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844837.743 * * [simplify]: Extracting #2: cost 7 inf + 0
1553844837.743 * * [simplify]: Extracting #3: cost 9 inf + 0
1553844837.743 * * [simplify]: Extracting #4: cost 11 inf + 0
1553844837.743 * * [simplify]: Extracting #5: cost 13 inf + 0
1553844837.743 * * [simplify]: Extracting #6: cost 16 inf + 0
1553844837.743 * * [simplify]: Extracting #7: cost 21 inf + 0
1553844837.743 * * [simplify]: Extracting #8: cost 22 inf + 2
1553844837.744 * * [simplify]: Extracting #9: cost 22 inf + 211
1553844837.744 * * [simplify]: Extracting #10: cost 11 inf + 1858
1553844837.744 * * [simplify]: Extracting #11: cost 2 inf + 4777
1553844837.745 * * [simplify]: Extracting #12: cost 0 inf + 5669
1553844837.745 * [simplify]: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1553844837.745 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (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)))))
1553844837.746 * * * * [progress]: [ 18 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.746 * [simplify]: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1553844837.746 * * [simplify]: iters left: 6 (8 enodes)
1553844837.747 * * [simplify]: iters left: 5 (30 enodes)
1553844837.752 * * [simplify]: iters left: 4 (43 enodes)
1553844837.762 * * [simplify]: iters left: 3 (47 enodes)
1553844837.774 * * [simplify]: iters left: 2 (49 enodes)
1553844837.781 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844837.781 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844837.781 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844837.781 * * [simplify]: Extracting #3: cost 7 inf + 0
1553844837.781 * * [simplify]: Extracting #4: cost 9 inf + 0
1553844837.781 * * [simplify]: Extracting #5: cost 12 inf + 0
1553844837.781 * * [simplify]: Extracting #6: cost 17 inf + 0
1553844837.781 * * [simplify]: Extracting #7: cost 18 inf + 2
1553844837.782 * * [simplify]: Extracting #8: cost 17 inf + 377
1553844837.782 * * [simplify]: Extracting #9: cost 10 inf + 1400
1553844837.782 * * [simplify]: Extracting #10: cost 0 inf + 3785
1553844837.782 * [simplify]: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1553844837.782 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (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)))))
1553844837.783 * * * * [progress]: [ 19 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))>
1553844837.783 * [simplify]: Simplifying (log 1)
1553844837.783 * * [simplify]: iters left: 1 (2 enodes)
1553844837.784 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844837.784 * * [simplify]: Extracting #1: cost 0 inf + 1
1553844837.784 * [simplify]: Simplified to 0
1553844837.784 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))
1553844837.784 * * * * [progress]: [ 20 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))>
1553844837.784 * * * * [progress]: [ 21 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.785 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1553844837.785 * * [simplify]: iters left: 5 (6 enodes)
1553844837.786 * * [simplify]: iters left: 4 (24 enodes)
1553844837.789 * * [simplify]: iters left: 3 (37 enodes)
1553844837.795 * * [simplify]: iters left: 2 (41 enodes)
1553844837.802 * * [simplify]: iters left: 1 (43 enodes)
1553844837.808 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844837.808 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844837.808 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844837.808 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844837.808 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844837.808 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844837.808 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844837.808 * * [simplify]: Extracting #7: cost 6 inf + 1410
1553844837.809 * * [simplify]: Extracting #8: cost 1 inf + 2180
1553844837.809 * * [simplify]: Extracting #9: cost 0 inf + 2401
1553844837.809 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1553844837.809 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (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)))))
1553844837.809 * * * * [progress]: [ 22 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.810 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1553844837.810 * * [simplify]: iters left: 5 (6 enodes)
1553844837.811 * * [simplify]: iters left: 4 (24 enodes)
1553844837.816 * * [simplify]: iters left: 3 (37 enodes)
1553844837.822 * * [simplify]: iters left: 2 (41 enodes)
1553844837.828 * * [simplify]: iters left: 1 (43 enodes)
1553844837.834 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844837.834 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844837.834 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844837.834 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844837.834 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844837.834 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844837.834 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844837.834 * * [simplify]: Extracting #7: cost 6 inf + 1490
1553844837.834 * * [simplify]: Extracting #8: cost 1 inf + 2260
1553844837.835 * * [simplify]: Extracting #9: cost 0 inf + 2481
1553844837.835 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1553844837.835 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (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)))))
1553844837.835 * * * * [progress]: [ 23 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.835 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844837.836 * * [simplify]: iters left: 5 (6 enodes)
1553844837.837 * * [simplify]: iters left: 4 (24 enodes)
1553844837.840 * * [simplify]: iters left: 3 (37 enodes)
1553844837.845 * * [simplify]: iters left: 2 (41 enodes)
1553844837.851 * * [simplify]: iters left: 1 (43 enodes)
1553844837.857 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844837.857 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844837.857 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844837.857 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844837.857 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844837.857 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844837.857 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844837.857 * * [simplify]: Extracting #7: cost 6 inf + 1370
1553844837.857 * * [simplify]: Extracting #8: cost 1 inf + 2100
1553844837.858 * * [simplify]: Extracting #9: cost 0 inf + 2321
1553844837.858 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844837.858 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (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)))))
1553844837.858 * * * * [progress]: [ 24 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a)))))>
1553844837.858 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1553844837.858 * * [simplify]: iters left: 4 (5 enodes)
1553844837.859 * * [simplify]: iters left: 3 (21 enodes)
1553844837.863 * * [simplify]: iters left: 2 (34 enodes)
1553844837.868 * * [simplify]: iters left: 1 (38 enodes)
1553844837.877 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844837.878 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844837.878 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844837.878 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844837.878 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844837.878 * * [simplify]: Extracting #5: cost 9 inf + 599
1553844837.878 * * [simplify]: Extracting #6: cost 5 inf + 1029
1553844837.879 * * [simplify]: Extracting #7: cost 0 inf + 1829
1553844837.879 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844837.879 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a)))))
1553844837.879 * * * * [progress]: [ 25 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844837.880 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844837.880 * * [simplify]: iters left: 5 (6 enodes)
1553844837.882 * * [simplify]: iters left: 4 (24 enodes)
1553844837.890 * * [simplify]: iters left: 3 (37 enodes)
1553844837.899 * * [simplify]: iters left: 2 (41 enodes)
1553844837.905 * * [simplify]: iters left: 1 (43 enodes)
1553844838.387 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844838.387 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844838.387 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844838.387 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844838.387 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844838.387 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844838.388 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844838.388 * * [simplify]: Extracting #7: cost 6 inf + 1370
1553844838.389 * * [simplify]: Extracting #8: cost 1 inf + 2100
1553844838.389 * * [simplify]: Extracting #9: cost 0 inf + 2321
1553844838.390 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1553844838.391 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (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)))))
1553844838.392 * * * * [progress]: [ 26 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a)))))>
1553844838.392 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1553844838.392 * * [simplify]: iters left: 4 (5 enodes)
1553844838.394 * * [simplify]: iters left: 3 (21 enodes)
1553844838.401 * * [simplify]: iters left: 2 (34 enodes)
1553844838.411 * * [simplify]: iters left: 1 (38 enodes)
1553844838.422 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844838.422 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844838.422 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844838.422 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844838.422 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844838.423 * * [simplify]: Extracting #5: cost 9 inf + 599
1553844838.423 * * [simplify]: Extracting #6: cost 5 inf + 1029
1553844838.423 * * [simplify]: Extracting #7: cost 0 inf + 1829
1553844838.424 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844838.424 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a)))))
1553844838.424 * * * * [progress]: [ 27 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a)))))>
1553844838.424 * * * * [progress]: [ 28 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))>
1553844838.425 * [simplify]: Simplifying (fmod (cosh a) (* a a))
1553844838.425 * * [simplify]: iters left: 3 (4 enodes)
1553844838.426 * * [simplify]: iters left: 2 (18 enodes)
1553844838.431 * * [simplify]: iters left: 1 (31 enodes)
1553844838.435 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844838.435 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844838.436 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844838.436 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844838.436 * * [simplify]: Extracting #4: cost 7 inf + 599
1553844838.436 * * [simplify]: Extracting #5: cost 5 inf + 712
1553844838.436 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844838.436 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844838.436 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
1553844838.436 * * * * [progress]: [ 29 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844838.436 * [simplify]: Simplifying (exp (sqrt (fmod (cosh a) (* a a))))
1553844838.437 * * [simplify]: iters left: 5 (6 enodes)
1553844838.438 * * [simplify]: iters left: 4 (24 enodes)
1553844838.441 * * [simplify]: iters left: 3 (37 enodes)
1553844838.447 * * [simplify]: iters left: 2 (41 enodes)
1553844838.452 * * [simplify]: iters left: 1 (43 enodes)
1553844838.459 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844838.459 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844838.459 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844838.459 * * [simplify]: Extracting #3: cost 8 inf + 0
1553844838.459 * * [simplify]: Extracting #4: cost 13 inf + 0
1553844838.459 * * [simplify]: Extracting #5: cost 14 inf + 2
1553844838.460 * * [simplify]: Extracting #6: cost 13 inf + 377
1553844838.460 * * [simplify]: Extracting #7: cost 6 inf + 1400
1553844838.461 * * [simplify]: Extracting #8: cost 1 inf + 2160
1553844838.461 * * [simplify]: Extracting #9: cost 0 inf + 2381
1553844838.462 * [simplify]: Simplified to (exp (sqrt (fmod (cosh a) (* a a))))
1553844838.462 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844838.462 * * * * [progress]: [ 30 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
1553844838.462 * * * * [progress]: [ 31 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
1553844838.462 * * * * [progress]: [ 32 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844838.462 * * * * [progress]: [ 33 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844838.462 * * * * [progress]: [ 34 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (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)))))>
1553844838.462 * * * * [progress]: [ 35 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))>
1553844838.463 * * * * [progress]: [ 36 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
1553844838.463 * * * * [progress]: [ 37 / 65 ] simplifiying candidate #<alt (λ (a) (log (/ (exp (/ PI 2)) (exp (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844838.463 * [simplify]: Simplifying (/ (exp (/ PI 2)) (exp (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844838.463 * * [simplify]: iters left: 6 (17 enodes)
1553844838.471 * * [simplify]: iters left: 5 (62 enodes)
1553844838.482 * * [simplify]: iters left: 4 (88 enodes)
1553844838.499 * * [simplify]: iters left: 3 (122 enodes)
1553844838.516 * * [simplify]: iters left: 2 (180 enodes)
1553844838.556 * * [simplify]: iters left: 1 (305 enodes)
1553844838.680 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844838.680 * * [simplify]: Extracting #1: cost 9 inf + 0
1553844838.680 * * [simplify]: Extracting #2: cost 16 inf + 1
1553844838.680 * * [simplify]: Extracting #3: cost 23 inf + 1
1553844838.680 * * [simplify]: Extracting #4: cost 42 inf + 74
1553844838.681 * * [simplify]: Extracting #5: cost 101 inf + 452
1553844838.682 * * [simplify]: Extracting #6: cost 130 inf + 553
1553844838.684 * * [simplify]: Extracting #7: cost 118 inf + 2640
1553844838.689 * * [simplify]: Extracting #8: cost 57 inf + 27122
1553844838.703 * * [simplify]: Extracting #9: cost 8 inf + 69703
1553844838.720 * * [simplify]: Extracting #10: cost 0 inf + 76518
1553844838.736 * * [simplify]: Extracting #11: cost 0 inf + 76517
1553844838.754 * [simplify]: Simplified to (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844838.754 * [simplify]: Simplified (2 1) to (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))
1553844838.754 * * * * [progress]: [ 38 / 65 ] simplifiying candidate #<alt (λ (a) (pow (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1))>
1553844838.755 * * * * [progress]: [ 39 / 65 ] simplifiying candidate #<alt (λ (a) (exp (log (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844838.755 * * * * [progress]: [ 40 / 65 ] simplifiying candidate #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844838.755 * * * * [progress]: [ 41 / 65 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844838.755 * * * * [progress]: [ 42 / 65 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844838.755 * * * * [progress]: [ 43 / 65 ] simplifiying candidate #<alt (λ (a) (* (sqrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844838.755 * * * * [progress]: [ 44 / 65 ] simplifiying candidate #<alt (λ (a) (/ (- (pow (/ PI 2) 3) (pow (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 3)) (+ (* (/ PI 2) (/ PI 2)) (+ (* (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (* (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))>
1553844838.755 * * * * [progress]: [ 45 / 65 ] simplifiying candidate #<alt (λ (a) (+ (/ PI 2) (- (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844838.755 * * * * [progress]: [ 46 / 65 ] simplifiying candidate #<alt (λ (a) (* 1 (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844838.755 * * * * [progress]: [ 47 / 65 ] simplifiying candidate #<alt (λ (a) (/ (- (* (/ PI 2) (/ PI 2)) (* (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (+ (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844838.755 * * * * [progress]: [ 48 / 65 ] simplifiying candidate #<alt (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844838.756 * [simplify]: Simplifying (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844838.756 * * [simplify]: iters left: 6 (17 enodes)
1553844838.763 * * [simplify]: iters left: 5 (59 enodes)
1553844838.780 * * [simplify]: iters left: 4 (79 enodes)
1553844838.805 * * [simplify]: iters left: 3 (108 enodes)
1553844838.836 * * [simplify]: iters left: 2 (162 enodes)
1553844838.870 * * [simplify]: iters left: 1 (274 enodes)
1553844838.985 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844838.985 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844838.985 * * [simplify]: Extracting #2: cost 8 inf + 0
1553844838.985 * * [simplify]: Extracting #3: cost 13 inf + 0
1553844838.985 * * [simplify]: Extracting #4: cost 35 inf + 2
1553844838.986 * * [simplify]: Extracting #5: cost 95 inf + 251
1553844838.986 * * [simplify]: Extracting #6: cost 124 inf + 352
1553844838.989 * * [simplify]: Extracting #7: cost 89 inf + 9468
1553844838.991 * * [simplify]: Extracting #8: cost 50 inf + 26074
1553844838.998 * * [simplify]: Extracting #9: cost 6 inf + 64692
1553844839.008 * * [simplify]: Extracting #10: cost 0 inf + 70691
1553844839.016 * [simplify]: Simplified to (+ (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (/ PI 2)))
1553844839.016 * [simplify]: Simplified (2 1) to (λ (a) (* (+ (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (/ PI 2))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))
1553844839.016 * [simplify]: Simplifying (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844839.016 * * [simplify]: iters left: 6 (17 enodes)
1553844839.023 * * [simplify]: iters left: 5 (60 enodes)
1553844839.041 * * [simplify]: iters left: 4 (83 enodes)
1553844839.054 * * [simplify]: iters left: 3 (112 enodes)
1553844839.071 * * [simplify]: iters left: 2 (166 enodes)
1553844839.127 * * [simplify]: iters left: 1 (279 enodes)
1553844839.237 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844839.237 * * [simplify]: Extracting #1: cost 5 inf + 0
1553844839.237 * * [simplify]: Extracting #2: cost 10 inf + 0
1553844839.237 * * [simplify]: Extracting #3: cost 15 inf + 0
1553844839.237 * * [simplify]: Extracting #4: cost 36 inf + 2
1553844839.238 * * [simplify]: Extracting #5: cost 95 inf + 251
1553844839.239 * * [simplify]: Extracting #6: cost 123 inf + 575
1553844839.242 * * [simplify]: Extracting #7: cost 85 inf + 10809
1553844839.250 * * [simplify]: Extracting #8: cost 40 inf + 32808
1553844839.266 * * [simplify]: Extracting #9: cost 4 inf + 57719
1553844839.279 * * [simplify]: Extracting #10: cost 0 inf + 60131
1553844839.294 * * [simplify]: Extracting #11: cost 0 inf + 60130
1553844839.311 * [simplify]: Simplified to (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844839.312 * [simplify]: Simplified (2 2) to (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))
1553844839.312 * * * * [progress]: [ 49 / 65 ] simplifiying candidate #<alt (λ (a) (* (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844839.312 * [simplify]: Simplifying (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844839.312 * * [simplify]: iters left: 6 (18 enodes)
1553844839.316 * * [simplify]: iters left: 5 (62 enodes)
1553844839.326 * * [simplify]: iters left: 4 (82 enodes)
1553844839.341 * * [simplify]: iters left: 3 (111 enodes)
1553844839.377 * * [simplify]: iters left: 2 (168 enodes)
1553844839.424 * * [simplify]: iters left: 1 (284 enodes)
1553844839.542 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844839.542 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844839.542 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844839.542 * * [simplify]: Extracting #3: cost 15 inf + 0
1553844839.542 * * [simplify]: Extracting #4: cost 37 inf + 43
1553844839.543 * * [simplify]: Extracting #5: cost 102 inf + 126
1553844839.543 * * [simplify]: Extracting #6: cost 133 inf + 613
1553844839.547 * * [simplify]: Extracting #7: cost 89 inf + 11246
1553844839.552 * * [simplify]: Extracting #8: cost 39 inf + 43347
1553844839.559 * * [simplify]: Extracting #9: cost 3 inf + 73486
1553844839.573 * * [simplify]: Extracting #10: cost 0 inf + 74575
1553844839.590 * * [simplify]: Extracting #11: cost 0 inf + 74444
1553844839.604 * [simplify]: Simplified to (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844839.604 * [simplify]: Simplified (2 1) to (λ (a) (* (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))
1553844839.604 * [simplify]: Simplifying (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844839.605 * * [simplify]: iters left: 6 (18 enodes)
1553844839.609 * * [simplify]: iters left: 5 (63 enodes)
1553844839.618 * * [simplify]: iters left: 4 (86 enodes)
1553844839.632 * * [simplify]: iters left: 3 (115 enodes)
1553844839.670 * * [simplify]: iters left: 2 (172 enodes)
1553844839.712 * * [simplify]: iters left: 1 (283 enodes)
1553844839.799 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844839.799 * * [simplify]: Extracting #1: cost 5 inf + 0
1553844839.799 * * [simplify]: Extracting #2: cost 11 inf + 0
1553844839.799 * * [simplify]: Extracting #3: cost 17 inf + 0
1553844839.799 * * [simplify]: Extracting #4: cost 37 inf + 84
1553844839.800 * * [simplify]: Extracting #5: cost 99 inf + 411
1553844839.800 * * [simplify]: Extracting #6: cost 129 inf + 512
1553844839.801 * * [simplify]: Extracting #7: cost 107 inf + 5349
1553844839.803 * * [simplify]: Extracting #8: cost 62 inf + 21706
1553844839.810 * * [simplify]: Extracting #9: cost 12 inf + 61283
1553844839.819 * * [simplify]: Extracting #10: cost 0 inf + 71770
1553844839.830 * * [simplify]: Extracting #11: cost 0 inf + 71254
1553844839.840 * [simplify]: Simplified to (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844839.840 * [simplify]: Simplified (2 2) to (λ (a) (* (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))
1553844839.840 * * * * [progress]: [ 50 / 65 ] simplifiying candidate #<alt (λ (a) (* 1 (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844839.840 * [simplify]: Simplifying (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
1553844839.840 * * [simplify]: iters left: 6 (15 enodes)
1553844839.847 * * [simplify]: iters left: 5 (54 enodes)
1553844839.862 * * [simplify]: iters left: 4 (77 enodes)
1553844839.882 * * [simplify]: iters left: 3 (106 enodes)
1553844839.913 * * [simplify]: iters left: 2 (160 enodes)
1553844839.970 * * [simplify]: iters left: 1 (272 enodes)
1553844840.088 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.088 * * [simplify]: Extracting #1: cost 5 inf + 0
1553844840.088 * * [simplify]: Extracting #2: cost 11 inf + 0
1553844840.088 * * [simplify]: Extracting #3: cost 34 inf + 2
1553844840.089 * * [simplify]: Extracting #4: cost 96 inf + 87
1553844840.090 * * [simplify]: Extracting #5: cost 126 inf + 188
1553844840.092 * * [simplify]: Extracting #6: cost 88 inf + 9677
1553844840.098 * * [simplify]: Extracting #7: cost 43 inf + 30531
1553844840.105 * * [simplify]: Extracting #8: cost 7 inf + 61946
1553844840.113 * * [simplify]: Extracting #9: cost 0 inf + 69293
1553844840.127 * [simplify]: Simplified to (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844840.127 * [simplify]: Simplified (2 2) to (λ (a) (* 1 (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))))
1553844840.127 * * * * [progress]: [ 51 / 65 ] simplifiying candidate #<alt (λ (a) (+ (- (/ PI 2) (/ PI 2)) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844840.127 * [simplify]: Simplifying (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))
1553844840.128 * * [simplify]: iters left: 6 (11 enodes)
1553844840.132 * * [simplify]: iters left: 5 (41 enodes)
1553844840.144 * * [simplify]: iters left: 4 (63 enodes)
1553844840.156 * * [simplify]: iters left: 3 (92 enodes)
1553844840.189 * * [simplify]: iters left: 2 (149 enodes)
1553844840.216 * * [simplify]: iters left: 1 (262 enodes)
1553844840.316 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.316 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844840.316 * * [simplify]: Extracting #2: cost 27 inf + 0
1553844840.317 * * [simplify]: Extracting #3: cost 89 inf + 1
1553844840.317 * * [simplify]: Extracting #4: cost 120 inf + 62
1553844840.319 * * [simplify]: Extracting #5: cost 92 inf + 4626
1553844840.323 * * [simplify]: Extracting #6: cost 57 inf + 18384
1553844840.337 * * [simplify]: Extracting #7: cost 8 inf + 58132
1553844840.354 * * [simplify]: Extracting #8: cost 0 inf + 64081
1553844840.372 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1553844840.372 * [simplify]: Simplified (2 2) to (λ (a) (+ (- (/ PI 2) (/ PI 2)) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844840.372 * * * * [progress]: [ 52 / 65 ] simplifiying candidate #<alt (λ (a) (+ (/ PI 2) (- (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1553844840.372 * * * * [progress]: [ 53 / 65 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
1553844840.372 * * * * [progress]: [ 54 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a)))))>
1553844840.373 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844840.373 * * [simplify]: iters left: 2 (5 enodes)
1553844840.376 * * [simplify]: iters left: 1 (25 enodes)
1553844840.384 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.384 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844840.385 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844840.385 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844840.385 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844840.385 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844840.385 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844840.386 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844840.386 * [simplify]: Simplified (2 2 1 1 2 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844840.386 * * * * [progress]: [ 55 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a)))))>
1553844840.386 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844840.386 * * [simplify]: iters left: 2 (5 enodes)
1553844840.389 * * [simplify]: iters left: 1 (25 enodes)
1553844840.399 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.399 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844840.399 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844840.399 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844840.399 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844840.399 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844840.399 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844840.400 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844840.400 * [simplify]: Simplified (2 2 1 1 2 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844840.400 * * * * [progress]: [ 56 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a)))))>
1553844840.400 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844840.400 * * [simplify]: iters left: 2 (5 enodes)
1553844840.402 * * [simplify]: iters left: 1 (25 enodes)
1553844840.405 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.405 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844840.405 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844840.405 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844840.406 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844840.406 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844840.406 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844840.406 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844840.406 * [simplify]: Simplified (2 2 1 1 2 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844840.406 * * * * [progress]: [ 57 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844840.406 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844840.406 * * [simplify]: iters left: 2 (5 enodes)
1553844840.408 * * [simplify]: iters left: 1 (25 enodes)
1553844840.412 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.412 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844840.412 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844840.412 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844840.412 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844840.412 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844840.412 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844840.413 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844840.413 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844840.413 * * * * [progress]: [ 58 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844840.413 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844840.413 * * [simplify]: iters left: 2 (5 enodes)
1553844840.414 * * [simplify]: iters left: 1 (25 enodes)
1553844840.418 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.418 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844840.418 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844840.418 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844840.418 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844840.419 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844840.419 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844840.419 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844840.419 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844840.419 * * * * [progress]: [ 59 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1553844840.419 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1553844840.419 * * [simplify]: iters left: 2 (5 enodes)
1553844840.421 * * [simplify]: iters left: 1 (25 enodes)
1553844840.425 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.425 * * [simplify]: Extracting #1: cost 4 inf + 0
1553844840.425 * * [simplify]: Extracting #2: cost 9 inf + 0
1553844840.425 * * [simplify]: Extracting #3: cost 10 inf + 2
1553844840.425 * * [simplify]: Extracting #4: cost 8 inf + 433
1553844840.425 * * [simplify]: Extracting #5: cost 4 inf + 823
1553844840.425 * * [simplify]: Extracting #6: cost 0 inf + 1417
1553844840.425 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1553844840.425 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
1553844840.426 * * * * [progress]: [ 60 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a)))))>
1553844840.426 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1553844840.426 * * [simplify]: iters left: 3 (6 enodes)
1553844840.427 * * [simplify]: iters left: 2 (28 enodes)
1553844840.432 * * [simplify]: iters left: 1 (42 enodes)
1553844840.438 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.438 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844840.438 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844840.438 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844840.438 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844840.438 * * [simplify]: Extracting #5: cost 12 inf + 226
1553844840.438 * * [simplify]: Extracting #6: cost 6 inf + 918
1553844840.438 * * [simplify]: Extracting #7: cost 1 inf + 1608
1553844840.438 * * [simplify]: Extracting #8: cost 0 inf + 1829
1553844840.439 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844840.439 * [simplify]: Simplified (2 2 1 1 2) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
1553844840.439 * * * * [progress]: [ 61 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a)))))>
1553844840.439 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1553844840.439 * * [simplify]: iters left: 3 (6 enodes)
1553844840.441 * * [simplify]: iters left: 2 (28 enodes)
1553844840.445 * * [simplify]: iters left: 1 (42 enodes)
1553844840.450 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.450 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844840.450 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844840.450 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844840.450 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844840.450 * * [simplify]: Extracting #5: cost 12 inf + 226
1553844840.451 * * [simplify]: Extracting #6: cost 6 inf + 918
1553844840.451 * * [simplify]: Extracting #7: cost 1 inf + 1608
1553844840.451 * * [simplify]: Extracting #8: cost 0 inf + 1829
1553844840.451 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844840.451 * [simplify]: Simplified (2 2 1 1 2) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
1553844840.451 * * * * [progress]: [ 62 / 65 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a)))))>
1553844840.452 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1553844840.452 * * [simplify]: iters left: 3 (6 enodes)
1553844840.453 * * [simplify]: iters left: 2 (28 enodes)
1553844840.458 * * [simplify]: iters left: 1 (42 enodes)
1553844840.463 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.463 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844840.463 * * [simplify]: Extracting #2: cost 6 inf + 0
1553844840.463 * * [simplify]: Extracting #3: cost 11 inf + 0
1553844840.463 * * [simplify]: Extracting #4: cost 12 inf + 2
1553844840.463 * * [simplify]: Extracting #5: cost 12 inf + 226
1553844840.463 * * [simplify]: Extracting #6: cost 6 inf + 918
1553844840.463 * * [simplify]: Extracting #7: cost 1 inf + 1608
1553844840.464 * * [simplify]: Extracting #8: cost 0 inf + 1829
1553844840.464 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1553844840.464 * [simplify]: Simplified (2 2 1 1 2) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
1553844840.464 * * * * [progress]: [ 63 / 65 ] simplifiying candidate #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))>
1553844840.464 * [simplify]: Simplifying (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844840.464 * * [simplify]: iters left: 6 (12 enodes)
1553844840.468 * * [simplify]: iters left: 5 (52 enodes)
1553844840.477 * * [simplify]: iters left: 4 (78 enodes)
1553844840.489 * * [simplify]: iters left: 3 (104 enodes)
1553844840.505 * * [simplify]: iters left: 2 (158 enodes)
1553844840.537 * * [simplify]: iters left: 1 (271 enodes)
1553844840.687 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.687 * * [simplify]: Extracting #1: cost 5 inf + 0
1553844840.687 * * [simplify]: Extracting #2: cost 11 inf + 0
1553844840.687 * * [simplify]: Extracting #3: cost 33 inf + 2
1553844840.688 * * [simplify]: Extracting #4: cost 94 inf + 87
1553844840.688 * * [simplify]: Extracting #5: cost 120 inf + 355
1553844840.690 * * [simplify]: Extracting #6: cost 89 inf + 6081
1553844840.697 * * [simplify]: Extracting #7: cost 51 inf + 26037
1553844840.712 * * [simplify]: Extracting #8: cost 13 inf + 56015
1553844840.729 * * [simplify]: Extracting #9: cost 0 inf + 67905
1553844840.744 * [simplify]: Simplified to (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844840.744 * [simplify]: Simplified (2) to (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844840.745 * * * * [progress]: [ 64 / 65 ] simplifiying candidate #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))>
1553844840.745 * [simplify]: Simplifying (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844840.745 * * [simplify]: iters left: 6 (12 enodes)
1553844840.752 * * [simplify]: iters left: 5 (52 enodes)
1553844840.768 * * [simplify]: iters left: 4 (78 enodes)
1553844840.784 * * [simplify]: iters left: 3 (104 enodes)
1553844840.800 * * [simplify]: iters left: 2 (158 enodes)
1553844840.843 * * [simplify]: iters left: 1 (271 enodes)
1553844840.934 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844840.934 * * [simplify]: Extracting #1: cost 5 inf + 0
1553844840.934 * * [simplify]: Extracting #2: cost 11 inf + 0
1553844840.934 * * [simplify]: Extracting #3: cost 33 inf + 2
1553844840.935 * * [simplify]: Extracting #4: cost 94 inf + 87
1553844840.935 * * [simplify]: Extracting #5: cost 120 inf + 355
1553844840.936 * * [simplify]: Extracting #6: cost 89 inf + 6081
1553844840.939 * * [simplify]: Extracting #7: cost 51 inf + 26037
1553844840.947 * * [simplify]: Extracting #8: cost 13 inf + 56015
1553844840.963 * * [simplify]: Extracting #9: cost 0 inf + 67905
1553844840.980 * [simplify]: Simplified to (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844840.980 * [simplify]: Simplified (2) to (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844840.981 * * * * [progress]: [ 65 / 65 ] simplifiying candidate #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))>
1553844840.981 * [simplify]: Simplifying (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
1553844840.981 * * [simplify]: iters left: 6 (12 enodes)
1553844840.984 * * [simplify]: iters left: 5 (52 enodes)
1553844840.995 * * [simplify]: iters left: 4 (78 enodes)
1553844841.007 * * [simplify]: iters left: 3 (104 enodes)
1553844841.031 * * [simplify]: iters left: 2 (158 enodes)
1553844841.081 * * [simplify]: iters left: 1 (271 enodes)
1553844841.213 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844841.214 * * [simplify]: Extracting #1: cost 5 inf + 0
1553844841.214 * * [simplify]: Extracting #2: cost 11 inf + 0
1553844841.214 * * [simplify]: Extracting #3: cost 33 inf + 2
1553844841.214 * * [simplify]: Extracting #4: cost 94 inf + 87
1553844841.215 * * [simplify]: Extracting #5: cost 120 inf + 355
1553844841.220 * * [simplify]: Extracting #6: cost 89 inf + 6081
1553844841.226 * * [simplify]: Extracting #7: cost 51 inf + 26037
1553844841.238 * * [simplify]: Extracting #8: cost 13 inf + 56015
1553844841.252 * * [simplify]: Extracting #9: cost 0 inf + 67905
1553844841.264 * [simplify]: Simplified to (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844841.265 * [simplify]: Simplified (2) to (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
1553844841.265 * * * [progress]: adding candidates to table
1553844842.161 * [progress]: [Phase 3 of 3] Extracting.
1553844842.161 * * [regime]: Finding splitpoints for: (#<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))))> #<alt (λ (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))))> #<alt (λ (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))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (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) (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))))> #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))> #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
1553844842.166 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1553844842.167 * * * * [regimes]: Trying to branch on a from (#<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))))> #<alt (λ (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))))> #<alt (λ (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))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (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) (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))))> #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))> #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
1553844842.293 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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))))> #<alt (λ (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))))> #<alt (λ (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))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (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) (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))))> #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))> #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
1553844842.409 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))> #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
1553844842.457 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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))))> #<alt (λ (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))))> #<alt (λ (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))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (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) (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))))> #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))> #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>)
1553844842.615 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
1553844842.654 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
1553844842.654 * [simplify]: Simplifying (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1553844842.655 * * [simplify]: iters left: 6 (19 enodes)
1553844842.656 * * [simplify]: iters left: 5 (22 enodes)
1553844842.657 * * [simplify]: Extracting #0: cost 1 inf + 0
1553844842.657 * * [simplify]: Extracting #1: cost 3 inf + 0
1553844842.657 * * [simplify]: Extracting #2: cost 5 inf + 0
1553844842.657 * * [simplify]: Extracting #3: cost 7 inf + 0
1553844842.657 * * [simplify]: Extracting #4: cost 10 inf + 0
1553844842.658 * * [simplify]: Extracting #5: cost 10 inf + 2
1553844842.658 * * [simplify]: Extracting #6: cost 12 inf + 44
1553844842.658 * * [simplify]: Extracting #7: cost 11 inf + 218
1553844842.658 * * [simplify]: Extracting #8: cost 13 inf + 218
1553844842.658 * * [simplify]: Extracting #9: cost 10 inf + 481
1553844842.658 * * [simplify]: Extracting #10: cost 8 inf + 963
1553844842.659 * * [simplify]: Extracting #11: cost 5 inf + 2381
1553844842.659 * * [simplify]: Extracting #12: cost 3 inf + 4003
1553844842.660 * * [simplify]: Extracting #13: cost 0 inf + 6942
1553844842.661 * [simplify]: Simplified to (* (+ (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (/ PI 2))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))
1553844878.239 * [regime-testing]: Baseline error score: 59.243187471163516
1553844878.240 * [regime-testing]: Oracle error score: 59.116186110959916
1553844878.243 * [regime-testing]: End program error score: 59.243187471163516