1552471702.964 * [progress]: [Phase 1 of 3] Setting up.
1552471702.965 * * * [progress]: [1/2] Preparing points
1552471704.835 * * * [progress]: [2/2] Setting up program.
1552471704.840 * [progress]: [Phase 2 of 3] Improving.
1552471704.840 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1552471704.841 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471704.842 * * [simplify]: iters left: 5 (7 enodes)
1552471704.847 * * [simplify]: iters left: 4 (30 enodes)
1552471704.856 * * [simplify]: iters left: 3 (52 enodes)
1552471704.865 * * [simplify]: iters left: 2 (80 enodes)
1552471704.885 * * [simplify]: iters left: 1 (137 enodes)
1552471704.949 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471704.950 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471704.950 * * [simplify]: Extracting #2: cost 15 inf + 0
1552471704.951 * * [simplify]: Extracting #3: cost 52 inf + 1
1552471704.951 * * [simplify]: Extracting #4: cost 67 inf + 61
1552471704.952 * * [simplify]: Extracting #5: cost 48 inf + 4669
1552471704.953 * * [simplify]: Extracting #6: cost 27 inf + 11788
1552471704.956 * * [simplify]: Extracting #7: cost 2 inf + 27949
1552471704.959 * * [simplify]: Extracting #8: cost 0 inf + 28280
1552471704.962 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471704.962 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471704.967 * * [progress]: iteration 1 / 4
1552471704.967 * * * [progress]: picking best candidate
1552471704.971 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1552471704.971 * * * [progress]: localizing error
1552471705.000 * * * [progress]: generating rewritten candidates
1552471705.000 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
1552471705.002 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1552471705.007 * * * [progress]: generating series expansions
1552471705.007 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
1552471705.013 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471705.013 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471705.014 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471705.016 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.016 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471705.017 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.017 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.017 * [backup-simplify]: Simplify 0 into 0
1552471705.017 * [backup-simplify]: Simplify 0 into 0
1552471705.017 * [backup-simplify]: Simplify 0 into 0
1552471705.018 * [backup-simplify]: Simplify 0 into 0
1552471705.018 * [backup-simplify]: Simplify 0 into 0
1552471705.018 * [backup-simplify]: Simplify 0 into 0
1552471705.018 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.018 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471705.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471705.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471705.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.019 * [backup-simplify]: Simplify 0 into 0
1552471705.019 * [backup-simplify]: Simplify 0 into 0
1552471705.019 * [backup-simplify]: Simplify 0 into 0
1552471705.019 * [backup-simplify]: Simplify 0 into 0
1552471705.019 * [backup-simplify]: Simplify 0 into 0
1552471705.019 * [backup-simplify]: Simplify 0 into 0
1552471705.019 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471705.020 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.020 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471705.020 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471705.020 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.020 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471705.020 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.021 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.021 * [backup-simplify]: Simplify 0 into 0
1552471705.021 * [backup-simplify]: Simplify 0 into 0
1552471705.021 * [backup-simplify]: Simplify 0 into 0
1552471705.021 * [backup-simplify]: Simplify 0 into 0
1552471705.021 * [backup-simplify]: Simplify 0 into 0
1552471705.021 * [backup-simplify]: Simplify 0 into 0
1552471705.021 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471705.021 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1552471705.021 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.021 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1552471705.021 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1552471705.022 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.022 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1552471705.022 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.022 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.022 * [backup-simplify]: Simplify 0 into 0
1552471705.022 * [backup-simplify]: Simplify 0 into 0
1552471705.022 * [backup-simplify]: Simplify 0 into 0
1552471705.022 * [backup-simplify]: Simplify 0 into 0
1552471705.022 * [backup-simplify]: Simplify 0 into 0
1552471705.022 * [backup-simplify]: Simplify 0 into 0
1552471705.022 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.023 * [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))))
1552471705.023 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1552471705.023 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1552471705.023 * [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))))
1552471705.023 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1552471705.023 * [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))))
1552471705.023 * [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))))
1552471705.023 * [backup-simplify]: Simplify 0 into 0
1552471705.023 * [backup-simplify]: Simplify 0 into 0
1552471705.023 * [backup-simplify]: Simplify 0 into 0
1552471705.024 * [backup-simplify]: Simplify 0 into 0
1552471705.024 * [backup-simplify]: Simplify 0 into 0
1552471705.024 * [backup-simplify]: Simplify 0 into 0
1552471705.024 * [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)))
1552471705.024 * [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))))
1552471705.024 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1552471705.024 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1552471705.024 * [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))))
1552471705.025 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1552471705.025 * [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))))
1552471705.025 * [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))))
1552471705.025 * [backup-simplify]: Simplify 0 into 0
1552471705.025 * [backup-simplify]: Simplify 0 into 0
1552471705.025 * [backup-simplify]: Simplify 0 into 0
1552471705.025 * [backup-simplify]: Simplify 0 into 0
1552471705.025 * [backup-simplify]: Simplify 0 into 0
1552471705.025 * [backup-simplify]: Simplify 0 into 0
1552471705.026 * [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)))
1552471705.026 * * * [progress]: simplifying candidates
1552471705.026 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1552471705.026 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 6 / 27 ] 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))))>
1552471705.026 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.026 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1552471705.026 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1552471705.026 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1552471705.027 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1552471705.027 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1552471705.027 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1552471705.027 * * * * [progress]: [ 17 / 27 ] 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))))))>
1552471705.027 * * * * [progress]: [ 18 / 27 ] 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))))))>
1552471705.027 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1552471705.027 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1552471705.027 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1552471705.027 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.027 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.027 * * [simplify]: iters left: 2 (5 enodes)
1552471705.031 * * [simplify]: iters left: 1 (25 enodes)
1552471705.039 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.039 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.039 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.039 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.039 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.040 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.040 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.040 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.041 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.041 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.041 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.041 * * [simplify]: iters left: 2 (5 enodes)
1552471705.044 * * [simplify]: iters left: 1 (25 enodes)
1552471705.053 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.053 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.053 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.053 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.053 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.054 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.054 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.054 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.054 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.054 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.055 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.055 * * [simplify]: iters left: 2 (5 enodes)
1552471705.058 * * [simplify]: iters left: 1 (25 enodes)
1552471705.080 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.080 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.080 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.080 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.080 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.080 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.081 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.081 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.081 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.082 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.082 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.082 * * [simplify]: iters left: 4 (8 enodes)
1552471705.086 * * [simplify]: iters left: 3 (37 enodes)
1552471705.092 * * [simplify]: iters left: 2 (60 enodes)
1552471705.101 * * [simplify]: iters left: 1 (86 enodes)
1552471705.115 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.115 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471705.115 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471705.115 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471705.116 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471705.116 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471705.117 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471705.119 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471705.122 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471705.125 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471705.125 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.125 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.125 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.126 * * [simplify]: iters left: 4 (8 enodes)
1552471705.130 * * [simplify]: iters left: 3 (37 enodes)
1552471705.143 * * [simplify]: iters left: 2 (60 enodes)
1552471705.162 * * [simplify]: iters left: 1 (86 enodes)
1552471705.189 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.190 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471705.190 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471705.190 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471705.190 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471705.191 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471705.192 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471705.194 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471705.198 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471705.204 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471705.204 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.204 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.204 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.204 * * [simplify]: iters left: 4 (8 enodes)
1552471705.209 * * [simplify]: iters left: 3 (37 enodes)
1552471705.221 * * [simplify]: iters left: 2 (60 enodes)
1552471705.240 * * [simplify]: iters left: 1 (86 enodes)
1552471705.268 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.268 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471705.268 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471705.268 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471705.268 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471705.269 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471705.270 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471705.273 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471705.276 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471705.279 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471705.279 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.279 * * * [progress]: adding candidates to table
1552471705.634 * * [progress]: iteration 2 / 4
1552471705.634 * * * [progress]: picking best candidate
1552471705.662 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.662 * * * [progress]: localizing error
1552471705.688 * * * [progress]: generating rewritten candidates
1552471705.688 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
1552471705.688 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1552471705.694 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1552471705.697 * * * [progress]: generating series expansions
1552471705.697 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
1552471705.697 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471705.697 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471705.697 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471705.698 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.698 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471705.698 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.698 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.698 * [backup-simplify]: Simplify 0 into 0
1552471705.698 * [backup-simplify]: Simplify 0 into 0
1552471705.698 * [backup-simplify]: Simplify 0 into 0
1552471705.698 * [backup-simplify]: Simplify 0 into 0
1552471705.698 * [backup-simplify]: Simplify 0 into 0
1552471705.698 * [backup-simplify]: Simplify 0 into 0
1552471705.698 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.698 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471705.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471705.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471705.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.699 * [backup-simplify]: Simplify 0 into 0
1552471705.699 * [backup-simplify]: Simplify 0 into 0
1552471705.699 * [backup-simplify]: Simplify 0 into 0
1552471705.699 * [backup-simplify]: Simplify 0 into 0
1552471705.699 * [backup-simplify]: Simplify 0 into 0
1552471705.699 * [backup-simplify]: Simplify 0 into 0
1552471705.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471705.700 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.700 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471705.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471705.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.700 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471705.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.700 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.700 * [backup-simplify]: Simplify 0 into 0
1552471705.700 * [backup-simplify]: Simplify 0 into 0
1552471705.700 * [backup-simplify]: Simplify 0 into 0
1552471705.700 * [backup-simplify]: Simplify 0 into 0
1552471705.700 * [backup-simplify]: Simplify 0 into 0
1552471705.700 * [backup-simplify]: Simplify 0 into 0
1552471705.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471705.701 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1552471705.701 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
1552471705.701 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471705.701 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471705.701 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.701 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471705.701 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.701 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.701 * [backup-simplify]: Simplify 0 into 0
1552471705.701 * [backup-simplify]: Simplify 0 into 0
1552471705.701 * [backup-simplify]: Simplify 0 into 0
1552471705.701 * [backup-simplify]: Simplify 0 into 0
1552471705.701 * [backup-simplify]: Simplify 0 into 0
1552471705.701 * [backup-simplify]: Simplify 0 into 0
1552471705.702 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471705.702 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.702 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471705.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471705.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471705.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471705.702 * [backup-simplify]: Simplify 0 into 0
1552471705.702 * [backup-simplify]: Simplify 0 into 0
1552471705.702 * [backup-simplify]: Simplify 0 into 0
1552471705.703 * [backup-simplify]: Simplify 0 into 0
1552471705.703 * [backup-simplify]: Simplify 0 into 0
1552471705.703 * [backup-simplify]: Simplify 0 into 0
1552471705.703 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471705.703 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.703 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471705.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471705.703 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.703 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471705.703 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471705.704 * [backup-simplify]: Simplify 0 into 0
1552471705.704 * [backup-simplify]: Simplify 0 into 0
1552471705.704 * [backup-simplify]: Simplify 0 into 0
1552471705.704 * [backup-simplify]: Simplify 0 into 0
1552471705.704 * [backup-simplify]: Simplify 0 into 0
1552471705.704 * [backup-simplify]: Simplify 0 into 0
1552471705.704 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471705.704 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1552471705.704 * [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)))
1552471705.704 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1552471705.704 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1552471705.705 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.705 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1552471705.705 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.705 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.705 * [backup-simplify]: Simplify 0 into 0
1552471705.705 * [backup-simplify]: Simplify 0 into 0
1552471705.705 * [backup-simplify]: Simplify 0 into 0
1552471705.705 * [backup-simplify]: Simplify 0 into 0
1552471705.705 * [backup-simplify]: Simplify 0 into 0
1552471705.705 * [backup-simplify]: Simplify 0 into 0
1552471705.705 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471705.706 * [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))))
1552471705.706 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1552471705.706 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1552471705.706 * [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))))
1552471705.706 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1552471705.706 * [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))))
1552471705.706 * [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))))
1552471705.706 * [backup-simplify]: Simplify 0 into 0
1552471705.706 * [backup-simplify]: Simplify 0 into 0
1552471705.706 * [backup-simplify]: Simplify 0 into 0
1552471705.707 * [backup-simplify]: Simplify 0 into 0
1552471705.707 * [backup-simplify]: Simplify 0 into 0
1552471705.707 * [backup-simplify]: Simplify 0 into 0
1552471705.707 * [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)))
1552471705.707 * [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))))
1552471705.707 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1552471705.707 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1552471705.707 * [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))))
1552471705.708 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1552471705.708 * [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))))
1552471705.708 * [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))))
1552471705.708 * [backup-simplify]: Simplify 0 into 0
1552471705.708 * [backup-simplify]: Simplify 0 into 0
1552471705.708 * [backup-simplify]: Simplify 0 into 0
1552471705.708 * [backup-simplify]: Simplify 0 into 0
1552471705.708 * [backup-simplify]: Simplify 0 into 0
1552471705.708 * [backup-simplify]: Simplify 0 into 0
1552471705.709 * [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)))
1552471705.709 * * * [progress]: simplifying candidates
1552471705.709 * * * * [progress]: [ 1 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log1p (expm1 (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 2 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (expm1 (log1p (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 3 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 4 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 5 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 6 / 49 ] 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))))>
1552471705.709 * * * * [progress]: [ 7 / 49 ] 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))))>
1552471705.709 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 9 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 10 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 11 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log1p (expm1 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 12 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (expm1 (log1p (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.709 * * * * [progress]: [ 13 / 49 ] 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))))>
1552471705.710 * [simplify]: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
1552471705.710 * * [simplify]: iters left: 6 (8 enodes)
1552471705.713 * * [simplify]: iters left: 5 (32 enodes)
1552471705.724 * * [simplify]: iters left: 4 (47 enodes)
1552471705.738 * * [simplify]: iters left: 3 (51 enodes)
1552471705.753 * * [simplify]: iters left: 2 (53 enodes)
1552471705.768 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.768 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.768 * * [simplify]: Extracting #2: cost 7 inf + 0
1552471705.769 * * [simplify]: Extracting #3: cost 9 inf + 0
1552471705.769 * * [simplify]: Extracting #4: cost 11 inf + 0
1552471705.769 * * [simplify]: Extracting #5: cost 14 inf + 0
1552471705.769 * * [simplify]: Extracting #6: cost 19 inf + 0
1552471705.769 * * [simplify]: Extracting #7: cost 20 inf + 2
1552471705.769 * * [simplify]: Extracting #8: cost 18 inf + 543
1552471705.769 * * [simplify]: Extracting #9: cost 12 inf + 1580
1552471705.770 * * [simplify]: Extracting #10: cost 1 inf + 4471
1552471705.771 * * [simplify]: Extracting #11: cost 0 inf + 4857
1552471705.772 * [simplify]: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
1552471705.772 * [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))))
1552471705.772 * * * * [progress]: [ 14 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.773 * [simplify]: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
1552471705.773 * * [simplify]: iters left: 6 (7 enodes)
1552471705.776 * * [simplify]: iters left: 5 (27 enodes)
1552471705.785 * * [simplify]: iters left: 4 (40 enodes)
1552471705.798 * * [simplify]: iters left: 3 (44 enodes)
1552471705.811 * * [simplify]: iters left: 2 (46 enodes)
1552471705.825 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.825 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471705.825 * * [simplify]: Extracting #2: cost 5 inf + 0
1552471705.825 * * [simplify]: Extracting #3: cost 7 inf + 0
1552471705.825 * * [simplify]: Extracting #4: cost 10 inf + 0
1552471705.825 * * [simplify]: Extracting #5: cost 15 inf + 0
1552471705.825 * * [simplify]: Extracting #6: cost 16 inf + 2
1552471705.825 * * [simplify]: Extracting #7: cost 14 inf + 433
1552471705.826 * * [simplify]: Extracting #8: cost 7 inf + 1446
1552471705.826 * * [simplify]: Extracting #9: cost 0 inf + 3133
1552471705.827 * [simplify]: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
1552471705.827 * [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))))
1552471705.827 * * * * [progress]: [ 15 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1552471705.827 * [simplify]: Simplifying (log 1)
1552471705.828 * * [simplify]: iters left: 1 (2 enodes)
1552471705.833 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.833 * * [simplify]: Extracting #1: cost 0 inf + 1
1552471705.833 * [simplify]: Simplified to 0
1552471705.833 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
1552471705.833 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1552471705.834 * * * * [progress]: [ 17 / 49 ] 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))))>
1552471705.834 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
1552471705.834 * * [simplify]: iters left: 4 (5 enodes)
1552471705.837 * * [simplify]: iters left: 3 (21 enodes)
1552471705.844 * * [simplify]: iters left: 2 (34 enodes)
1552471705.854 * * [simplify]: iters left: 1 (38 enodes)
1552471705.865 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.865 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471705.865 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471705.865 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471705.865 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471705.866 * * [simplify]: Extracting #5: cost 9 inf + 599
1552471705.866 * * [simplify]: Extracting #6: cost 5 inf + 1069
1552471705.866 * * [simplify]: Extracting #7: cost 0 inf + 1909
1552471705.867 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
1552471705.867 * [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))))
1552471705.867 * * * * [progress]: [ 18 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.867 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1552471705.868 * * [simplify]: iters left: 4 (5 enodes)
1552471705.870 * * [simplify]: iters left: 3 (21 enodes)
1552471705.877 * * [simplify]: iters left: 2 (34 enodes)
1552471705.888 * * [simplify]: iters left: 1 (38 enodes)
1552471705.894 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.894 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471705.894 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471705.894 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471705.895 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471705.895 * * [simplify]: Extracting #5: cost 9 inf + 599
1552471705.895 * * [simplify]: Extracting #6: cost 5 inf + 1029
1552471705.895 * * [simplify]: Extracting #7: cost 0 inf + 1829
1552471705.895 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1552471705.895 * [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))))
1552471705.895 * * * * [progress]: [ 19 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
1552471705.896 * [simplify]: Simplifying (fmod (cosh a) (* a a))
1552471705.896 * * [simplify]: iters left: 3 (4 enodes)
1552471705.896 * * [simplify]: iters left: 2 (18 enodes)
1552471705.900 * * [simplify]: iters left: 1 (31 enodes)
1552471705.904 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.904 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.904 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.904 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.905 * * [simplify]: Extracting #4: cost 7 inf + 599
1552471705.905 * * [simplify]: Extracting #5: cost 5 inf + 712
1552471705.905 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.905 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.905 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
1552471705.905 * * * * [progress]: [ 20 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
1552471705.905 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1552471705.905 * [simplify]: Simplifying (cosh a)
1552471705.905 * * [simplify]: iters left: 1 (2 enodes)
1552471705.906 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.906 * * [simplify]: Extracting #1: cost 5 inf + 0
1552471705.906 * * [simplify]: Extracting #2: cost 5 inf + 2
1552471705.906 * * [simplify]: Extracting #3: cost 3 inf + 185
1552471705.906 * * [simplify]: Extracting #4: cost 0 inf + 558
1552471705.906 * [simplify]: Simplified to (cosh a)
1552471705.906 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.906 * * * * [progress]: [ 22 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1552471705.906 * [simplify]: Simplifying (exp (fmod (cosh a) (* a a)))
1552471705.906 * * [simplify]: iters left: 4 (5 enodes)
1552471705.907 * * [simplify]: iters left: 3 (21 enodes)
1552471705.911 * * [simplify]: iters left: 2 (34 enodes)
1552471705.916 * * [simplify]: iters left: 1 (38 enodes)
1552471705.923 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.923 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471705.923 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471705.923 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471705.923 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471705.923 * * [simplify]: Extracting #5: cost 9 inf + 599
1552471705.924 * * [simplify]: Extracting #6: cost 5 inf + 1059
1552471705.924 * * [simplify]: Extracting #7: cost 0 inf + 1889
1552471705.925 * [simplify]: Simplified to (exp (fmod (cosh a) (* a a)))
1552471705.925 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1552471705.925 * * * * [progress]: [ 23 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.925 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.925 * * * * [progress]: [ 25 / 49 ] 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))))>
1552471705.925 * * * * [progress]: [ 26 / 49 ] 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))))>
1552471705.925 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.925 * * * * [progress]: [ 28 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
1552471705.925 * * * * [progress]: [ 29 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471705.925 * * * * [progress]: [ 30 / 49 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1552471705.925 * * * * [progress]: [ 31 / 49 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1552471705.925 * * * * [progress]: [ 32 / 49 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1552471705.925 * * * * [progress]: [ 33 / 49 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
1552471705.925 * * * * [progress]: [ 34 / 49 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1552471705.925 * * * * [progress]: [ 35 / 49 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1552471705.926 * * * * [progress]: [ 36 / 49 ] 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))))))>
1552471705.926 * * * * [progress]: [ 37 / 49 ] 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))))))>
1552471705.926 * * * * [progress]: [ 38 / 49 ] 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))))))>
1552471705.926 * * * * [progress]: [ 39 / 49 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
1552471705.926 * * * * [progress]: [ 40 / 49 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
1552471705.926 * * * * [progress]: [ 41 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1552471705.926 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.926 * * [simplify]: iters left: 2 (5 enodes)
1552471705.929 * * [simplify]: iters left: 1 (25 enodes)
1552471705.938 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.938 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.938 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.938 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.938 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.939 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.939 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.940 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.940 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1552471705.940 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1552471705.940 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.940 * * [simplify]: iters left: 2 (5 enodes)
1552471705.943 * * [simplify]: iters left: 1 (25 enodes)
1552471705.952 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.952 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.952 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.952 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.952 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.952 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.953 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.953 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.953 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1552471705.953 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
1552471705.954 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.954 * * [simplify]: iters left: 2 (5 enodes)
1552471705.957 * * [simplify]: iters left: 1 (25 enodes)
1552471705.967 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.967 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.967 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.967 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.968 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.968 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.968 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.969 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.969 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1552471705.969 * * * * [progress]: [ 44 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.969 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.969 * * [simplify]: iters left: 2 (5 enodes)
1552471705.973 * * [simplify]: iters left: 1 (25 enodes)
1552471705.981 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.981 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.981 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.981 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.982 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.982 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.982 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.983 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.983 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.983 * * * * [progress]: [ 45 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.983 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.983 * * [simplify]: iters left: 2 (5 enodes)
1552471705.987 * * [simplify]: iters left: 1 (25 enodes)
1552471705.995 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471705.995 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471705.995 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471705.995 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471705.996 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471705.996 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471705.996 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471705.997 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471705.997 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471705.997 * * * * [progress]: [ 46 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471705.997 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471705.997 * * [simplify]: iters left: 2 (5 enodes)
1552471706.001 * * [simplify]: iters left: 1 (25 enodes)
1552471706.009 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.009 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471706.009 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471706.009 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471706.009 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471706.010 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471706.010 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471706.010 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471706.010 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471706.011 * * * * [progress]: [ 47 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471706.011 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471706.011 * * [simplify]: iters left: 4 (8 enodes)
1552471706.015 * * [simplify]: iters left: 3 (37 enodes)
1552471706.027 * * [simplify]: iters left: 2 (60 enodes)
1552471706.042 * * [simplify]: iters left: 1 (86 enodes)
1552471706.056 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.056 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471706.056 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471706.056 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471706.056 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471706.057 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471706.057 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471706.058 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471706.060 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471706.062 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471706.062 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471706.062 * * * * [progress]: [ 48 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471706.062 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471706.062 * * [simplify]: iters left: 4 (8 enodes)
1552471706.064 * * [simplify]: iters left: 3 (37 enodes)
1552471706.071 * * [simplify]: iters left: 2 (60 enodes)
1552471706.083 * * [simplify]: iters left: 1 (86 enodes)
1552471706.097 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.097 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471706.097 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471706.097 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471706.097 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471706.098 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471706.098 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471706.100 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471706.101 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471706.103 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471706.103 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471706.103 * * * * [progress]: [ 49 / 49 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471706.103 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471706.104 * * [simplify]: iters left: 4 (8 enodes)
1552471706.106 * * [simplify]: iters left: 3 (37 enodes)
1552471706.114 * * [simplify]: iters left: 2 (60 enodes)
1552471706.132 * * [simplify]: iters left: 1 (86 enodes)
1552471706.161 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.161 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471706.161 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471706.161 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471706.161 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471706.162 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471706.163 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471706.166 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471706.169 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471706.172 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471706.172 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471706.173 * * * [progress]: adding candidates to table
1552471706.731 * * [progress]: iteration 3 / 4
1552471706.731 * * * [progress]: picking best candidate
1552471706.772 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471706.773 * * * [progress]: localizing error
1552471706.794 * * * [progress]: generating rewritten candidates
1552471706.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
1552471706.795 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1552471706.795 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552471706.802 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552471706.806 * * * [progress]: generating series expansions
1552471706.806 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
1552471706.806 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471706.806 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471706.806 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471706.806 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.806 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471706.806 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.807 * [backup-simplify]: Simplify 0 into 0
1552471706.807 * [backup-simplify]: Simplify 0 into 0
1552471706.807 * [backup-simplify]: Simplify 0 into 0
1552471706.807 * [backup-simplify]: Simplify 0 into 0
1552471706.807 * [backup-simplify]: Simplify 0 into 0
1552471706.807 * [backup-simplify]: Simplify 0 into 0
1552471706.807 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.807 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471706.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471706.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.807 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471706.807 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.808 * [backup-simplify]: Simplify 0 into 0
1552471706.808 * [backup-simplify]: Simplify 0 into 0
1552471706.808 * [backup-simplify]: Simplify 0 into 0
1552471706.808 * [backup-simplify]: Simplify 0 into 0
1552471706.808 * [backup-simplify]: Simplify 0 into 0
1552471706.808 * [backup-simplify]: Simplify 0 into 0
1552471706.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471706.808 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.808 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471706.808 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471706.808 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.809 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471706.809 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.809 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.809 * [backup-simplify]: Simplify 0 into 0
1552471706.809 * [backup-simplify]: Simplify 0 into 0
1552471706.809 * [backup-simplify]: Simplify 0 into 0
1552471706.809 * [backup-simplify]: Simplify 0 into 0
1552471706.809 * [backup-simplify]: Simplify 0 into 0
1552471706.809 * [backup-simplify]: Simplify 0 into 0
1552471706.809 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471706.809 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1552471706.810 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471706.810 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471706.810 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471706.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.810 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471706.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.810 * [backup-simplify]: Simplify 0 into 0
1552471706.810 * [backup-simplify]: Simplify 0 into 0
1552471706.810 * [backup-simplify]: Simplify 0 into 0
1552471706.810 * [backup-simplify]: Simplify 0 into 0
1552471706.810 * [backup-simplify]: Simplify 0 into 0
1552471706.810 * [backup-simplify]: Simplify 0 into 0
1552471706.810 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.810 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.810 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471706.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471706.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.811 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471706.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.811 * [backup-simplify]: Simplify 0 into 0
1552471706.811 * [backup-simplify]: Simplify 0 into 0
1552471706.811 * [backup-simplify]: Simplify 0 into 0
1552471706.811 * [backup-simplify]: Simplify 0 into 0
1552471706.811 * [backup-simplify]: Simplify 0 into 0
1552471706.811 * [backup-simplify]: Simplify 0 into 0
1552471706.811 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471706.812 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.812 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471706.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471706.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.812 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471706.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.812 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.812 * [backup-simplify]: Simplify 0 into 0
1552471706.812 * [backup-simplify]: Simplify 0 into 0
1552471706.812 * [backup-simplify]: Simplify 0 into 0
1552471706.812 * [backup-simplify]: Simplify 0 into 0
1552471706.812 * [backup-simplify]: Simplify 0 into 0
1552471706.813 * [backup-simplify]: Simplify 0 into 0
1552471706.813 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471706.813 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552471706.813 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
1552471706.813 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
1552471706.813 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1552471706.813 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471706.813 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.814 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1552471706.814 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1552471706.814 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
1552471706.814 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471706.814 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471706.814 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1552471706.814 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1552471706.814 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1552471706.814 * [backup-simplify]: Simplify 0 into 0
1552471706.816 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1552471706.816 * [backup-simplify]: Simplify 0 into 0
1552471706.817 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1552471706.817 * [backup-simplify]: Simplify 0 into 0
1552471706.818 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1552471706.818 * [backup-simplify]: Simplify 0 into 0
1552471706.819 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1552471706.819 * [backup-simplify]: Simplify 0 into 0
1552471706.820 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
1552471706.820 * [backup-simplify]: Simplify 0 into 0
1552471706.821 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
1552471706.821 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1552471706.821 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
1552471706.821 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1552471706.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471706.821 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.821 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1552471706.821 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.821 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
1552471706.821 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471706.822 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471706.822 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1552471706.822 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.822 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
1552471706.822 * [backup-simplify]: Simplify 0 into 0
1552471706.823 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.823 * [backup-simplify]: Simplify 0 into 0
1552471706.824 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.824 * [backup-simplify]: Simplify 0 into 0
1552471706.826 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.826 * [backup-simplify]: Simplify 0 into 0
1552471706.827 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.827 * [backup-simplify]: Simplify 0 into 0
1552471706.828 * [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
1552471706.828 * [backup-simplify]: Simplify 0 into 0
1552471706.828 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1552471706.828 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1552471706.828 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
1552471706.828 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1552471706.828 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471706.829 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.829 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1552471706.829 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.829 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
1552471706.829 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471706.829 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471706.829 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1552471706.829 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.830 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
1552471706.830 * [backup-simplify]: Simplify 0 into 0
1552471706.831 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.831 * [backup-simplify]: Simplify 0 into 0
1552471706.832 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.832 * [backup-simplify]: Simplify 0 into 0
1552471706.833 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.833 * [backup-simplify]: Simplify 0 into 0
1552471706.834 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
1552471706.834 * [backup-simplify]: Simplify 0 into 0
1552471706.835 * [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
1552471706.835 * [backup-simplify]: Simplify 0 into 0
1552471706.835 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
1552471706.835 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552471706.836 * [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)))
1552471706.836 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1552471706.836 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1552471706.836 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471706.836 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1552471706.836 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471706.836 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471706.836 * [backup-simplify]: Simplify 0 into 0
1552471706.836 * [backup-simplify]: Simplify 0 into 0
1552471706.836 * [backup-simplify]: Simplify 0 into 0
1552471706.836 * [backup-simplify]: Simplify 0 into 0
1552471706.836 * [backup-simplify]: Simplify 0 into 0
1552471706.836 * [backup-simplify]: Simplify 0 into 0
1552471706.836 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471706.837 * [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))))
1552471706.837 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1552471706.837 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1552471706.837 * [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))))
1552471706.837 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1552471706.837 * [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))))
1552471706.838 * [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))))
1552471706.838 * [backup-simplify]: Simplify 0 into 0
1552471706.838 * [backup-simplify]: Simplify 0 into 0
1552471706.838 * [backup-simplify]: Simplify 0 into 0
1552471706.838 * [backup-simplify]: Simplify 0 into 0
1552471706.838 * [backup-simplify]: Simplify 0 into 0
1552471706.838 * [backup-simplify]: Simplify 0 into 0
1552471706.838 * [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)))
1552471706.839 * [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))))
1552471706.839 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1552471706.839 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1552471706.839 * [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))))
1552471706.839 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1552471706.839 * [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))))
1552471706.840 * [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))))
1552471706.840 * [backup-simplify]: Simplify 0 into 0
1552471706.840 * [backup-simplify]: Simplify 0 into 0
1552471706.840 * [backup-simplify]: Simplify 0 into 0
1552471706.840 * [backup-simplify]: Simplify 0 into 0
1552471706.840 * [backup-simplify]: Simplify 0 into 0
1552471706.840 * [backup-simplify]: Simplify 0 into 0
1552471706.840 * [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)))
1552471706.840 * * * [progress]: simplifying candidates
1552471706.840 * * * * [progress]: [ 1 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471706.840 * * * * [progress]: [ 2 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471706.840 * * * * [progress]: [ 3 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
1552471706.840 * * * * [progress]: [ 4 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 5 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 6 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 7 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 8 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 9 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 10 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 11 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 12 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 13 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 14 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 15 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 16 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 17 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 18 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 19 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 20 / 65 ] 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))))>
1552471706.841 * * * * [progress]: [ 21 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log1p (expm1 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 22 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (expm1 (log1p (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471706.841 * * * * [progress]: [ 23 / 65 ] 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))))>
1552471706.842 * [simplify]: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1552471706.842 * * [simplify]: iters left: 6 (9 enodes)
1552471706.844 * * [simplify]: iters left: 5 (35 enodes)
1552471706.849 * * [simplify]: iters left: 4 (50 enodes)
1552471706.860 * * [simplify]: iters left: 3 (54 enodes)
1552471706.868 * * [simplify]: iters left: 2 (56 enodes)
1552471706.878 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.878 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471706.878 * * [simplify]: Extracting #2: cost 7 inf + 0
1552471706.878 * * [simplify]: Extracting #3: cost 9 inf + 0
1552471706.878 * * [simplify]: Extracting #4: cost 11 inf + 0
1552471706.878 * * [simplify]: Extracting #5: cost 13 inf + 0
1552471706.878 * * [simplify]: Extracting #6: cost 16 inf + 0
1552471706.878 * * [simplify]: Extracting #7: cost 21 inf + 0
1552471706.878 * * [simplify]: Extracting #8: cost 22 inf + 2
1552471706.878 * * [simplify]: Extracting #9: cost 22 inf + 211
1552471706.879 * * [simplify]: Extracting #10: cost 11 inf + 1858
1552471706.880 * * [simplify]: Extracting #11: cost 2 inf + 4777
1552471706.881 * * [simplify]: Extracting #12: cost 0 inf + 5669
1552471706.882 * [simplify]: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
1552471706.882 * [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))))
1552471706.883 * * * * [progress]: [ 24 / 65 ] 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))))>
1552471706.883 * [simplify]: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1552471706.883 * * [simplify]: iters left: 6 (8 enodes)
1552471706.887 * * [simplify]: iters left: 5 (30 enodes)
1552471706.897 * * [simplify]: iters left: 4 (43 enodes)
1552471706.911 * * [simplify]: iters left: 3 (47 enodes)
1552471706.925 * * [simplify]: iters left: 2 (49 enodes)
1552471706.932 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.932 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471706.932 * * [simplify]: Extracting #2: cost 5 inf + 0
1552471706.932 * * [simplify]: Extracting #3: cost 7 inf + 0
1552471706.932 * * [simplify]: Extracting #4: cost 9 inf + 0
1552471706.932 * * [simplify]: Extracting #5: cost 12 inf + 0
1552471706.932 * * [simplify]: Extracting #6: cost 17 inf + 0
1552471706.932 * * [simplify]: Extracting #7: cost 18 inf + 2
1552471706.932 * * [simplify]: Extracting #8: cost 17 inf + 377
1552471706.933 * * [simplify]: Extracting #9: cost 10 inf + 1400
1552471706.933 * * [simplify]: Extracting #10: cost 0 inf + 3785
1552471706.933 * [simplify]: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
1552471706.933 * [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))))
1552471706.934 * * * * [progress]: [ 25 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1552471706.934 * [simplify]: Simplifying (log 1)
1552471706.934 * * [simplify]: iters left: 1 (2 enodes)
1552471706.935 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.935 * * [simplify]: Extracting #1: cost 0 inf + 1
1552471706.935 * [simplify]: Simplified to 0
1552471706.935 * [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))))
1552471706.935 * * * * [progress]: [ 26 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1552471706.935 * * * * [progress]: [ 27 / 65 ] 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))))>
1552471706.935 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
1552471706.936 * * [simplify]: iters left: 5 (6 enodes)
1552471706.937 * * [simplify]: iters left: 4 (24 enodes)
1552471706.941 * * [simplify]: iters left: 3 (37 enodes)
1552471706.946 * * [simplify]: iters left: 2 (41 enodes)
1552471706.953 * * [simplify]: iters left: 1 (43 enodes)
1552471706.965 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.965 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471706.965 * * [simplify]: Extracting #2: cost 5 inf + 0
1552471706.965 * * [simplify]: Extracting #3: cost 8 inf + 0
1552471706.965 * * [simplify]: Extracting #4: cost 13 inf + 0
1552471706.965 * * [simplify]: Extracting #5: cost 14 inf + 2
1552471706.966 * * [simplify]: Extracting #6: cost 13 inf + 377
1552471706.968 * * [simplify]: Extracting #7: cost 6 inf + 1410
1552471706.968 * * [simplify]: Extracting #8: cost 1 inf + 2180
1552471706.969 * * [simplify]: Extracting #9: cost 0 inf + 2401
1552471706.970 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
1552471706.970 * [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))))
1552471706.970 * * * * [progress]: [ 28 / 65 ] 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))))>
1552471706.970 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
1552471706.970 * * [simplify]: iters left: 5 (6 enodes)
1552471706.973 * * [simplify]: iters left: 4 (24 enodes)
1552471706.979 * * [simplify]: iters left: 3 (37 enodes)
1552471706.985 * * [simplify]: iters left: 2 (41 enodes)
1552471706.991 * * [simplify]: iters left: 1 (43 enodes)
1552471706.998 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471706.998 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471706.998 * * [simplify]: Extracting #2: cost 5 inf + 0
1552471706.998 * * [simplify]: Extracting #3: cost 8 inf + 0
1552471706.998 * * [simplify]: Extracting #4: cost 13 inf + 0
1552471706.998 * * [simplify]: Extracting #5: cost 14 inf + 2
1552471706.998 * * [simplify]: Extracting #6: cost 13 inf + 377
1552471706.998 * * [simplify]: Extracting #7: cost 6 inf + 1490
1552471706.999 * * [simplify]: Extracting #8: cost 1 inf + 2260
1552471706.999 * * [simplify]: Extracting #9: cost 0 inf + 2481
1552471706.999 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
1552471706.999 * [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))))
1552471706.999 * * * * [progress]: [ 29 / 65 ] 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))))>
1552471707.000 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1552471707.000 * * [simplify]: iters left: 5 (6 enodes)
1552471707.001 * * [simplify]: iters left: 4 (24 enodes)
1552471707.005 * * [simplify]: iters left: 3 (37 enodes)
1552471707.015 * * [simplify]: iters left: 2 (41 enodes)
1552471707.022 * * [simplify]: iters left: 1 (43 enodes)
1552471707.028 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.028 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.028 * * [simplify]: Extracting #2: cost 5 inf + 0
1552471707.028 * * [simplify]: Extracting #3: cost 8 inf + 0
1552471707.028 * * [simplify]: Extracting #4: cost 13 inf + 0
1552471707.029 * * [simplify]: Extracting #5: cost 14 inf + 2
1552471707.029 * * [simplify]: Extracting #6: cost 13 inf + 377
1552471707.029 * * [simplify]: Extracting #7: cost 6 inf + 1370
1552471707.029 * * [simplify]: Extracting #8: cost 1 inf + 2100
1552471707.029 * * [simplify]: Extracting #9: cost 0 inf + 2321
1552471707.030 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1552471707.030 * [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))))
1552471707.030 * * * * [progress]: [ 30 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
1552471707.030 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1552471707.030 * * [simplify]: iters left: 4 (5 enodes)
1552471707.031 * * [simplify]: iters left: 3 (21 enodes)
1552471707.035 * * [simplify]: iters left: 2 (34 enodes)
1552471707.040 * * [simplify]: iters left: 1 (38 enodes)
1552471707.046 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.046 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.046 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471707.046 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471707.046 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471707.046 * * [simplify]: Extracting #5: cost 9 inf + 599
1552471707.047 * * [simplify]: Extracting #6: cost 5 inf + 1029
1552471707.047 * * [simplify]: Extracting #7: cost 0 inf + 1829
1552471707.047 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1552471707.047 * [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))))
1552471707.047 * * * * [progress]: [ 31 / 65 ] 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))))>
1552471707.047 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
1552471707.047 * * [simplify]: iters left: 5 (6 enodes)
1552471707.049 * * [simplify]: iters left: 4 (24 enodes)
1552471707.056 * * [simplify]: iters left: 3 (37 enodes)
1552471707.069 * * [simplify]: iters left: 2 (41 enodes)
1552471707.082 * * [simplify]: iters left: 1 (43 enodes)
1552471707.094 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.094 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.094 * * [simplify]: Extracting #2: cost 5 inf + 0
1552471707.094 * * [simplify]: Extracting #3: cost 8 inf + 0
1552471707.094 * * [simplify]: Extracting #4: cost 13 inf + 0
1552471707.094 * * [simplify]: Extracting #5: cost 14 inf + 2
1552471707.095 * * [simplify]: Extracting #6: cost 13 inf + 377
1552471707.095 * * [simplify]: Extracting #7: cost 6 inf + 1370
1552471707.095 * * [simplify]: Extracting #8: cost 1 inf + 2100
1552471707.096 * * [simplify]: Extracting #9: cost 0 inf + 2321
1552471707.097 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
1552471707.097 * [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))))
1552471707.097 * * * * [progress]: [ 32 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
1552471707.097 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
1552471707.097 * * [simplify]: iters left: 4 (5 enodes)
1552471707.100 * * [simplify]: iters left: 3 (21 enodes)
1552471707.107 * * [simplify]: iters left: 2 (34 enodes)
1552471707.117 * * [simplify]: iters left: 1 (38 enodes)
1552471707.129 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.129 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.129 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471707.129 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471707.129 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471707.130 * * [simplify]: Extracting #5: cost 9 inf + 599
1552471707.130 * * [simplify]: Extracting #6: cost 5 inf + 1029
1552471707.130 * * [simplify]: Extracting #7: cost 0 inf + 1829
1552471707.131 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1552471707.131 * [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))))
1552471707.131 * * * * [progress]: [ 33 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
1552471707.131 * * * * [progress]: [ 34 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1552471707.131 * [simplify]: Simplifying (fmod (cosh a) (* a a))
1552471707.131 * * [simplify]: iters left: 3 (4 enodes)
1552471707.133 * * [simplify]: iters left: 2 (18 enodes)
1552471707.140 * * [simplify]: iters left: 1 (31 enodes)
1552471707.149 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.149 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471707.149 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471707.150 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471707.150 * * [simplify]: Extracting #4: cost 7 inf + 599
1552471707.150 * * [simplify]: Extracting #5: cost 5 inf + 712
1552471707.150 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471707.151 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471707.151 * [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))))
1552471707.151 * * * * [progress]: [ 35 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471707.151 * [simplify]: Simplifying (exp (sqrt (fmod (cosh a) (* a a))))
1552471707.151 * * [simplify]: iters left: 5 (6 enodes)
1552471707.154 * * [simplify]: iters left: 4 (24 enodes)
1552471707.162 * * [simplify]: iters left: 3 (37 enodes)
1552471707.174 * * [simplify]: iters left: 2 (41 enodes)
1552471707.186 * * [simplify]: iters left: 1 (43 enodes)
1552471707.199 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.200 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.200 * * [simplify]: Extracting #2: cost 5 inf + 0
1552471707.200 * * [simplify]: Extracting #3: cost 8 inf + 0
1552471707.200 * * [simplify]: Extracting #4: cost 13 inf + 0
1552471707.200 * * [simplify]: Extracting #5: cost 14 inf + 2
1552471707.200 * * [simplify]: Extracting #6: cost 13 inf + 377
1552471707.200 * * [simplify]: Extracting #7: cost 6 inf + 1400
1552471707.201 * * [simplify]: Extracting #8: cost 1 inf + 2160
1552471707.201 * * [simplify]: Extracting #9: cost 0 inf + 2381
1552471707.202 * [simplify]: Simplified to (exp (sqrt (fmod (cosh a) (* a a))))
1552471707.202 * [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))))
1552471707.202 * * * * [progress]: [ 36 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471707.202 * * * * [progress]: [ 37 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
1552471707.202 * * * * [progress]: [ 38 / 65 ] 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))))>
1552471707.202 * * * * [progress]: [ 39 / 65 ] 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))))>
1552471707.202 * * * * [progress]: [ 40 / 65 ] 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))))>
1552471707.202 * * * * [progress]: [ 41 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
1552471707.202 * * * * [progress]: [ 42 / 65 ] 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))))>
1552471707.203 * * * * [progress]: [ 43 / 65 ] simplifiying candidate #<alt (λ (a) (log1p (expm1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471707.203 * * * * [progress]: [ 44 / 65 ] simplifiying candidate #<alt (λ (a) (expm1 (log1p (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471707.203 * * * * [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)))))>
1552471707.203 * * * * [progress]: [ 46 / 65 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
1552471707.203 * * * * [progress]: [ 47 / 65 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471707.203 * * * * [progress]: [ 48 / 65 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471707.203 * * * * [progress]: [ 49 / 65 ] 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))))))>
1552471707.203 * * * * [progress]: [ 50 / 65 ] 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))))))>
1552471707.203 * * * * [progress]: [ 51 / 65 ] 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))))))>
1552471707.203 * * * * [progress]: [ 52 / 65 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
1552471707.203 * * * * [progress]: [ 53 / 65 ] 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))))))>
1552471707.203 * * * * [progress]: [ 54 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1552471707.204 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471707.204 * * [simplify]: iters left: 2 (5 enodes)
1552471707.207 * * [simplify]: iters left: 1 (25 enodes)
1552471707.216 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.216 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471707.216 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471707.216 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471707.216 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471707.217 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471707.217 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471707.217 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471707.217 * [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))))
1552471707.218 * * * * [progress]: [ 55 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1552471707.218 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471707.218 * * [simplify]: iters left: 2 (5 enodes)
1552471707.221 * * [simplify]: iters left: 1 (25 enodes)
1552471707.231 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.231 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471707.231 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471707.231 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471707.232 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471707.232 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471707.232 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471707.233 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471707.233 * [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))))
1552471707.233 * * * * [progress]: [ 56 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
1552471707.233 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471707.233 * * [simplify]: iters left: 2 (5 enodes)
1552471707.236 * * [simplify]: iters left: 1 (25 enodes)
1552471707.245 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.245 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471707.245 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471707.245 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471707.245 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471707.245 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471707.246 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471707.246 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471707.246 * [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))))
1552471707.247 * * * * [progress]: [ 57 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471707.247 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471707.247 * * [simplify]: iters left: 2 (5 enodes)
1552471707.250 * * [simplify]: iters left: 1 (25 enodes)
1552471707.259 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.259 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471707.259 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471707.259 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471707.259 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471707.259 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471707.260 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471707.260 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471707.260 * [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))))
1552471707.260 * * * * [progress]: [ 58 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471707.261 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471707.261 * * [simplify]: iters left: 2 (5 enodes)
1552471707.264 * * [simplify]: iters left: 1 (25 enodes)
1552471707.271 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.271 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471707.271 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471707.272 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471707.272 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471707.272 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471707.272 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471707.272 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471707.272 * [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))))
1552471707.272 * * * * [progress]: [ 59 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
1552471707.272 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471707.272 * * [simplify]: iters left: 2 (5 enodes)
1552471707.274 * * [simplify]: iters left: 1 (25 enodes)
1552471707.278 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.278 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471707.278 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471707.278 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471707.279 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471707.279 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471707.279 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471707.279 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471707.279 * [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))))
1552471707.279 * * * * [progress]: [ 60 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1552471707.279 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1552471707.279 * * [simplify]: iters left: 3 (6 enodes)
1552471707.281 * * [simplify]: iters left: 2 (28 enodes)
1552471707.286 * * [simplify]: iters left: 1 (42 enodes)
1552471707.292 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.292 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.292 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471707.292 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471707.292 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471707.292 * * [simplify]: Extracting #5: cost 12 inf + 226
1552471707.292 * * [simplify]: Extracting #6: cost 6 inf + 918
1552471707.292 * * [simplify]: Extracting #7: cost 1 inf + 1608
1552471707.293 * * [simplify]: Extracting #8: cost 0 inf + 1829
1552471707.293 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1552471707.293 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1552471707.293 * * * * [progress]: [ 61 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1552471707.293 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1552471707.293 * * [simplify]: iters left: 3 (6 enodes)
1552471707.295 * * [simplify]: iters left: 2 (28 enodes)
1552471707.300 * * [simplify]: iters left: 1 (42 enodes)
1552471707.310 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.310 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.310 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471707.310 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471707.310 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471707.310 * * [simplify]: Extracting #5: cost 12 inf + 226
1552471707.310 * * [simplify]: Extracting #6: cost 6 inf + 918
1552471707.311 * * [simplify]: Extracting #7: cost 1 inf + 1608
1552471707.311 * * [simplify]: Extracting #8: cost 0 inf + 1829
1552471707.312 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1552471707.312 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1552471707.312 * * * * [progress]: [ 62 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
1552471707.312 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
1552471707.312 * * [simplify]: iters left: 3 (6 enodes)
1552471707.316 * * [simplify]: iters left: 2 (28 enodes)
1552471707.326 * * [simplify]: iters left: 1 (42 enodes)
1552471707.337 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.338 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.338 * * [simplify]: Extracting #2: cost 6 inf + 0
1552471707.338 * * [simplify]: Extracting #3: cost 11 inf + 0
1552471707.338 * * [simplify]: Extracting #4: cost 12 inf + 2
1552471707.338 * * [simplify]: Extracting #5: cost 12 inf + 226
1552471707.338 * * [simplify]: Extracting #6: cost 6 inf + 918
1552471707.339 * * [simplify]: Extracting #7: cost 1 inf + 1608
1552471707.339 * * [simplify]: Extracting #8: cost 0 inf + 1829
1552471707.340 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
1552471707.340 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
1552471707.340 * * * * [progress]: [ 63 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471707.340 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471707.340 * * [simplify]: iters left: 4 (8 enodes)
1552471707.345 * * [simplify]: iters left: 3 (37 enodes)
1552471707.357 * * [simplify]: iters left: 2 (60 enodes)
1552471707.377 * * [simplify]: iters left: 1 (86 enodes)
1552471707.405 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.405 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.405 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471707.405 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471707.406 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471707.406 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471707.408 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471707.410 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471707.413 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471707.417 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471707.417 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471707.417 * * * * [progress]: [ 64 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471707.417 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471707.417 * * [simplify]: iters left: 4 (8 enodes)
1552471707.422 * * [simplify]: iters left: 3 (37 enodes)
1552471707.434 * * [simplify]: iters left: 2 (60 enodes)
1552471707.443 * * [simplify]: iters left: 1 (86 enodes)
1552471707.457 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.457 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.457 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471707.457 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471707.457 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471707.458 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471707.458 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471707.460 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471707.461 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471707.463 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471707.463 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471707.463 * * * * [progress]: [ 65 / 65 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1552471707.463 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1552471707.463 * * [simplify]: iters left: 4 (8 enodes)
1552471707.466 * * [simplify]: iters left: 3 (37 enodes)
1552471707.472 * * [simplify]: iters left: 2 (60 enodes)
1552471707.483 * * [simplify]: iters left: 1 (86 enodes)
1552471707.497 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471707.497 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471707.497 * * [simplify]: Extracting #2: cost 13 inf + 0
1552471707.497 * * [simplify]: Extracting #3: cost 38 inf + 0
1552471707.497 * * [simplify]: Extracting #4: cost 45 inf + 241
1552471707.497 * * [simplify]: Extracting #5: cost 33 inf + 2907
1552471707.498 * * [simplify]: Extracting #6: cost 22 inf + 6227
1552471707.499 * * [simplify]: Extracting #7: cost 3 inf + 14662
1552471707.501 * * [simplify]: Extracting #8: cost 0 inf + 16508
1552471707.502 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1552471707.502 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471707.503 * * * [progress]: adding candidates to table
1552471708.370 * * [progress]: iteration 4 / 4
1552471708.370 * * * [progress]: picking best candidate
1552471708.428 * * * * [pick]: Picked  #<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))))))>
1552471708.428 * * * [progress]: localizing error
1552471708.458 * * * [progress]: generating rewritten candidates
1552471708.458 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1)
1552471708.458 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1)
1552471708.459 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 2 1 1 1)
1552471708.459 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1552471708.460 * * * [progress]: generating series expansions
1552471708.460 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1)
1552471708.460 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471708.460 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471708.460 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.461 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.461 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.461 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.461 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.461 * [backup-simplify]: Simplify 0 into 0
1552471708.461 * [backup-simplify]: Simplify 0 into 0
1552471708.461 * [backup-simplify]: Simplify 0 into 0
1552471708.461 * [backup-simplify]: Simplify 0 into 0
1552471708.461 * [backup-simplify]: Simplify 0 into 0
1552471708.461 * [backup-simplify]: Simplify 0 into 0
1552471708.462 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.462 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.462 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.462 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.462 * [backup-simplify]: Simplify 0 into 0
1552471708.462 * [backup-simplify]: Simplify 0 into 0
1552471708.462 * [backup-simplify]: Simplify 0 into 0
1552471708.462 * [backup-simplify]: Simplify 0 into 0
1552471708.463 * [backup-simplify]: Simplify 0 into 0
1552471708.463 * [backup-simplify]: Simplify 0 into 0
1552471708.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471708.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.463 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.463 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.464 * [backup-simplify]: Simplify 0 into 0
1552471708.464 * [backup-simplify]: Simplify 0 into 0
1552471708.464 * [backup-simplify]: Simplify 0 into 0
1552471708.464 * [backup-simplify]: Simplify 0 into 0
1552471708.464 * [backup-simplify]: Simplify 0 into 0
1552471708.464 * [backup-simplify]: Simplify 0 into 0
1552471708.464 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471708.464 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1)
1552471708.464 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471708.464 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471708.464 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.464 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.464 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.464 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.465 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.465 * [backup-simplify]: Simplify 0 into 0
1552471708.465 * [backup-simplify]: Simplify 0 into 0
1552471708.465 * [backup-simplify]: Simplify 0 into 0
1552471708.465 * [backup-simplify]: Simplify 0 into 0
1552471708.465 * [backup-simplify]: Simplify 0 into 0
1552471708.465 * [backup-simplify]: Simplify 0 into 0
1552471708.465 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.465 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.466 * [backup-simplify]: Simplify 0 into 0
1552471708.466 * [backup-simplify]: Simplify 0 into 0
1552471708.466 * [backup-simplify]: Simplify 0 into 0
1552471708.466 * [backup-simplify]: Simplify 0 into 0
1552471708.466 * [backup-simplify]: Simplify 0 into 0
1552471708.466 * [backup-simplify]: Simplify 0 into 0
1552471708.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471708.466 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.466 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.466 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.467 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.467 * [backup-simplify]: Simplify 0 into 0
1552471708.467 * [backup-simplify]: Simplify 0 into 0
1552471708.467 * [backup-simplify]: Simplify 0 into 0
1552471708.467 * [backup-simplify]: Simplify 0 into 0
1552471708.467 * [backup-simplify]: Simplify 0 into 0
1552471708.467 * [backup-simplify]: Simplify 0 into 0
1552471708.467 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471708.467 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 2 1 1 1)
1552471708.468 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471708.468 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471708.468 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.468 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.468 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.468 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.468 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.468 * [backup-simplify]: Simplify 0 into 0
1552471708.468 * [backup-simplify]: Simplify 0 into 0
1552471708.468 * [backup-simplify]: Simplify 0 into 0
1552471708.468 * [backup-simplify]: Simplify 0 into 0
1552471708.468 * [backup-simplify]: Simplify 0 into 0
1552471708.468 * [backup-simplify]: Simplify 0 into 0
1552471708.468 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.468 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.468 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.468 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.469 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.469 * [backup-simplify]: Simplify 0 into 0
1552471708.469 * [backup-simplify]: Simplify 0 into 0
1552471708.469 * [backup-simplify]: Simplify 0 into 0
1552471708.469 * [backup-simplify]: Simplify 0 into 0
1552471708.469 * [backup-simplify]: Simplify 0 into 0
1552471708.469 * [backup-simplify]: Simplify 0 into 0
1552471708.469 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471708.470 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.470 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.470 * [backup-simplify]: Simplify 0 into 0
1552471708.470 * [backup-simplify]: Simplify 0 into 0
1552471708.470 * [backup-simplify]: Simplify 0 into 0
1552471708.470 * [backup-simplify]: Simplify 0 into 0
1552471708.470 * [backup-simplify]: Simplify 0 into 0
1552471708.471 * [backup-simplify]: Simplify 0 into 0
1552471708.471 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471708.471 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1552471708.471 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1552471708.471 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1552471708.471 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.471 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.471 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1552471708.471 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.471 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.471 * [backup-simplify]: Simplify 0 into 0
1552471708.471 * [backup-simplify]: Simplify 0 into 0
1552471708.472 * [backup-simplify]: Simplify 0 into 0
1552471708.472 * [backup-simplify]: Simplify 0 into 0
1552471708.472 * [backup-simplify]: Simplify 0 into 0
1552471708.472 * [backup-simplify]: Simplify 0 into 0
1552471708.472 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1552471708.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.472 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1552471708.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.473 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1552471708.473 * [backup-simplify]: Simplify 0 into 0
1552471708.473 * [backup-simplify]: Simplify 0 into 0
1552471708.473 * [backup-simplify]: Simplify 0 into 0
1552471708.473 * [backup-simplify]: Simplify 0 into 0
1552471708.473 * [backup-simplify]: Simplify 0 into 0
1552471708.473 * [backup-simplify]: Simplify 0 into 0
1552471708.473 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1552471708.473 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.473 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1552471708.473 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.473 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.473 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1552471708.474 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.474 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1552471708.474 * [backup-simplify]: Simplify 0 into 0
1552471708.474 * [backup-simplify]: Simplify 0 into 0
1552471708.474 * [backup-simplify]: Simplify 0 into 0
1552471708.474 * [backup-simplify]: Simplify 0 into 0
1552471708.474 * [backup-simplify]: Simplify 0 into 0
1552471708.474 * [backup-simplify]: Simplify 0 into 0
1552471708.474 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1552471708.474 * * * [progress]: simplifying candidates
1552471708.474 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.474 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.474 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))))>
1552471708.474 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (log1p (expm1 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (expm1 (log1p (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.475 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (* (* (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))))))>
1552471708.476 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (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))))))>
1552471708.476 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.476 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.476 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.476 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log1p (expm1 (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))))))>
1552471708.476 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (expm1 (log1p (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))))))>
1552471708.476 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.476 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (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))))))>
1552471708.476 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (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))))))>
1552471708.476 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (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))))))>
1552471708.476 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (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))))))>
1552471708.476 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (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))))))>
1552471708.476 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (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))))))>
1552471708.477 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (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))))))>
1552471708.477 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (log1p (expm1 (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))))))>
1552471708.477 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (expm1 (log1p (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))))))>
1552471708.477 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (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))))))>
1552471708.477 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (exp (log (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))))))>
1552471708.477 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (log (exp (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))))))>
1552471708.477 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (* (* (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.477 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.477 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (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))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.477 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (* 1 (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))))))>
1552471708.477 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (posit16->real (real->posit16 (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))))))>
1552471708.477 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
1552471708.478 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.478 * * [simplify]: iters left: 2 (5 enodes)
1552471708.485 * * [simplify]: iters left: 1 (25 enodes)
1552471708.493 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.493 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.493 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.493 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.494 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.494 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.494 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.495 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.495 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (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))))))
1552471708.495 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
1552471708.495 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.495 * * [simplify]: iters left: 2 (5 enodes)
1552471708.499 * * [simplify]: iters left: 1 (25 enodes)
1552471708.506 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.506 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.506 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.506 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.506 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.507 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.507 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.507 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.507 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (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))))))
1552471708.507 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
1552471708.507 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.507 * * [simplify]: iters left: 2 (5 enodes)
1552471708.509 * * [simplify]: iters left: 1 (25 enodes)
1552471708.514 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.514 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.514 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.514 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.514 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.514 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.514 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.515 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.515 * [simplify]: Simplified (2 2 1 1 1 2 1 1 1) to (λ (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))))))
1552471708.515 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.515 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.515 * * [simplify]: iters left: 2 (5 enodes)
1552471708.517 * * [simplify]: iters left: 1 (25 enodes)
1552471708.521 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.521 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.521 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.521 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.521 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.521 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.521 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.522 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.522 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (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))))))
1552471708.522 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.522 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.522 * * [simplify]: iters left: 2 (5 enodes)
1552471708.524 * * [simplify]: iters left: 1 (25 enodes)
1552471708.528 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.528 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.528 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.528 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.528 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.528 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.529 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.529 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.529 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (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))))))
1552471708.529 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.529 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.529 * * [simplify]: iters left: 2 (5 enodes)
1552471708.531 * * [simplify]: iters left: 1 (25 enodes)
1552471708.535 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.535 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.535 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.535 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.535 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.536 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.536 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.536 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.536 * [simplify]: Simplified (2 2 1 1 1 1 1) to (λ (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))))))
1552471708.536 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.536 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.536 * * [simplify]: iters left: 2 (5 enodes)
1552471708.538 * * [simplify]: iters left: 1 (25 enodes)
1552471708.542 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.542 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.542 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.542 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.542 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.543 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.543 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.543 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.543 * [simplify]: Simplified (2 1 2 1 1 1 2 1 1 1) to (λ (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))))))
1552471708.543 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.543 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.543 * * [simplify]: iters left: 2 (5 enodes)
1552471708.545 * * [simplify]: iters left: 1 (25 enodes)
1552471708.549 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.549 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.549 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.549 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.550 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.550 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.550 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.551 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.551 * [simplify]: Simplified (2 1 2 1 1 1 2 1 1 1) to (λ (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))))))
1552471708.551 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
1552471708.551 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.551 * * [simplify]: iters left: 2 (5 enodes)
1552471708.555 * * [simplify]: iters left: 1 (25 enodes)
1552471708.563 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.564 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.564 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.564 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.564 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.564 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.565 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.565 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.565 * [simplify]: Simplified (2 1 2 1 1 1 2 1 1 1) to (λ (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))))))
1552471708.565 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (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))))))>
1552471708.566 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.566 * * [simplify]: iters left: 2 (5 enodes)
1552471708.569 * * [simplify]: iters left: 1 (25 enodes)
1552471708.578 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.578 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.578 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.578 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.578 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.578 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.579 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.579 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.580 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (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))))))
1552471708.580 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (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))))))>
1552471708.580 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.580 * * [simplify]: iters left: 2 (5 enodes)
1552471708.584 * * [simplify]: iters left: 1 (25 enodes)
1552471708.591 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.591 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.591 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.591 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.591 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.591 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.592 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.592 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.592 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (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))))))
1552471708.592 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (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))))))>
1552471708.592 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1552471708.592 * * [simplify]: iters left: 2 (5 enodes)
1552471708.594 * * [simplify]: iters left: 1 (25 enodes)
1552471708.600 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471708.600 * * [simplify]: Extracting #1: cost 4 inf + 0
1552471708.600 * * [simplify]: Extracting #2: cost 9 inf + 0
1552471708.600 * * [simplify]: Extracting #3: cost 10 inf + 2
1552471708.600 * * [simplify]: Extracting #4: cost 8 inf + 433
1552471708.600 * * [simplify]: Extracting #5: cost 4 inf + 823
1552471708.601 * * [simplify]: Extracting #6: cost 0 inf + 1417
1552471708.601 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1552471708.601 * [simplify]: Simplified (2 1 2 1 1 1 1 1) to (λ (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))))))
1552471708.601 * * * [progress]: adding candidates to table
1552471709.630 * [progress]: [Phase 3 of 3] Extracting.
1552471709.630 * * [regime]: Finding splitpoints for: (#<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) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (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) (* (* (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))))))> #<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) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>)
1552471709.632 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1552471709.633 * * * * [regimes]: Trying to branch on a from (#<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) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (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) (* (* (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))))))> #<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) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>)
1552471709.721 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (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) (* (* (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))))))> #<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) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>)
1552471709.815 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
1552471709.865 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (log (exp (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) (* (* (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))))))> #<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) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>)
1552471709.963 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
1552471710.042 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
1552471710.043 * [simplify]: Simplifying (* (* (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)))))
1552471710.043 * * [simplify]: iters left: 6 (14 enodes)
1552471710.045 * * [simplify]: iters left: 5 (16 enodes)
1552471710.046 * * [simplify]: Extracting #0: cost 1 inf + 0
1552471710.046 * * [simplify]: Extracting #1: cost 3 inf + 0
1552471710.046 * * [simplify]: Extracting #2: cost 4 inf + 0
1552471710.046 * * [simplify]: Extracting #3: cost 5 inf + 0
1552471710.046 * * [simplify]: Extracting #4: cost 7 inf + 0
1552471710.046 * * [simplify]: Extracting #5: cost 10 inf + 0
1552471710.046 * * [simplify]: Extracting #6: cost 11 inf + 1
1552471710.046 * * [simplify]: Extracting #7: cost 12 inf + 92
1552471710.046 * * [simplify]: Extracting #8: cost 9 inf + 355
1552471710.047 * * [simplify]: Extracting #9: cost 7 inf + 837
1552471710.047 * * [simplify]: Extracting #10: cost 4 inf + 2255
1552471710.047 * * [simplify]: Extracting #11: cost 2 inf + 3887
1552471710.048 * * [simplify]: Extracting #12: cost 0 inf + 5719
1552471710.049 * [simplify]: Simplified to (* (cbrt (acos (pow (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))))
1552471745.638 * [regime-testing]: Baseline error score: 59.234746874563776
1552471745.639 * [regime-testing]: Oracle error score: 59.10945440381174
1552471745.642 * [regime-testing]: End program error score: 59.234746874563776