0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.303 * * * [progress]: [2/2] Setting up program. 0.310 * [progress]: [Phase 2 of 3] Improving. 0.310 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.312 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 0.313 * * [simplify]: iters left: 4 (7 enodes) 0.323 * * [simplify]: iters left: 3 (33 enodes) 0.369 * * [simplify]: iters left: 2 (57 enodes) 0.390 * * [simplify]: iters left: 1 (77 enodes) 0.413 * * [simplify]: Extracting #0: cost 1 inf + 0 0.413 * * [simplify]: Extracting #1: cost 4 inf + 0 0.413 * * [simplify]: Extracting #2: cost 16 inf + 0 0.414 * * [simplify]: Extracting #3: cost 24 inf + 166 0.414 * * [simplify]: Extracting #4: cost 19 inf + 653 0.415 * * [simplify]: Extracting #5: cost 6 inf + 2252 0.416 * * [simplify]: Extracting #6: cost 0 inf + 2972 0.418 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 0.418 * [simplify]: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.432 * * [progress]: iteration 1 / 4 0.432 * * * [progress]: picking best candidate 0.436 * * * * [pick]: Picked # 0.436 * * * [progress]: localizing error 0.463 * * * [progress]: generating rewritten candidates 0.463 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.470 * * * [progress]: generating series expansions 0.470 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.474 * [backup-simplify]: Simplify (sinh c) into (sinh c) 0.474 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 0.476 * [taylor]: Taking taylor expansion of (sinh c) in c 0.478 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.478 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.478 * [taylor]: Taking taylor expansion of (exp c) in c 0.478 * [taylor]: Taking taylor expansion of c in c 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.478 * [backup-simplify]: Simplify (exp 0) into 1 0.478 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.478 * [taylor]: Taking taylor expansion of (- c) in c 0.478 * [taylor]: Taking taylor expansion of c in c 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.479 * [backup-simplify]: Simplify (- 0) into 0 0.479 * [backup-simplify]: Simplify (- 1) into -1 0.479 * [backup-simplify]: Simplify (exp 0) into 1 0.480 * [taylor]: Taking taylor expansion of 2 in c 0.480 * [backup-simplify]: Simplify 2 into 2 0.480 * [backup-simplify]: Simplify (- 1) into -1 0.481 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.483 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.483 * [backup-simplify]: Simplify (- 1) into -1 0.484 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.485 * [backup-simplify]: Simplify (- -1) into 1 0.485 * [backup-simplify]: Simplify (+ 1 1) into 2 0.485 * [backup-simplify]: Simplify (/ 2 2) into 1 0.485 * [taylor]: Taking taylor expansion of (sinh c) in c 0.486 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.486 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.486 * [taylor]: Taking taylor expansion of (exp c) in c 0.486 * [taylor]: Taking taylor expansion of c in c 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 1 into 1 0.486 * [backup-simplify]: Simplify (exp 0) into 1 0.486 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.486 * [taylor]: Taking taylor expansion of (- c) in c 0.486 * [taylor]: Taking taylor expansion of c in c 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 1 into 1 0.486 * [backup-simplify]: Simplify (- 0) into 0 0.486 * [backup-simplify]: Simplify (- 1) into -1 0.487 * [backup-simplify]: Simplify (exp 0) into 1 0.487 * [taylor]: Taking taylor expansion of 2 in c 0.487 * [backup-simplify]: Simplify 2 into 2 0.487 * [backup-simplify]: Simplify (- 1) into -1 0.487 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.489 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.489 * [backup-simplify]: Simplify (- 1) into -1 0.491 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.491 * [backup-simplify]: Simplify (- -1) into 1 0.491 * [backup-simplify]: Simplify (+ 1 1) into 2 0.492 * [backup-simplify]: Simplify (/ 2 2) into 1 0.492 * [backup-simplify]: Simplify 1 into 1 0.495 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.495 * [backup-simplify]: Simplify (- 1) into -1 0.495 * [backup-simplify]: Simplify (- 0) into 0 0.499 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.499 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.500 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 0.501 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.501 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.517 * [backup-simplify]: Simplify (- 1) into -1 0.518 * [backup-simplify]: Simplify (- 1) into -1 0.518 * [backup-simplify]: Simplify (- 0) into 0 0.518 * [backup-simplify]: Simplify (- 0) into 0 0.521 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 0.521 * [backup-simplify]: Simplify (- -1/6) into 1/6 0.522 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 0.523 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 0.523 * [backup-simplify]: Simplify 1/6 into 1/6 0.527 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.528 * [backup-simplify]: Simplify (- 1) into -1 0.528 * [backup-simplify]: Simplify (- 1) into -1 0.529 * [backup-simplify]: Simplify (- 0) into 0 0.529 * [backup-simplify]: Simplify (- 1) into -1 0.530 * [backup-simplify]: Simplify (- 0) into 0 0.530 * [backup-simplify]: Simplify (- 0) into 0 0.530 * [backup-simplify]: Simplify (- 0) into 0 0.535 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.535 * [backup-simplify]: Simplify (- 1/24) into -1/24 0.536 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 0.537 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 0.537 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 0.544 * [backup-simplify]: Simplify (- 1) into -1 0.544 * [backup-simplify]: Simplify (- 1) into -1 0.544 * [backup-simplify]: Simplify (- 0) into 0 0.545 * [backup-simplify]: Simplify (- 1) into -1 0.545 * [backup-simplify]: Simplify (- 0) into 0 0.546 * [backup-simplify]: Simplify (- 1) into -1 0.546 * [backup-simplify]: Simplify (- 0) into 0 0.546 * [backup-simplify]: Simplify (- 1) into -1 0.547 * [backup-simplify]: Simplify (- 0) into 0 0.547 * [backup-simplify]: Simplify (- 0) into 0 0.547 * [backup-simplify]: Simplify (- 0) into 0 0.548 * [backup-simplify]: Simplify (- 0) into 0 0.554 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 0.554 * [backup-simplify]: Simplify (- -1/120) into 1/120 0.555 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 0.556 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 0.556 * [backup-simplify]: Simplify 1/120 into 1/120 0.561 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 0.561 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 0.561 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 0.561 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.562 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.562 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.562 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.562 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.562 * [taylor]: Taking taylor expansion of c in c 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [backup-simplify]: Simplify (/ 1 1) into 1 0.562 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.563 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.563 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.563 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.563 * [taylor]: Taking taylor expansion of c in c 0.563 * [backup-simplify]: Simplify 0 into 0 0.563 * [backup-simplify]: Simplify 1 into 1 0.563 * [backup-simplify]: Simplify (/ 1 1) into 1 0.563 * [backup-simplify]: Simplify (- 1) into -1 0.564 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.564 * [taylor]: Taking taylor expansion of 2 in c 0.564 * [backup-simplify]: Simplify 2 into 2 0.564 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.564 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.564 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.564 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.564 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.564 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.564 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.564 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.564 * [taylor]: Taking taylor expansion of c in c 0.564 * [backup-simplify]: Simplify 0 into 0 0.564 * [backup-simplify]: Simplify 1 into 1 0.565 * [backup-simplify]: Simplify (/ 1 1) into 1 0.565 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.565 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.565 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.565 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.565 * [taylor]: Taking taylor expansion of c in c 0.565 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify 1 into 1 0.566 * [backup-simplify]: Simplify (/ 1 1) into 1 0.566 * [backup-simplify]: Simplify (- 1) into -1 0.566 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.566 * [taylor]: Taking taylor expansion of 2 in c 0.566 * [backup-simplify]: Simplify 2 into 2 0.566 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.566 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.567 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.567 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.567 * [backup-simplify]: Simplify (- 0) into 0 0.568 * [backup-simplify]: Simplify (+ 0 0) into 0 0.569 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 0.569 * [backup-simplify]: Simplify 0 into 0 0.569 * [backup-simplify]: Simplify (- 0) into 0 0.570 * [backup-simplify]: Simplify (+ 0 0) into 0 0.571 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify (- 0) into 0 0.572 * [backup-simplify]: Simplify (+ 0 0) into 0 0.575 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.575 * [backup-simplify]: Simplify 0 into 0 0.576 * [backup-simplify]: Simplify (- 0) into 0 0.576 * [backup-simplify]: Simplify (+ 0 0) into 0 0.579 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify (- 0) into 0 0.580 * [backup-simplify]: Simplify (+ 0 0) into 0 0.583 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.583 * [backup-simplify]: Simplify 0 into 0 0.583 * [backup-simplify]: Simplify (- 0) into 0 0.584 * [backup-simplify]: Simplify (+ 0 0) into 0 0.587 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 0.587 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 0.587 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 0.587 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.587 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.587 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.588 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.588 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.588 * [taylor]: Taking taylor expansion of -1 in c 0.588 * [backup-simplify]: Simplify -1 into -1 0.588 * [taylor]: Taking taylor expansion of c in c 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 1 into 1 0.588 * [backup-simplify]: Simplify (/ -1 1) into -1 0.588 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.588 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.588 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.588 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.588 * [taylor]: Taking taylor expansion of -1 in c 0.588 * [backup-simplify]: Simplify -1 into -1 0.588 * [taylor]: Taking taylor expansion of c in c 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 1 into 1 0.589 * [backup-simplify]: Simplify (/ -1 1) into -1 0.589 * [backup-simplify]: Simplify (- -1) into 1 0.589 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.589 * [taylor]: Taking taylor expansion of 2 in c 0.590 * [backup-simplify]: Simplify 2 into 2 0.590 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.590 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.590 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.590 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.590 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.590 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.590 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.590 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.590 * [taylor]: Taking taylor expansion of -1 in c 0.590 * [backup-simplify]: Simplify -1 into -1 0.590 * [taylor]: Taking taylor expansion of c in c 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 1 into 1 0.591 * [backup-simplify]: Simplify (/ -1 1) into -1 0.591 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.591 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.591 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.591 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.591 * [taylor]: Taking taylor expansion of -1 in c 0.591 * [backup-simplify]: Simplify -1 into -1 0.591 * [taylor]: Taking taylor expansion of c in c 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.591 * [backup-simplify]: Simplify (/ -1 1) into -1 0.592 * [backup-simplify]: Simplify (- -1) into 1 0.592 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.592 * [taylor]: Taking taylor expansion of 2 in c 0.592 * [backup-simplify]: Simplify 2 into 2 0.592 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.592 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.592 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.593 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.593 * [backup-simplify]: Simplify (- 0) into 0 0.593 * [backup-simplify]: Simplify (+ 0 0) into 0 0.594 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.594 * [backup-simplify]: Simplify 0 into 0 0.595 * [backup-simplify]: Simplify (- 0) into 0 0.595 * [backup-simplify]: Simplify (+ 0 0) into 0 0.597 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.597 * [backup-simplify]: Simplify 0 into 0 0.597 * [backup-simplify]: Simplify (- 0) into 0 0.598 * [backup-simplify]: Simplify (+ 0 0) into 0 0.600 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.600 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify (- 0) into 0 0.601 * [backup-simplify]: Simplify (+ 0 0) into 0 0.603 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.603 * [backup-simplify]: Simplify 0 into 0 0.603 * [backup-simplify]: Simplify (- 0) into 0 0.604 * [backup-simplify]: Simplify (+ 0 0) into 0 0.607 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.607 * [backup-simplify]: Simplify 0 into 0 0.607 * [backup-simplify]: Simplify (- 0) into 0 0.607 * [backup-simplify]: Simplify (+ 0 0) into 0 0.611 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 0.611 * * * [progress]: simplifying candidates 0.611 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 0.611 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 0.612 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 0.612 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 0.613 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 0.613 * * [simplify]: iters left: 6 (11 enodes) 0.620 * * [simplify]: iters left: 5 (53 enodes) 0.633 * * [simplify]: iters left: 4 (109 enodes) 0.662 * * [simplify]: iters left: 3 (233 enodes) 0.720 * * [simplify]: iters left: 2 (401 enodes) 0.853 * * [simplify]: Extracting #0: cost 1 inf + 0 0.853 * * [simplify]: Extracting #1: cost 19 inf + 0 0.853 * * [simplify]: Extracting #2: cost 80 inf + 44 0.855 * * [simplify]: Extracting #3: cost 137 inf + 1669 0.858 * * [simplify]: Extracting #4: cost 112 inf + 7111 0.864 * * [simplify]: Extracting #5: cost 60 inf + 27882 0.874 * * [simplify]: Extracting #6: cost 4 inf + 55832 0.885 * * [simplify]: Extracting #7: cost 0 inf + 58188 0.896 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) 0.896 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.897 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 0.897 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 0.897 * * [simplify]: iters left: 6 (7 enodes) 0.901 * * [simplify]: iters left: 5 (26 enodes) 0.909 * * [simplify]: iters left: 4 (42 enodes) 0.916 * * [simplify]: iters left: 3 (62 enodes) 0.927 * * [simplify]: iters left: 2 (82 enodes) 0.937 * * [simplify]: iters left: 1 (86 enodes) 0.954 * * [simplify]: Extracting #0: cost 1 inf + 0 0.955 * * [simplify]: Extracting #1: cost 11 inf + 0 0.955 * * [simplify]: Extracting #2: cost 20 inf + 2 0.955 * * [simplify]: Extracting #3: cost 17 inf + 46 0.955 * * [simplify]: Extracting #4: cost 5 inf + 1453 0.956 * * [simplify]: Extracting #5: cost 1 inf + 1819 0.957 * * [simplify]: Extracting #6: cost 0 inf + 1987 0.958 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 0.958 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.958 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 0.958 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 0.959 * * [simplify]: iters left: 6 (8 enodes) 0.966 * * [simplify]: iters left: 5 (31 enodes) 0.972 * * [simplify]: iters left: 4 (49 enodes) 0.982 * * [simplify]: iters left: 3 (85 enodes) 0.999 * * [simplify]: iters left: 2 (151 enodes) 1.049 * * [simplify]: iters left: 1 (304 enodes) 1.152 * * [simplify]: Extracting #0: cost 1 inf + 0 1.152 * * [simplify]: Extracting #1: cost 15 inf + 0 1.152 * * [simplify]: Extracting #2: cost 135 inf + 2 1.153 * * [simplify]: Extracting #3: cost 204 inf + 2517 1.155 * * [simplify]: Extracting #4: cost 151 inf + 20916 1.164 * * [simplify]: Extracting #5: cost 64 inf + 60923 1.179 * * [simplify]: Extracting #6: cost 2 inf + 103278 1.192 * * [simplify]: Extracting #7: cost 0 inf + 102022 1.202 * * [simplify]: Extracting #8: cost 0 inf + 101942 1.213 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c))) 1.213 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (exp c) 1/2 (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.213 * * * [progress]: adding candidates to table 1.309 * * [progress]: iteration 2 / 4 1.309 * * * [progress]: picking best candidate 1.313 * * * * [pick]: Picked # 1.313 * * * [progress]: localizing error 1.350 * * * [progress]: generating rewritten candidates 1.350 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.375 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 1.378 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 1.382 * * * [progress]: generating series expansions 1.382 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.383 * [backup-simplify]: Simplify (* (sqrt (sinh c)) (sqrt (sinh c))) into (sinh c) 1.383 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.383 * [taylor]: Taking taylor expansion of (sinh c) in c 1.383 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.383 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.383 * [taylor]: Taking taylor expansion of (exp c) in c 1.383 * [taylor]: Taking taylor expansion of c in c 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 1 into 1 1.383 * [backup-simplify]: Simplify (exp 0) into 1 1.383 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.383 * [taylor]: Taking taylor expansion of (- c) in c 1.383 * [taylor]: Taking taylor expansion of c in c 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 1 into 1 1.384 * [backup-simplify]: Simplify (- 0) into 0 1.384 * [backup-simplify]: Simplify (- 1) into -1 1.384 * [backup-simplify]: Simplify (exp 0) into 1 1.384 * [taylor]: Taking taylor expansion of 2 in c 1.384 * [backup-simplify]: Simplify 2 into 2 1.385 * [backup-simplify]: Simplify (- 1) into -1 1.385 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.386 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.386 * [backup-simplify]: Simplify (- 1) into -1 1.387 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.388 * [backup-simplify]: Simplify (- -1) into 1 1.388 * [backup-simplify]: Simplify (+ 1 1) into 2 1.389 * [backup-simplify]: Simplify (/ 2 2) into 1 1.389 * [taylor]: Taking taylor expansion of (sinh c) in c 1.389 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.389 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.389 * [taylor]: Taking taylor expansion of (exp c) in c 1.389 * [taylor]: Taking taylor expansion of c in c 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 1 into 1 1.389 * [backup-simplify]: Simplify (exp 0) into 1 1.389 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.389 * [taylor]: Taking taylor expansion of (- c) in c 1.389 * [taylor]: Taking taylor expansion of c in c 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 1 into 1 1.389 * [backup-simplify]: Simplify (- 0) into 0 1.390 * [backup-simplify]: Simplify (- 1) into -1 1.390 * [backup-simplify]: Simplify (exp 0) into 1 1.390 * [taylor]: Taking taylor expansion of 2 in c 1.390 * [backup-simplify]: Simplify 2 into 2 1.390 * [backup-simplify]: Simplify (- 1) into -1 1.391 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.392 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.392 * [backup-simplify]: Simplify (- 1) into -1 1.393 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.394 * [backup-simplify]: Simplify (- -1) into 1 1.394 * [backup-simplify]: Simplify (+ 1 1) into 2 1.395 * [backup-simplify]: Simplify (/ 2 2) into 1 1.395 * [backup-simplify]: Simplify 1 into 1 1.396 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.397 * [backup-simplify]: Simplify (- 1) into -1 1.397 * [backup-simplify]: Simplify (- 0) into 0 1.398 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.399 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.399 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.399 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.400 * [backup-simplify]: Simplify 0 into 0 1.401 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.401 * [backup-simplify]: Simplify (- 1) into -1 1.401 * [backup-simplify]: Simplify (- 1) into -1 1.401 * [backup-simplify]: Simplify (- 0) into 0 1.402 * [backup-simplify]: Simplify (- 0) into 0 1.403 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.403 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.403 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.404 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.404 * [backup-simplify]: Simplify 1/6 into 1/6 1.406 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.407 * [backup-simplify]: Simplify (- 1) into -1 1.407 * [backup-simplify]: Simplify (- 1) into -1 1.407 * [backup-simplify]: Simplify (- 0) into 0 1.407 * [backup-simplify]: Simplify (- 1) into -1 1.408 * [backup-simplify]: Simplify (- 0) into 0 1.408 * [backup-simplify]: Simplify (- 0) into 0 1.408 * [backup-simplify]: Simplify (- 0) into 0 1.410 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.411 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.411 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.412 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.412 * [backup-simplify]: Simplify 0 into 0 1.415 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1.415 * [backup-simplify]: Simplify (- 1) into -1 1.415 * [backup-simplify]: Simplify (- 1) into -1 1.416 * [backup-simplify]: Simplify (- 0) into 0 1.416 * [backup-simplify]: Simplify (- 1) into -1 1.416 * [backup-simplify]: Simplify (- 0) into 0 1.416 * [backup-simplify]: Simplify (- 1) into -1 1.416 * [backup-simplify]: Simplify (- 0) into 0 1.417 * [backup-simplify]: Simplify (- 1) into -1 1.417 * [backup-simplify]: Simplify (- 0) into 0 1.417 * [backup-simplify]: Simplify (- 0) into 0 1.417 * [backup-simplify]: Simplify (- 0) into 0 1.418 * [backup-simplify]: Simplify (- 0) into 0 1.421 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1.421 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.421 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.422 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.422 * [backup-simplify]: Simplify 1/120 into 1/120 1.422 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1.422 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 c))) (sqrt (sinh (/ 1 c)))) into (sinh (/ 1 c)) 1.423 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.423 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.423 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.423 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.423 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.423 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.423 * [taylor]: Taking taylor expansion of c in c 1.423 * [backup-simplify]: Simplify 0 into 0 1.423 * [backup-simplify]: Simplify 1 into 1 1.423 * [backup-simplify]: Simplify (/ 1 1) into 1 1.423 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.423 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.423 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.423 * [taylor]: Taking taylor expansion of c in c 1.423 * [backup-simplify]: Simplify 0 into 0 1.423 * [backup-simplify]: Simplify 1 into 1 1.423 * [backup-simplify]: Simplify (/ 1 1) into 1 1.424 * [backup-simplify]: Simplify (- 1) into -1 1.424 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.424 * [taylor]: Taking taylor expansion of 2 in c 1.424 * [backup-simplify]: Simplify 2 into 2 1.424 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.424 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.424 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.424 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.424 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.424 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.424 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.424 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.424 * [taylor]: Taking taylor expansion of c in c 1.424 * [backup-simplify]: Simplify 0 into 0 1.424 * [backup-simplify]: Simplify 1 into 1 1.424 * [backup-simplify]: Simplify (/ 1 1) into 1 1.424 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.424 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.424 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.424 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.425 * [taylor]: Taking taylor expansion of c in c 1.425 * [backup-simplify]: Simplify 0 into 0 1.425 * [backup-simplify]: Simplify 1 into 1 1.425 * [backup-simplify]: Simplify (/ 1 1) into 1 1.425 * [backup-simplify]: Simplify (- 1) into -1 1.425 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.425 * [taylor]: Taking taylor expansion of 2 in c 1.425 * [backup-simplify]: Simplify 2 into 2 1.425 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.425 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.425 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.425 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.426 * [backup-simplify]: Simplify (- 0) into 0 1.426 * [backup-simplify]: Simplify (+ 0 0) into 0 1.427 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.427 * [backup-simplify]: Simplify 0 into 0 1.427 * [backup-simplify]: Simplify (- 0) into 0 1.427 * [backup-simplify]: Simplify (+ 0 0) into 0 1.428 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.428 * [backup-simplify]: Simplify 0 into 0 1.428 * [backup-simplify]: Simplify (- 0) into 0 1.429 * [backup-simplify]: Simplify (+ 0 0) into 0 1.430 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.430 * [backup-simplify]: Simplify 0 into 0 1.430 * [backup-simplify]: Simplify (- 0) into 0 1.430 * [backup-simplify]: Simplify (+ 0 0) into 0 1.433 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify (- 0) into 0 1.434 * [backup-simplify]: Simplify (+ 0 0) into 0 1.443 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify (- 0) into 0 1.444 * [backup-simplify]: Simplify (+ 0 0) into 0 1.447 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.447 * [backup-simplify]: Simplify 0 into 0 1.447 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.448 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 (- c)))) (sqrt (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 1.448 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.448 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.448 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.448 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.448 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.448 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.448 * [taylor]: Taking taylor expansion of -1 in c 1.448 * [backup-simplify]: Simplify -1 into -1 1.448 * [taylor]: Taking taylor expansion of c in c 1.448 * [backup-simplify]: Simplify 0 into 0 1.448 * [backup-simplify]: Simplify 1 into 1 1.449 * [backup-simplify]: Simplify (/ -1 1) into -1 1.449 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.449 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.449 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.449 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.449 * [taylor]: Taking taylor expansion of -1 in c 1.449 * [backup-simplify]: Simplify -1 into -1 1.449 * [taylor]: Taking taylor expansion of c in c 1.449 * [backup-simplify]: Simplify 0 into 0 1.449 * [backup-simplify]: Simplify 1 into 1 1.449 * [backup-simplify]: Simplify (/ -1 1) into -1 1.450 * [backup-simplify]: Simplify (- -1) into 1 1.450 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.450 * [taylor]: Taking taylor expansion of 2 in c 1.450 * [backup-simplify]: Simplify 2 into 2 1.450 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.450 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.450 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.450 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.450 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.450 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.450 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.450 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.450 * [taylor]: Taking taylor expansion of -1 in c 1.450 * [backup-simplify]: Simplify -1 into -1 1.450 * [taylor]: Taking taylor expansion of c in c 1.450 * [backup-simplify]: Simplify 0 into 0 1.450 * [backup-simplify]: Simplify 1 into 1 1.451 * [backup-simplify]: Simplify (/ -1 1) into -1 1.451 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.451 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.451 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.451 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.451 * [taylor]: Taking taylor expansion of -1 in c 1.451 * [backup-simplify]: Simplify -1 into -1 1.451 * [taylor]: Taking taylor expansion of c in c 1.451 * [backup-simplify]: Simplify 0 into 0 1.451 * [backup-simplify]: Simplify 1 into 1 1.452 * [backup-simplify]: Simplify (/ -1 1) into -1 1.452 * [backup-simplify]: Simplify (- -1) into 1 1.452 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.452 * [taylor]: Taking taylor expansion of 2 in c 1.452 * [backup-simplify]: Simplify 2 into 2 1.452 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.453 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.453 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.453 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.453 * [backup-simplify]: Simplify (- 0) into 0 1.454 * [backup-simplify]: Simplify (+ 0 0) into 0 1.455 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify (- 0) into 0 1.456 * [backup-simplify]: Simplify (+ 0 0) into 0 1.457 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.457 * [backup-simplify]: Simplify 0 into 0 1.457 * [backup-simplify]: Simplify (- 0) into 0 1.458 * [backup-simplify]: Simplify (+ 0 0) into 0 1.459 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify (- 0) into 0 1.460 * [backup-simplify]: Simplify (+ 0 0) into 0 1.461 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify (- 0) into 0 1.462 * [backup-simplify]: Simplify (+ 0 0) into 0 1.464 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify (- 0) into 0 1.464 * [backup-simplify]: Simplify (+ 0 0) into 0 1.466 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.466 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 1.467 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.467 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.467 * [taylor]: Taking taylor expansion of (sinh c) in c 1.467 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.467 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.467 * [taylor]: Taking taylor expansion of (exp c) in c 1.467 * [taylor]: Taking taylor expansion of c in c 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [backup-simplify]: Simplify (exp 0) into 1 1.467 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.467 * [taylor]: Taking taylor expansion of (- c) in c 1.467 * [taylor]: Taking taylor expansion of c in c 1.467 * [backup-simplify]: Simplify 0 into 0 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [backup-simplify]: Simplify (- 0) into 0 1.467 * [backup-simplify]: Simplify (- 1) into -1 1.467 * [backup-simplify]: Simplify (exp 0) into 1 1.467 * [taylor]: Taking taylor expansion of 2 in c 1.467 * [backup-simplify]: Simplify 2 into 2 1.468 * [backup-simplify]: Simplify (- 1) into -1 1.468 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.469 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.469 * [backup-simplify]: Simplify (- 1) into -1 1.469 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.470 * [backup-simplify]: Simplify (- -1) into 1 1.470 * [backup-simplify]: Simplify (+ 1 1) into 2 1.470 * [backup-simplify]: Simplify (/ 2 2) into 1 1.470 * [taylor]: Taking taylor expansion of (sinh c) in c 1.470 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.470 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.470 * [taylor]: Taking taylor expansion of (exp c) in c 1.470 * [taylor]: Taking taylor expansion of c in c 1.470 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify 1 into 1 1.470 * [backup-simplify]: Simplify (exp 0) into 1 1.470 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.470 * [taylor]: Taking taylor expansion of (- c) in c 1.470 * [taylor]: Taking taylor expansion of c in c 1.470 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify 1 into 1 1.471 * [backup-simplify]: Simplify (- 0) into 0 1.471 * [backup-simplify]: Simplify (- 1) into -1 1.471 * [backup-simplify]: Simplify (exp 0) into 1 1.471 * [taylor]: Taking taylor expansion of 2 in c 1.471 * [backup-simplify]: Simplify 2 into 2 1.471 * [backup-simplify]: Simplify (- 1) into -1 1.471 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.472 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.472 * [backup-simplify]: Simplify (- 1) into -1 1.473 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.473 * [backup-simplify]: Simplify (- -1) into 1 1.473 * [backup-simplify]: Simplify (+ 1 1) into 2 1.474 * [backup-simplify]: Simplify (/ 2 2) into 1 1.474 * [backup-simplify]: Simplify 1 into 1 1.475 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.475 * [backup-simplify]: Simplify (- 1) into -1 1.475 * [backup-simplify]: Simplify (- 0) into 0 1.476 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.476 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.476 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.477 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.477 * [backup-simplify]: Simplify 0 into 0 1.478 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.479 * [backup-simplify]: Simplify (- 1) into -1 1.479 * [backup-simplify]: Simplify (- 1) into -1 1.479 * [backup-simplify]: Simplify (- 0) into 0 1.479 * [backup-simplify]: Simplify (- 0) into 0 1.481 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.481 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.481 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.482 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.482 * [backup-simplify]: Simplify 1/6 into 1/6 1.484 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.484 * [backup-simplify]: Simplify (- 1) into -1 1.485 * [backup-simplify]: Simplify (- 1) into -1 1.485 * [backup-simplify]: Simplify (- 0) into 0 1.485 * [backup-simplify]: Simplify (- 1) into -1 1.485 * [backup-simplify]: Simplify (- 0) into 0 1.486 * [backup-simplify]: Simplify (- 0) into 0 1.486 * [backup-simplify]: Simplify (- 0) into 0 1.488 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.489 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.489 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.490 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.490 * [backup-simplify]: Simplify 0 into 0 1.493 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1.494 * [backup-simplify]: Simplify (- 1) into -1 1.494 * [backup-simplify]: Simplify (- 1) into -1 1.494 * [backup-simplify]: Simplify (- 0) into 0 1.495 * [backup-simplify]: Simplify (- 1) into -1 1.495 * [backup-simplify]: Simplify (- 0) into 0 1.495 * [backup-simplify]: Simplify (- 1) into -1 1.495 * [backup-simplify]: Simplify (- 0) into 0 1.496 * [backup-simplify]: Simplify (- 1) into -1 1.496 * [backup-simplify]: Simplify (- 0) into 0 1.496 * [backup-simplify]: Simplify (- 0) into 0 1.496 * [backup-simplify]: Simplify (- 0) into 0 1.496 * [backup-simplify]: Simplify (- 0) into 0 1.501 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1.502 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.502 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.504 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.504 * [backup-simplify]: Simplify 1/120 into 1/120 1.505 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1.505 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.505 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.505 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.505 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.505 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.505 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.505 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.505 * [taylor]: Taking taylor expansion of c in c 1.505 * [backup-simplify]: Simplify 0 into 0 1.505 * [backup-simplify]: Simplify 1 into 1 1.506 * [backup-simplify]: Simplify (/ 1 1) into 1 1.506 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.506 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.506 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.506 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.506 * [taylor]: Taking taylor expansion of c in c 1.506 * [backup-simplify]: Simplify 0 into 0 1.506 * [backup-simplify]: Simplify 1 into 1 1.506 * [backup-simplify]: Simplify (/ 1 1) into 1 1.507 * [backup-simplify]: Simplify (- 1) into -1 1.507 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.507 * [taylor]: Taking taylor expansion of 2 in c 1.507 * [backup-simplify]: Simplify 2 into 2 1.507 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.507 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.507 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.507 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.507 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.507 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.507 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.508 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.508 * [taylor]: Taking taylor expansion of c in c 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify 1 into 1 1.508 * [backup-simplify]: Simplify (/ 1 1) into 1 1.508 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.508 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.508 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.508 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.508 * [taylor]: Taking taylor expansion of c in c 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify 1 into 1 1.509 * [backup-simplify]: Simplify (/ 1 1) into 1 1.509 * [backup-simplify]: Simplify (- 1) into -1 1.509 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.509 * [taylor]: Taking taylor expansion of 2 in c 1.509 * [backup-simplify]: Simplify 2 into 2 1.509 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.509 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.510 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.510 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.510 * [backup-simplify]: Simplify (- 0) into 0 1.511 * [backup-simplify]: Simplify (+ 0 0) into 0 1.512 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.512 * [backup-simplify]: Simplify 0 into 0 1.512 * [backup-simplify]: Simplify (- 0) into 0 1.512 * [backup-simplify]: Simplify (+ 0 0) into 0 1.514 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.514 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify (- 0) into 0 1.514 * [backup-simplify]: Simplify (+ 0 0) into 0 1.516 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.516 * [backup-simplify]: Simplify 0 into 0 1.516 * [backup-simplify]: Simplify (- 0) into 0 1.516 * [backup-simplify]: Simplify (+ 0 0) into 0 1.518 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify (- 0) into 0 1.518 * [backup-simplify]: Simplify (+ 0 0) into 0 1.520 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.520 * [backup-simplify]: Simplify 0 into 0 1.520 * [backup-simplify]: Simplify (- 0) into 0 1.520 * [backup-simplify]: Simplify (+ 0 0) into 0 1.522 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.522 * [backup-simplify]: Simplify 0 into 0 1.523 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.523 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.523 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.523 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.523 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.523 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.523 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.523 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.523 * [taylor]: Taking taylor expansion of -1 in c 1.523 * [backup-simplify]: Simplify -1 into -1 1.523 * [taylor]: Taking taylor expansion of c in c 1.523 * [backup-simplify]: Simplify 0 into 0 1.523 * [backup-simplify]: Simplify 1 into 1 1.523 * [backup-simplify]: Simplify (/ -1 1) into -1 1.523 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.523 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.523 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.523 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.523 * [taylor]: Taking taylor expansion of -1 in c 1.523 * [backup-simplify]: Simplify -1 into -1 1.523 * [taylor]: Taking taylor expansion of c in c 1.523 * [backup-simplify]: Simplify 0 into 0 1.523 * [backup-simplify]: Simplify 1 into 1 1.524 * [backup-simplify]: Simplify (/ -1 1) into -1 1.524 * [backup-simplify]: Simplify (- -1) into 1 1.524 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.524 * [taylor]: Taking taylor expansion of 2 in c 1.524 * [backup-simplify]: Simplify 2 into 2 1.524 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.524 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.524 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.524 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.524 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.524 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.524 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.524 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.524 * [taylor]: Taking taylor expansion of -1 in c 1.524 * [backup-simplify]: Simplify -1 into -1 1.524 * [taylor]: Taking taylor expansion of c in c 1.524 * [backup-simplify]: Simplify 0 into 0 1.524 * [backup-simplify]: Simplify 1 into 1 1.525 * [backup-simplify]: Simplify (/ -1 1) into -1 1.525 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.525 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.525 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.525 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.525 * [taylor]: Taking taylor expansion of -1 in c 1.525 * [backup-simplify]: Simplify -1 into -1 1.525 * [taylor]: Taking taylor expansion of c in c 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify 1 into 1 1.525 * [backup-simplify]: Simplify (/ -1 1) into -1 1.525 * [backup-simplify]: Simplify (- -1) into 1 1.525 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.525 * [taylor]: Taking taylor expansion of 2 in c 1.525 * [backup-simplify]: Simplify 2 into 2 1.525 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.525 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.526 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.526 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.526 * [backup-simplify]: Simplify (- 0) into 0 1.526 * [backup-simplify]: Simplify (+ 0 0) into 0 1.527 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.527 * [backup-simplify]: Simplify 0 into 0 1.527 * [backup-simplify]: Simplify (- 0) into 0 1.527 * [backup-simplify]: Simplify (+ 0 0) into 0 1.528 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.528 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify (- 0) into 0 1.529 * [backup-simplify]: Simplify (+ 0 0) into 0 1.530 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify (- 0) into 0 1.530 * [backup-simplify]: Simplify (+ 0 0) into 0 1.532 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.532 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify (- 0) into 0 1.532 * [backup-simplify]: Simplify (+ 0 0) into 0 1.534 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.534 * [backup-simplify]: Simplify 0 into 0 1.534 * [backup-simplify]: Simplify (- 0) into 0 1.535 * [backup-simplify]: Simplify (+ 0 0) into 0 1.537 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.537 * [backup-simplify]: Simplify 0 into 0 1.537 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.537 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 1.537 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.537 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.537 * [taylor]: Taking taylor expansion of (sinh c) in c 1.537 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.537 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.537 * [taylor]: Taking taylor expansion of (exp c) in c 1.537 * [taylor]: Taking taylor expansion of c in c 1.537 * [backup-simplify]: Simplify 0 into 0 1.537 * [backup-simplify]: Simplify 1 into 1 1.537 * [backup-simplify]: Simplify (exp 0) into 1 1.537 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.537 * [taylor]: Taking taylor expansion of (- c) in c 1.537 * [taylor]: Taking taylor expansion of c in c 1.537 * [backup-simplify]: Simplify 0 into 0 1.537 * [backup-simplify]: Simplify 1 into 1 1.537 * [backup-simplify]: Simplify (- 0) into 0 1.538 * [backup-simplify]: Simplify (- 1) into -1 1.538 * [backup-simplify]: Simplify (exp 0) into 1 1.538 * [taylor]: Taking taylor expansion of 2 in c 1.538 * [backup-simplify]: Simplify 2 into 2 1.538 * [backup-simplify]: Simplify (- 1) into -1 1.538 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.540 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.541 * [backup-simplify]: Simplify (- 1) into -1 1.541 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.542 * [backup-simplify]: Simplify (- -1) into 1 1.542 * [backup-simplify]: Simplify (+ 1 1) into 2 1.542 * [backup-simplify]: Simplify (/ 2 2) into 1 1.542 * [taylor]: Taking taylor expansion of (sinh c) in c 1.542 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.542 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.542 * [taylor]: Taking taylor expansion of (exp c) in c 1.542 * [taylor]: Taking taylor expansion of c in c 1.543 * [backup-simplify]: Simplify 0 into 0 1.543 * [backup-simplify]: Simplify 1 into 1 1.543 * [backup-simplify]: Simplify (exp 0) into 1 1.543 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.543 * [taylor]: Taking taylor expansion of (- c) in c 1.543 * [taylor]: Taking taylor expansion of c in c 1.543 * [backup-simplify]: Simplify 0 into 0 1.543 * [backup-simplify]: Simplify 1 into 1 1.543 * [backup-simplify]: Simplify (- 0) into 0 1.543 * [backup-simplify]: Simplify (- 1) into -1 1.544 * [backup-simplify]: Simplify (exp 0) into 1 1.544 * [taylor]: Taking taylor expansion of 2 in c 1.544 * [backup-simplify]: Simplify 2 into 2 1.544 * [backup-simplify]: Simplify (- 1) into -1 1.544 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.545 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.546 * [backup-simplify]: Simplify (- 1) into -1 1.547 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.547 * [backup-simplify]: Simplify (- -1) into 1 1.548 * [backup-simplify]: Simplify (+ 1 1) into 2 1.548 * [backup-simplify]: Simplify (/ 2 2) into 1 1.548 * [backup-simplify]: Simplify 1 into 1 1.550 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.550 * [backup-simplify]: Simplify (- 1) into -1 1.550 * [backup-simplify]: Simplify (- 0) into 0 1.551 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.552 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.552 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.552 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.552 * [backup-simplify]: Simplify 0 into 0 1.554 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.554 * [backup-simplify]: Simplify (- 1) into -1 1.554 * [backup-simplify]: Simplify (- 1) into -1 1.555 * [backup-simplify]: Simplify (- 0) into 0 1.555 * [backup-simplify]: Simplify (- 0) into 0 1.556 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.556 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.557 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.557 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.557 * [backup-simplify]: Simplify 1/6 into 1/6 1.559 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.560 * [backup-simplify]: Simplify (- 1) into -1 1.560 * [backup-simplify]: Simplify (- 1) into -1 1.560 * [backup-simplify]: Simplify (- 0) into 0 1.561 * [backup-simplify]: Simplify (- 1) into -1 1.561 * [backup-simplify]: Simplify (- 0) into 0 1.561 * [backup-simplify]: Simplify (- 0) into 0 1.561 * [backup-simplify]: Simplify (- 0) into 0 1.563 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.564 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.564 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.565 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.565 * [backup-simplify]: Simplify 0 into 0 1.568 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1.568 * [backup-simplify]: Simplify (- 1) into -1 1.568 * [backup-simplify]: Simplify (- 1) into -1 1.569 * [backup-simplify]: Simplify (- 0) into 0 1.569 * [backup-simplify]: Simplify (- 1) into -1 1.569 * [backup-simplify]: Simplify (- 0) into 0 1.569 * [backup-simplify]: Simplify (- 1) into -1 1.569 * [backup-simplify]: Simplify (- 0) into 0 1.570 * [backup-simplify]: Simplify (- 1) into -1 1.570 * [backup-simplify]: Simplify (- 0) into 0 1.570 * [backup-simplify]: Simplify (- 0) into 0 1.570 * [backup-simplify]: Simplify (- 0) into 0 1.571 * [backup-simplify]: Simplify (- 0) into 0 1.574 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1.574 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.574 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.575 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.575 * [backup-simplify]: Simplify 1/120 into 1/120 1.575 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1.575 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.575 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.575 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.575 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.575 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.576 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.576 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.576 * [taylor]: Taking taylor expansion of c in c 1.576 * [backup-simplify]: Simplify 0 into 0 1.576 * [backup-simplify]: Simplify 1 into 1 1.576 * [backup-simplify]: Simplify (/ 1 1) into 1 1.576 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.576 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.576 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.576 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.576 * [taylor]: Taking taylor expansion of c in c 1.576 * [backup-simplify]: Simplify 0 into 0 1.576 * [backup-simplify]: Simplify 1 into 1 1.576 * [backup-simplify]: Simplify (/ 1 1) into 1 1.576 * [backup-simplify]: Simplify (- 1) into -1 1.577 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.577 * [taylor]: Taking taylor expansion of 2 in c 1.577 * [backup-simplify]: Simplify 2 into 2 1.577 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.577 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.577 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.577 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.577 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.577 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.577 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.577 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.577 * [taylor]: Taking taylor expansion of c in c 1.577 * [backup-simplify]: Simplify 0 into 0 1.577 * [backup-simplify]: Simplify 1 into 1 1.577 * [backup-simplify]: Simplify (/ 1 1) into 1 1.577 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.577 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.577 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.577 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.577 * [taylor]: Taking taylor expansion of c in c 1.577 * [backup-simplify]: Simplify 0 into 0 1.577 * [backup-simplify]: Simplify 1 into 1 1.578 * [backup-simplify]: Simplify (/ 1 1) into 1 1.578 * [backup-simplify]: Simplify (- 1) into -1 1.578 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.578 * [taylor]: Taking taylor expansion of 2 in c 1.578 * [backup-simplify]: Simplify 2 into 2 1.578 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.578 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.578 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.579 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.579 * [backup-simplify]: Simplify (- 0) into 0 1.579 * [backup-simplify]: Simplify (+ 0 0) into 0 1.580 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.580 * [backup-simplify]: Simplify 0 into 0 1.581 * [backup-simplify]: Simplify (- 0) into 0 1.581 * [backup-simplify]: Simplify (+ 0 0) into 0 1.583 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify (- 0) into 0 1.583 * [backup-simplify]: Simplify (+ 0 0) into 0 1.586 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.586 * [backup-simplify]: Simplify 0 into 0 1.586 * [backup-simplify]: Simplify (- 0) into 0 1.586 * [backup-simplify]: Simplify (+ 0 0) into 0 1.589 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify (- 0) into 0 1.590 * [backup-simplify]: Simplify (+ 0 0) into 0 1.593 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.593 * [backup-simplify]: Simplify 0 into 0 1.593 * [backup-simplify]: Simplify (- 0) into 0 1.593 * [backup-simplify]: Simplify (+ 0 0) into 0 1.598 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.598 * [backup-simplify]: Simplify 0 into 0 1.598 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.598 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.598 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.598 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.598 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.598 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.598 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.598 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.598 * [taylor]: Taking taylor expansion of -1 in c 1.598 * [backup-simplify]: Simplify -1 into -1 1.598 * [taylor]: Taking taylor expansion of c in c 1.598 * [backup-simplify]: Simplify 0 into 0 1.598 * [backup-simplify]: Simplify 1 into 1 1.599 * [backup-simplify]: Simplify (/ -1 1) into -1 1.599 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.599 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.599 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.599 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.599 * [taylor]: Taking taylor expansion of -1 in c 1.599 * [backup-simplify]: Simplify -1 into -1 1.599 * [taylor]: Taking taylor expansion of c in c 1.599 * [backup-simplify]: Simplify 0 into 0 1.599 * [backup-simplify]: Simplify 1 into 1 1.600 * [backup-simplify]: Simplify (/ -1 1) into -1 1.600 * [backup-simplify]: Simplify (- -1) into 1 1.600 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.600 * [taylor]: Taking taylor expansion of 2 in c 1.600 * [backup-simplify]: Simplify 2 into 2 1.600 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.600 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.601 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.601 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.601 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.601 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.601 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.601 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.601 * [taylor]: Taking taylor expansion of -1 in c 1.601 * [backup-simplify]: Simplify -1 into -1 1.601 * [taylor]: Taking taylor expansion of c in c 1.601 * [backup-simplify]: Simplify 0 into 0 1.601 * [backup-simplify]: Simplify 1 into 1 1.601 * [backup-simplify]: Simplify (/ -1 1) into -1 1.602 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.602 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.602 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.602 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.602 * [taylor]: Taking taylor expansion of -1 in c 1.602 * [backup-simplify]: Simplify -1 into -1 1.602 * [taylor]: Taking taylor expansion of c in c 1.602 * [backup-simplify]: Simplify 0 into 0 1.602 * [backup-simplify]: Simplify 1 into 1 1.602 * [backup-simplify]: Simplify (/ -1 1) into -1 1.602 * [backup-simplify]: Simplify (- -1) into 1 1.602 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.602 * [taylor]: Taking taylor expansion of 2 in c 1.603 * [backup-simplify]: Simplify 2 into 2 1.603 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.603 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.603 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.603 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.603 * [backup-simplify]: Simplify (- 0) into 0 1.604 * [backup-simplify]: Simplify (+ 0 0) into 0 1.604 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify (- 0) into 0 1.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1.606 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.606 * [backup-simplify]: Simplify 0 into 0 1.606 * [backup-simplify]: Simplify (- 0) into 0 1.606 * [backup-simplify]: Simplify (+ 0 0) into 0 1.607 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.607 * [backup-simplify]: Simplify 0 into 0 1.608 * [backup-simplify]: Simplify (- 0) into 0 1.608 * [backup-simplify]: Simplify (+ 0 0) into 0 1.609 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.609 * [backup-simplify]: Simplify 0 into 0 1.609 * [backup-simplify]: Simplify (- 0) into 0 1.610 * [backup-simplify]: Simplify (+ 0 0) into 0 1.611 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.611 * [backup-simplify]: Simplify 0 into 0 1.612 * [backup-simplify]: Simplify (- 0) into 0 1.612 * [backup-simplify]: Simplify (+ 0 0) into 0 1.614 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.614 * [backup-simplify]: Simplify 0 into 0 1.614 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.614 * * * [progress]: simplifying candidates 1.614 * * * * [progress]: [ 1 / 86 ] simplifiying candidate # 1.614 * * * * [progress]: [ 2 / 86 ] simplifiying candidate # 1.614 * * * * [progress]: [ 3 / 86 ] simplifiying candidate # 1.615 * [simplify]: Simplifying (sinh c) 1.615 * * [simplify]: iters left: 1 (2 enodes) 1.615 * * [simplify]: Extracting #0: cost 1 inf + 0 1.615 * * [simplify]: Extracting #1: cost 5 inf + 0 1.615 * * [simplify]: Extracting #2: cost 5 inf + 2 1.615 * * [simplify]: Extracting #3: cost 3 inf + 185 1.615 * * [simplify]: Extracting #4: cost 0 inf + 558 1.615 * [simplify]: Simplified to (sinh c) 1.615 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ 1/2 1/2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.616 * [simplify]: Simplifying (+ 1/2 1/2) 1.616 * * [simplify]: iters left: 2 (2 enodes) 1.617 * * [simplify]: iters left: 1 (7 enodes) 1.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1.618 * * [simplify]: Extracting #1: cost 0 inf + 1 1.618 * [simplify]: Simplified to 1 1.618 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.619 * * * * [progress]: [ 4 / 86 ] simplifiying candidate # 1.619 * [simplify]: Simplifying (sinh c) 1.619 * * [simplify]: iters left: 1 (2 enodes) 1.619 * * [simplify]: Extracting #0: cost 1 inf + 0 1.619 * * [simplify]: Extracting #1: cost 5 inf + 0 1.619 * * [simplify]: Extracting #2: cost 5 inf + 2 1.619 * * [simplify]: Extracting #3: cost 3 inf + 185 1.619 * * [simplify]: Extracting #4: cost 0 inf + 558 1.620 * [simplify]: Simplified to (sinh c) 1.620 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ 1/2 (/ 1 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.620 * [simplify]: Simplifying (+ 1/2 (/ 1 2)) 1.620 * * [simplify]: iters left: 4 (5 enodes) 1.623 * * [simplify]: iters left: 3 (18 enodes) 1.631 * * [simplify]: iters left: 2 (20 enodes) 1.637 * * [simplify]: Extracting #0: cost 1 inf + 0 1.637 * * [simplify]: Extracting #1: cost 0 inf + 1 1.637 * [simplify]: Simplified to 1 1.637 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.637 * * * * [progress]: [ 5 / 86 ] simplifiying candidate # 1.637 * [simplify]: Simplifying (sqrt (sinh c)) 1.637 * * [simplify]: iters left: 2 (3 enodes) 1.639 * * [simplify]: iters left: 1 (15 enodes) 1.645 * * [simplify]: Extracting #0: cost 1 inf + 0 1.645 * * [simplify]: Extracting #1: cost 3 inf + 0 1.645 * * [simplify]: Extracting #2: cost 9 inf + 0 1.645 * * [simplify]: Extracting #3: cost 11 inf + 2 1.645 * * [simplify]: Extracting #4: cost 12 inf + 185 1.645 * * [simplify]: Extracting #5: cost 5 inf + 824 1.646 * * [simplify]: Extracting #6: cost 0 inf + 1610 1.646 * [simplify]: Simplified to (sqrt (sinh c)) 1.646 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sqrt (sinh c)) (+ 1 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.646 * [simplify]: Simplifying (+ 1 1) 1.646 * * [simplify]: iters left: 2 (2 enodes) 1.649 * * [simplify]: iters left: 1 (9 enodes) 1.652 * * [simplify]: Extracting #0: cost 1 inf + 0 1.652 * * [simplify]: Extracting #1: cost 0 inf + 1 1.652 * [simplify]: Simplified to 2 1.652 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sqrt (sinh c)) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.653 * * * * [progress]: [ 6 / 86 ] simplifiying candidate # 1.653 * [simplify]: Simplifying (sinh c) 1.653 * * [simplify]: iters left: 1 (2 enodes) 1.654 * * [simplify]: Extracting #0: cost 1 inf + 0 1.654 * * [simplify]: Extracting #1: cost 5 inf + 0 1.655 * * [simplify]: Extracting #2: cost 5 inf + 2 1.655 * * [simplify]: Extracting #3: cost 3 inf + 185 1.655 * * [simplify]: Extracting #4: cost 0 inf + 558 1.655 * [simplify]: Simplified to (sinh c) 1.655 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ (/ 1 2) 1/2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.655 * [simplify]: Simplifying (+ (/ 1 2) 1/2) 1.655 * * [simplify]: iters left: 4 (5 enodes) 1.663 * * [simplify]: iters left: 3 (18 enodes) 1.666 * * [simplify]: iters left: 2 (20 enodes) 1.669 * * [simplify]: Extracting #0: cost 1 inf + 0 1.669 * * [simplify]: Extracting #1: cost 0 inf + 1 1.669 * [simplify]: Simplified to 1 1.669 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.669 * * * * [progress]: [ 7 / 86 ] simplifiying candidate # 1.669 * [simplify]: Simplifying (sinh c) 1.669 * * [simplify]: iters left: 1 (2 enodes) 1.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1.670 * * [simplify]: Extracting #1: cost 5 inf + 0 1.670 * * [simplify]: Extracting #2: cost 5 inf + 2 1.670 * * [simplify]: Extracting #3: cost 3 inf + 185 1.670 * * [simplify]: Extracting #4: cost 0 inf + 558 1.670 * [simplify]: Simplified to (sinh c) 1.670 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ (/ 1 2) (/ 1 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.670 * [simplify]: Simplifying (+ (/ 1 2) (/ 1 2)) 1.670 * * [simplify]: iters left: 4 (4 enodes) 1.672 * * [simplify]: iters left: 3 (15 enodes) 1.675 * * [simplify]: iters left: 2 (17 enodes) 1.678 * * [simplify]: Extracting #0: cost 1 inf + 0 1.678 * * [simplify]: Extracting #1: cost 0 inf + 1 1.678 * [simplify]: Simplified to 1 1.678 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.678 * * * * [progress]: [ 8 / 86 ] simplifiying candidate # 1.678 * [simplify]: Simplifying (* (sinh c) (sinh c)) 1.678 * * [simplify]: iters left: 3 (3 enodes) 1.679 * * [simplify]: iters left: 2 (15 enodes) 1.682 * * [simplify]: iters left: 1 (36 enodes) 1.689 * * [simplify]: Extracting #0: cost 1 inf + 0 1.689 * * [simplify]: Extracting #1: cost 8 inf + 0 1.689 * * [simplify]: Extracting #2: cost 22 inf + 1 1.690 * * [simplify]: Extracting #3: cost 30 inf + 2 1.690 * * [simplify]: Extracting #4: cost 18 inf + 1023 1.690 * * [simplify]: Extracting #5: cost 0 inf + 3808 1.691 * [simplify]: Simplified to (* (sinh c) (sinh c)) 1.691 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (* (sinh c) (sinh c)) 1/2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.691 * * * * [progress]: [ 9 / 86 ] simplifiying candidate # 1.691 * [simplify]: Simplifying (* (sqrt (sinh c)) (sqrt (sinh c))) 1.691 * * [simplify]: iters left: 4 (4 enodes) 1.692 * * [simplify]: iters left: 3 (16 enodes) 1.695 * * [simplify]: iters left: 2 (34 enodes) 1.701 * * [simplify]: iters left: 1 (52 enodes) 1.710 * * [simplify]: Extracting #0: cost 1 inf + 0 1.710 * * [simplify]: Extracting #1: cost 9 inf + 0 1.710 * * [simplify]: Extracting #2: cost 19 inf + 2 1.710 * * [simplify]: Extracting #3: cost 16 inf + 412 1.710 * * [simplify]: Extracting #4: cost 2 inf + 2108 1.711 * * [simplify]: Extracting #5: cost 0 inf + 2259 1.711 * [simplify]: Simplified to (sinh c) 1.711 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.711 * * * * [progress]: [ 10 / 86 ] simplifiying candidate # 1.711 * [simplify]: Simplifying (* (sinh c) (sinh c)) 1.711 * * [simplify]: iters left: 3 (3 enodes) 1.712 * * [simplify]: iters left: 2 (15 enodes) 1.715 * * [simplify]: iters left: 1 (36 enodes) 1.724 * * [simplify]: Extracting #0: cost 1 inf + 0 1.724 * * [simplify]: Extracting #1: cost 8 inf + 0 1.724 * * [simplify]: Extracting #2: cost 22 inf + 1 1.724 * * [simplify]: Extracting #3: cost 30 inf + 2 1.725 * * [simplify]: Extracting #4: cost 18 inf + 1023 1.726 * * [simplify]: Extracting #5: cost 0 inf + 3808 1.727 * [simplify]: Simplified to (* (sinh c) (sinh c)) 1.727 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (* (sinh c) (sinh c)) (/ 1 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.727 * [simplify]: Simplifying (/ 1 2) 1.728 * * [simplify]: iters left: 2 (3 enodes) 1.731 * * [simplify]: iters left: 1 (12 enodes) 1.735 * * [simplify]: Extracting #0: cost 1 inf + 0 1.735 * * [simplify]: Extracting #1: cost 0 inf + 1 1.735 * [simplify]: Simplified to 1/2 1.735 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (* (sinh c) (sinh c)) 1/2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.736 * * * * [progress]: [ 11 / 86 ] simplifiying candidate # 1.736 * * * * [progress]: [ 12 / 86 ] simplifiying candidate # 1.736 * [simplify]: Simplifying (sqrt (sinh c)) 1.736 * * [simplify]: iters left: 2 (3 enodes) 1.737 * * [simplify]: iters left: 1 (15 enodes) 1.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1.743 * * [simplify]: Extracting #1: cost 3 inf + 0 1.743 * * [simplify]: Extracting #2: cost 9 inf + 0 1.743 * * [simplify]: Extracting #3: cost 11 inf + 2 1.743 * * [simplify]: Extracting #4: cost 12 inf + 185 1.744 * * [simplify]: Extracting #5: cost 5 inf + 824 1.744 * * [simplify]: Extracting #6: cost 0 inf + 1610 1.744 * [simplify]: Simplified to (sqrt (sinh c)) 1.744 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sqrt (sinh c)) (+ 1 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.745 * * * * [progress]: [ 13 / 86 ] simplifiying candidate # 1.745 * * * * [progress]: [ 14 / 86 ] simplifiying candidate # 1.745 * [simplify]: Simplifying (+ (log (sqrt (sinh c))) (log (sqrt (sinh c)))) 1.745 * * [simplify]: iters left: 5 (5 enodes) 1.747 * * [simplify]: iters left: 4 (21 enodes) 1.755 * * [simplify]: iters left: 3 (38 enodes) 1.769 * * [simplify]: iters left: 2 (56 enodes) 1.786 * * [simplify]: iters left: 1 (71 enodes) 1.807 * * [simplify]: Extracting #0: cost 1 inf + 0 1.807 * * [simplify]: Extracting #1: cost 3 inf + 0 1.807 * * [simplify]: Extracting #2: cost 5 inf + 0 1.807 * * [simplify]: Extracting #3: cost 7 inf + 0 1.808 * * [simplify]: Extracting #4: cost 14 inf + 0 1.808 * * [simplify]: Extracting #5: cost 24 inf + 2 1.808 * * [simplify]: Extracting #6: cost 22 inf + 245 1.809 * * [simplify]: Extracting #7: cost 6 inf + 2190 1.810 * * [simplify]: Extracting #8: cost 0 inf + 2924 1.810 * [simplify]: Simplified to (+ (log (sqrt (sinh c))) (log (sqrt (sinh c)))) 1.811 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (exp (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.811 * * * * [progress]: [ 15 / 86 ] simplifiying candidate # 1.811 * * * * [progress]: [ 16 / 86 ] simplifiying candidate # 1.811 * * * * [progress]: [ 17 / 86 ] simplifiying candidate # 1.811 * [simplify]: Simplifying (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) 1.812 * * [simplify]: iters left: 6 (6 enodes) 1.815 * * [simplify]: iters left: 5 (30 enodes) 1.827 * * [simplify]: iters left: 4 (76 enodes) 1.843 * * [simplify]: iters left: 3 (189 enodes) 1.928 * * [simplify]: Extracting #0: cost 1 inf + 0 1.928 * * [simplify]: Extracting #1: cost 32 inf + 0 1.929 * * [simplify]: Extracting #2: cost 103 inf + 5 1.930 * * [simplify]: Extracting #3: cost 136 inf + 2215 1.933 * * [simplify]: Extracting #4: cost 93 inf + 11722 1.943 * * [simplify]: Extracting #5: cost 14 inf + 32664 1.954 * * [simplify]: Extracting #6: cost 0 inf + 36251 1.966 * * [simplify]: Extracting #7: cost 0 inf + 36237 1.972 * [simplify]: Simplified to (* (sinh c) (* (sinh c) (sinh c))) 1.973 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* (sinh c) (* (sinh c) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.973 * * * * [progress]: [ 18 / 86 ] simplifiying candidate # 1.973 * * * * [progress]: [ 19 / 86 ] simplifiying candidate # 1.973 * * * * [progress]: [ 20 / 86 ] simplifiying candidate # 1.973 * [simplify]: Simplifying (* (sinh c) (sinh c)) 1.973 * * [simplify]: iters left: 3 (3 enodes) 1.974 * * [simplify]: iters left: 2 (15 enodes) 1.977 * * [simplify]: iters left: 1 (36 enodes) 1.988 * * [simplify]: Extracting #0: cost 1 inf + 0 1.988 * * [simplify]: Extracting #1: cost 8 inf + 0 1.988 * * [simplify]: Extracting #2: cost 22 inf + 1 1.988 * * [simplify]: Extracting #3: cost 30 inf + 2 1.988 * * [simplify]: Extracting #4: cost 18 inf + 1023 1.989 * * [simplify]: Extracting #5: cost 0 inf + 3808 1.990 * [simplify]: Simplified to (* (sinh c) (sinh c)) 1.991 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (sqrt (* (sinh c) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.991 * * * * [progress]: [ 21 / 86 ] simplifiying candidate # 1.991 * * * * [progress]: [ 22 / 86 ] simplifiying candidate # 1.991 * * * * [progress]: [ 23 / 86 ] simplifiying candidate # 1.991 * [simplify]: Simplifying (* (sqrt (- (exp c) (exp (- c)))) (sqrt (- (exp c) (exp (- c))))) 1.991 * * [simplify]: iters left: 6 (7 enodes) 1.994 * * [simplify]: iters left: 5 (23 enodes) 2.002 * * [simplify]: iters left: 4 (34 enodes) 2.014 * * [simplify]: iters left: 3 (38 enodes) 2.025 * * [simplify]: Extracting #0: cost 1 inf + 0 2.025 * * [simplify]: Extracting #1: cost 6 inf + 0 2.025 * * [simplify]: Extracting #2: cost 14 inf + 0 2.025 * * [simplify]: Extracting #3: cost 12 inf + 3 2.025 * * [simplify]: Extracting #4: cost 4 inf + 673 2.026 * * [simplify]: Extracting #5: cost 2 inf + 1017 2.026 * * [simplify]: Extracting #6: cost 0 inf + 1361 2.027 * [simplify]: Simplified to (+ (/ -1 (exp c)) (exp c)) 2.027 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) (* (sqrt 2) (sqrt 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.027 * [simplify]: Simplifying (* (sqrt 2) (sqrt 2)) 2.027 * * [simplify]: iters left: 3 (3 enodes) 2.029 * * [simplify]: iters left: 2 (7 enodes) 2.032 * * [simplify]: Extracting #0: cost 1 inf + 0 2.032 * * [simplify]: Extracting #1: cost 0 inf + 1 2.032 * [simplify]: Simplified to 2 2.032 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.032 * * * * [progress]: [ 24 / 86 ] simplifiying candidate # 2.032 * * * * [progress]: [ 25 / 86 ] simplifiying candidate # 2.032 * [simplify]: Simplifying (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) 2.032 * * [simplify]: iters left: 6 (6 enodes) 2.035 * * [simplify]: iters left: 5 (28 enodes) 2.039 * * [simplify]: iters left: 4 (49 enodes) 2.048 * * [simplify]: iters left: 3 (76 enodes) 2.061 * * [simplify]: iters left: 2 (109 enodes) 2.086 * * [simplify]: iters left: 1 (162 enodes) 2.124 * * [simplify]: Extracting #0: cost 1 inf + 0 2.124 * * [simplify]: Extracting #1: cost 14 inf + 0 2.124 * * [simplify]: Extracting #2: cost 41 inf + 1 2.125 * * [simplify]: Extracting #3: cost 45 inf + 7 2.125 * * [simplify]: Extracting #4: cost 53 inf + 66 2.125 * * [simplify]: Extracting #5: cost 46 inf + 893 2.126 * * [simplify]: Extracting #6: cost 14 inf + 10624 2.128 * * [simplify]: Extracting #7: cost 0 inf + 17994 2.129 * * [simplify]: Extracting #8: cost 0 inf + 17834 2.131 * [simplify]: Simplified to (* (sqrt (sinh c)) (cbrt (sqrt (sinh c)))) 2.131 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (* (sqrt (sinh c)) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.131 * [simplify]: Simplifying (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 2.131 * * [simplify]: iters left: 5 (5 enodes) 2.132 * * [simplify]: iters left: 4 (21 enodes) 2.136 * * [simplify]: iters left: 3 (38 enodes) 2.142 * * [simplify]: iters left: 2 (56 enodes) 2.151 * * [simplify]: iters left: 1 (71 enodes) 2.167 * * [simplify]: Extracting #0: cost 1 inf + 0 2.167 * * [simplify]: Extracting #1: cost 3 inf + 0 2.168 * * [simplify]: Extracting #2: cost 5 inf + 0 2.168 * * [simplify]: Extracting #3: cost 7 inf + 0 2.168 * * [simplify]: Extracting #4: cost 14 inf + 0 2.168 * * [simplify]: Extracting #5: cost 24 inf + 2 2.168 * * [simplify]: Extracting #6: cost 22 inf + 245 2.169 * * [simplify]: Extracting #7: cost 6 inf + 2220 2.170 * * [simplify]: Extracting #8: cost 0 inf + 2964 2.170 * [simplify]: Simplified to (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 2.171 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.171 * * * * [progress]: [ 26 / 86 ] simplifiying candidate # 2.171 * [simplify]: Simplifying (* (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) 2.171 * * [simplify]: iters left: 6 (6 enodes) 2.174 * * [simplify]: iters left: 5 (23 enodes) 2.182 * * [simplify]: iters left: 4 (41 enodes) 2.194 * * [simplify]: iters left: 3 (59 enodes) 2.212 * * [simplify]: iters left: 2 (74 enodes) 2.236 * * [simplify]: iters left: 1 (81 enodes) 2.252 * * [simplify]: Extracting #0: cost 1 inf + 0 2.252 * * [simplify]: Extracting #1: cost 4 inf + 0 2.252 * * [simplify]: Extracting #2: cost 7 inf + 0 2.252 * * [simplify]: Extracting #3: cost 14 inf + 0 2.252 * * [simplify]: Extracting #4: cost 24 inf + 2 2.252 * * [simplify]: Extracting #5: cost 16 inf + 941 2.252 * * [simplify]: Extracting #6: cost 3 inf + 2612 2.253 * * [simplify]: Extracting #7: cost 0 inf + 2964 2.253 * [simplify]: Simplified to (* (cbrt (sinh c)) (cbrt (sinh c))) 2.253 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (* (cbrt (sinh c)) (cbrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.254 * [simplify]: Simplifying (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c)))) 2.254 * * [simplify]: iters left: 5 (5 enodes) 2.255 * * [simplify]: iters left: 4 (19 enodes) 2.258 * * [simplify]: iters left: 3 (37 enodes) 2.264 * * [simplify]: iters left: 2 (55 enodes) 2.272 * * [simplify]: iters left: 1 (70 enodes) 2.285 * * [simplify]: Extracting #0: cost 1 inf + 0 2.285 * * [simplify]: Extracting #1: cost 4 inf + 0 2.285 * * [simplify]: Extracting #2: cost 12 inf + 0 2.285 * * [simplify]: Extracting #3: cost 22 inf + 2 2.285 * * [simplify]: Extracting #4: cost 20 inf + 245 2.286 * * [simplify]: Extracting #5: cost 8 inf + 1774 2.287 * * [simplify]: Extracting #6: cost 0 inf + 2612 2.288 * [simplify]: Simplified to (cbrt (sinh c)) 2.288 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.288 * * * * [progress]: [ 27 / 86 ] simplifiying candidate # 2.288 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.288 * * [simplify]: iters left: 5 (5 enodes) 2.290 * * [simplify]: iters left: 4 (19 enodes) 2.297 * * [simplify]: iters left: 3 (37 enodes) 2.310 * * [simplify]: iters left: 2 (55 enodes) 2.326 * * [simplify]: iters left: 1 (70 enodes) 2.349 * * [simplify]: Extracting #0: cost 1 inf + 0 2.349 * * [simplify]: Extracting #1: cost 4 inf + 0 2.349 * * [simplify]: Extracting #2: cost 12 inf + 0 2.350 * * [simplify]: Extracting #3: cost 22 inf + 2 2.350 * * [simplify]: Extracting #4: cost 20 inf + 245 2.350 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.351 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.352 * [simplify]: Simplified to (sqrt (sinh c)) 2.352 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.353 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.353 * * [simplify]: iters left: 5 (5 enodes) 2.355 * * [simplify]: iters left: 4 (19 enodes) 2.361 * * [simplify]: iters left: 3 (37 enodes) 2.373 * * [simplify]: iters left: 2 (55 enodes) 2.390 * * [simplify]: iters left: 1 (70 enodes) 2.401 * * [simplify]: Extracting #0: cost 1 inf + 0 2.401 * * [simplify]: Extracting #1: cost 4 inf + 0 2.401 * * [simplify]: Extracting #2: cost 12 inf + 0 2.401 * * [simplify]: Extracting #3: cost 22 inf + 2 2.401 * * [simplify]: Extracting #4: cost 20 inf + 245 2.402 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.402 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.402 * [simplify]: Simplified to (sqrt (sinh c)) 2.402 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.403 * * * * [progress]: [ 28 / 86 ] simplifiying candidate # 2.403 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.403 * * [simplify]: iters left: 5 (5 enodes) 2.404 * * [simplify]: iters left: 4 (19 enodes) 2.407 * * [simplify]: iters left: 3 (37 enodes) 2.413 * * [simplify]: iters left: 2 (55 enodes) 2.422 * * [simplify]: iters left: 1 (70 enodes) 2.442 * * [simplify]: Extracting #0: cost 1 inf + 0 2.442 * * [simplify]: Extracting #1: cost 4 inf + 0 2.442 * * [simplify]: Extracting #2: cost 12 inf + 0 2.443 * * [simplify]: Extracting #3: cost 22 inf + 2 2.443 * * [simplify]: Extracting #4: cost 20 inf + 245 2.443 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.444 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.445 * [simplify]: Simplified to (sqrt (sinh c)) 2.445 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.445 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.445 * * [simplify]: iters left: 5 (5 enodes) 2.448 * * [simplify]: iters left: 4 (19 enodes) 2.454 * * [simplify]: iters left: 3 (37 enodes) 2.466 * * [simplify]: iters left: 2 (55 enodes) 2.485 * * [simplify]: iters left: 1 (70 enodes) 2.506 * * [simplify]: Extracting #0: cost 1 inf + 0 2.506 * * [simplify]: Extracting #1: cost 4 inf + 0 2.506 * * [simplify]: Extracting #2: cost 12 inf + 0 2.506 * * [simplify]: Extracting #3: cost 22 inf + 2 2.506 * * [simplify]: Extracting #4: cost 20 inf + 245 2.507 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.508 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.509 * [simplify]: Simplified to (sqrt (sinh c)) 2.509 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.509 * * * * [progress]: [ 29 / 86 ] simplifiying candidate # 2.509 * [simplify]: Simplifying (* (sqrt 1) (sqrt 1)) 2.509 * * [simplify]: iters left: 3 (3 enodes) 2.512 * * [simplify]: iters left: 2 (9 enodes) 2.513 * * [simplify]: iters left: 1 (11 enodes) 2.515 * * [simplify]: Extracting #0: cost 1 inf + 0 2.515 * * [simplify]: Extracting #1: cost 0 inf + 1 2.515 * [simplify]: Simplified to 1 2.515 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* 1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.515 * [simplify]: Simplifying (* (sqrt (sinh c)) (sqrt (sinh c))) 2.515 * * [simplify]: iters left: 4 (4 enodes) 2.516 * * [simplify]: iters left: 3 (16 enodes) 2.519 * * [simplify]: iters left: 2 (34 enodes) 2.524 * * [simplify]: iters left: 1 (52 enodes) 2.532 * * [simplify]: Extracting #0: cost 1 inf + 0 2.533 * * [simplify]: Extracting #1: cost 9 inf + 0 2.533 * * [simplify]: Extracting #2: cost 19 inf + 2 2.533 * * [simplify]: Extracting #3: cost 16 inf + 412 2.533 * * [simplify]: Extracting #4: cost 2 inf + 2108 2.533 * * [simplify]: Extracting #5: cost 0 inf + 2259 2.534 * [simplify]: Simplified to (sinh c) 2.534 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* 1 (sinh c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.534 * * * * [progress]: [ 30 / 86 ] simplifiying candidate # 2.534 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.534 * * [simplify]: iters left: 5 (5 enodes) 2.535 * * [simplify]: iters left: 4 (19 enodes) 2.539 * * [simplify]: iters left: 3 (37 enodes) 2.551 * * [simplify]: iters left: 2 (55 enodes) 2.567 * * [simplify]: iters left: 1 (70 enodes) 2.577 * * [simplify]: Extracting #0: cost 1 inf + 0 2.577 * * [simplify]: Extracting #1: cost 4 inf + 0 2.577 * * [simplify]: Extracting #2: cost 12 inf + 0 2.578 * * [simplify]: Extracting #3: cost 22 inf + 2 2.578 * * [simplify]: Extracting #4: cost 20 inf + 245 2.578 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.578 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.579 * [simplify]: Simplified to (sqrt (sinh c)) 2.579 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.579 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.579 * * [simplify]: iters left: 5 (5 enodes) 2.580 * * [simplify]: iters left: 4 (19 enodes) 2.583 * * [simplify]: iters left: 3 (37 enodes) 2.591 * * [simplify]: iters left: 2 (55 enodes) 2.604 * * [simplify]: iters left: 1 (70 enodes) 2.624 * * [simplify]: Extracting #0: cost 1 inf + 0 2.624 * * [simplify]: Extracting #1: cost 4 inf + 0 2.624 * * [simplify]: Extracting #2: cost 12 inf + 0 2.624 * * [simplify]: Extracting #3: cost 22 inf + 2 2.625 * * [simplify]: Extracting #4: cost 20 inf + 245 2.625 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.626 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.627 * [simplify]: Simplified to (sqrt (sinh c)) 2.627 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.627 * * * * [progress]: [ 31 / 86 ] simplifiying candidate # 2.627 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.627 * * [simplify]: iters left: 5 (5 enodes) 2.630 * * [simplify]: iters left: 4 (19 enodes) 2.635 * * [simplify]: iters left: 3 (37 enodes) 2.641 * * [simplify]: iters left: 2 (55 enodes) 2.649 * * [simplify]: iters left: 1 (70 enodes) 2.660 * * [simplify]: Extracting #0: cost 1 inf + 0 2.660 * * [simplify]: Extracting #1: cost 4 inf + 0 2.660 * * [simplify]: Extracting #2: cost 12 inf + 0 2.660 * * [simplify]: Extracting #3: cost 22 inf + 2 2.660 * * [simplify]: Extracting #4: cost 20 inf + 245 2.660 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.661 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.661 * [simplify]: Simplified to (sqrt (sinh c)) 2.661 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.661 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.661 * * [simplify]: iters left: 5 (5 enodes) 2.663 * * [simplify]: iters left: 4 (19 enodes) 2.666 * * [simplify]: iters left: 3 (37 enodes) 2.671 * * [simplify]: iters left: 2 (55 enodes) 2.680 * * [simplify]: iters left: 1 (70 enodes) 2.695 * * [simplify]: Extracting #0: cost 1 inf + 0 2.696 * * [simplify]: Extracting #1: cost 4 inf + 0 2.696 * * [simplify]: Extracting #2: cost 12 inf + 0 2.696 * * [simplify]: Extracting #3: cost 22 inf + 2 2.696 * * [simplify]: Extracting #4: cost 20 inf + 245 2.696 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.697 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.698 * [simplify]: Simplified to (sqrt (sinh c)) 2.698 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.698 * * * * [progress]: [ 32 / 86 ] simplifiying candidate # 2.699 * [simplify]: Simplifying (* 1 1) 2.699 * * [simplify]: iters left: 2 (2 enodes) 2.700 * * [simplify]: iters left: 1 (6 enodes) 2.702 * * [simplify]: Extracting #0: cost 1 inf + 0 2.702 * * [simplify]: Extracting #1: cost 0 inf + 1 2.702 * [simplify]: Simplified to 1 2.702 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* 1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.703 * [simplify]: Simplifying (* (sqrt (sinh c)) (sqrt (sinh c))) 2.703 * * [simplify]: iters left: 4 (4 enodes) 2.705 * * [simplify]: iters left: 3 (16 enodes) 2.710 * * [simplify]: iters left: 2 (34 enodes) 2.721 * * [simplify]: iters left: 1 (52 enodes) 2.738 * * [simplify]: Extracting #0: cost 1 inf + 0 2.738 * * [simplify]: Extracting #1: cost 9 inf + 0 2.738 * * [simplify]: Extracting #2: cost 19 inf + 2 2.738 * * [simplify]: Extracting #3: cost 16 inf + 412 2.739 * * [simplify]: Extracting #4: cost 2 inf + 2108 2.740 * * [simplify]: Extracting #5: cost 0 inf + 2259 2.740 * [simplify]: Simplified to (sinh c) 2.740 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* 1 (sinh c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.741 * * * * [progress]: [ 33 / 86 ] simplifiying candidate # 2.741 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.741 * * [simplify]: iters left: 5 (5 enodes) 2.743 * * [simplify]: iters left: 4 (19 enodes) 2.750 * * [simplify]: iters left: 3 (37 enodes) 2.762 * * [simplify]: iters left: 2 (55 enodes) 2.775 * * [simplify]: iters left: 1 (70 enodes) 2.785 * * [simplify]: Extracting #0: cost 1 inf + 0 2.785 * * [simplify]: Extracting #1: cost 4 inf + 0 2.785 * * [simplify]: Extracting #2: cost 12 inf + 0 2.785 * * [simplify]: Extracting #3: cost 22 inf + 2 2.785 * * [simplify]: Extracting #4: cost 20 inf + 245 2.786 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.786 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.786 * [simplify]: Simplified to (sqrt (sinh c)) 2.786 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.787 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.787 * * [simplify]: iters left: 5 (5 enodes) 2.788 * * [simplify]: iters left: 4 (19 enodes) 2.791 * * [simplify]: iters left: 3 (37 enodes) 2.796 * * [simplify]: iters left: 2 (55 enodes) 2.809 * * [simplify]: iters left: 1 (70 enodes) 2.829 * * [simplify]: Extracting #0: cost 1 inf + 0 2.829 * * [simplify]: Extracting #1: cost 4 inf + 0 2.830 * * [simplify]: Extracting #2: cost 12 inf + 0 2.830 * * [simplify]: Extracting #3: cost 22 inf + 2 2.830 * * [simplify]: Extracting #4: cost 20 inf + 245 2.830 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.831 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.832 * [simplify]: Simplified to (sqrt (sinh c)) 2.832 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.832 * * * * [progress]: [ 34 / 86 ] simplifiying candidate # 2.833 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.833 * * [simplify]: iters left: 5 (5 enodes) 2.835 * * [simplify]: iters left: 4 (19 enodes) 2.842 * * [simplify]: iters left: 3 (37 enodes) 2.854 * * [simplify]: iters left: 2 (55 enodes) 2.870 * * [simplify]: iters left: 1 (70 enodes) 2.890 * * [simplify]: Extracting #0: cost 1 inf + 0 2.890 * * [simplify]: Extracting #1: cost 4 inf + 0 2.890 * * [simplify]: Extracting #2: cost 12 inf + 0 2.890 * * [simplify]: Extracting #3: cost 22 inf + 2 2.890 * * [simplify]: Extracting #4: cost 20 inf + 245 2.891 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.892 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.893 * [simplify]: Simplified to (sqrt (sinh c)) 2.893 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.893 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.893 * * [simplify]: iters left: 5 (5 enodes) 2.895 * * [simplify]: iters left: 4 (19 enodes) 2.902 * * [simplify]: iters left: 3 (37 enodes) 2.913 * * [simplify]: iters left: 2 (55 enodes) 2.930 * * [simplify]: iters left: 1 (70 enodes) 2.947 * * [simplify]: Extracting #0: cost 1 inf + 0 2.947 * * [simplify]: Extracting #1: cost 4 inf + 0 2.947 * * [simplify]: Extracting #2: cost 12 inf + 0 2.947 * * [simplify]: Extracting #3: cost 22 inf + 2 2.948 * * [simplify]: Extracting #4: cost 20 inf + 245 2.948 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.948 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.949 * [simplify]: Simplified to (sqrt (sinh c)) 2.949 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.949 * * * * [progress]: [ 35 / 86 ] simplifiying candidate # 2.950 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.950 * * [simplify]: iters left: 5 (5 enodes) 2.952 * * [simplify]: iters left: 4 (19 enodes) 2.955 * * [simplify]: iters left: 3 (37 enodes) 2.961 * * [simplify]: iters left: 2 (55 enodes) 2.970 * * [simplify]: iters left: 1 (70 enodes) 2.990 * * [simplify]: Extracting #0: cost 1 inf + 0 2.990 * * [simplify]: Extracting #1: cost 4 inf + 0 2.990 * * [simplify]: Extracting #2: cost 12 inf + 0 2.990 * * [simplify]: Extracting #3: cost 22 inf + 2 2.991 * * [simplify]: Extracting #4: cost 20 inf + 245 2.991 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.992 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.993 * [simplify]: Simplified to (sqrt (sinh c)) 2.993 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.993 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.994 * * [simplify]: iters left: 5 (5 enodes) 2.996 * * [simplify]: iters left: 4 (19 enodes) 3.000 * * [simplify]: iters left: 3 (37 enodes) 3.006 * * [simplify]: iters left: 2 (55 enodes) 3.014 * * [simplify]: iters left: 1 (70 enodes) 3.024 * * [simplify]: Extracting #0: cost 1 inf + 0 3.024 * * [simplify]: Extracting #1: cost 4 inf + 0 3.024 * * [simplify]: Extracting #2: cost 12 inf + 0 3.024 * * [simplify]: Extracting #3: cost 22 inf + 2 3.024 * * [simplify]: Extracting #4: cost 20 inf + 245 3.025 * * [simplify]: Extracting #5: cost 8 inf + 1734 3.025 * * [simplify]: Extracting #6: cost 0 inf + 2452 3.026 * [simplify]: Simplified to (sqrt (sinh c)) 3.026 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.026 * * * * [progress]: [ 36 / 86 ] simplifiying candidate # 3.026 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 3.026 * * [simplify]: iters left: 5 (5 enodes) 3.027 * * [simplify]: iters left: 4 (19 enodes) 3.030 * * [simplify]: iters left: 3 (37 enodes) 3.037 * * [simplify]: iters left: 2 (55 enodes) 3.056 * * [simplify]: iters left: 1 (70 enodes) 3.069 * * [simplify]: Extracting #0: cost 1 inf + 0 3.069 * * [simplify]: Extracting #1: cost 4 inf + 0 3.069 * * [simplify]: Extracting #2: cost 12 inf + 0 3.069 * * [simplify]: Extracting #3: cost 22 inf + 2 3.069 * * [simplify]: Extracting #4: cost 20 inf + 245 3.070 * * [simplify]: Extracting #5: cost 8 inf + 1734 3.070 * * [simplify]: Extracting #6: cost 0 inf + 2452 3.070 * [simplify]: Simplified to (sqrt (sinh c)) 3.070 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.071 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 3.071 * * [simplify]: iters left: 5 (5 enodes) 3.072 * * [simplify]: iters left: 4 (19 enodes) 3.075 * * [simplify]: iters left: 3 (37 enodes) 3.081 * * [simplify]: iters left: 2 (55 enodes) 3.089 * * [simplify]: iters left: 1 (70 enodes) 3.102 * * [simplify]: Extracting #0: cost 1 inf + 0 3.103 * * [simplify]: Extracting #1: cost 4 inf + 0 3.103 * * [simplify]: Extracting #2: cost 12 inf + 0 3.103 * * [simplify]: Extracting #3: cost 22 inf + 2 3.103 * * [simplify]: Extracting #4: cost 20 inf + 245 3.104 * * [simplify]: Extracting #5: cost 8 inf + 1734 3.104 * * [simplify]: Extracting #6: cost 0 inf + 2452 3.105 * [simplify]: Simplified to (sqrt (sinh c)) 3.105 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.105 * * * * [progress]: [ 37 / 86 ] simplifiying candidate # 3.106 * [simplify]: Simplifying (sinh c) 3.106 * * [simplify]: iters left: 1 (2 enodes) 3.107 * * [simplify]: Extracting #0: cost 1 inf + 0 3.107 * * [simplify]: Extracting #1: cost 5 inf + 0 3.107 * * [simplify]: Extracting #2: cost 5 inf + 2 3.107 * * [simplify]: Extracting #3: cost 3 inf + 185 3.107 * * [simplify]: Extracting #4: cost 0 inf + 558 3.107 * [simplify]: Simplified to (sinh c) 3.107 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (* 2 1/2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.108 * [simplify]: Simplifying (* 2 1/2) 3.108 * * [simplify]: iters left: 2 (3 enodes) 3.111 * * [simplify]: iters left: 1 (11 enodes) 3.115 * * [simplify]: Extracting #0: cost 1 inf + 0 3.115 * * [simplify]: Extracting #1: cost 0 inf + 1 3.115 * [simplify]: Simplified to 1 3.115 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.115 * * * * [progress]: [ 38 / 86 ] simplifiying candidate # 3.115 * [simplify]: Simplifying (sqrt (sinh c)) 3.115 * * [simplify]: iters left: 2 (3 enodes) 3.117 * * [simplify]: iters left: 1 (15 enodes) 3.122 * * [simplify]: Extracting #0: cost 1 inf + 0 3.122 * * [simplify]: Extracting #1: cost 3 inf + 0 3.122 * * [simplify]: Extracting #2: cost 9 inf + 0 3.122 * * [simplify]: Extracting #3: cost 11 inf + 2 3.122 * * [simplify]: Extracting #4: cost 12 inf + 185 3.123 * * [simplify]: Extracting #5: cost 5 inf + 824 3.123 * * [simplify]: Extracting #6: cost 0 inf + 1610 3.123 * [simplify]: Simplified to (sqrt (sinh c)) 3.123 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sqrt (sinh c)) (* 2 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.124 * [simplify]: Simplifying (* 2 1) 3.124 * * [simplify]: iters left: 2 (3 enodes) 3.126 * * [simplify]: iters left: 1 (9 enodes) 3.129 * * [simplify]: Extracting #0: cost 1 inf + 0 3.130 * * [simplify]: Extracting #1: cost 0 inf + 1 3.130 * [simplify]: Simplified to 2 3.130 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sqrt (sinh c)) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.130 * * * * [progress]: [ 39 / 86 ] simplifiying candidate # 3.130 * [simplify]: Simplifying (sinh c) 3.130 * * [simplify]: iters left: 1 (2 enodes) 3.131 * * [simplify]: Extracting #0: cost 1 inf + 0 3.131 * * [simplify]: Extracting #1: cost 5 inf + 0 3.131 * * [simplify]: Extracting #2: cost 5 inf + 2 3.131 * * [simplify]: Extracting #3: cost 3 inf + 185 3.131 * * [simplify]: Extracting #4: cost 0 inf + 558 3.132 * [simplify]: Simplified to (sinh c) 3.132 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (* 2 (/ 1 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.132 * [simplify]: Simplifying (* 2 (/ 1 2)) 3.132 * * [simplify]: iters left: 4 (4 enodes) 3.136 * * [simplify]: iters left: 3 (13 enodes) 3.140 * * [simplify]: iters left: 2 (15 enodes) 3.144 * * [simplify]: Extracting #0: cost 1 inf + 0 3.145 * * [simplify]: Extracting #1: cost 0 inf + 1 3.145 * [simplify]: Simplified to 1 3.145 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.145 * * * * [progress]: [ 40 / 86 ] simplifiying candidate # 3.145 * [simplify]: Simplifying (cbrt (sqrt (sinh c))) 3.145 * * [simplify]: iters left: 3 (4 enodes) 3.146 * * [simplify]: iters left: 2 (18 enodes) 3.149 * * [simplify]: iters left: 1 (35 enodes) 3.155 * * [simplify]: Extracting #0: cost 1 inf + 0 3.155 * * [simplify]: Extracting #1: cost 3 inf + 0 3.155 * * [simplify]: Extracting #2: cost 5 inf + 0 3.155 * * [simplify]: Extracting #3: cost 12 inf + 0 3.155 * * [simplify]: Extracting #4: cost 18 inf + 2 3.155 * * [simplify]: Extracting #5: cost 18 inf + 354 3.156 * * [simplify]: Extracting #6: cost 4 inf + 1989 3.156 * * [simplify]: Extracting #7: cost 0 inf + 2467 3.156 * * [simplify]: Extracting #8: cost 0 inf + 2466 3.157 * [simplify]: Simplified to (cbrt (sqrt (sinh c))) 3.157 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (cbrt (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.157 * * * * [progress]: [ 41 / 86 ] simplifiying candidate # 3.157 * [simplify]: Simplifying (sqrt (cbrt (sinh c))) 3.157 * * [simplify]: iters left: 3 (4 enodes) 3.159 * * [simplify]: iters left: 2 (18 enodes) 3.163 * * [simplify]: iters left: 1 (35 enodes) 3.168 * * [simplify]: Extracting #0: cost 1 inf + 0 3.168 * * [simplify]: Extracting #1: cost 3 inf + 0 3.168 * * [simplify]: Extracting #2: cost 5 inf + 0 3.168 * * [simplify]: Extracting #3: cost 12 inf + 0 3.168 * * [simplify]: Extracting #4: cost 18 inf + 2 3.169 * * [simplify]: Extracting #5: cost 18 inf + 354 3.169 * * [simplify]: Extracting #6: cost 4 inf + 2069 3.169 * * [simplify]: Extracting #7: cost 0 inf + 2547 3.170 * * [simplify]: Extracting #8: cost 0 inf + 2546 3.170 * [simplify]: Simplified to (sqrt (cbrt (sinh c))) 3.170 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) (sqrt (cbrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.170 * * * * [progress]: [ 42 / 86 ] simplifiying candidate # 3.170 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 3.170 * * [simplify]: iters left: 3 (4 enodes) 3.171 * * [simplify]: iters left: 2 (18 enodes) 3.174 * * [simplify]: iters left: 1 (35 enodes) 3.180 * * [simplify]: Extracting #0: cost 1 inf + 0 3.180 * * [simplify]: Extracting #1: cost 3 inf + 0 3.180 * * [simplify]: Extracting #2: cost 5 inf + 0 3.180 * * [simplify]: Extracting #3: cost 12 inf + 0 3.180 * * [simplify]: Extracting #4: cost 18 inf + 2 3.180 * * [simplify]: Extracting #5: cost 18 inf + 354 3.180 * * [simplify]: Extracting #6: cost 4 inf + 1949 3.181 * * [simplify]: Extracting #7: cost 0 inf + 2387 3.181 * * [simplify]: Extracting #8: cost 0 inf + 2386 3.181 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 3.181 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (sqrt (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.181 * * * * [progress]: [ 43 / 86 ] simplifiying candidate # 3.182 * [simplify]: Simplifying (sqrt (sinh c)) 3.182 * * [simplify]: iters left: 2 (3 enodes) 3.183 * * [simplify]: iters left: 1 (15 enodes) 3.185 * * [simplify]: Extracting #0: cost 1 inf + 0 3.185 * * [simplify]: Extracting #1: cost 3 inf + 0 3.185 * * [simplify]: Extracting #2: cost 9 inf + 0 3.185 * * [simplify]: Extracting #3: cost 11 inf + 2 3.185 * * [simplify]: Extracting #4: cost 12 inf + 185 3.185 * * [simplify]: Extracting #5: cost 5 inf + 824 3.186 * * [simplify]: Extracting #6: cost 0 inf + 1610 3.186 * [simplify]: Simplified to (sqrt (sinh c)) 3.186 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) (sqrt 1)) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.186 * * * * [progress]: [ 44 / 86 ] simplifiying candidate # 3.186 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 3.186 * * [simplify]: iters left: 3 (4 enodes) 3.187 * * [simplify]: iters left: 2 (18 enodes) 3.190 * * [simplify]: iters left: 1 (35 enodes) 3.196 * * [simplify]: Extracting #0: cost 1 inf + 0 3.196 * * [simplify]: Extracting #1: cost 3 inf + 0 3.196 * * [simplify]: Extracting #2: cost 5 inf + 0 3.196 * * [simplify]: Extracting #3: cost 12 inf + 0 3.196 * * [simplify]: Extracting #4: cost 18 inf + 2 3.196 * * [simplify]: Extracting #5: cost 18 inf + 354 3.196 * * [simplify]: Extracting #6: cost 4 inf + 1949 3.197 * * [simplify]: Extracting #7: cost 0 inf + 2387 3.197 * * [simplify]: Extracting #8: cost 0 inf + 2386 3.197 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 3.197 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (sqrt (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.197 * * * * [progress]: [ 45 / 86 ] simplifiying candidate # 3.198 * [simplify]: Simplifying (sqrt (sinh c)) 3.198 * * [simplify]: iters left: 2 (3 enodes) 3.198 * * [simplify]: iters left: 1 (15 enodes) 3.201 * * [simplify]: Extracting #0: cost 1 inf + 0 3.201 * * [simplify]: Extracting #1: cost 3 inf + 0 3.201 * * [simplify]: Extracting #2: cost 9 inf + 0 3.201 * * [simplify]: Extracting #3: cost 11 inf + 2 3.201 * * [simplify]: Extracting #4: cost 12 inf + 185 3.201 * * [simplify]: Extracting #5: cost 5 inf + 824 3.201 * * [simplify]: Extracting #6: cost 0 inf + 1610 3.202 * [simplify]: Simplified to (sqrt (sinh c)) 3.202 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) 1) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.202 * * * * [progress]: [ 46 / 86 ] simplifiying candidate # 3.202 * [simplify]: Simplifying (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 3.202 * * [simplify]: iters left: 5 (5 enodes) 3.203 * * [simplify]: iters left: 4 (21 enodes) 3.207 * * [simplify]: iters left: 3 (38 enodes) 3.213 * * [simplify]: iters left: 2 (56 enodes) 3.221 * * [simplify]: iters left: 1 (71 enodes) 3.231 * * [simplify]: Extracting #0: cost 1 inf + 0 3.232 * * [simplify]: Extracting #1: cost 3 inf + 0 3.232 * * [simplify]: Extracting #2: cost 5 inf + 0 3.232 * * [simplify]: Extracting #3: cost 7 inf + 0 3.232 * * [simplify]: Extracting #4: cost 14 inf + 0 3.232 * * [simplify]: Extracting #5: cost 24 inf + 2 3.232 * * [simplify]: Extracting #6: cost 22 inf + 245 3.232 * * [simplify]: Extracting #7: cost 6 inf + 2220 3.233 * * [simplify]: Extracting #8: cost 0 inf + 2964 3.233 * [simplify]: Simplified to (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 3.233 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.233 * * * * [progress]: [ 47 / 86 ] simplifiying candidate # 3.233 * [simplify]: Simplifying (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) 3.233 * * [simplify]: iters left: 5 (5 enodes) 3.234 * * [simplify]: iters left: 4 (22 enodes) 3.239 * * [simplify]: iters left: 3 (39 enodes) 3.245 * * [simplify]: iters left: 2 (57 enodes) 3.254 * * [simplify]: iters left: 1 (72 enodes) 3.264 * * [simplify]: Extracting #0: cost 1 inf + 0 3.264 * * [simplify]: Extracting #1: cost 4 inf + 0 3.264 * * [simplify]: Extracting #2: cost 7 inf + 0 3.265 * * [simplify]: Extracting #3: cost 14 inf + 0 3.265 * * [simplify]: Extracting #4: cost 24 inf + 2 3.265 * * [simplify]: Extracting #5: cost 21 inf + 357 3.265 * * [simplify]: Extracting #6: cost 4 inf + 2483 3.265 * * [simplify]: Extracting #7: cost 0 inf + 2964 3.266 * [simplify]: Simplified to (fabs (cbrt (sinh c))) 3.266 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (fabs (cbrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.266 * * * * [progress]: [ 48 / 86 ] simplifiying candidate # 3.266 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 3.266 * * [simplify]: iters left: 3 (4 enodes) 3.267 * * [simplify]: iters left: 2 (18 enodes) 3.270 * * [simplify]: iters left: 1 (35 enodes) 3.276 * * [simplify]: Extracting #0: cost 1 inf + 0 3.276 * * [simplify]: Extracting #1: cost 3 inf + 0 3.276 * * [simplify]: Extracting #2: cost 5 inf + 0 3.276 * * [simplify]: Extracting #3: cost 12 inf + 0 3.276 * * [simplify]: Extracting #4: cost 18 inf + 2 3.276 * * [simplify]: Extracting #5: cost 18 inf + 354 3.276 * * [simplify]: Extracting #6: cost 4 inf + 1949 3.277 * * [simplify]: Extracting #7: cost 0 inf + 2387 3.277 * * [simplify]: Extracting #8: cost 0 inf + 2386 3.277 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 3.277 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.277 * * * * [progress]: [ 49 / 86 ] simplifiying candidate # 3.278 * [simplify]: Simplifying (sqrt 1) 3.278 * * [simplify]: iters left: 1 (2 enodes) 3.279 * * [simplify]: Extracting #0: cost 1 inf + 0 3.279 * * [simplify]: Extracting #1: cost 0 inf + 1 3.279 * [simplify]: Simplified to 1 3.280 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* 1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.280 * * * * [progress]: [ 50 / 86 ] simplifiying candidate # 3.280 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 3.280 * * [simplify]: iters left: 3 (4 enodes) 3.281 * * [simplify]: iters left: 2 (18 enodes) 3.284 * * [simplify]: iters left: 1 (35 enodes) 3.289 * * [simplify]: Extracting #0: cost 1 inf + 0 3.289 * * [simplify]: Extracting #1: cost 3 inf + 0 3.289 * * [simplify]: Extracting #2: cost 5 inf + 0 3.289 * * [simplify]: Extracting #3: cost 12 inf + 0 3.289 * * [simplify]: Extracting #4: cost 18 inf + 2 3.289 * * [simplify]: Extracting #5: cost 18 inf + 354 3.290 * * [simplify]: Extracting #6: cost 4 inf + 1949 3.290 * * [simplify]: Extracting #7: cost 0 inf + 2387 3.290 * * [simplify]: Extracting #8: cost 0 inf + 2386 3.291 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 3.291 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.291 * * * * [progress]: [ 51 / 86 ] simplifiying candidate # 3.291 * * * * [progress]: [ 52 / 86 ] simplifiying candidate # 3.291 * [simplify]: Simplifying (sqrt 2) 3.291 * * [simplify]: iters left: 1 (2 enodes) 3.292 * * [simplify]: Extracting #0: cost 1 inf + 0 3.292 * * [simplify]: Extracting #1: cost 3 inf + 0 3.292 * * [simplify]: Extracting #2: cost 2 inf + 1 3.292 * * [simplify]: Extracting #3: cost 0 inf + 83 3.292 * [simplify]: Simplified to (sqrt 2) 3.292 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (/ (* (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c))))) (sqrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.292 * * * * [progress]: [ 53 / 86 ] simplifiying candidate # 3.293 * [simplify]: Simplifying (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c))) 3.293 * * [simplify]: iters left: 6 (9 enodes) 3.295 * * [simplify]: iters left: 5 (34 enodes) 3.300 * * [simplify]: iters left: 4 (49 enodes) 3.312 * * [simplify]: iters left: 3 (61 enodes) 3.332 * * [simplify]: iters left: 2 (72 enodes) 3.344 * * [simplify]: iters left: 1 (79 enodes) 3.354 * * [simplify]: Extracting #0: cost 1 inf + 0 3.354 * * [simplify]: Extracting #1: cost 4 inf + 0 3.354 * * [simplify]: Extracting #2: cost 8 inf + 0 3.354 * * [simplify]: Extracting #3: cost 18 inf + 0 3.354 * * [simplify]: Extracting #4: cost 28 inf + 2 3.354 * * [simplify]: Extracting #5: cost 17 inf + 893 3.355 * * [simplify]: Extracting #6: cost 3 inf + 2492 3.355 * * [simplify]: Extracting #7: cost 0 inf + 3218 3.356 * [simplify]: Simplified to (* (sqrt (sinh c)) (sqrt (+ (/ -1 (exp c)) (exp c)))) 3.356 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (* (sqrt (sinh c)) (sqrt (+ (/ -1 (exp c)) (exp c)))) (sqrt 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.356 * * * * [progress]: [ 54 / 86 ] simplifiying candidate #real (real->posit16 (* (sqrt (sinh c)) (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 3.356 * * * * [progress]: [ 55 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 56 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 57 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 58 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 59 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 60 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 61 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 62 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 63 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 64 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 65 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 66 / 86 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 3.356 * * * * [progress]: [ 67 / 86 ] simplifiying candidate # 3.356 * * * * [progress]: [ 68 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 69 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 70 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 71 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 72 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 73 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 74 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 75 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 76 / 86 ] simplifiying candidate # 3.357 * * * * [progress]: [ 77 / 86 ] simplifiying candidate #real (real->posit16 (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 3.357 * * * * [progress]: [ 78 / 86 ] simplifiying candidate # 3.357 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3.357 * * [simplify]: iters left: 6 (11 enodes) 3.361 * * [simplify]: iters left: 5 (53 enodes) 3.375 * * [simplify]: iters left: 4 (109 enodes) 3.415 * * [simplify]: iters left: 3 (233 enodes) 3.475 * * [simplify]: iters left: 2 (401 enodes) 3.623 * * [simplify]: Extracting #0: cost 1 inf + 0 3.624 * * [simplify]: Extracting #1: cost 19 inf + 0 3.624 * * [simplify]: Extracting #2: cost 80 inf + 44 3.625 * * [simplify]: Extracting #3: cost 137 inf + 1669 3.626 * * [simplify]: Extracting #4: cost 112 inf + 7111 3.629 * * [simplify]: Extracting #5: cost 60 inf + 27882 3.637 * * [simplify]: Extracting #6: cost 4 inf + 55832 3.642 * * [simplify]: Extracting #7: cost 0 inf + 58188 3.649 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) 3.649 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.649 * * * * [progress]: [ 79 / 86 ] simplifiying candidate # 3.650 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 3.650 * * [simplify]: iters left: 6 (7 enodes) 3.654 * * [simplify]: iters left: 5 (26 enodes) 3.664 * * [simplify]: iters left: 4 (42 enodes) 3.672 * * [simplify]: iters left: 3 (62 enodes) 3.683 * * [simplify]: iters left: 2 (82 enodes) 3.693 * * [simplify]: iters left: 1 (86 enodes) 3.703 * * [simplify]: Extracting #0: cost 1 inf + 0 3.703 * * [simplify]: Extracting #1: cost 11 inf + 0 3.703 * * [simplify]: Extracting #2: cost 20 inf + 2 3.703 * * [simplify]: Extracting #3: cost 17 inf + 46 3.704 * * [simplify]: Extracting #4: cost 5 inf + 1453 3.705 * * [simplify]: Extracting #5: cost 1 inf + 1819 3.705 * * [simplify]: Extracting #6: cost 0 inf + 1987 3.706 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 3.706 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.707 * * * * [progress]: [ 80 / 86 ] simplifiying candidate # 3.707 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 3.707 * * [simplify]: iters left: 6 (8 enodes) 3.712 * * [simplify]: iters left: 5 (31 enodes) 3.718 * * [simplify]: iters left: 4 (49 enodes) 3.727 * * [simplify]: iters left: 3 (85 enodes) 3.745 * * [simplify]: iters left: 2 (151 enodes) 3.778 * * [simplify]: iters left: 1 (304 enodes) 3.888 * * [simplify]: Extracting #0: cost 1 inf + 0 3.888 * * [simplify]: Extracting #1: cost 15 inf + 0 3.888 * * [simplify]: Extracting #2: cost 135 inf + 2 3.889 * * [simplify]: Extracting #3: cost 204 inf + 2517 3.891 * * [simplify]: Extracting #4: cost 151 inf + 20916 3.897 * * [simplify]: Extracting #5: cost 64 inf + 60923 3.908 * * [simplify]: Extracting #6: cost 2 inf + 103278 3.934 * * [simplify]: Extracting #7: cost 0 inf + 102022 3.956 * * [simplify]: Extracting #8: cost 0 inf + 101942 3.979 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c))) 3.979 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (exp c) 1/2 (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.979 * * * * [progress]: [ 81 / 86 ] simplifiying candidate # 3.979 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3.979 * * [simplify]: iters left: 6 (11 enodes) 3.987 * * [simplify]: iters left: 5 (53 enodes) 4.010 * * [simplify]: iters left: 4 (109 enodes) 4.046 * * [simplify]: iters left: 3 (233 enodes) 4.093 * * [simplify]: iters left: 2 (401 enodes) 4.216 * * [simplify]: Extracting #0: cost 1 inf + 0 4.216 * * [simplify]: Extracting #1: cost 19 inf + 0 4.217 * * [simplify]: Extracting #2: cost 80 inf + 44 4.217 * * [simplify]: Extracting #3: cost 137 inf + 1669 4.219 * * [simplify]: Extracting #4: cost 112 inf + 7111 4.222 * * [simplify]: Extracting #5: cost 60 inf + 27882 4.230 * * [simplify]: Extracting #6: cost 4 inf + 55832 4.236 * * [simplify]: Extracting #7: cost 0 inf + 58188 4.242 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) 4.242 * [simplify]: Simplified (2 1 2 1) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.242 * * * * [progress]: [ 82 / 86 ] simplifiying candidate # 4.242 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 4.242 * * [simplify]: iters left: 6 (7 enodes) 4.244 * * [simplify]: iters left: 5 (26 enodes) 4.248 * * [simplify]: iters left: 4 (42 enodes) 4.256 * * [simplify]: iters left: 3 (62 enodes) 4.276 * * [simplify]: iters left: 2 (82 enodes) 4.296 * * [simplify]: iters left: 1 (86 enodes) 4.313 * * [simplify]: Extracting #0: cost 1 inf + 0 4.313 * * [simplify]: Extracting #1: cost 11 inf + 0 4.314 * * [simplify]: Extracting #2: cost 20 inf + 2 4.314 * * [simplify]: Extracting #3: cost 17 inf + 46 4.314 * * [simplify]: Extracting #4: cost 5 inf + 1453 4.315 * * [simplify]: Extracting #5: cost 1 inf + 1819 4.316 * * [simplify]: Extracting #6: cost 0 inf + 1987 4.317 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 4.317 * [simplify]: Simplified (2 1 2 1) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.317 * * * * [progress]: [ 83 / 86 ] simplifiying candidate # 4.317 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 4.317 * * [simplify]: iters left: 6 (8 enodes) 4.322 * * [simplify]: iters left: 5 (31 enodes) 4.332 * * [simplify]: iters left: 4 (49 enodes) 4.352 * * [simplify]: iters left: 3 (85 enodes) 4.382 * * [simplify]: iters left: 2 (151 enodes) 4.437 * * [simplify]: iters left: 1 (304 enodes) 4.527 * * [simplify]: Extracting #0: cost 1 inf + 0 4.527 * * [simplify]: Extracting #1: cost 15 inf + 0 4.527 * * [simplify]: Extracting #2: cost 135 inf + 2 4.528 * * [simplify]: Extracting #3: cost 204 inf + 2517 4.530 * * [simplify]: Extracting #4: cost 151 inf + 20916 4.538 * * [simplify]: Extracting #5: cost 64 inf + 60923 4.565 * * [simplify]: Extracting #6: cost 2 inf + 103278 4.578 * * [simplify]: Extracting #7: cost 0 inf + 102022 4.589 * * [simplify]: Extracting #8: cost 0 inf + 101942 4.601 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c))) 4.601 * [simplify]: Simplified (2 1 2 1) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (fma (exp c) 1/2 (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.601 * * * * [progress]: [ 84 / 86 ] simplifiying candidate # 4.601 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 4.601 * * [simplify]: iters left: 6 (11 enodes) 4.606 * * [simplify]: iters left: 5 (53 enodes) 4.618 * * [simplify]: iters left: 4 (109 enodes) 4.670 * * [simplify]: iters left: 3 (233 enodes) 4.722 * * [simplify]: iters left: 2 (401 enodes) 4.841 * * [simplify]: Extracting #0: cost 1 inf + 0 4.841 * * [simplify]: Extracting #1: cost 19 inf + 0 4.842 * * [simplify]: Extracting #2: cost 80 inf + 44 4.843 * * [simplify]: Extracting #3: cost 137 inf + 1669 4.847 * * [simplify]: Extracting #4: cost 112 inf + 7111 4.849 * * [simplify]: Extracting #5: cost 60 inf + 27882 4.854 * * [simplify]: Extracting #6: cost 4 inf + 55832 4.859 * * [simplify]: Extracting #7: cost 0 inf + 58188 4.865 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) 4.865 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (* (sqrt (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.865 * * * * [progress]: [ 85 / 86 ] simplifiying candidate # 4.865 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 4.865 * * [simplify]: iters left: 6 (7 enodes) 4.867 * * [simplify]: iters left: 5 (26 enodes) 4.872 * * [simplify]: iters left: 4 (42 enodes) 4.887 * * [simplify]: iters left: 3 (62 enodes) 4.905 * * [simplify]: iters left: 2 (82 enodes) 4.915 * * [simplify]: iters left: 1 (86 enodes) 4.923 * * [simplify]: Extracting #0: cost 1 inf + 0 4.924 * * [simplify]: Extracting #1: cost 11 inf + 0 4.924 * * [simplify]: Extracting #2: cost 20 inf + 2 4.924 * * [simplify]: Extracting #3: cost 17 inf + 46 4.924 * * [simplify]: Extracting #4: cost 5 inf + 1453 4.924 * * [simplify]: Extracting #5: cost 1 inf + 1819 4.925 * * [simplify]: Extracting #6: cost 0 inf + 1987 4.925 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 4.925 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (* (sqrt (fma 1/2 (exp c) (/ -1/2 (exp c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.925 * * * * [progress]: [ 86 / 86 ] simplifiying candidate # 4.926 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 4.926 * * [simplify]: iters left: 6 (8 enodes) 4.928 * * [simplify]: iters left: 5 (31 enodes) 4.937 * * [simplify]: iters left: 4 (49 enodes) 4.957 * * [simplify]: iters left: 3 (85 enodes) 4.986 * * [simplify]: iters left: 2 (151 enodes) 5.038 * * [simplify]: iters left: 1 (304 enodes) 5.131 * * [simplify]: Extracting #0: cost 1 inf + 0 5.131 * * [simplify]: Extracting #1: cost 15 inf + 0 5.131 * * [simplify]: Extracting #2: cost 135 inf + 2 5.132 * * [simplify]: Extracting #3: cost 204 inf + 2517 5.135 * * [simplify]: Extracting #4: cost 151 inf + 20916 5.141 * * [simplify]: Extracting #5: cost 64 inf + 60923 5.159 * * [simplify]: Extracting #6: cost 2 inf + 103278 5.170 * * [simplify]: Extracting #7: cost 0 inf + 102022 5.181 * * [simplify]: Extracting #8: cost 0 inf + 101942 5.197 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c))) 5.197 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (* (sqrt (fma (exp c) 1/2 (/ -1/2 (exp c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.198 * * * [progress]: adding candidates to table 5.935 * [progress]: [Phase 3 of 3] Extracting. 5.935 * * [regime]: Finding splitpoints for: (# #) 5.937 * * * [regime-changes]: Trying 1 branch expressions: (c) 5.938 * * * * [regimes]: Trying to branch on c from (# #) 5.957 * * * [regime]: Found split indices: #