0.034 * [progress]: [Phase 1 of 3] Setting up.
0.037 * * * [progress]: [1/2] Preparing points
1.648 * * * [progress]: [2/2] Setting up program.
1.657 * [progress]: [Phase 2 of 3] Improving.
1.657 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.660 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.662 * * [simplify]: iteration 1: (7 enodes)
1.670 * * [simplify]: iteration 2: (30 enodes)
1.681 * * [simplify]: iteration 3: (52 enodes)
1.697 * * [simplify]: iteration 4: (80 enodes)
1.724 * * [simplify]: iteration 5: (137 enodes)
1.801 * * [simplify]: iteration 6: (253 enodes)
1.967 * * [simplify]: iteration 7: (697 enodes)
2.884 * * [simplify]: Extracting #0: cost 1 inf + 0
2.884 * * [simplify]: Extracting #1: cost 3 inf + 0
2.884 * * [simplify]: Extracting #2: cost 70 inf + 0
2.887 * * [simplify]: Extracting #3: cost 260 inf + 2
2.890 * * [simplify]: Extracting #4: cost 305 inf + 1152
2.898 * * [simplify]: Extracting #5: cost 246 inf + 20558
2.923 * * [simplify]: Extracting #6: cost 138 inf + 104869
2.970 * * [simplify]: Extracting #7: cost 15 inf + 240028
3.018 * * [simplify]: Extracting #8: cost 0 inf + 253964
3.069 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.074 * * [progress]: iteration 1 / 4
3.074 * * * [progress]: picking best candidate
3.078 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
3.078 * * * [progress]: localizing error
3.103 * * * [progress]: generating rewritten candidates
3.103 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
3.105 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.109 * * * [progress]: generating series expansions
3.119 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
3.125 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.125 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.126 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.127 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.127 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.128 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.128 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.128 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.128 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.130 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.130 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.130 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.130 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.130 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.130 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
3.130 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.131 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.131 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.131 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.131 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.131 * [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))))
3.131 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
3.131 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.131 * [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))))
3.131 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.131 * [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))))
3.132 * [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))))
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.132 * [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)))
3.132 * [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))))
3.132 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
3.132 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.132 * [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))))
3.132 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.132 * [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))))
3.133 * [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))))
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [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)))
3.133 * * * [progress]: simplifying candidates
3.133 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
3.133 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
3.133 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
3.133 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))))>
3.133 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))) (log1p a))))>
3.133 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
3.133 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
3.133 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
3.133 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
3.133 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
3.133 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.134 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.134 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.134 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.134 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.134 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
3.134 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
3.134 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.134 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.134 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.134 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.134 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.134 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.134 * [simplify]: Simplifying (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.135 * * [simplify]: iteration 1: (31 enodes)
3.142 * * [simplify]: iteration 2: (102 enodes)
3.157 * * [simplify]: iteration 3: (138 enodes)
3.194 * * [simplify]: iteration 4: (174 enodes)
3.237 * * [simplify]: iteration 5: (242 enodes)
3.296 * * [simplify]: iteration 6: (386 enodes)
3.467 * * [simplify]: iteration 7: (806 enodes)
4.077 * * [simplify]: Extracting #0: cost 18 inf + 0
4.078 * * [simplify]: Extracting #1: cost 61 inf + 0
4.078 * * [simplify]: Extracting #2: cost 165 inf + 88
4.079 * * [simplify]: Extracting #3: cost 334 inf + 208
4.082 * * [simplify]: Extracting #4: cost 341 inf + 10222
4.087 * * [simplify]: Extracting #5: cost 274 inf + 36257
4.133 * * [simplify]: Extracting #6: cost 85 inf + 199154
4.227 * * [simplify]: Extracting #7: cost 1 inf + 281331
4.302 * * [simplify]: Extracting #8: cost 0 inf + 277813
4.391 * * [simplify]: Extracting #9: cost 0 inf + 277650
4.477 * [simplify]: Simplified to (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.478 * * * [progress]: adding candidates to table
4.782 * * [progress]: iteration 2 / 4
4.782 * * * [progress]: picking best candidate
4.806 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
4.806 * * * [progress]: localizing error
4.852 * * * [progress]: generating rewritten candidates
4.852 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
4.853 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
4.858 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
4.861 * * * [progress]: generating series expansions
4.861 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
4.862 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.862 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.862 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.862 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.863 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.864 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.864 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.865 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
4.866 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
4.866 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.866 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.866 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.866 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.866 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.866 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.866 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.866 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.867 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.867 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.867 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.867 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.868 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.868 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.868 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.868 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.868 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.869 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.869 * [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)))
4.869 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.869 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.869 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.869 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.869 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.869 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.870 * [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))))
4.870 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.870 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.870 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.870 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.871 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.871 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.872 * [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))))
4.872 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.872 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.872 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.872 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.873 * * * [progress]: simplifying candidates
4.873 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
4.873 * * * * [progress]: [ 2 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
4.873 * * * * [progress]: [ 3 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.873 * * * * [progress]: [ 4 / 42 ] 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))))>
4.873 * * * * [progress]: [ 5 / 42 ] 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))))>
4.873 * * * * [progress]: [ 6 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
4.874 * * * * [progress]: [ 7 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
4.874 * * * * [progress]: [ 8 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
4.874 * * * * [progress]: [ 9 / 42 ] 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))))>
4.874 * * * * [progress]: [ 10 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.874 * * * * [progress]: [ 11 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
4.874 * * * * [progress]: [ 12 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
4.874 * * * * [progress]: [ 13 / 42 ] 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))))>
4.874 * * * * [progress]: [ 14 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
4.874 * * * * [progress]: [ 15 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
4.874 * * * * [progress]: [ 16 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
4.874 * * * * [progress]: [ 17 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.874 * * * * [progress]: [ 18 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.874 * * * * [progress]: [ 19 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.874 * * * * [progress]: [ 20 / 42 ] 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))))>
4.874 * * * * [progress]: [ 21 / 42 ] 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))))>
4.874 * * * * [progress]: [ 22 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.875 * * * * [progress]: [ 23 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
4.875 * * * * [progress]: [ 24 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
4.875 * * * * [progress]: [ 25 / 42 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
4.875 * * * * [progress]: [ 26 / 42 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
4.875 * * * * [progress]: [ 27 / 42 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.875 * * * * [progress]: [ 28 / 42 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.875 * * * * [progress]: [ 29 / 42 ] 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))))))>
4.875 * * * * [progress]: [ 30 / 42 ] 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))))))>
4.875 * * * * [progress]: [ 31 / 42 ] 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))))))>
4.875 * * * * [progress]: [ 32 / 42 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
4.875 * * * * [progress]: [ 33 / 42 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
4.875 * * * * [progress]: [ 34 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
4.875 * * * * [progress]: [ 35 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
4.875 * * * * [progress]: [ 36 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
4.875 * * * * [progress]: [ 37 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.875 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.875 * * * * [progress]: [ 39 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.876 * * * * [progress]: [ 40 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.876 * * * * [progress]: [ 41 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.876 * * * * [progress]: [ 42 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
4.876 * [simplify]: Simplifying (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (/ PI 2), (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))), (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))), (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))), (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.877 * * [simplify]: iteration 1: (54 enodes)
4.892 * * [simplify]: iteration 2: (155 enodes)
4.928 * * [simplify]: iteration 3: (201 enodes)
4.980 * * [simplify]: iteration 4: (247 enodes)
5.052 * * [simplify]: iteration 5: (345 enodes)
5.162 * * [simplify]: iteration 6: (574 enodes)
5.447 * * [simplify]: iteration 7: (1270 enodes)
7.001 * * [simplify]: Extracting #0: cost 23 inf + 0
7.001 * * [simplify]: Extracting #1: cost 138 inf + 2
7.002 * * [simplify]: Extracting #2: cost 427 inf + 50
7.005 * * [simplify]: Extracting #3: cost 674 inf + 557
7.009 * * [simplify]: Extracting #4: cost 713 inf + 3304
7.021 * * [simplify]: Extracting #5: cost 565 inf + 51051
7.060 * * [simplify]: Extracting #6: cost 239 inf + 267251
7.148 * * [simplify]: Extracting #7: cost 19 inf + 442172
7.286 * * [simplify]: Extracting #8: cost 0 inf + 455227
7.390 * * [simplify]: Extracting #9: cost 0 inf + 455047
7.505 * [simplify]: Simplified to (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (/ PI 2), (asin (pow (fmod (cosh a) (* a a)) (log1p a))), (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))), (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a))), (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
7.510 * * * [progress]: adding candidates to table
7.927 * * [progress]: iteration 3 / 4
7.927 * * * [progress]: picking best candidate
7.955 * * * * [pick]: Picked  #<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))))))>
7.955 * * * [progress]: localizing error
8.004 * * * [progress]: generating rewritten candidates
8.004 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
8.005 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
8.005 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
8.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
8.010 * * * [progress]: generating series expansions
8.010 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
8.010 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.010 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.010 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.011 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.011 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.011 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.011 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.011 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.011 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.011 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.011 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.012 * [backup-simplify]: Simplify 0 into 0
8.012 * [backup-simplify]: Simplify 0 into 0
8.012 * [backup-simplify]: Simplify 0 into 0
8.012 * [backup-simplify]: Simplify 0 into 0
8.012 * [backup-simplify]: Simplify 0 into 0
8.012 * [backup-simplify]: Simplify 0 into 0
8.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.012 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.013 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.013 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.013 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.013 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.013 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.013 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
8.014 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.014 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.014 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.014 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.014 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.014 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.014 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.014 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.014 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.015 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.015 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.016 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.016 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.016 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.016 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.016 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.016 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.017 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
8.017 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.017 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.017 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.017 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.017 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.017 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.017 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.017 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.018 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.018 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.018 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.018 * [backup-simplify]: Simplify 0 into 0
8.018 * [backup-simplify]: Simplify 0 into 0
8.018 * [backup-simplify]: Simplify 0 into 0
8.018 * [backup-simplify]: Simplify 0 into 0
8.018 * [backup-simplify]: Simplify 0 into 0
8.018 * [backup-simplify]: Simplify 0 into 0
8.019 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.019 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.019 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.019 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.019 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.019 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.019 * [backup-simplify]: Simplify 0 into 0
8.019 * [backup-simplify]: Simplify 0 into 0
8.019 * [backup-simplify]: Simplify 0 into 0
8.019 * [backup-simplify]: Simplify 0 into 0
8.019 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.020 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
8.020 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
8.020 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.020 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.020 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.020 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.020 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.020 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.020 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify 0 into 0
8.021 * [backup-simplify]: Simplify 0 into 0
8.021 * [backup-simplify]: Simplify 0 into 0
8.021 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.021 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.021 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.021 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.021 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.021 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.021 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.021 * [backup-simplify]: Simplify 0 into 0
8.021 * [backup-simplify]: Simplify 0 into 0
8.021 * [backup-simplify]: Simplify 0 into 0
8.022 * [backup-simplify]: Simplify 0 into 0
8.022 * [backup-simplify]: Simplify 0 into 0
8.022 * [backup-simplify]: Simplify 0 into 0
8.022 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.022 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.022 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.022 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.022 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.022 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.022 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.023 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.023 * * * [progress]: simplifying candidates
8.023 * * * * [progress]: [ 1 / 52 ] 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 (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))))>
8.023 * * * * [progress]: [ 2 / 52 ] 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 (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.023 * * * * [progress]: [ 3 / 52 ] 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 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.023 * * * * [progress]: [ 4 / 52 ] 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 (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.023 * * * * [progress]: [ 5 / 52 ] 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 (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.023 * * * * [progress]: [ 6 / 52 ] 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 (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.023 * * * * [progress]: [ 7 / 52 ] 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 (* 1 (fmod (cosh a) (* a a))))) (log1p a))))))>
8.023 * * * * [progress]: [ 8 / 52 ] 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 (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.024 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (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 (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (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))))))>
8.024 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (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))))))>
8.024 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (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))))))>
8.024 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (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))))))>
8.024 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (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))))))>
8.024 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (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 (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.024 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (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))))))>
8.025 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (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))))))>
8.025 * * * * [progress]: [ 25 / 52 ] 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 (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.025 * * * * [progress]: [ 26 / 52 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.025 * * * * [progress]: [ 27 / 52 ] 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 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
8.025 * * * * [progress]: [ 28 / 52 ] 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 (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
8.025 * * * * [progress]: [ 29 / 52 ] 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 (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))))>
8.025 * * * * [progress]: [ 30 / 52 ] 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 (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.025 * * * * [progress]: [ 31 / 52 ] 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 (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))))>
8.025 * * * * [progress]: [ 32 / 52 ] 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 (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))))>
8.025 * * * * [progress]: [ 33 / 52 ] 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 (fmod (cosh a) (* a a)) (log1p a))))))>
8.025 * * * * [progress]: [ 34 / 52 ] 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 (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.025 * * * * [progress]: [ 35 / 52 ] 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 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.025 * * * * [progress]: [ 36 / 52 ] 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 (* (* (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))))))>
8.025 * * * * [progress]: [ 37 / 52 ] 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 (cbrt (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.025 * * * * [progress]: [ 38 / 52 ] 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 (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.026 * * * * [progress]: [ 39 / 52 ] 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 (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))))>
8.026 * * * * [progress]: [ 40 / 52 ] 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 (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
8.026 * * * * [progress]: [ 41 / 52 ] 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) (pow a 2)))) (log1p a))))))>
8.026 * * * * [progress]: [ 42 / 52 ] 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) (pow a 2)))) (log1p a))))))>
8.026 * * * * [progress]: [ 43 / 52 ] 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) (pow a 2)))) (log1p a))))))>
8.026 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.026 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.026 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
8.026 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (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))))))>
8.026 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (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))))))>
8.026 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (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))))))>
8.026 * * * * [progress]: [ 50 / 52 ] 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 (fmod (cosh a) (pow a 2)) (log1p a))))))>
8.026 * * * * [progress]: [ 51 / 52 ] 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 (fmod (cosh a) (pow a 2)) (log1p a))))))>
8.026 * * * * [progress]: [ 52 / 52 ] 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 (fmod (cosh a) (pow a 2)) (log1p a))))))>
8.027 * [simplify]: Simplifying (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log 1), (log (exp (fmod (cosh a) (* a a)))), (log (exp (fmod (cosh a) (* a a)))), (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))), (log (exp (sqrt (fmod (cosh a) (* a a))))), (log (exp 1)), (log (log (exp (fmod (cosh a) (* a a))))), (exp (log (exp (fmod (cosh a) (* a a))))), (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))), (cbrt (log (exp (fmod (cosh a) (* a a))))), (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (sqrt (log (exp (fmod (cosh a) (* a a))))), (real->posit16 (log (exp (fmod (cosh a) (* a a))))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2))
8.028 * * [simplify]: iteration 1: (38 enodes)
8.040 * * [simplify]: iteration 2: (105 enodes)
8.054 * * [simplify]: iteration 3: (134 enodes)
8.078 * * [simplify]: iteration 4: (154 enodes)
8.105 * * [simplify]: iteration 5: (196 enodes)
8.146 * * [simplify]: iteration 6: (301 enodes)
8.221 * * [simplify]: iteration 7: (567 enodes)
8.511 * * [simplify]: iteration 8: (1498 enodes)
10.987 * * [simplify]: Extracting #0: cost 13 inf + 0
10.987 * * [simplify]: Extracting #1: cost 133 inf + 2
10.988 * * [simplify]: Extracting #2: cost 496 inf + 7
10.992 * * [simplify]: Extracting #3: cost 1007 inf + 2096
10.998 * * [simplify]: Extracting #4: cost 1069 inf + 17854
11.018 * * [simplify]: Extracting #5: cost 836 inf + 134183
11.113 * * [simplify]: Extracting #6: cost 322 inf + 526289
11.344 * * [simplify]: Extracting #7: cost 16 inf + 775776
11.565 * * [simplify]: Extracting #8: cost 0 inf + 777416
11.774 * * [simplify]: Extracting #9: cost 0 inf + 773638
11.980 * * [simplify]: Extracting #10: cost 0 inf + 773125
12.196 * [simplify]: Simplified to (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))), (log (cbrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), (log (sqrt (exp (fmod (cosh a) (* a a))))), 0, (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), 1, (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a))
12.201 * * * [progress]: adding candidates to table
12.891 * * [progress]: iteration 4 / 4
12.891 * * * [progress]: picking best candidate
12.923 * * * * [pick]: Picked  #<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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
12.923 * * * [progress]: localizing error
12.984 * * * [progress]: generating rewritten candidates
12.984 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1)
12.985 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1)
12.985 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
12.986 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
12.987 * * * [progress]: generating series expansions
12.987 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1)
12.987 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.987 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.987 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.987 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.987 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.987 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.987 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.987 * [backup-simplify]: Simplify 0 into 0
12.987 * [backup-simplify]: Simplify 0 into 0
12.988 * [backup-simplify]: Simplify 0 into 0
12.988 * [backup-simplify]: Simplify 0 into 0
12.988 * [backup-simplify]: Simplify 0 into 0
12.988 * [backup-simplify]: Simplify 0 into 0
12.988 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.988 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.988 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.988 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.988 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.988 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.988 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.989 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify 0 into 0
12.989 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.989 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.989 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.989 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.989 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.989 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.990 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.990 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.990 * [backup-simplify]: Simplify 0 into 0
12.990 * [backup-simplify]: Simplify 0 into 0
12.990 * [backup-simplify]: Simplify 0 into 0
12.990 * [backup-simplify]: Simplify 0 into 0
12.990 * [backup-simplify]: Simplify 0 into 0
12.990 * [backup-simplify]: Simplify 0 into 0
12.990 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.990 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1 1 1)
12.990 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.991 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.991 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.991 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.991 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.991 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.991 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.991 * [backup-simplify]: Simplify 0 into 0
12.991 * [backup-simplify]: Simplify 0 into 0
12.991 * [backup-simplify]: Simplify 0 into 0
12.991 * [backup-simplify]: Simplify 0 into 0
12.991 * [backup-simplify]: Simplify 0 into 0
12.991 * [backup-simplify]: Simplify 0 into 0
12.991 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.991 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.991 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.992 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.992 * [backup-simplify]: Simplify 0 into 0
12.992 * [backup-simplify]: Simplify 0 into 0
12.992 * [backup-simplify]: Simplify 0 into 0
12.992 * [backup-simplify]: Simplify 0 into 0
12.992 * [backup-simplify]: Simplify 0 into 0
12.992 * [backup-simplify]: Simplify 0 into 0
12.992 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.993 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.993 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.993 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.993 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.993 * [backup-simplify]: Simplify 0 into 0
12.993 * [backup-simplify]: Simplify 0 into 0
12.993 * [backup-simplify]: Simplify 0 into 0
12.993 * [backup-simplify]: Simplify 0 into 0
12.994 * [backup-simplify]: Simplify 0 into 0
12.994 * [backup-simplify]: Simplify 0 into 0
12.994 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.994 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
12.994 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.994 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.994 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.994 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.994 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.994 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.994 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.994 * [backup-simplify]: Simplify 0 into 0
12.994 * [backup-simplify]: Simplify 0 into 0
12.995 * [backup-simplify]: Simplify 0 into 0
12.995 * [backup-simplify]: Simplify 0 into 0
12.995 * [backup-simplify]: Simplify 0 into 0
12.995 * [backup-simplify]: Simplify 0 into 0
12.995 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.995 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.995 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.995 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.995 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.995 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.995 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.996 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.996 * [backup-simplify]: Simplify 0 into 0
12.996 * [backup-simplify]: Simplify 0 into 0
12.996 * [backup-simplify]: Simplify 0 into 0
12.996 * [backup-simplify]: Simplify 0 into 0
12.996 * [backup-simplify]: Simplify 0 into 0
12.996 * [backup-simplify]: Simplify 0 into 0
12.996 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.996 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.996 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.996 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.996 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.996 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.997 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.997 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.997 * [backup-simplify]: Simplify 0 into 0
12.997 * [backup-simplify]: Simplify 0 into 0
12.997 * [backup-simplify]: Simplify 0 into 0
12.997 * [backup-simplify]: Simplify 0 into 0
12.997 * [backup-simplify]: Simplify 0 into 0
12.997 * [backup-simplify]: Simplify 0 into 0
12.997 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.997 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
12.997 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.997 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.998 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.998 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.998 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.998 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.998 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify 0 into 0
12.998 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.998 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.998 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.998 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.999 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.999 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.999 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.999 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.999 * [backup-simplify]: Simplify 0 into 0
12.999 * [backup-simplify]: Simplify 0 into 0
12.999 * [backup-simplify]: Simplify 0 into 0
12.999 * [backup-simplify]: Simplify 0 into 0
12.999 * [backup-simplify]: Simplify 0 into 0
12.999 * [backup-simplify]: Simplify 0 into 0
13.000 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.000 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.000 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.000 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.000 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.000 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.000 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.000 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.000 * [backup-simplify]: Simplify 0 into 0
13.000 * [backup-simplify]: Simplify 0 into 0
13.001 * [backup-simplify]: Simplify 0 into 0
13.001 * [backup-simplify]: Simplify 0 into 0
13.001 * [backup-simplify]: Simplify 0 into 0
13.001 * [backup-simplify]: Simplify 0 into 0
13.001 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.001 * * * [progress]: simplifying candidates
13.001 * * * * [progress]: [ 1 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))))>
13.001 * * * * [progress]: [ 2 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.001 * * * * [progress]: [ 3 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.001 * * * * [progress]: [ 4 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.001 * * * * [progress]: [ 5 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.001 * * * * [progress]: [ 6 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.001 * * * * [progress]: [ 7 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))))>
13.001 * * * * [progress]: [ 8 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))))>
13.001 * * * * [progress]: [ 9 / 44 ] 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 (sqrt (exp (pow (fmod (cosh a) (* a a)) 1)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.001 * * * * [progress]: [ 10 / 44 ] 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 (sqrt (exp (exp (log (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.001 * * * * [progress]: [ 11 / 44 ] 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 (sqrt (exp (log (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.001 * * * * [progress]: [ 12 / 44 ] 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 (sqrt (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.001 * * * * [progress]: [ 13 / 44 ] 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 (sqrt (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 14 / 44 ] 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 (sqrt (exp (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 15 / 44 ] 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 (sqrt (exp (* 1 (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 16 / 44 ] 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 (sqrt (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (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 (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 33 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 34 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 35 / 44 ] 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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (pow a 2)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 36 / 44 ] 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 (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.002 * * * * [progress]: [ 37 / 44 ] 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 (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * * * * [progress]: [ 38 / 44 ] 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 (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
13.003 * [simplify]: Simplifying (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2)), (fmod (cosh a) (pow a 2))
13.003 * * [simplify]: iteration 1: (15 enodes)
13.007 * * [simplify]: iteration 2: (51 enodes)
13.015 * * [simplify]: iteration 3: (69 enodes)
13.035 * * [simplify]: iteration 4: (79 enodes)
13.052 * * [simplify]: iteration 5: (89 enodes)
13.066 * * [simplify]: iteration 6: (106 enodes)
13.087 * * [simplify]: iteration 7: (138 enodes)
13.111 * * [simplify]: iteration 8: (211 enodes)
13.173 * * [simplify]: iteration 9: (464 enodes)
13.532 * * [simplify]: iteration 10: (1503 enodes)
18.440 * * [simplify]: Extracting #0: cost 8 inf + 0
18.440 * * [simplify]: Extracting #1: cost 188 inf + 0
18.445 * * [simplify]: Extracting #2: cost 1212 inf + 3
18.458 * * [simplify]: Extracting #3: cost 1220 inf + 115
18.470 * * [simplify]: Extracting #4: cost 1198 inf + 7918
18.505 * * [simplify]: Extracting #5: cost 864 inf + 302871
18.632 * * [simplify]: Extracting #6: cost 123 inf + 1101339
18.834 * * [simplify]: Extracting #7: cost 0 inf + 1238767
19.041 * * [simplify]: Extracting #8: cost 0 inf + 1230637
19.240 * [simplify]: Simplified to (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (log (fmod (cosh a) (* a a))), (exp (fmod (cosh a) (* a a))), (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))), (cbrt (fmod (cosh a) (* a a))), (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a)))), (sqrt (fmod (cosh a) (* a a))), (sqrt (fmod (cosh a) (* a a))), (real->posit16 (fmod (cosh a) (* a a))), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a)), (fmod (cosh a) (* a a))
19.246 * * * [progress]: adding candidates to table
20.058 * [progress]: [Phase 3 of 3] Extracting.
20.058 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (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) (* (* (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
20.060 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
20.061 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (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) (* (* (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
20.135 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (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) (* (* (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
20.194 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
20.236 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (log (exp (acos (pow (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) (* (* (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 (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
20.300 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (cbrt (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (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))))))>)
20.337 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
20.338 * [simplify]: Simplifying (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
20.339 * * [simplify]: iteration 1: (9 enodes)
20.339 * * [simplify]: Extracting #0: cost 1 inf + 0
20.339 * * [simplify]: Extracting #1: cost 2 inf + 0
20.339 * * [simplify]: Extracting #2: cost 4 inf + 0
20.339 * * [simplify]: Extracting #3: cost 6 inf + 0
20.339 * * [simplify]: Extracting #4: cost 5 inf + 92
20.339 * * [simplify]: Extracting #5: cost 7 inf + 92
20.339 * * [simplify]: Extracting #6: cost 0 inf + 2199
20.339 * [simplify]: Simplified to (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
53.713 * [regime-testing]: Baseline error score: 59.522209907405276
53.715 * [regime-testing]: Oracle error score: 59.12623359287978
53.720 * [regime-testing]: End program error score: 59.522209907405276