0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
1.396 * * * [progress]: [2/2] Setting up program.
1.404 * [progress]: [Phase 2 of 3] Improving.
1.404 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.406 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.407 * * [simplify]: iters left: 5 (7 enodes)
1.437 * * [simplify]: iters left: 4 (30 enodes)
1.443 * * [simplify]: iters left: 3 (52 enodes)
1.453 * * [simplify]: iters left: 2 (80 enodes)
1.468 * * [simplify]: iters left: 1 (137 enodes)
1.504 * * [simplify]: Extracting #0: cost 1 inf + 0
1.504 * * [simplify]: Extracting #1: cost 3 inf + 0
1.504 * * [simplify]: Extracting #2: cost 15 inf + 0
1.505 * * [simplify]: Extracting #3: cost 52 inf + 1
1.505 * * [simplify]: Extracting #4: cost 67 inf + 61
1.507 * * [simplify]: Extracting #5: cost 47 inf + 4801
1.509 * * [simplify]: Extracting #6: cost 27 inf + 11788
1.515 * * [simplify]: Extracting #7: cost 2 inf + 27949
1.521 * * [simplify]: Extracting #8: cost 0 inf + 28280
1.526 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.526 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.537 * * [progress]: iteration 1 / 4
1.537 * * * [progress]: picking best candidate
1.541 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
1.541 * * * [progress]: localizing error
1.565 * * * [progress]: generating rewritten candidates
1.565 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
1.566 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.569 * * * [progress]: generating series expansions
1.569 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
1.573 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
1.573 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
1.574 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.575 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.575 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
1.575 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.575 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
1.576 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.576 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
1.576 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.576 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.576 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
1.576 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.576 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
1.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.577 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
1.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.577 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
1.577 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
1.578 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.578 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.578 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
1.578 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.578 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.578 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
1.578 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.578 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.579 * [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))))
1.579 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
1.579 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.579 * [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))))
1.579 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
1.579 * [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))))
1.579 * [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))))
1.579 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify 0 into 0
1.579 * [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)))
1.580 * [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))))
1.580 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
1.580 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.580 * [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))))
1.580 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
1.580 * [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))))
1.580 * [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))))
1.580 * [backup-simplify]: Simplify 0 into 0
1.580 * [backup-simplify]: Simplify 0 into 0
1.580 * [backup-simplify]: Simplify 0 into 0
1.580 * [backup-simplify]: Simplify 0 into 0
1.580 * [backup-simplify]: Simplify 0 into 0
1.580 * [backup-simplify]: Simplify 0 into 0
1.580 * [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)))
1.580 * * * [progress]: simplifying candidates
1.581 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (fmod (cosh a) (* a a)) 1) (log1p a))))>
1.581 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (fmod (cosh a) (* a a)))) (log1p a))))>
1.581 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
1.581 * * * * [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))))>
1.581 * * * * [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))))>
1.581 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
1.581 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (fmod (cosh a) (* a a))) (log1p a))))>
1.581 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (fmod (cosh a) (* a a)))) (log1p a))))>
1.581 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1.581 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1))>
1.581 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.581 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.581 * * * * [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))))))>
1.581 * * * * [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))))))>
1.581 * * * * [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))))))>
1.581 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))>
1.581 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>
1.581 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.581 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1.581 * * [simplify]: iters left: 2 (5 enodes)
1.583 * * [simplify]: iters left: 1 (25 enodes)
1.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1.588 * * [simplify]: Extracting #1: cost 4 inf + 0
1.588 * * [simplify]: Extracting #2: cost 9 inf + 0
1.588 * * [simplify]: Extracting #3: cost 10 inf + 2
1.588 * * [simplify]: Extracting #4: cost 8 inf + 433
1.588 * * [simplify]: Extracting #5: cost 4 inf + 823
1.588 * * [simplify]: Extracting #6: cost 0 inf + 1417
1.588 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1.588 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.589 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.589 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1.589 * * [simplify]: iters left: 2 (5 enodes)
1.590 * * [simplify]: iters left: 1 (25 enodes)
1.595 * * [simplify]: Extracting #0: cost 1 inf + 0
1.595 * * [simplify]: Extracting #1: cost 4 inf + 0
1.595 * * [simplify]: Extracting #2: cost 9 inf + 0
1.595 * * [simplify]: Extracting #3: cost 10 inf + 2
1.595 * * [simplify]: Extracting #4: cost 8 inf + 433
1.595 * * [simplify]: Extracting #5: cost 4 inf + 823
1.595 * * [simplify]: Extracting #6: cost 0 inf + 1417
1.596 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1.596 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.596 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.596 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
1.596 * * [simplify]: iters left: 2 (5 enodes)
1.598 * * [simplify]: iters left: 1 (25 enodes)
1.606 * * [simplify]: Extracting #0: cost 1 inf + 0
1.606 * * [simplify]: Extracting #1: cost 4 inf + 0
1.606 * * [simplify]: Extracting #2: cost 9 inf + 0
1.607 * * [simplify]: Extracting #3: cost 10 inf + 2
1.607 * * [simplify]: Extracting #4: cost 8 inf + 433
1.607 * * [simplify]: Extracting #5: cost 4 inf + 823
1.607 * * [simplify]: Extracting #6: cost 0 inf + 1417
1.608 * [simplify]: Simplified to (fmod (cosh a) (* a a))
1.608 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.608 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.608 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.608 * * [simplify]: iters left: 4 (8 enodes)
1.613 * * [simplify]: iters left: 3 (37 enodes)
1.625 * * [simplify]: iters left: 2 (60 enodes)
1.641 * * [simplify]: iters left: 1 (86 enodes)
1.655 * * [simplify]: Extracting #0: cost 1 inf + 0
1.655 * * [simplify]: Extracting #1: cost 3 inf + 0
1.655 * * [simplify]: Extracting #2: cost 13 inf + 0
1.655 * * [simplify]: Extracting #3: cost 38 inf + 0
1.655 * * [simplify]: Extracting #4: cost 45 inf + 241
1.656 * * [simplify]: Extracting #5: cost 33 inf + 2907
1.656 * * [simplify]: Extracting #6: cost 22 inf + 6227
1.658 * * [simplify]: Extracting #7: cost 3 inf + 14662
1.661 * * [simplify]: Extracting #8: cost 0 inf + 16508
1.664 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.664 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.665 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.665 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.665 * * [simplify]: iters left: 4 (8 enodes)
1.670 * * [simplify]: iters left: 3 (37 enodes)
1.681 * * [simplify]: iters left: 2 (60 enodes)
1.699 * * [simplify]: iters left: 1 (86 enodes)
1.725 * * [simplify]: Extracting #0: cost 1 inf + 0
1.725 * * [simplify]: Extracting #1: cost 3 inf + 0
1.725 * * [simplify]: Extracting #2: cost 13 inf + 0
1.725 * * [simplify]: Extracting #3: cost 38 inf + 0
1.726 * * [simplify]: Extracting #4: cost 45 inf + 241
1.726 * * [simplify]: Extracting #5: cost 33 inf + 2907
1.727 * * [simplify]: Extracting #6: cost 22 inf + 6227
1.730 * * [simplify]: Extracting #7: cost 3 inf + 14662
1.733 * * [simplify]: Extracting #8: cost 0 inf + 16508
1.737 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.737 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.737 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
1.737 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
1.737 * * [simplify]: iters left: 4 (8 enodes)
1.742 * * [simplify]: iters left: 3 (37 enodes)
1.753 * * [simplify]: iters left: 2 (60 enodes)
1.771 * * [simplify]: iters left: 1 (86 enodes)
1.789 * * [simplify]: Extracting #0: cost 1 inf + 0
1.789 * * [simplify]: Extracting #1: cost 3 inf + 0
1.790 * * [simplify]: Extracting #2: cost 13 inf + 0
1.790 * * [simplify]: Extracting #3: cost 38 inf + 0
1.790 * * [simplify]: Extracting #4: cost 45 inf + 241
1.790 * * [simplify]: Extracting #5: cost 33 inf + 2907
1.791 * * [simplify]: Extracting #6: cost 22 inf + 6227
1.792 * * [simplify]: Extracting #7: cost 3 inf + 14662
1.794 * * [simplify]: Extracting #8: cost 0 inf + 16508
1.795 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.795 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
1.795 * * * [progress]: adding candidates to table
2.062 * * [progress]: iteration 2 / 4
2.062 * * * [progress]: picking best candidate
2.087 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
2.087 * * * [progress]: localizing error
2.119 * * * [progress]: generating rewritten candidates
2.119 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
2.119 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
2.124 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.126 * * * [progress]: generating series expansions
2.126 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
2.127 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
2.127 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.127 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.127 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.127 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.127 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.127 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.128 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.128 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.128 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.128 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.128 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.128 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify 0 into 0
2.129 * [backup-simplify]: Simplify 0 into 0
2.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.129 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.129 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.129 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.129 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.129 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.129 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.130 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
2.130 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
2.130 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
2.130 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.130 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.130 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
2.130 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.131 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
2.131 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.131 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
2.131 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.131 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.131 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
2.132 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.132 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
2.132 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.132 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
2.132 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.133 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.133 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
2.133 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.133 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
2.133 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.134 * [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)))
2.134 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
2.134 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.134 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.134 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
2.134 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.134 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.134 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.135 * [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))))
2.135 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
2.135 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.135 * [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))))
2.135 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
2.136 * [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))))
2.136 * [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))))
2.136 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify 0 into 0
2.136 * [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)))
2.137 * [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))))
2.137 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
2.137 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.137 * [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))))
2.137 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
2.137 * [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))))
2.138 * [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))))
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [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)))
2.139 * * * [progress]: simplifying candidates
2.139 * * * * [progress]: [ 1 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (pow (fmod (cosh a) (* a a)) 1))) (log1p a))))>
2.139 * * * * [progress]: [ 2 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (exp (log (fmod (cosh a) (* a a)))))) (log1p a))))>
2.139 * * * * [progress]: [ 3 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.139 * * * * [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))))>
2.139 * * * * [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))))>
2.139 * * * * [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))))>
2.139 * * * * [progress]: [ 7 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (* 1 (fmod (cosh a) (* a a))))) (log1p a))))>
2.139 * * * * [progress]: [ 8 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))) (log1p a))))>
2.139 * * * * [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))))>
2.139 * [simplify]: Simplifying (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
2.140 * * [simplify]: iters left: 6 (8 enodes)
2.143 * * [simplify]: iters left: 5 (32 enodes)
2.153 * * [simplify]: iters left: 4 (47 enodes)
2.160 * * [simplify]: iters left: 3 (51 enodes)
2.167 * * [simplify]: iters left: 2 (53 enodes)
2.174 * * [simplify]: Extracting #0: cost 1 inf + 0
2.175 * * [simplify]: Extracting #1: cost 4 inf + 0
2.175 * * [simplify]: Extracting #2: cost 7 inf + 0
2.175 * * [simplify]: Extracting #3: cost 9 inf + 0
2.175 * * [simplify]: Extracting #4: cost 11 inf + 0
2.175 * * [simplify]: Extracting #5: cost 14 inf + 0
2.175 * * [simplify]: Extracting #6: cost 19 inf + 0
2.175 * * [simplify]: Extracting #7: cost 20 inf + 2
2.175 * * [simplify]: Extracting #8: cost 18 inf + 543
2.175 * * [simplify]: Extracting #9: cost 12 inf + 1580
2.176 * * [simplify]: Extracting #10: cost 1 inf + 4471
2.180 * * [simplify]: Extracting #11: cost 0 inf + 4857
2.181 * [simplify]: Simplified to (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
2.181 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
2.181 * * * * [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))))>
2.181 * [simplify]: Simplifying (log (sqrt (exp (fmod (cosh a) (* a a)))))
2.182 * * [simplify]: iters left: 6 (7 enodes)
2.183 * * [simplify]: iters left: 5 (27 enodes)
2.187 * * [simplify]: iters left: 4 (40 enodes)
2.193 * * [simplify]: iters left: 3 (44 enodes)
2.200 * * [simplify]: iters left: 2 (46 enodes)
2.206 * * [simplify]: Extracting #0: cost 1 inf + 0
2.206 * * [simplify]: Extracting #1: cost 3 inf + 0
2.206 * * [simplify]: Extracting #2: cost 5 inf + 0
2.206 * * [simplify]: Extracting #3: cost 7 inf + 0
2.206 * * [simplify]: Extracting #4: cost 10 inf + 0
2.206 * * [simplify]: Extracting #5: cost 15 inf + 0
2.206 * * [simplify]: Extracting #6: cost 16 inf + 2
2.206 * * [simplify]: Extracting #7: cost 14 inf + 433
2.207 * * [simplify]: Extracting #8: cost 7 inf + 1446
2.207 * * [simplify]: Extracting #9: cost 0 inf + 3133
2.207 * [simplify]: Simplified to (log (sqrt (exp (fmod (cosh a) (* a a)))))
2.207 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))
2.207 * * * * [progress]: [ 11 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (+ (log 1) (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.208 * [simplify]: Simplifying (log 1)
2.208 * * [simplify]: iters left: 1 (2 enodes)
2.209 * * [simplify]: Extracting #0: cost 1 inf + 0
2.209 * * [simplify]: Extracting #1: cost 0 inf + 1
2.209 * [simplify]: Simplified to 0
2.209 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (+ 0 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))
2.209 * * * * [progress]: [ 12 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.209 * * * * [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))))>
2.209 * [simplify]: Simplifying (cbrt (fmod (cosh a) (* a a)))
2.209 * * [simplify]: iters left: 4 (5 enodes)
2.210 * * [simplify]: iters left: 3 (21 enodes)
2.214 * * [simplify]: iters left: 2 (34 enodes)
2.218 * * [simplify]: iters left: 1 (38 enodes)
2.226 * * [simplify]: Extracting #0: cost 1 inf + 0
2.226 * * [simplify]: Extracting #1: cost 3 inf + 0
2.226 * * [simplify]: Extracting #2: cost 6 inf + 0
2.226 * * [simplify]: Extracting #3: cost 11 inf + 0
2.226 * * [simplify]: Extracting #4: cost 12 inf + 2
2.226 * * [simplify]: Extracting #5: cost 9 inf + 599
2.227 * * [simplify]: Extracting #6: cost 5 inf + 1069
2.227 * * [simplify]: Extracting #7: cost 0 inf + 1909
2.228 * [simplify]: Simplified to (cbrt (fmod (cosh a) (* a a)))
2.228 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))
2.228 * * * * [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))))>
2.228 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
2.228 * * [simplify]: iters left: 4 (5 enodes)
2.230 * * [simplify]: iters left: 3 (21 enodes)
2.237 * * [simplify]: iters left: 2 (34 enodes)
2.244 * * [simplify]: iters left: 1 (38 enodes)
2.249 * * [simplify]: Extracting #0: cost 1 inf + 0
2.249 * * [simplify]: Extracting #1: cost 3 inf + 0
2.249 * * [simplify]: Extracting #2: cost 6 inf + 0
2.250 * * [simplify]: Extracting #3: cost 11 inf + 0
2.250 * * [simplify]: Extracting #4: cost 12 inf + 2
2.250 * * [simplify]: Extracting #5: cost 9 inf + 599
2.250 * * [simplify]: Extracting #6: cost 5 inf + 1029
2.250 * * [simplify]: Extracting #7: cost 0 inf + 1829
2.250 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
2.250 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
2.250 * * * * [progress]: [ 15 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))>
2.251 * [simplify]: Simplifying (fmod (cosh a) (* a a))
2.251 * * [simplify]: iters left: 3 (4 enodes)
2.252 * * [simplify]: iters left: 2 (18 enodes)
2.255 * * [simplify]: iters left: 1 (31 enodes)
2.260 * * [simplify]: Extracting #0: cost 1 inf + 0
2.260 * * [simplify]: Extracting #1: cost 4 inf + 0
2.260 * * [simplify]: Extracting #2: cost 9 inf + 0
2.260 * * [simplify]: Extracting #3: cost 10 inf + 2
2.260 * * [simplify]: Extracting #4: cost 7 inf + 599
2.260 * * [simplify]: Extracting #5: cost 5 inf + 712
2.260 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.260 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.260 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (* (fmod (cosh a) (* a a)) (log (exp 1))) (log1p a))))
2.260 * * * * [progress]: [ 16 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (pow (log (exp (fmod (cosh a) (* a a)))) 1) (log1p a))))>
2.261 * * * * [progress]: [ 17 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
2.261 * [simplify]: Simplifying (cosh a)
2.261 * * [simplify]: iters left: 1 (2 enodes)
2.261 * * [simplify]: Extracting #0: cost 1 inf + 0
2.261 * * [simplify]: Extracting #1: cost 5 inf + 0
2.261 * * [simplify]: Extracting #2: cost 5 inf + 2
2.261 * * [simplify]: Extracting #3: cost 3 inf + 185
2.261 * * [simplify]: Extracting #4: cost 0 inf + 558
2.262 * [simplify]: Simplified to (cosh a)
2.262 * [simplify]: Simplified (2 1 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.262 * * * * [progress]: [ 18 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (exp (log (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.262 * * * * [progress]: [ 19 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.262 * * * * [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))))>
2.262 * * * * [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))))>
2.262 * * * * [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))))>
2.262 * * * * [progress]: [ 23 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (* 1 (log (exp (fmod (cosh a) (* a a))))) (log1p a))))>
2.262 * * * * [progress]: [ 24 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (posit16->real (real->posit16 (log (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
2.262 * * * * [progress]: [ 25 / 42 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
2.262 * * * * [progress]: [ 26 / 42 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) 1))>
2.262 * * * * [progress]: [ 27 / 42 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.262 * * * * [progress]: [ 28 / 42 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.262 * * * * [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))))))>
2.262 * * * * [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))))))>
2.262 * * * * [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))))))>
2.262 * * * * [progress]: [ 32 / 42 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))>
2.262 * * * * [progress]: [ 33 / 42 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
2.262 * * * * [progress]: [ 34 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.262 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.262 * * [simplify]: iters left: 2 (5 enodes)
2.264 * * [simplify]: iters left: 1 (25 enodes)
2.269 * * [simplify]: Extracting #0: cost 1 inf + 0
2.269 * * [simplify]: Extracting #1: cost 4 inf + 0
2.269 * * [simplify]: Extracting #2: cost 9 inf + 0
2.269 * * [simplify]: Extracting #3: cost 10 inf + 2
2.269 * * [simplify]: Extracting #4: cost 8 inf + 433
2.269 * * [simplify]: Extracting #5: cost 4 inf + 823
2.271 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.271 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.272 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.272 * * * * [progress]: [ 35 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.272 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.272 * * [simplify]: iters left: 2 (5 enodes)
2.274 * * [simplify]: iters left: 1 (25 enodes)
2.278 * * [simplify]: Extracting #0: cost 1 inf + 0
2.278 * * [simplify]: Extracting #1: cost 4 inf + 0
2.278 * * [simplify]: Extracting #2: cost 9 inf + 0
2.278 * * [simplify]: Extracting #3: cost 10 inf + 2
2.279 * * [simplify]: Extracting #4: cost 8 inf + 433
2.279 * * [simplify]: Extracting #5: cost 4 inf + 823
2.279 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.279 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.279 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.279 * * * * [progress]: [ 36 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (pow a 2)))) (log1p a))))>
2.279 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.279 * * [simplify]: iters left: 2 (5 enodes)
2.281 * * [simplify]: iters left: 1 (25 enodes)
2.285 * * [simplify]: Extracting #0: cost 1 inf + 0
2.285 * * [simplify]: Extracting #1: cost 4 inf + 0
2.286 * * [simplify]: Extracting #2: cost 9 inf + 0
2.286 * * [simplify]: Extracting #3: cost 10 inf + 2
2.286 * * [simplify]: Extracting #4: cost 8 inf + 433
2.286 * * [simplify]: Extracting #5: cost 4 inf + 823
2.286 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.286 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.286 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.286 * * * * [progress]: [ 37 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.287 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.287 * * [simplify]: iters left: 2 (5 enodes)
2.288 * * [simplify]: iters left: 1 (25 enodes)
2.293 * * [simplify]: Extracting #0: cost 1 inf + 0
2.293 * * [simplify]: Extracting #1: cost 4 inf + 0
2.293 * * [simplify]: Extracting #2: cost 9 inf + 0
2.293 * * [simplify]: Extracting #3: cost 10 inf + 2
2.293 * * [simplify]: Extracting #4: cost 8 inf + 433
2.293 * * [simplify]: Extracting #5: cost 4 inf + 823
2.293 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.293 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.293 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.294 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.294 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.294 * * [simplify]: iters left: 2 (5 enodes)
2.295 * * [simplify]: iters left: 1 (25 enodes)
2.300 * * [simplify]: Extracting #0: cost 1 inf + 0
2.300 * * [simplify]: Extracting #1: cost 4 inf + 0
2.300 * * [simplify]: Extracting #2: cost 9 inf + 0
2.300 * * [simplify]: Extracting #3: cost 10 inf + 2
2.300 * * [simplify]: Extracting #4: cost 8 inf + 433
2.300 * * [simplify]: Extracting #5: cost 4 inf + 823
2.300 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.300 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.300 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.300 * * * * [progress]: [ 39 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.301 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
2.301 * * [simplify]: iters left: 2 (5 enodes)
2.302 * * [simplify]: iters left: 1 (25 enodes)
2.307 * * [simplify]: Extracting #0: cost 1 inf + 0
2.307 * * [simplify]: Extracting #1: cost 4 inf + 0
2.307 * * [simplify]: Extracting #2: cost 9 inf + 0
2.307 * * [simplify]: Extracting #3: cost 10 inf + 2
2.307 * * [simplify]: Extracting #4: cost 8 inf + 433
2.307 * * [simplify]: Extracting #5: cost 4 inf + 823
2.307 * * [simplify]: Extracting #6: cost 0 inf + 1417
2.307 * [simplify]: Simplified to (fmod (cosh a) (* a a))
2.307 * [simplify]: Simplified (2 1 1) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.307 * * * * [progress]: [ 40 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.308 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.308 * * [simplify]: iters left: 4 (8 enodes)
2.310 * * [simplify]: iters left: 3 (37 enodes)
2.316 * * [simplify]: iters left: 2 (60 enodes)
2.332 * * [simplify]: iters left: 1 (86 enodes)
2.345 * * [simplify]: Extracting #0: cost 1 inf + 0
2.345 * * [simplify]: Extracting #1: cost 3 inf + 0
2.345 * * [simplify]: Extracting #2: cost 13 inf + 0
2.346 * * [simplify]: Extracting #3: cost 38 inf + 0
2.346 * * [simplify]: Extracting #4: cost 45 inf + 241
2.346 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.347 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.348 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.350 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.351 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.351 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.351 * * * * [progress]: [ 41 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.351 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.352 * * [simplify]: iters left: 4 (8 enodes)
2.354 * * [simplify]: iters left: 3 (37 enodes)
2.362 * * [simplify]: iters left: 2 (60 enodes)
2.380 * * [simplify]: iters left: 1 (86 enodes)
2.405 * * [simplify]: Extracting #0: cost 1 inf + 0
2.406 * * [simplify]: Extracting #1: cost 3 inf + 0
2.406 * * [simplify]: Extracting #2: cost 13 inf + 0
2.406 * * [simplify]: Extracting #3: cost 38 inf + 0
2.406 * * [simplify]: Extracting #4: cost 45 inf + 241
2.407 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.408 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.411 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.414 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.417 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.417 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.418 * * * * [progress]: [ 42 / 42 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
2.418 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
2.418 * * [simplify]: iters left: 4 (8 enodes)
2.422 * * [simplify]: iters left: 3 (37 enodes)
2.434 * * [simplify]: iters left: 2 (60 enodes)
2.452 * * [simplify]: iters left: 1 (86 enodes)
2.479 * * [simplify]: Extracting #0: cost 1 inf + 0
2.479 * * [simplify]: Extracting #1: cost 3 inf + 0
2.479 * * [simplify]: Extracting #2: cost 13 inf + 0
2.479 * * [simplify]: Extracting #3: cost 38 inf + 0
2.479 * * [simplify]: Extracting #4: cost 45 inf + 241
2.480 * * [simplify]: Extracting #5: cost 33 inf + 2907
2.481 * * [simplify]: Extracting #6: cost 22 inf + 6227
2.484 * * [simplify]: Extracting #7: cost 3 inf + 14662
2.487 * * [simplify]: Extracting #8: cost 0 inf + 16508
2.490 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.490 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
2.490 * * * [progress]: adding candidates to table
3.007 * * [progress]: iteration 3 / 4
3.007 * * * [progress]: picking best candidate
3.063 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.063 * * * [progress]: localizing error
3.100 * * * [progress]: generating rewritten candidates
3.100 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
3.101 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
3.101 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.104 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.111 * * * [progress]: generating series expansions
3.111 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
3.111 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.111 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.111 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.111 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.111 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.111 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.111 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.111 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.111 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.112 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.112 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.113 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
3.113 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
3.113 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
3.113 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.113 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.113 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.113 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.113 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.114 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
3.114 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.114 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.114 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify 0 into 0
3.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
3.114 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.114 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
3.114 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.115 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.115 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.115 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.115 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
3.115 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.115 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
3.115 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
3.115 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
3.115 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.115 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.116 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.116 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.116 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
3.116 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
3.116 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
3.116 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.116 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.116 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.116 * [backup-simplify]: Simplify 0 into 0
3.117 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.117 * [backup-simplify]: Simplify 0 into 0
3.118 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.118 * [backup-simplify]: Simplify 0 into 0
3.118 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.118 * [backup-simplify]: Simplify 0 into 0
3.119 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.119 * [backup-simplify]: Simplify 0 into 0
3.120 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
3.120 * [backup-simplify]: Simplify 0 into 0
3.120 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
3.120 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.120 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
3.120 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
3.120 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.120 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.120 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.120 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.120 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
3.120 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
3.120 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
3.120 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.121 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.121 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
3.121 * [backup-simplify]: Simplify 0 into 0
3.121 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.121 * [backup-simplify]: Simplify 0 into 0
3.122 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.122 * [backup-simplify]: Simplify 0 into 0
3.123 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.123 * [backup-simplify]: Simplify 0 into 0
3.124 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.124 * [backup-simplify]: Simplify 0 into 0
3.125 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.126 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
3.126 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.126 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
3.126 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
3.126 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.126 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.126 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.127 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.127 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
3.127 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
3.127 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
3.127 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.127 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.127 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
3.128 * [backup-simplify]: Simplify 0 into 0
3.128 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.128 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.129 * [backup-simplify]: Simplify 0 into 0
3.131 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.131 * [backup-simplify]: Simplify 0 into 0
3.132 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.132 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.133 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
3.133 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.133 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.133 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
3.133 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.134 * [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.134 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
3.134 * [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.134 * [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.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify 0 into 0
3.134 * [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.135 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
3.135 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
3.135 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.135 * [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.135 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
3.135 * [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.136 * [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.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [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.137 * [backup-simplify]: Simplify (acos (pow (* (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
3.137 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
3.137 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.137 * [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.137 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
3.137 * [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.137 * [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.137 * [backup-simplify]: Simplify 0 into 0
3.137 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.138 * [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.138 * * * [progress]: simplifying candidates
3.138 * * * * [progress]: [ 1 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a))))>
3.138 * * * * [progress]: [ 2 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.138 * * * * [progress]: [ 3 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.138 * * * * [progress]: [ 4 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.138 * * * * [progress]: [ 5 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.138 * * * * [progress]: [ 6 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.138 * * * * [progress]: [ 7 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a))))>
3.138 * * * * [progress]: [ 8 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.138 * * * * [progress]: [ 9 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 10 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 11 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 12 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 13 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 14 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 15 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 16 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.138 * * * * [progress]: [ 17 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.139 * [simplify]: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
3.139 * * [simplify]: iters left: 6 (9 enodes)
3.141 * * [simplify]: iters left: 5 (35 enodes)
3.146 * * [simplify]: iters left: 4 (50 enodes)
3.154 * * [simplify]: iters left: 3 (54 enodes)
3.161 * * [simplify]: iters left: 2 (56 enodes)
3.173 * * [simplify]: Extracting #0: cost 1 inf + 0
3.173 * * [simplify]: Extracting #1: cost 4 inf + 0
3.173 * * [simplify]: Extracting #2: cost 7 inf + 0
3.173 * * [simplify]: Extracting #3: cost 9 inf + 0
3.173 * * [simplify]: Extracting #4: cost 11 inf + 0
3.173 * * [simplify]: Extracting #5: cost 13 inf + 0
3.173 * * [simplify]: Extracting #6: cost 16 inf + 0
3.173 * * [simplify]: Extracting #7: cost 21 inf + 0
3.173 * * [simplify]: Extracting #8: cost 22 inf + 2
3.174 * * [simplify]: Extracting #9: cost 22 inf + 211
3.174 * * [simplify]: Extracting #10: cost 11 inf + 1858
3.175 * * [simplify]: Extracting #11: cost 2 inf + 4777
3.176 * * [simplify]: Extracting #12: cost 0 inf + 5669
3.177 * [simplify]: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
3.177 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.178 * * * * [progress]: [ 18 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.178 * [simplify]: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
3.178 * * [simplify]: iters left: 6 (8 enodes)
3.181 * * [simplify]: iters left: 5 (30 enodes)
3.191 * * [simplify]: iters left: 4 (43 enodes)
3.203 * * [simplify]: iters left: 3 (47 enodes)
3.216 * * [simplify]: iters left: 2 (49 enodes)
3.229 * * [simplify]: Extracting #0: cost 1 inf + 0
3.229 * * [simplify]: Extracting #1: cost 3 inf + 0
3.230 * * [simplify]: Extracting #2: cost 5 inf + 0
3.230 * * [simplify]: Extracting #3: cost 7 inf + 0
3.230 * * [simplify]: Extracting #4: cost 9 inf + 0
3.230 * * [simplify]: Extracting #5: cost 12 inf + 0
3.230 * * [simplify]: Extracting #6: cost 17 inf + 0
3.230 * * [simplify]: Extracting #7: cost 18 inf + 2
3.230 * * [simplify]: Extracting #8: cost 17 inf + 377
3.230 * * [simplify]: Extracting #9: cost 10 inf + 1400
3.231 * * [simplify]: Extracting #10: cost 0 inf + 3785
3.232 * [simplify]: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
3.232 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.235 * * * * [progress]: [ 19 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.235 * [simplify]: Simplifying (log 1)
3.235 * * [simplify]: iters left: 1 (2 enodes)
3.237 * * [simplify]: Extracting #0: cost 1 inf + 0
3.237 * * [simplify]: Extracting #1: cost 0 inf + 1
3.237 * [simplify]: Simplified to 0
3.237 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))
3.238 * * * * [progress]: [ 20 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.238 * * * * [progress]: [ 21 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.238 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
3.238 * * [simplify]: iters left: 5 (6 enodes)
3.240 * * [simplify]: iters left: 4 (24 enodes)
3.245 * * [simplify]: iters left: 3 (37 enodes)
3.250 * * [simplify]: iters left: 2 (41 enodes)
3.256 * * [simplify]: iters left: 1 (43 enodes)
3.262 * * [simplify]: Extracting #0: cost 1 inf + 0
3.262 * * [simplify]: Extracting #1: cost 3 inf + 0
3.262 * * [simplify]: Extracting #2: cost 5 inf + 0
3.262 * * [simplify]: Extracting #3: cost 8 inf + 0
3.262 * * [simplify]: Extracting #4: cost 13 inf + 0
3.262 * * [simplify]: Extracting #5: cost 14 inf + 2
3.262 * * [simplify]: Extracting #6: cost 13 inf + 377
3.262 * * [simplify]: Extracting #7: cost 6 inf + 1410
3.263 * * [simplify]: Extracting #8: cost 1 inf + 2180
3.263 * * [simplify]: Extracting #9: cost 0 inf + 2401
3.263 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
3.263 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a))))
3.264 * * * * [progress]: [ 22 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))>
3.264 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
3.264 * * [simplify]: iters left: 5 (6 enodes)
3.265 * * [simplify]: iters left: 4 (24 enodes)
3.269 * * [simplify]: iters left: 3 (37 enodes)
3.274 * * [simplify]: iters left: 2 (41 enodes)
3.280 * * [simplify]: iters left: 1 (43 enodes)
3.291 * * [simplify]: Extracting #0: cost 1 inf + 0
3.291 * * [simplify]: Extracting #1: cost 3 inf + 0
3.291 * * [simplify]: Extracting #2: cost 5 inf + 0
3.291 * * [simplify]: Extracting #3: cost 8 inf + 0
3.291 * * [simplify]: Extracting #4: cost 13 inf + 0
3.291 * * [simplify]: Extracting #5: cost 14 inf + 2
3.291 * * [simplify]: Extracting #6: cost 13 inf + 377
3.291 * * [simplify]: Extracting #7: cost 6 inf + 1490
3.292 * * [simplify]: Extracting #8: cost 1 inf + 2260
3.293 * * [simplify]: Extracting #9: cost 0 inf + 2481
3.293 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
3.293 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a))))
3.294 * * * * [progress]: [ 23 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.294 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
3.294 * * [simplify]: iters left: 5 (6 enodes)
3.297 * * [simplify]: iters left: 4 (24 enodes)
3.304 * * [simplify]: iters left: 3 (37 enodes)
3.315 * * [simplify]: iters left: 2 (41 enodes)
3.324 * * [simplify]: iters left: 1 (43 enodes)
3.330 * * [simplify]: Extracting #0: cost 1 inf + 0
3.330 * * [simplify]: Extracting #1: cost 3 inf + 0
3.330 * * [simplify]: Extracting #2: cost 5 inf + 0
3.330 * * [simplify]: Extracting #3: cost 8 inf + 0
3.330 * * [simplify]: Extracting #4: cost 13 inf + 0
3.330 * * [simplify]: Extracting #5: cost 14 inf + 2
3.330 * * [simplify]: Extracting #6: cost 13 inf + 377
3.330 * * [simplify]: Extracting #7: cost 6 inf + 1370
3.330 * * [simplify]: Extracting #8: cost 1 inf + 2100
3.331 * * [simplify]: Extracting #9: cost 0 inf + 2321
3.331 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
3.331 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.331 * * * * [progress]: [ 24 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))>
3.331 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
3.331 * * [simplify]: iters left: 4 (5 enodes)
3.332 * * [simplify]: iters left: 3 (21 enodes)
3.337 * * [simplify]: iters left: 2 (34 enodes)
3.342 * * [simplify]: iters left: 1 (38 enodes)
3.347 * * [simplify]: Extracting #0: cost 1 inf + 0
3.347 * * [simplify]: Extracting #1: cost 3 inf + 0
3.347 * * [simplify]: Extracting #2: cost 6 inf + 0
3.347 * * [simplify]: Extracting #3: cost 11 inf + 0
3.347 * * [simplify]: Extracting #4: cost 12 inf + 2
3.347 * * [simplify]: Extracting #5: cost 9 inf + 599
3.348 * * [simplify]: Extracting #6: cost 5 inf + 1029
3.348 * * [simplify]: Extracting #7: cost 0 inf + 1829
3.348 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.348 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a))))
3.348 * * * * [progress]: [ 25 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.348 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
3.348 * * [simplify]: iters left: 5 (6 enodes)
3.350 * * [simplify]: iters left: 4 (24 enodes)
3.353 * * [simplify]: iters left: 3 (37 enodes)
3.363 * * [simplify]: iters left: 2 (41 enodes)
3.375 * * [simplify]: iters left: 1 (43 enodes)
3.386 * * [simplify]: Extracting #0: cost 1 inf + 0
3.386 * * [simplify]: Extracting #1: cost 3 inf + 0
3.386 * * [simplify]: Extracting #2: cost 5 inf + 0
3.386 * * [simplify]: Extracting #3: cost 8 inf + 0
3.386 * * [simplify]: Extracting #4: cost 13 inf + 0
3.386 * * [simplify]: Extracting #5: cost 14 inf + 2
3.387 * * [simplify]: Extracting #6: cost 13 inf + 377
3.387 * * [simplify]: Extracting #7: cost 6 inf + 1370
3.387 * * [simplify]: Extracting #8: cost 1 inf + 2100
3.388 * * [simplify]: Extracting #9: cost 0 inf + 2321
3.389 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
3.389 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))
3.389 * * * * [progress]: [ 26 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))>
3.389 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
3.389 * * [simplify]: iters left: 4 (5 enodes)
3.391 * * [simplify]: iters left: 3 (21 enodes)
3.398 * * [simplify]: iters left: 2 (34 enodes)
3.408 * * [simplify]: iters left: 1 (38 enodes)
3.418 * * [simplify]: Extracting #0: cost 1 inf + 0
3.418 * * [simplify]: Extracting #1: cost 3 inf + 0
3.418 * * [simplify]: Extracting #2: cost 6 inf + 0
3.418 * * [simplify]: Extracting #3: cost 11 inf + 0
3.418 * * [simplify]: Extracting #4: cost 12 inf + 2
3.418 * * [simplify]: Extracting #5: cost 9 inf + 599
3.419 * * [simplify]: Extracting #6: cost 5 inf + 1029
3.419 * * [simplify]: Extracting #7: cost 0 inf + 1829
3.420 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.420 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a))))
3.420 * * * * [progress]: [ 27 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a))))>
3.420 * * * * [progress]: [ 28 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))>
3.420 * [simplify]: Simplifying (fmod (cosh a) (* a a))
3.421 * * [simplify]: iters left: 3 (4 enodes)
3.422 * * [simplify]: iters left: 2 (18 enodes)
3.428 * * [simplify]: iters left: 1 (31 enodes)
3.438 * * [simplify]: Extracting #0: cost 1 inf + 0
3.438 * * [simplify]: Extracting #1: cost 4 inf + 0
3.438 * * [simplify]: Extracting #2: cost 9 inf + 0
3.438 * * [simplify]: Extracting #3: cost 10 inf + 2
3.438 * * [simplify]: Extracting #4: cost 7 inf + 599
3.438 * * [simplify]: Extracting #5: cost 5 inf + 712
3.439 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.439 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.439 * [simplify]: Simplified (2 1 1 2 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.439 * * * * [progress]: [ 29 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.439 * * * * [progress]: [ 30 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.440 * * * * [progress]: [ 31 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.440 * * * * [progress]: [ 32 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.440 * * * * [progress]: [ 33 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.440 * * * * [progress]: [ 34 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a))))>
3.440 * * * * [progress]: [ 35 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))>
3.440 * * * * [progress]: [ 36 / 56 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
3.440 * * * * [progress]: [ 37 / 56 ] simplifiying candidate #<alt (λ (a) (pow (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 1))>
3.440 * * * * [progress]: [ 38 / 56 ] simplifiying candidate #<alt (λ (a) (exp (log (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.440 * * * * [progress]: [ 39 / 56 ] simplifiying candidate #<alt (λ (a) (log (exp (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.440 * * * * [progress]: [ 40 / 56 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.440 * * * * [progress]: [ 41 / 56 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.440 * * * * [progress]: [ 42 / 56 ] simplifiying candidate #<alt (λ (a) (* (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (sqrt (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.440 * * * * [progress]: [ 43 / 56 ] simplifiying candidate #<alt (λ (a) (* 1 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
3.441 * * * * [progress]: [ 44 / 56 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
3.441 * * * * [progress]: [ 45 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
3.441 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.441 * * [simplify]: iters left: 2 (5 enodes)
3.445 * * [simplify]: iters left: 1 (25 enodes)
3.453 * * [simplify]: Extracting #0: cost 1 inf + 0
3.454 * * [simplify]: Extracting #1: cost 4 inf + 0
3.454 * * [simplify]: Extracting #2: cost 9 inf + 0
3.454 * * [simplify]: Extracting #3: cost 10 inf + 2
3.454 * * [simplify]: Extracting #4: cost 8 inf + 433
3.454 * * [simplify]: Extracting #5: cost 4 inf + 823
3.455 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.455 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.455 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.455 * * * * [progress]: [ 46 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
3.456 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.456 * * [simplify]: iters left: 2 (5 enodes)
3.458 * * [simplify]: iters left: 1 (25 enodes)
3.463 * * [simplify]: Extracting #0: cost 1 inf + 0
3.463 * * [simplify]: Extracting #1: cost 4 inf + 0
3.463 * * [simplify]: Extracting #2: cost 9 inf + 0
3.463 * * [simplify]: Extracting #3: cost 10 inf + 2
3.463 * * [simplify]: Extracting #4: cost 8 inf + 433
3.463 * * [simplify]: Extracting #5: cost 4 inf + 823
3.463 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.463 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.463 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.463 * * * * [progress]: [ 47 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a))))>
3.464 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.464 * * [simplify]: iters left: 2 (5 enodes)
3.465 * * [simplify]: iters left: 1 (25 enodes)
3.471 * * [simplify]: Extracting #0: cost 1 inf + 0
3.471 * * [simplify]: Extracting #1: cost 4 inf + 0
3.471 * * [simplify]: Extracting #2: cost 9 inf + 0
3.471 * * [simplify]: Extracting #3: cost 10 inf + 2
3.471 * * [simplify]: Extracting #4: cost 8 inf + 433
3.471 * * [simplify]: Extracting #5: cost 4 inf + 823
3.471 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.471 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.471 * [simplify]: Simplified (2 1 1 2 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.472 * * * * [progress]: [ 48 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.472 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.472 * * [simplify]: iters left: 2 (5 enodes)
3.473 * * [simplify]: iters left: 1 (25 enodes)
3.477 * * [simplify]: Extracting #0: cost 1 inf + 0
3.477 * * [simplify]: Extracting #1: cost 4 inf + 0
3.477 * * [simplify]: Extracting #2: cost 9 inf + 0
3.478 * * [simplify]: Extracting #3: cost 10 inf + 2
3.478 * * [simplify]: Extracting #4: cost 8 inf + 433
3.478 * * [simplify]: Extracting #5: cost 4 inf + 823
3.478 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.478 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.478 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.478 * * * * [progress]: [ 49 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.478 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.478 * * [simplify]: iters left: 2 (5 enodes)
3.480 * * [simplify]: iters left: 1 (25 enodes)
3.484 * * [simplify]: Extracting #0: cost 1 inf + 0
3.484 * * [simplify]: Extracting #1: cost 4 inf + 0
3.484 * * [simplify]: Extracting #2: cost 9 inf + 0
3.484 * * [simplify]: Extracting #3: cost 10 inf + 2
3.484 * * [simplify]: Extracting #4: cost 8 inf + 433
3.484 * * [simplify]: Extracting #5: cost 4 inf + 823
3.484 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.485 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.485 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.485 * * * * [progress]: [ 50 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))>
3.485 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
3.485 * * [simplify]: iters left: 2 (5 enodes)
3.488 * * [simplify]: iters left: 1 (25 enodes)
3.495 * * [simplify]: Extracting #0: cost 1 inf + 0
3.495 * * [simplify]: Extracting #1: cost 4 inf + 0
3.495 * * [simplify]: Extracting #2: cost 9 inf + 0
3.495 * * [simplify]: Extracting #3: cost 10 inf + 2
3.495 * * [simplify]: Extracting #4: cost 8 inf + 433
3.495 * * [simplify]: Extracting #5: cost 4 inf + 823
3.495 * * [simplify]: Extracting #6: cost 0 inf + 1417
3.496 * [simplify]: Simplified to (fmod (cosh a) (* a a))
3.496 * [simplify]: Simplified (2 1 1 1 1) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
3.496 * * * * [progress]: [ 51 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
3.496 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
3.496 * * [simplify]: iters left: 3 (6 enodes)
3.498 * * [simplify]: iters left: 2 (28 enodes)
3.503 * * [simplify]: iters left: 1 (42 enodes)
3.508 * * [simplify]: Extracting #0: cost 1 inf + 0
3.508 * * [simplify]: Extracting #1: cost 3 inf + 0
3.508 * * [simplify]: Extracting #2: cost 6 inf + 0
3.508 * * [simplify]: Extracting #3: cost 11 inf + 0
3.508 * * [simplify]: Extracting #4: cost 12 inf + 2
3.509 * * [simplify]: Extracting #5: cost 12 inf + 226
3.509 * * [simplify]: Extracting #6: cost 6 inf + 918
3.509 * * [simplify]: Extracting #7: cost 1 inf + 1608
3.509 * * [simplify]: Extracting #8: cost 0 inf + 1829
3.509 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.509 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.510 * * * * [progress]: [ 52 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
3.510 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
3.510 * * [simplify]: iters left: 3 (6 enodes)
3.512 * * [simplify]: iters left: 2 (28 enodes)
3.516 * * [simplify]: iters left: 1 (42 enodes)
3.522 * * [simplify]: Extracting #0: cost 1 inf + 0
3.522 * * [simplify]: Extracting #1: cost 3 inf + 0
3.522 * * [simplify]: Extracting #2: cost 6 inf + 0
3.522 * * [simplify]: Extracting #3: cost 11 inf + 0
3.522 * * [simplify]: Extracting #4: cost 12 inf + 2
3.522 * * [simplify]: Extracting #5: cost 12 inf + 226
3.523 * * [simplify]: Extracting #6: cost 6 inf + 918
3.523 * * [simplify]: Extracting #7: cost 1 inf + 1608
3.524 * * [simplify]: Extracting #8: cost 0 inf + 1829
3.524 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.524 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.524 * * * * [progress]: [ 53 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a))))>
3.525 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
3.525 * * [simplify]: iters left: 3 (6 enodes)
3.529 * * [simplify]: iters left: 2 (28 enodes)
3.538 * * [simplify]: iters left: 1 (42 enodes)
3.548 * * [simplify]: Extracting #0: cost 1 inf + 0
3.548 * * [simplify]: Extracting #1: cost 3 inf + 0
3.548 * * [simplify]: Extracting #2: cost 6 inf + 0
3.548 * * [simplify]: Extracting #3: cost 11 inf + 0
3.548 * * [simplify]: Extracting #4: cost 12 inf + 2
3.548 * * [simplify]: Extracting #5: cost 12 inf + 226
3.548 * * [simplify]: Extracting #6: cost 6 inf + 918
3.548 * * [simplify]: Extracting #7: cost 1 inf + 1608
3.549 * * [simplify]: Extracting #8: cost 0 inf + 1829
3.549 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
3.549 * [simplify]: Simplified (2 1 1 2) to (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
3.549 * * * * [progress]: [ 54 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.549 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.549 * * [simplify]: iters left: 4 (8 enodes)
3.552 * * [simplify]: iters left: 3 (37 enodes)
3.558 * * [simplify]: iters left: 2 (60 enodes)
3.568 * * [simplify]: iters left: 1 (86 enodes)
3.590 * * [simplify]: Extracting #0: cost 1 inf + 0
3.590 * * [simplify]: Extracting #1: cost 3 inf + 0
3.590 * * [simplify]: Extracting #2: cost 13 inf + 0
3.591 * * [simplify]: Extracting #3: cost 38 inf + 0
3.591 * * [simplify]: Extracting #4: cost 45 inf + 241
3.591 * * [simplify]: Extracting #5: cost 33 inf + 2907
3.593 * * [simplify]: Extracting #6: cost 22 inf + 6227
3.595 * * [simplify]: Extracting #7: cost 3 inf + 14662
3.598 * * [simplify]: Extracting #8: cost 0 inf + 16508
3.600 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.600 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
3.600 * * * * [progress]: [ 55 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.600 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.600 * * [simplify]: iters left: 4 (8 enodes)
3.603 * * [simplify]: iters left: 3 (37 enodes)
3.609 * * [simplify]: iters left: 2 (60 enodes)
3.619 * * [simplify]: iters left: 1 (86 enodes)
3.639 * * [simplify]: Extracting #0: cost 1 inf + 0
3.639 * * [simplify]: Extracting #1: cost 3 inf + 0
3.639 * * [simplify]: Extracting #2: cost 13 inf + 0
3.640 * * [simplify]: Extracting #3: cost 38 inf + 0
3.640 * * [simplify]: Extracting #4: cost 45 inf + 241
3.640 * * [simplify]: Extracting #5: cost 33 inf + 2907
3.642 * * [simplify]: Extracting #6: cost 22 inf + 6227
3.644 * * [simplify]: Extracting #7: cost 3 inf + 14662
3.647 * * [simplify]: Extracting #8: cost 0 inf + 16508
3.651 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.651 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
3.651 * * * * [progress]: [ 56 / 56 ] simplifiying candidate #<alt (λ (a) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))>
3.651 * [simplify]: Simplifying (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
3.651 * * [simplify]: iters left: 4 (8 enodes)
3.655 * * [simplify]: iters left: 3 (37 enodes)
3.667 * * [simplify]: iters left: 2 (60 enodes)
3.687 * * [simplify]: iters left: 1 (86 enodes)
3.713 * * [simplify]: Extracting #0: cost 1 inf + 0
3.713 * * [simplify]: Extracting #1: cost 3 inf + 0
3.713 * * [simplify]: Extracting #2: cost 13 inf + 0
3.713 * * [simplify]: Extracting #3: cost 38 inf + 0
3.713 * * [simplify]: Extracting #4: cost 45 inf + 241
3.714 * * [simplify]: Extracting #5: cost 33 inf + 2907
3.715 * * [simplify]: Extracting #6: cost 22 inf + 6227
3.717 * * [simplify]: Extracting #7: cost 3 inf + 14662
3.721 * * [simplify]: Extracting #8: cost 0 inf + 16508
3.724 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
3.724 * [simplify]: Simplified (2) to (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
3.724 * * * [progress]: adding candidates to table
4.392 * * [progress]: iteration 4 / 4
4.392 * * * [progress]: picking best candidate
4.443 * * * * [pick]: Picked  #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.443 * * * [progress]: localizing error
4.480 * * * [progress]: generating rewritten candidates
4.480 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1 1 1)
4.481 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1)
4.481 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
4.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.513 * * * [progress]: generating series expansions
4.513 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1 1 1)
4.514 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.514 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.514 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.514 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.514 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.514 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.514 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.514 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.515 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.515 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.515 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.515 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify 0 into 0
4.516 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.516 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.516 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.516 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.516 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.516 * [backup-simplify]: Simplify 0 into 0
4.516 * [backup-simplify]: Simplify 0 into 0
4.517 * [backup-simplify]: Simplify 0 into 0
4.517 * [backup-simplify]: Simplify 0 into 0
4.517 * [backup-simplify]: Simplify 0 into 0
4.517 * [backup-simplify]: Simplify 0 into 0
4.517 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.517 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1)
4.517 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.517 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.517 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.517 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.518 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.518 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.519 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.519 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.519 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.519 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.519 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.520 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.520 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.520 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
4.521 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh a) (* a a))))) into (sqrt (fmod (cosh a) (pow a 2)))
4.521 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in (a) around 0
4.521 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
4.521 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.521 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.521 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
4.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
4.521 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh a) (pow a 2))) in a
4.521 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.521 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.521 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
4.522 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
4.522 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
4.522 * [backup-simplify]: Simplify 0 into 0
4.523 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
4.523 * [backup-simplify]: Simplify 0 into 0
4.524 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
4.524 * [backup-simplify]: Simplify 0 into 0
4.525 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
4.525 * [backup-simplify]: Simplify 0 into 0
4.526 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
4.526 * [backup-simplify]: Simplify 0 into 0
4.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh a) (pow a 2))))) into 0
4.527 * [backup-simplify]: Simplify 0 into 0
4.527 * [backup-simplify]: Simplify (sqrt (fmod (cosh a) (pow a 2))) into (sqrt (fmod (cosh a) (pow a 2)))
4.527 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.527 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in (a) around 0
4.527 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.527 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.528 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.528 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.528 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.528 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.529 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.529 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.529 * [backup-simplify]: Simplify 0 into 0
4.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.530 * [backup-simplify]: Simplify 0 into 0
4.531 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.531 * [backup-simplify]: Simplify 0 into 0
4.532 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.532 * [backup-simplify]: Simplify 0 into 0
4.533 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.534 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
4.535 * [backup-simplify]: Simplify (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.535 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in (a) around 0
4.535 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.535 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.536 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.536 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.536 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.536 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.536 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.536 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.537 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.537 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.538 * [backup-simplify]: Simplify 0 into 0
4.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.539 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.540 * [backup-simplify]: Simplify 0 into 0
4.541 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.541 * [backup-simplify]: Simplify 0 into 0
4.542 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.542 * [backup-simplify]: Simplify 0 into 0
4.542 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (sqrt (fmod (cosh a) (pow a 2)))
4.542 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.544 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
4.544 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0
4.544 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
4.544 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
4.544 * [taylor]: Taking taylor expansion of 1/2 in a
4.544 * [backup-simplify]: Simplify 1/2 into 1/2
4.544 * [taylor]: Taking taylor expansion of PI in a
4.544 * [backup-simplify]: Simplify PI into PI
4.544 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.544 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.545 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
4.545 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
4.545 * [taylor]: Taking taylor expansion of 1/2 in a
4.545 * [backup-simplify]: Simplify 1/2 into 1/2
4.545 * [taylor]: Taking taylor expansion of PI in a
4.545 * [backup-simplify]: Simplify PI into PI
4.545 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.545 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.546 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
4.546 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
4.547 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
4.547 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
4.548 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
4.548 * [backup-simplify]: Simplify (- 0) into 0
4.549 * [backup-simplify]: Simplify (+ 0 0) into 0
4.549 * [backup-simplify]: Simplify 0 into 0
4.550 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
4.550 * [backup-simplify]: Simplify (- 0) into 0
4.551 * [backup-simplify]: Simplify (+ 0 0) into 0
4.551 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
4.553 * [backup-simplify]: Simplify (- 0) into 0
4.553 * [backup-simplify]: Simplify (+ 0 0) into 0
4.553 * [backup-simplify]: Simplify 0 into 0
4.554 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
4.554 * [backup-simplify]: Simplify (- 0) into 0
4.554 * [backup-simplify]: Simplify (+ 0 0) into 0
4.554 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
4.555 * [backup-simplify]: Simplify (- 0) into 0
4.556 * [backup-simplify]: Simplify (+ 0 0) into 0
4.556 * [backup-simplify]: Simplify 0 into 0
4.557 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
4.557 * [backup-simplify]: Simplify (- 0) into 0
4.557 * [backup-simplify]: Simplify (+ 0 0) into 0
4.557 * [backup-simplify]: Simplify 0 into 0
4.557 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
4.558 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))) (log (exp (sqrt (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
4.558 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in (a) around 0
4.558 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in a
4.558 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
4.558 * [taylor]: Taking taylor expansion of 1/2 in a
4.558 * [backup-simplify]: Simplify 1/2 into 1/2
4.558 * [taylor]: Taking taylor expansion of PI in a
4.558 * [backup-simplify]: Simplify PI into PI
4.558 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.558 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.558 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) in a
4.558 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
4.558 * [taylor]: Taking taylor expansion of 1/2 in a
4.558 * [backup-simplify]: Simplify 1/2 into 1/2
4.558 * [taylor]: Taking taylor expansion of PI in a
4.558 * [backup-simplify]: Simplify PI into PI
4.558 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.559 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.559 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
4.559 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) into (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
4.559 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
4.560 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))))
4.560 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
4.561 * [backup-simplify]: Simplify (- 0) into 0
4.561 * [backup-simplify]: Simplify (+ 0 0) into 0
4.561 * [backup-simplify]: Simplify 0 into 0
4.561 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
4.562 * [backup-simplify]: Simplify (- 0) into 0
4.562 * [backup-simplify]: Simplify (+ 0 0) into 0
4.562 * [backup-simplify]: Simplify 0 into 0
4.562 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
4.563 * [backup-simplify]: Simplify (- 0) into 0
4.563 * [backup-simplify]: Simplify (+ 0 0) into 0
4.563 * [backup-simplify]: Simplify 0 into 0
4.564 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
4.564 * [backup-simplify]: Simplify (- 0) into 0
4.564 * [backup-simplify]: Simplify (+ 0 0) into 0
4.564 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
4.565 * [backup-simplify]: Simplify (- 0) into 0
4.565 * [backup-simplify]: Simplify (+ 0 0) into 0
4.566 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
4.567 * [backup-simplify]: Simplify (- 0) into 0
4.567 * [backup-simplify]: Simplify (+ 0 0) into 0
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
4.568 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))) (log (exp (sqrt (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) (log1p (/ 1 (- a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
4.568 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in (a) around 0
4.568 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in a
4.568 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
4.568 * [taylor]: Taking taylor expansion of 1/2 in a
4.568 * [backup-simplify]: Simplify 1/2 into 1/2
4.568 * [taylor]: Taking taylor expansion of PI in a
4.568 * [backup-simplify]: Simplify PI into PI
4.568 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.568 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.568 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) in a
4.568 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
4.568 * [taylor]: Taking taylor expansion of 1/2 in a
4.568 * [backup-simplify]: Simplify 1/2 into 1/2
4.568 * [taylor]: Taking taylor expansion of PI in a
4.568 * [backup-simplify]: Simplify PI into PI
4.568 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.568 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.569 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
4.569 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) into (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
4.569 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
4.570 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))))
4.570 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
4.571 * [backup-simplify]: Simplify (- 0) into 0
4.571 * [backup-simplify]: Simplify (+ 0 0) into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
4.572 * [backup-simplify]: Simplify (- 0) into 0
4.572 * [backup-simplify]: Simplify (+ 0 0) into 0
4.572 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
4.573 * [backup-simplify]: Simplify (- 0) into 0
4.573 * [backup-simplify]: Simplify (+ 0 0) into 0
4.573 * [backup-simplify]: Simplify 0 into 0
4.574 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
4.574 * [backup-simplify]: Simplify (- 0) into 0
4.574 * [backup-simplify]: Simplify (+ 0 0) into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
4.575 * [backup-simplify]: Simplify (- 0) into 0
4.576 * [backup-simplify]: Simplify (+ 0 0) into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.576 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
4.577 * [backup-simplify]: Simplify (- 0) into 0
4.577 * [backup-simplify]: Simplify (+ 0 0) into 0
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
4.578 * * * [progress]: simplifying candidates
4.578 * * * * [progress]: [ 1 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (pow (fmod (cosh a) (* a a)) 1))))) (log1p a)))))>
4.578 * * * * [progress]: [ 2 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (exp (log (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.578 * * * * [progress]: [ 3 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.578 * * * * [progress]: [ 4 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.578 * * * * [progress]: [ 5 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.578 * * * * [progress]: [ 6 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.578 * * * * [progress]: [ 7 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (* 1 (fmod (cosh a) (* a a))))))) (log1p a)))))>
4.578 * * * * [progress]: [ 8 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.578 * * * * [progress]: [ 9 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (pow (fmod (cosh a) (* a a)) 1)) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (exp (log (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 11 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (log (exp (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 12 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (* (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 13 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (cbrt (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 14 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 15 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (* 1 (fmod (cosh a) (* a a)))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 16 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (posit16->real (real->posit16 (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
4.578 * * * * [progress]: [ 17 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.578 * [simplify]: Simplifying (log (* (cbrt (exp (sqrt (fmod (cosh a) (* a a))))) (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
4.578 * * [simplify]: iters left: 6 (9 enodes)
4.580 * * [simplify]: iters left: 5 (35 enodes)
4.586 * * [simplify]: iters left: 4 (50 enodes)
4.600 * * [simplify]: iters left: 3 (54 enodes)
4.615 * * [simplify]: iters left: 2 (56 enodes)
4.633 * * [simplify]: Extracting #0: cost 1 inf + 0
4.634 * * [simplify]: Extracting #1: cost 4 inf + 0
4.634 * * [simplify]: Extracting #2: cost 7 inf + 0
4.634 * * [simplify]: Extracting #3: cost 9 inf + 0
4.634 * * [simplify]: Extracting #4: cost 11 inf + 0
4.634 * * [simplify]: Extracting #5: cost 13 inf + 0
4.634 * * [simplify]: Extracting #6: cost 16 inf + 0
4.634 * * [simplify]: Extracting #7: cost 21 inf + 0
4.634 * * [simplify]: Extracting #8: cost 22 inf + 2
4.634 * * [simplify]: Extracting #9: cost 22 inf + 211
4.634 * * [simplify]: Extracting #10: cost 11 inf + 1858
4.635 * * [simplify]: Extracting #11: cost 2 inf + 4777
4.635 * * [simplify]: Extracting #12: cost 0 inf + 5669
4.636 * [simplify]: Simplified to (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))
4.636 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))
4.636 * * * * [progress]: [ 18 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.636 * [simplify]: Simplifying (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
4.636 * * [simplify]: iters left: 6 (8 enodes)
4.638 * * [simplify]: iters left: 5 (30 enodes)
4.643 * * [simplify]: iters left: 4 (43 enodes)
4.649 * * [simplify]: iters left: 3 (47 enodes)
4.655 * * [simplify]: iters left: 2 (49 enodes)
4.662 * * [simplify]: Extracting #0: cost 1 inf + 0
4.662 * * [simplify]: Extracting #1: cost 3 inf + 0
4.662 * * [simplify]: Extracting #2: cost 5 inf + 0
4.662 * * [simplify]: Extracting #3: cost 7 inf + 0
4.662 * * [simplify]: Extracting #4: cost 9 inf + 0
4.662 * * [simplify]: Extracting #5: cost 12 inf + 0
4.662 * * [simplify]: Extracting #6: cost 17 inf + 0
4.662 * * [simplify]: Extracting #7: cost 18 inf + 2
4.663 * * [simplify]: Extracting #8: cost 17 inf + 377
4.663 * * [simplify]: Extracting #9: cost 10 inf + 1400
4.664 * * [simplify]: Extracting #10: cost 0 inf + 3785
4.665 * [simplify]: Simplified to (log (sqrt (exp (sqrt (fmod (cosh a) (* a a))))))
4.665 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (sqrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))
4.665 * * * * [progress]: [ 19 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (log 1) (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))>
4.665 * [simplify]: Simplifying (log 1)
4.665 * * [simplify]: iters left: 1 (2 enodes)
4.667 * * [simplify]: Extracting #0: cost 1 inf + 0
4.668 * * [simplify]: Extracting #1: cost 0 inf + 1
4.668 * [simplify]: Simplified to 0
4.668 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ 0 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))
4.668 * * * * [progress]: [ 20 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))>
4.668 * * * * [progress]: [ 21 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a)))))>
4.668 * [simplify]: Simplifying (cbrt (sqrt (fmod (cosh a) (* a a))))
4.668 * * [simplify]: iters left: 5 (6 enodes)
4.671 * * [simplify]: iters left: 4 (24 enodes)
4.678 * * [simplify]: iters left: 3 (37 enodes)
4.688 * * [simplify]: iters left: 2 (41 enodes)
4.700 * * [simplify]: iters left: 1 (43 enodes)
4.711 * * [simplify]: Extracting #0: cost 1 inf + 0
4.712 * * [simplify]: Extracting #1: cost 3 inf + 0
4.712 * * [simplify]: Extracting #2: cost 5 inf + 0
4.712 * * [simplify]: Extracting #3: cost 8 inf + 0
4.712 * * [simplify]: Extracting #4: cost 13 inf + 0
4.712 * * [simplify]: Extracting #5: cost 14 inf + 2
4.712 * * [simplify]: Extracting #6: cost 13 inf + 377
4.712 * * [simplify]: Extracting #7: cost 6 inf + 1410
4.713 * * [simplify]: Extracting #8: cost 1 inf + 2180
4.713 * * [simplify]: Extracting #9: cost 0 inf + 2401
4.714 * [simplify]: Simplified to (cbrt (sqrt (fmod (cosh a) (* a a))))
4.714 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (sqrt (fmod (cosh a) (* a a)))) (cbrt (sqrt (fmod (cosh a) (* a a))))))))) (log1p a)))))
4.714 * * * * [progress]: [ 22 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))))>
4.715 * [simplify]: Simplifying (sqrt (cbrt (fmod (cosh a) (* a a))))
4.715 * * [simplify]: iters left: 5 (6 enodes)
4.717 * * [simplify]: iters left: 4 (24 enodes)
4.725 * * [simplify]: iters left: 3 (37 enodes)
4.735 * * [simplify]: iters left: 2 (41 enodes)
4.747 * * [simplify]: iters left: 1 (43 enodes)
4.757 * * [simplify]: Extracting #0: cost 1 inf + 0
4.757 * * [simplify]: Extracting #1: cost 3 inf + 0
4.757 * * [simplify]: Extracting #2: cost 5 inf + 0
4.757 * * [simplify]: Extracting #3: cost 8 inf + 0
4.757 * * [simplify]: Extracting #4: cost 13 inf + 0
4.757 * * [simplify]: Extracting #5: cost 14 inf + 2
4.757 * * [simplify]: Extracting #6: cost 13 inf + 377
4.757 * * [simplify]: Extracting #7: cost 6 inf + 1490
4.757 * * [simplify]: Extracting #8: cost 1 inf + 2260
4.758 * * [simplify]: Extracting #9: cost 0 inf + 2481
4.758 * [simplify]: Simplified to (sqrt (cbrt (fmod (cosh a) (* a a))))
4.758 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (cbrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))))) (log1p a)))))
4.758 * * * * [progress]: [ 23 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.758 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
4.758 * * [simplify]: iters left: 5 (6 enodes)
4.759 * * [simplify]: iters left: 4 (24 enodes)
4.763 * * [simplify]: iters left: 3 (37 enodes)
4.768 * * [simplify]: iters left: 2 (41 enodes)
4.774 * * [simplify]: iters left: 1 (43 enodes)
4.780 * * [simplify]: Extracting #0: cost 1 inf + 0
4.780 * * [simplify]: Extracting #1: cost 3 inf + 0
4.780 * * [simplify]: Extracting #2: cost 5 inf + 0
4.780 * * [simplify]: Extracting #3: cost 8 inf + 0
4.780 * * [simplify]: Extracting #4: cost 13 inf + 0
4.780 * * [simplify]: Extracting #5: cost 14 inf + 2
4.780 * * [simplify]: Extracting #6: cost 13 inf + 377
4.780 * * [simplify]: Extracting #7: cost 6 inf + 1370
4.781 * * [simplify]: Extracting #8: cost 1 inf + 2100
4.781 * * [simplify]: Extracting #9: cost 0 inf + 2321
4.781 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
4.781 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))
4.781 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a)))))>
4.781 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
4.782 * * [simplify]: iters left: 4 (5 enodes)
4.783 * * [simplify]: iters left: 3 (21 enodes)
4.786 * * [simplify]: iters left: 2 (34 enodes)
4.796 * * [simplify]: iters left: 1 (38 enodes)
4.807 * * [simplify]: Extracting #0: cost 1 inf + 0
4.807 * * [simplify]: Extracting #1: cost 3 inf + 0
4.807 * * [simplify]: Extracting #2: cost 6 inf + 0
4.807 * * [simplify]: Extracting #3: cost 11 inf + 0
4.807 * * [simplify]: Extracting #4: cost 12 inf + 2
4.807 * * [simplify]: Extracting #5: cost 9 inf + 599
4.808 * * [simplify]: Extracting #6: cost 5 inf + 1029
4.808 * * [simplify]: Extracting #7: cost 0 inf + 1829
4.809 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
4.809 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt 1))))) (log1p a)))))
4.809 * * * * [progress]: [ 25 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.809 * [simplify]: Simplifying (sqrt (sqrt (fmod (cosh a) (* a a))))
4.809 * * [simplify]: iters left: 5 (6 enodes)
4.812 * * [simplify]: iters left: 4 (24 enodes)
4.820 * * [simplify]: iters left: 3 (37 enodes)
4.831 * * [simplify]: iters left: 2 (41 enodes)
4.842 * * [simplify]: iters left: 1 (43 enodes)
4.855 * * [simplify]: Extracting #0: cost 1 inf + 0
4.855 * * [simplify]: Extracting #1: cost 3 inf + 0
4.855 * * [simplify]: Extracting #2: cost 5 inf + 0
4.855 * * [simplify]: Extracting #3: cost 8 inf + 0
4.855 * * [simplify]: Extracting #4: cost 13 inf + 0
4.855 * * [simplify]: Extracting #5: cost 14 inf + 2
4.855 * * [simplify]: Extracting #6: cost 13 inf + 377
4.855 * * [simplify]: Extracting #7: cost 6 inf + 1370
4.856 * * [simplify]: Extracting #8: cost 1 inf + 2100
4.857 * * [simplify]: Extracting #9: cost 0 inf + 2321
4.857 * [simplify]: Simplified to (sqrt (sqrt (fmod (cosh a) (* a a))))
4.857 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (sqrt (fmod (cosh a) (* a a)))) (log (exp (sqrt (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))
4.857 * * * * [progress]: [ 26 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a)))))>
4.858 * [simplify]: Simplifying (sqrt (fmod (cosh a) (* a a)))
4.858 * * [simplify]: iters left: 4 (5 enodes)
4.859 * * [simplify]: iters left: 3 (21 enodes)
4.862 * * [simplify]: iters left: 2 (34 enodes)
4.868 * * [simplify]: iters left: 1 (38 enodes)
4.874 * * [simplify]: Extracting #0: cost 1 inf + 0
4.874 * * [simplify]: Extracting #1: cost 3 inf + 0
4.874 * * [simplify]: Extracting #2: cost 6 inf + 0
4.874 * * [simplify]: Extracting #3: cost 11 inf + 0
4.874 * * [simplify]: Extracting #4: cost 12 inf + 2
4.874 * * [simplify]: Extracting #5: cost 9 inf + 599
4.874 * * [simplify]: Extracting #6: cost 5 inf + 1029
4.874 * * [simplify]: Extracting #7: cost 0 inf + 1829
4.874 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
4.875 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (fmod (cosh a) (* a a))) (log (exp 1)))) (log1p a)))))
4.875 * * * * [progress]: [ 27 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) 1)) (log1p a)))))>
4.875 * * * * [progress]: [ 28 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))>
4.875 * [simplify]: Simplifying (fmod (cosh a) (* a a))
4.875 * * [simplify]: iters left: 3 (4 enodes)
4.876 * * [simplify]: iters left: 2 (18 enodes)
4.879 * * [simplify]: iters left: 1 (31 enodes)
4.884 * * [simplify]: Extracting #0: cost 1 inf + 0
4.884 * * [simplify]: Extracting #1: cost 4 inf + 0
4.884 * * [simplify]: Extracting #2: cost 9 inf + 0
4.884 * * [simplify]: Extracting #3: cost 10 inf + 2
4.884 * * [simplify]: Extracting #4: cost 7 inf + 599
4.884 * * [simplify]: Extracting #5: cost 5 inf + 712
4.884 * * [simplify]: Extracting #6: cost 0 inf + 1417
4.885 * [simplify]: Simplified to (fmod (cosh a) (* a a))
4.885 * [simplify]: Simplified (2 2 1 1 2 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
4.885 * * * * [progress]: [ 29 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (exp (log (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.885 * * * * [progress]: [ 30 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.885 * * * * [progress]: [ 31 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (* (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a))))))) (cbrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.885 * * * * [progress]: [ 32 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (cbrt (* (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.885 * * * * [progress]: [ 33 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))) (sqrt (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.885 * * * * [progress]: [ 34 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (* 1 (log (exp (sqrt (fmod (cosh a) (* a a))))))) (log1p a)))))>
4.885 * * * * [progress]: [ 35 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (posit16->real (real->posit16 (log (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))>
4.885 * * * * [progress]: [ 36 / 64 ] simplifiying candidate #<alt (λ (a) (log (/ (exp (/ PI 2)) (exp (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
4.885 * [simplify]: Simplifying (/ (exp (/ PI 2)) (exp (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
4.886 * * [simplify]: iters left: 6 (17 enodes)
4.893 * * [simplify]: iters left: 5 (62 enodes)
4.912 * * [simplify]: iters left: 4 (88 enodes)
4.937 * * [simplify]: iters left: 3 (122 enodes)
4.973 * * [simplify]: iters left: 2 (180 enodes)
5.037 * * [simplify]: iters left: 1 (305 enodes)
5.179 * * [simplify]: Extracting #0: cost 1 inf + 0
5.180 * * [simplify]: Extracting #1: cost 9 inf + 0
5.180 * * [simplify]: Extracting #2: cost 16 inf + 1
5.180 * * [simplify]: Extracting #3: cost 23 inf + 1
5.180 * * [simplify]: Extracting #4: cost 42 inf + 74
5.180 * * [simplify]: Extracting #5: cost 101 inf + 452
5.181 * * [simplify]: Extracting #6: cost 130 inf + 553
5.181 * * [simplify]: Extracting #7: cost 118 inf + 2640
5.184 * * [simplify]: Extracting #8: cost 57 inf + 27122
5.191 * * [simplify]: Extracting #9: cost 8 inf + 69703
5.202 * * [simplify]: Extracting #10: cost 0 inf + 76518
5.223 * * [simplify]: Extracting #11: cost 0 inf + 76517
5.240 * [simplify]: Simplified to (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
5.240 * [simplify]: Simplified (2 1) to (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))
5.240 * * * * [progress]: [ 37 / 64 ] simplifiying candidate #<alt (λ (a) (pow (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) 1))>
5.240 * * * * [progress]: [ 38 / 64 ] simplifiying candidate #<alt (λ (a) (exp (log (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
5.240 * * * * [progress]: [ 39 / 64 ] simplifiying candidate #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
5.240 * * * * [progress]: [ 40 / 64 ] simplifiying candidate #<alt (λ (a) (* (* (cbrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
5.240 * * * * [progress]: [ 41 / 64 ] simplifiying candidate #<alt (λ (a) (cbrt (* (* (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
5.240 * * * * [progress]: [ 42 / 64 ] simplifiying candidate #<alt (λ (a) (* (sqrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
5.241 * * * * [progress]: [ 43 / 64 ] simplifiying candidate #<alt (λ (a) (/ (- (pow (/ PI 2) 3) (pow (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) 3)) (+ (* (/ PI 2) (/ PI 2)) (+ (* (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))) (* (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))))>
5.241 * * * * [progress]: [ 44 / 64 ] simplifiying candidate #<alt (λ (a) (+ (/ PI 2) (- (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
5.241 * * * * [progress]: [ 45 / 64 ] simplifiying candidate #<alt (λ (a) (* 1 (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
5.241 * * * * [progress]: [ 46 / 64 ] simplifiying candidate #<alt (λ (a) (/ (- (* (/ PI 2) (/ PI 2)) (* (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (+ (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
5.241 * * * * [progress]: [ 47 / 64 ] simplifiying candidate #<alt (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
5.241 * [simplify]: Simplifying (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
5.241 * * [simplify]: iters left: 6 (17 enodes)
5.249 * * [simplify]: iters left: 5 (59 enodes)
5.262 * * [simplify]: iters left: 4 (79 enodes)
5.274 * * [simplify]: iters left: 3 (108 enodes)
5.291 * * [simplify]: iters left: 2 (162 enodes)
5.350 * * [simplify]: iters left: 1 (274 enodes)
5.452 * * [simplify]: Extracting #0: cost 1 inf + 0
5.452 * * [simplify]: Extracting #1: cost 4 inf + 0
5.452 * * [simplify]: Extracting #2: cost 8 inf + 0
5.452 * * [simplify]: Extracting #3: cost 13 inf + 0
5.452 * * [simplify]: Extracting #4: cost 35 inf + 2
5.453 * * [simplify]: Extracting #5: cost 95 inf + 251
5.454 * * [simplify]: Extracting #6: cost 124 inf + 352
5.456 * * [simplify]: Extracting #7: cost 89 inf + 9468
5.461 * * [simplify]: Extracting #8: cost 50 inf + 26074
5.475 * * [simplify]: Extracting #9: cost 6 inf + 64692
5.492 * * [simplify]: Extracting #10: cost 0 inf + 70691
5.508 * [simplify]: Simplified to (+ (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (/ PI 2)))
5.508 * [simplify]: Simplified (2 1) to (λ (a) (* (+ (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (/ PI 2))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))
5.509 * [simplify]: Simplifying (- (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
5.509 * * [simplify]: iters left: 6 (17 enodes)
5.516 * * [simplify]: iters left: 5 (60 enodes)
5.534 * * [simplify]: iters left: 4 (83 enodes)
5.560 * * [simplify]: iters left: 3 (112 enodes)
5.596 * * [simplify]: iters left: 2 (166 enodes)
5.651 * * [simplify]: iters left: 1 (279 enodes)
5.801 * * [simplify]: Extracting #0: cost 1 inf + 0
5.801 * * [simplify]: Extracting #1: cost 5 inf + 0
5.801 * * [simplify]: Extracting #2: cost 10 inf + 0
5.801 * * [simplify]: Extracting #3: cost 15 inf + 0
5.801 * * [simplify]: Extracting #4: cost 36 inf + 2
5.802 * * [simplify]: Extracting #5: cost 95 inf + 251
5.802 * * [simplify]: Extracting #6: cost 123 inf + 575
5.805 * * [simplify]: Extracting #7: cost 85 inf + 10809
5.813 * * [simplify]: Extracting #8: cost 40 inf + 32808
5.832 * * [simplify]: Extracting #9: cost 4 inf + 57719
5.844 * * [simplify]: Extracting #10: cost 0 inf + 60131
5.857 * * [simplify]: Extracting #11: cost 0 inf + 60130
5.869 * [simplify]: Simplified to (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
5.870 * [simplify]: Simplified (2 2) to (λ (a) (* (+ (sqrt (/ PI 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))
5.870 * * * * [progress]: [ 48 / 64 ] simplifiying candidate #<alt (λ (a) (* (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
5.870 * [simplify]: Simplifying (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
5.870 * * [simplify]: iters left: 6 (18 enodes)
5.874 * * [simplify]: iters left: 5 (62 enodes)
5.883 * * [simplify]: iters left: 4 (82 enodes)
5.895 * * [simplify]: iters left: 3 (111 enodes)
5.923 * * [simplify]: iters left: 2 (168 enodes)
5.984 * * [simplify]: iters left: 1 (284 enodes)
6.083 * * [simplify]: Extracting #0: cost 1 inf + 0
6.084 * * [simplify]: Extracting #1: cost 4 inf + 0
6.084 * * [simplify]: Extracting #2: cost 9 inf + 0
6.084 * * [simplify]: Extracting #3: cost 15 inf + 0
6.084 * * [simplify]: Extracting #4: cost 37 inf + 43
6.084 * * [simplify]: Extracting #5: cost 102 inf + 126
6.084 * * [simplify]: Extracting #6: cost 133 inf + 613
6.086 * * [simplify]: Extracting #7: cost 89 inf + 11246
6.090 * * [simplify]: Extracting #8: cost 39 inf + 43347
6.098 * * [simplify]: Extracting #9: cost 3 inf + 73486
6.107 * * [simplify]: Extracting #10: cost 0 inf + 74575
6.116 * * [simplify]: Extracting #11: cost 0 inf + 74444
6.124 * [simplify]: Simplified to (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
6.125 * [simplify]: Simplified (2 1) to (λ (a) (* (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))
6.125 * [simplify]: Simplifying (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.125 * * [simplify]: iters left: 6 (18 enodes)
6.132 * * [simplify]: iters left: 5 (63 enodes)
6.142 * * [simplify]: iters left: 4 (86 enodes)
6.155 * * [simplify]: iters left: 3 (115 enodes)
6.190 * * [simplify]: iters left: 2 (172 enodes)
6.248 * * [simplify]: iters left: 1 (283 enodes)
6.406 * * [simplify]: Extracting #0: cost 1 inf + 0
6.407 * * [simplify]: Extracting #1: cost 5 inf + 0
6.407 * * [simplify]: Extracting #2: cost 11 inf + 0
6.407 * * [simplify]: Extracting #3: cost 17 inf + 0
6.407 * * [simplify]: Extracting #4: cost 37 inf + 84
6.408 * * [simplify]: Extracting #5: cost 99 inf + 411
6.409 * * [simplify]: Extracting #6: cost 129 inf + 512
6.410 * * [simplify]: Extracting #7: cost 107 inf + 5349
6.415 * * [simplify]: Extracting #8: cost 62 inf + 21706
6.423 * * [simplify]: Extracting #9: cost 12 inf + 61283
6.432 * * [simplify]: Extracting #10: cost 0 inf + 71770
6.442 * * [simplify]: Extracting #11: cost 0 inf + 71254
6.451 * [simplify]: Simplified to (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
6.451 * [simplify]: Simplified (2 2) to (λ (a) (* (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))))
6.451 * * * * [progress]: [ 49 / 64 ] simplifiying candidate #<alt (λ (a) (* 1 (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
6.452 * [simplify]: Simplifying (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
6.452 * * [simplify]: iters left: 6 (15 enodes)
6.455 * * [simplify]: iters left: 5 (54 enodes)
6.464 * * [simplify]: iters left: 4 (77 enodes)
6.486 * * [simplify]: iters left: 3 (106 enodes)
6.504 * * [simplify]: iters left: 2 (160 enodes)
6.537 * * [simplify]: iters left: 1 (272 enodes)
6.619 * * [simplify]: Extracting #0: cost 1 inf + 0
6.619 * * [simplify]: Extracting #1: cost 5 inf + 0
6.619 * * [simplify]: Extracting #2: cost 11 inf + 0
6.619 * * [simplify]: Extracting #3: cost 34 inf + 2
6.619 * * [simplify]: Extracting #4: cost 96 inf + 87
6.620 * * [simplify]: Extracting #5: cost 126 inf + 188
6.621 * * [simplify]: Extracting #6: cost 88 inf + 9677
6.624 * * [simplify]: Extracting #7: cost 43 inf + 30531
6.633 * * [simplify]: Extracting #8: cost 7 inf + 61946
6.645 * * [simplify]: Extracting #9: cost 0 inf + 69293
6.653 * [simplify]: Simplified to (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
6.653 * [simplify]: Simplified (2 2) to (λ (a) (* 1 (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))))
6.654 * * * * [progress]: [ 50 / 64 ] simplifiying candidate #<alt (λ (a) (+ (- (/ PI 2) (/ PI 2)) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
6.654 * [simplify]: Simplifying (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))
6.654 * * [simplify]: iters left: 6 (11 enodes)
6.656 * * [simplify]: iters left: 5 (41 enodes)
6.663 * * [simplify]: iters left: 4 (63 enodes)
6.673 * * [simplify]: iters left: 3 (92 enodes)
6.687 * * [simplify]: iters left: 2 (149 enodes)
6.716 * * [simplify]: iters left: 1 (262 enodes)
6.811 * * [simplify]: Extracting #0: cost 1 inf + 0
6.811 * * [simplify]: Extracting #1: cost 3 inf + 0
6.811 * * [simplify]: Extracting #2: cost 27 inf + 0
6.812 * * [simplify]: Extracting #3: cost 89 inf + 1
6.812 * * [simplify]: Extracting #4: cost 120 inf + 62
6.813 * * [simplify]: Extracting #5: cost 92 inf + 4626
6.815 * * [simplify]: Extracting #6: cost 57 inf + 18384
6.822 * * [simplify]: Extracting #7: cost 8 inf + 58132
6.831 * * [simplify]: Extracting #8: cost 0 inf + 64081
6.840 * [simplify]: Simplified to (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
6.841 * [simplify]: Simplified (2 2) to (λ (a) (+ (- (/ PI 2) (/ PI 2)) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
6.841 * * * * [progress]: [ 51 / 64 ] simplifiying candidate #<alt (λ (a) (+ (/ PI 2) (- (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))))>
6.841 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #<alt (λ (a) (posit16->real (real->posit16 (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))))>
6.841 * * * * [progress]: [ 53 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a)))))>
6.841 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
6.841 * * [simplify]: iters left: 2 (5 enodes)
6.845 * * [simplify]: iters left: 1 (25 enodes)
6.853 * * [simplify]: Extracting #0: cost 1 inf + 0
6.853 * * [simplify]: Extracting #1: cost 4 inf + 0
6.853 * * [simplify]: Extracting #2: cost 9 inf + 0
6.853 * * [simplify]: Extracting #3: cost 10 inf + 2
6.853 * * [simplify]: Extracting #4: cost 8 inf + 433
6.853 * * [simplify]: Extracting #5: cost 4 inf + 823
6.854 * * [simplify]: Extracting #6: cost 0 inf + 1417
6.854 * [simplify]: Simplified to (fmod (cosh a) (* a a))
6.854 * [simplify]: Simplified (2 2 1 1 2 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.855 * * * * [progress]: [ 54 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a)))))>
6.855 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
6.855 * * [simplify]: iters left: 2 (5 enodes)
6.858 * * [simplify]: iters left: 1 (25 enodes)
6.866 * * [simplify]: Extracting #0: cost 1 inf + 0
6.866 * * [simplify]: Extracting #1: cost 4 inf + 0
6.866 * * [simplify]: Extracting #2: cost 9 inf + 0
6.867 * * [simplify]: Extracting #3: cost 10 inf + 2
6.867 * * [simplify]: Extracting #4: cost 8 inf + 433
6.867 * * [simplify]: Extracting #5: cost 4 inf + 823
6.867 * * [simplify]: Extracting #6: cost 0 inf + 1417
6.868 * [simplify]: Simplified to (fmod (cosh a) (* a a))
6.868 * [simplify]: Simplified (2 2 1 1 2 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.868 * * * * [progress]: [ 55 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (pow a 2)))))) (log1p a)))))>
6.868 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
6.868 * * [simplify]: iters left: 2 (5 enodes)
6.872 * * [simplify]: iters left: 1 (25 enodes)
6.880 * * [simplify]: Extracting #0: cost 1 inf + 0
6.880 * * [simplify]: Extracting #1: cost 4 inf + 0
6.880 * * [simplify]: Extracting #2: cost 9 inf + 0
6.880 * * [simplify]: Extracting #3: cost 10 inf + 2
6.880 * * [simplify]: Extracting #4: cost 8 inf + 433
6.881 * * [simplify]: Extracting #5: cost 4 inf + 823
6.881 * * [simplify]: Extracting #6: cost 0 inf + 1417
6.882 * [simplify]: Simplified to (fmod (cosh a) (* a a))
6.882 * [simplify]: Simplified (2 2 1 1 2 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.882 * * * * [progress]: [ 56 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
6.882 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
6.882 * * [simplify]: iters left: 2 (5 enodes)
6.886 * * [simplify]: iters left: 1 (25 enodes)
6.894 * * [simplify]: Extracting #0: cost 1 inf + 0
6.894 * * [simplify]: Extracting #1: cost 4 inf + 0
6.894 * * [simplify]: Extracting #2: cost 9 inf + 0
6.894 * * [simplify]: Extracting #3: cost 10 inf + 2
6.894 * * [simplify]: Extracting #4: cost 8 inf + 433
6.894 * * [simplify]: Extracting #5: cost 4 inf + 823
6.895 * * [simplify]: Extracting #6: cost 0 inf + 1417
6.895 * [simplify]: Simplified to (fmod (cosh a) (* a a))
6.895 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.895 * * * * [progress]: [ 57 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
6.896 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
6.896 * * [simplify]: iters left: 2 (5 enodes)
6.899 * * [simplify]: iters left: 1 (25 enodes)
6.907 * * [simplify]: Extracting #0: cost 1 inf + 0
6.908 * * [simplify]: Extracting #1: cost 4 inf + 0
6.908 * * [simplify]: Extracting #2: cost 9 inf + 0
6.908 * * [simplify]: Extracting #3: cost 10 inf + 2
6.908 * * [simplify]: Extracting #4: cost 8 inf + 433
6.908 * * [simplify]: Extracting #5: cost 4 inf + 823
6.909 * * [simplify]: Extracting #6: cost 0 inf + 1417
6.909 * [simplify]: Simplified to (fmod (cosh a) (* a a))
6.909 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.909 * * * * [progress]: [ 58 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (pow a 2))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>
6.910 * [simplify]: Simplifying (fmod (cosh a) (pow a 2))
6.910 * * [simplify]: iters left: 2 (5 enodes)
6.913 * * [simplify]: iters left: 1 (25 enodes)
6.918 * * [simplify]: Extracting #0: cost 1 inf + 0
6.918 * * [simplify]: Extracting #1: cost 4 inf + 0
6.918 * * [simplify]: Extracting #2: cost 9 inf + 0
6.918 * * [simplify]: Extracting #3: cost 10 inf + 2
6.919 * * [simplify]: Extracting #4: cost 8 inf + 433
6.919 * * [simplify]: Extracting #5: cost 4 inf + 823
6.919 * * [simplify]: Extracting #6: cost 0 inf + 1417
6.919 * [simplify]: Simplified to (fmod (cosh a) (* a a))
6.919 * [simplify]: Simplified (2 2 1 1 1 1) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))
6.919 * * * * [progress]: [ 59 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a)))))>
6.920 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
6.920 * * [simplify]: iters left: 3 (6 enodes)
6.922 * * [simplify]: iters left: 2 (28 enodes)
6.927 * * [simplify]: iters left: 1 (42 enodes)
6.935 * * [simplify]: Extracting #0: cost 1 inf + 0
6.936 * * [simplify]: Extracting #1: cost 3 inf + 0
6.936 * * [simplify]: Extracting #2: cost 6 inf + 0
6.936 * * [simplify]: Extracting #3: cost 11 inf + 0
6.936 * * [simplify]: Extracting #4: cost 12 inf + 2
6.936 * * [simplify]: Extracting #5: cost 12 inf + 226
6.936 * * [simplify]: Extracting #6: cost 6 inf + 918
6.936 * * [simplify]: Extracting #7: cost 1 inf + 1608
6.936 * * [simplify]: Extracting #8: cost 0 inf + 1829
6.937 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
6.937 * [simplify]: Simplified (2 2 1 1 2) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
6.937 * * * * [progress]: [ 60 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a)))))>
6.937 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
6.937 * * [simplify]: iters left: 3 (6 enodes)
6.939 * * [simplify]: iters left: 2 (28 enodes)
6.944 * * [simplify]: iters left: 1 (42 enodes)
6.950 * * [simplify]: Extracting #0: cost 1 inf + 0
6.950 * * [simplify]: Extracting #1: cost 3 inf + 0
6.950 * * [simplify]: Extracting #2: cost 6 inf + 0
6.950 * * [simplify]: Extracting #3: cost 11 inf + 0
6.950 * * [simplify]: Extracting #4: cost 12 inf + 2
6.951 * * [simplify]: Extracting #5: cost 12 inf + 226
6.951 * * [simplify]: Extracting #6: cost 6 inf + 918
6.951 * * [simplify]: Extracting #7: cost 1 inf + 1608
6.951 * * [simplify]: Extracting #8: cost 0 inf + 1829
6.951 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
6.951 * [simplify]: Simplified (2 2 1 1 2) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
6.952 * * * * [progress]: [ 61 / 64 ] simplifiying candidate #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (pow a 2)))) (log1p a)))))>
6.952 * [simplify]: Simplifying (sqrt (fmod (cosh a) (pow a 2)))
6.952 * * [simplify]: iters left: 3 (6 enodes)
6.954 * * [simplify]: iters left: 2 (28 enodes)
6.958 * * [simplify]: iters left: 1 (42 enodes)
6.964 * * [simplify]: Extracting #0: cost 1 inf + 0
6.964 * * [simplify]: Extracting #1: cost 3 inf + 0
6.964 * * [simplify]: Extracting #2: cost 6 inf + 0
6.964 * * [simplify]: Extracting #3: cost 11 inf + 0
6.965 * * [simplify]: Extracting #4: cost 12 inf + 2
6.965 * * [simplify]: Extracting #5: cost 12 inf + 226
6.965 * * [simplify]: Extracting #6: cost 6 inf + 918
6.965 * * [simplify]: Extracting #7: cost 1 inf + 1608
6.965 * * [simplify]: Extracting #8: cost 0 inf + 1829
6.966 * [simplify]: Simplified to (sqrt (fmod (cosh a) (* a a)))
6.966 * [simplify]: Simplified (2 2 1 1 2) to (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a)))) (log1p a)))))
6.966 * * * * [progress]: [ 62 / 64 ] simplifiying candidate #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))>
6.966 * [simplify]: Simplifying (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
6.966 * * [simplify]: iters left: 6 (12 enodes)
6.970 * * [simplify]: iters left: 5 (52 enodes)
6.982 * * [simplify]: iters left: 4 (78 enodes)
7.001 * * [simplify]: iters left: 3 (104 enodes)
7.017 * * [simplify]: iters left: 2 (158 enodes)
7.048 * * [simplify]: iters left: 1 (271 enodes)
7.160 * * [simplify]: Extracting #0: cost 1 inf + 0
7.160 * * [simplify]: Extracting #1: cost 5 inf + 0
7.160 * * [simplify]: Extracting #2: cost 11 inf + 0
7.160 * * [simplify]: Extracting #3: cost 33 inf + 2
7.160 * * [simplify]: Extracting #4: cost 94 inf + 87
7.161 * * [simplify]: Extracting #5: cost 120 inf + 355
7.161 * * [simplify]: Extracting #6: cost 89 inf + 6081
7.165 * * [simplify]: Extracting #7: cost 51 inf + 26037
7.174 * * [simplify]: Extracting #8: cost 13 inf + 56015
7.191 * * [simplify]: Extracting #9: cost 0 inf + 67905
7.209 * [simplify]: Simplified to (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
7.209 * [simplify]: Simplified (2) to (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
7.209 * * * * [progress]: [ 63 / 64 ] simplifiying candidate #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))>
7.209 * [simplify]: Simplifying (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
7.210 * * [simplify]: iters left: 6 (12 enodes)
7.216 * * [simplify]: iters left: 5 (52 enodes)
7.235 * * [simplify]: iters left: 4 (78 enodes)
7.258 * * [simplify]: iters left: 3 (104 enodes)
7.290 * * [simplify]: iters left: 2 (158 enodes)
7.345 * * [simplify]: iters left: 1 (271 enodes)
7.493 * * [simplify]: Extracting #0: cost 1 inf + 0
7.493 * * [simplify]: Extracting #1: cost 5 inf + 0
7.493 * * [simplify]: Extracting #2: cost 11 inf + 0
7.493 * * [simplify]: Extracting #3: cost 33 inf + 2
7.494 * * [simplify]: Extracting #4: cost 94 inf + 87
7.497 * * [simplify]: Extracting #5: cost 120 inf + 355
7.499 * * [simplify]: Extracting #6: cost 89 inf + 6081
7.506 * * [simplify]: Extracting #7: cost 51 inf + 26037
7.515 * * [simplify]: Extracting #8: cost 13 inf + 56015
7.523 * * [simplify]: Extracting #9: cost 0 inf + 67905
7.533 * [simplify]: Simplified to (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
7.533 * [simplify]: Simplified (2) to (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
7.533 * * * * [progress]: [ 64 / 64 ] simplifiying candidate #<alt (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))>
7.533 * [simplify]: Simplifying (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
7.533 * * [simplify]: iters left: 6 (12 enodes)
7.537 * * [simplify]: iters left: 5 (52 enodes)
7.553 * * [simplify]: iters left: 4 (78 enodes)
7.564 * * [simplify]: iters left: 3 (104 enodes)
7.586 * * [simplify]: iters left: 2 (158 enodes)
7.624 * * [simplify]: iters left: 1 (271 enodes)
7.728 * * [simplify]: Extracting #0: cost 1 inf + 0
7.728 * * [simplify]: Extracting #1: cost 5 inf + 0
7.728 * * [simplify]: Extracting #2: cost 11 inf + 0
7.728 * * [simplify]: Extracting #3: cost 33 inf + 2
7.728 * * [simplify]: Extracting #4: cost 94 inf + 87
7.729 * * [simplify]: Extracting #5: cost 120 inf + 355
7.730 * * [simplify]: Extracting #6: cost 89 inf + 6081
7.733 * * [simplify]: Extracting #7: cost 51 inf + 26037
7.747 * * [simplify]: Extracting #8: cost 13 inf + 56015
7.757 * * [simplify]: Extracting #9: cost 0 inf + 67905
7.765 * [simplify]: Simplified to (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a))))
7.766 * [simplify]: Simplified (2) to (λ (a) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))
7.766 * * * [progress]: adding candidates to table
8.502 * [progress]: [Phase 3 of 3] Extracting.
8.502 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>)
8.505 * * * [regime-changes]: Trying 3 branch expressions: (a (pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
8.505 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>)
8.587 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>)
8.678 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<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))))))>)
8.714 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (log (exp (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (acos (pow (* (cbrt (fmod (cosh a) (* a a))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))) (log1p a))))> #<alt (λ (a) (posit16->real (real->posit16 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (* (sqrt (fmod (cosh a) (* a a))) (+ (+ (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a))))))) (log (cbrt (exp (sqrt (fmod (cosh a) (* a a)))))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a)))))>)
8.819 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<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))))))>)
8.885 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
8.886 * [simplify]: Simplifying (- (/ PI 2) (asin (pow (* (sqrt (fmod (cosh a) (* a a))) (log (exp (sqrt (fmod (cosh a) (* a a)))))) (log1p a))))
8.886 * * [simplify]: iters left: 6 (15 enodes)
8.887 * * [simplify]: iters left: 5 (16 enodes)
8.887 * * [simplify]: Extracting #0: cost 1 inf + 0
8.887 * * [simplify]: Extracting #1: cost 3 inf + 0
8.887 * * [simplify]: Extracting #2: cost 6 inf + 0
8.887 * * [simplify]: Extracting #3: cost 6 inf + 2
8.887 * * [simplify]: Extracting #4: cost 8 inf + 44
8.887 * * [simplify]: Extracting #5: cost 8 inf + 136
8.887 * * [simplify]: Extracting #6: cost 10 inf + 136
8.888 * * [simplify]: Extracting #7: cost 8 inf + 233
8.888 * * [simplify]: Extracting #8: cost 6 inf + 605
8.888 * * [simplify]: Extracting #9: cost 4 inf + 1227
8.888 * * [simplify]: Extracting #10: cost 1 inf + 3090
8.888 * * [simplify]: Extracting #11: cost 0 inf + 3963
8.888 * [simplify]: Simplified to (- (/ PI 2) (asin (pow (* (log (exp (sqrt (fmod (cosh a) (* a a))))) (sqrt (fmod (cosh a) (* a a)))) (log1p a))))
46.996 * [regime-testing]: Baseline error score: 59.2424895847809
46.999 * [regime-testing]: Oracle error score: 59.13060390317087
47.004 * [regime-testing]: End program error score: 59.2424895847809