0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.237 * * * [progress]: [2/2] Setting up program. 0.241 * [progress]: [Phase 2 of 3] Improving. 0.241 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.243 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 0.244 * * [simplify]: iters left: 4 (7 enodes) 0.252 * * [simplify]: iters left: 3 (33 enodes) 0.284 * * [simplify]: iters left: 2 (57 enodes) 0.295 * * [simplify]: iters left: 1 (75 enodes) 0.310 * * [simplify]: Extracting #0: cost 1 inf + 0 0.311 * * [simplify]: Extracting #1: cost 4 inf + 0 0.311 * * [simplify]: Extracting #2: cost 14 inf + 0 0.311 * * [simplify]: Extracting #3: cost 27 inf + 2 0.311 * * [simplify]: Extracting #4: cost 20 inf + 643 0.312 * * [simplify]: Extracting #5: cost 2 inf + 2823 0.312 * * [simplify]: Extracting #6: cost 0 inf + 2973 0.313 * * [simplify]: Extracting #7: cost 0 inf + 2972 0.313 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 0.314 * [simplify]: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.322 * * [progress]: iteration 1 / 4 0.322 * * * [progress]: picking best candidate 0.324 * * * * [pick]: Picked # 0.324 * * * [progress]: localizing error 0.338 * * * [progress]: generating rewritten candidates 0.339 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.343 * * * [progress]: generating series expansions 0.343 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.345 * [backup-simplify]: Simplify (sinh c) into (sinh c) 0.345 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 0.346 * [taylor]: Taking taylor expansion of (sinh c) in c 0.347 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.347 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.347 * [taylor]: Taking taylor expansion of (exp c) in c 0.347 * [taylor]: Taking taylor expansion of c in c 0.347 * [backup-simplify]: Simplify 0 into 0 0.347 * [backup-simplify]: Simplify 1 into 1 0.347 * [backup-simplify]: Simplify (exp 0) into 1 0.347 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.347 * [taylor]: Taking taylor expansion of (- c) in c 0.347 * [taylor]: Taking taylor expansion of c in c 0.347 * [backup-simplify]: Simplify 0 into 0 0.347 * [backup-simplify]: Simplify 1 into 1 0.348 * [backup-simplify]: Simplify (- 0) into 0 0.348 * [backup-simplify]: Simplify (- 1) into -1 0.348 * [backup-simplify]: Simplify (exp 0) into 1 0.348 * [taylor]: Taking taylor expansion of 2 in c 0.348 * [backup-simplify]: Simplify 2 into 2 0.349 * [backup-simplify]: Simplify (- 1) into -1 0.349 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.350 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.350 * [backup-simplify]: Simplify (- 1) into -1 0.351 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.351 * [backup-simplify]: Simplify (- -1) into 1 0.351 * [backup-simplify]: Simplify (+ 1 1) into 2 0.352 * [backup-simplify]: Simplify (/ 2 2) into 1 0.352 * [taylor]: Taking taylor expansion of (sinh c) in c 0.352 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.352 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.352 * [taylor]: Taking taylor expansion of (exp c) in c 0.352 * [taylor]: Taking taylor expansion of c in c 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [backup-simplify]: Simplify (exp 0) into 1 0.352 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.352 * [taylor]: Taking taylor expansion of (- c) in c 0.352 * [taylor]: Taking taylor expansion of c in c 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [backup-simplify]: Simplify (- 0) into 0 0.352 * [backup-simplify]: Simplify (- 1) into -1 0.352 * [backup-simplify]: Simplify (exp 0) into 1 0.352 * [taylor]: Taking taylor expansion of 2 in c 0.352 * [backup-simplify]: Simplify 2 into 2 0.353 * [backup-simplify]: Simplify (- 1) into -1 0.353 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.353 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.354 * [backup-simplify]: Simplify (- 1) into -1 0.354 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.355 * [backup-simplify]: Simplify (- -1) into 1 0.355 * [backup-simplify]: Simplify (+ 1 1) into 2 0.355 * [backup-simplify]: Simplify (/ 2 2) into 1 0.355 * [backup-simplify]: Simplify 1 into 1 0.357 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.357 * [backup-simplify]: Simplify (- 1) into -1 0.357 * [backup-simplify]: Simplify (- 0) into 0 0.358 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.358 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.359 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 0.359 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.359 * [backup-simplify]: Simplify 0 into 0 0.360 * [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.361 * [backup-simplify]: Simplify (- 1) into -1 0.361 * [backup-simplify]: Simplify (- 1) into -1 0.370 * [backup-simplify]: Simplify (- 0) into 0 0.370 * [backup-simplify]: Simplify (- 0) into 0 0.372 * [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.372 * [backup-simplify]: Simplify (- -1/6) into 1/6 0.372 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 0.373 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 0.373 * [backup-simplify]: Simplify 1/6 into 1/6 0.376 * [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.376 * [backup-simplify]: Simplify (- 1) into -1 0.376 * [backup-simplify]: Simplify (- 1) into -1 0.376 * [backup-simplify]: Simplify (- 0) into 0 0.377 * [backup-simplify]: Simplify (- 1) into -1 0.377 * [backup-simplify]: Simplify (- 0) into 0 0.377 * [backup-simplify]: Simplify (- 0) into 0 0.377 * [backup-simplify]: Simplify (- 0) into 0 0.380 * [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.380 * [backup-simplify]: Simplify (- 1/24) into -1/24 0.380 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 0.381 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 0.381 * [backup-simplify]: Simplify 0 into 0 0.384 * [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.384 * [backup-simplify]: Simplify (- 1) into -1 0.385 * [backup-simplify]: Simplify (- 1) into -1 0.385 * [backup-simplify]: Simplify (- 0) into 0 0.385 * [backup-simplify]: Simplify (- 1) into -1 0.385 * [backup-simplify]: Simplify (- 0) into 0 0.386 * [backup-simplify]: Simplify (- 1) into -1 0.386 * [backup-simplify]: Simplify (- 0) into 0 0.386 * [backup-simplify]: Simplify (- 1) into -1 0.386 * [backup-simplify]: Simplify (- 0) into 0 0.387 * [backup-simplify]: Simplify (- 0) into 0 0.387 * [backup-simplify]: Simplify (- 0) into 0 0.387 * [backup-simplify]: Simplify (- 0) into 0 0.390 * [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.391 * [backup-simplify]: Simplify (- -1/120) into 1/120 0.391 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 0.392 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 0.392 * [backup-simplify]: Simplify 1/120 into 1/120 0.395 * [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.395 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 0.395 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 0.395 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.395 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.395 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.395 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.395 * [taylor]: Taking taylor expansion of c in c 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 1 into 1 0.396 * [backup-simplify]: Simplify (/ 1 1) into 1 0.396 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.396 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.396 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.396 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.396 * [taylor]: Taking taylor expansion of c in c 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify 1 into 1 0.396 * [backup-simplify]: Simplify (/ 1 1) into 1 0.397 * [backup-simplify]: Simplify (- 1) into -1 0.397 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.397 * [taylor]: Taking taylor expansion of 2 in c 0.397 * [backup-simplify]: Simplify 2 into 2 0.397 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.397 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.397 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.397 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.397 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.397 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.397 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.397 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.397 * [taylor]: Taking taylor expansion of c in c 0.397 * [backup-simplify]: Simplify 0 into 0 0.397 * [backup-simplify]: Simplify 1 into 1 0.398 * [backup-simplify]: Simplify (/ 1 1) into 1 0.398 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.398 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.398 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.398 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.398 * [taylor]: Taking taylor expansion of c in c 0.398 * [backup-simplify]: Simplify 0 into 0 0.398 * [backup-simplify]: Simplify 1 into 1 0.398 * [backup-simplify]: Simplify (/ 1 1) into 1 0.398 * [backup-simplify]: Simplify (- 1) into -1 0.398 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.398 * [taylor]: Taking taylor expansion of 2 in c 0.398 * [backup-simplify]: Simplify 2 into 2 0.398 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.399 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.399 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.399 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.399 * [backup-simplify]: Simplify (- 0) into 0 0.399 * [backup-simplify]: Simplify (+ 0 0) into 0 0.400 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 0.400 * [backup-simplify]: Simplify 0 into 0 0.401 * [backup-simplify]: Simplify (- 0) into 0 0.401 * [backup-simplify]: Simplify (+ 0 0) into 0 0.402 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.402 * [backup-simplify]: Simplify 0 into 0 0.403 * [backup-simplify]: Simplify (- 0) into 0 0.403 * [backup-simplify]: Simplify (+ 0 0) into 0 0.404 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.404 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify (- 0) into 0 0.405 * [backup-simplify]: Simplify (+ 0 0) into 0 0.406 * [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.406 * [backup-simplify]: Simplify 0 into 0 0.407 * [backup-simplify]: Simplify (- 0) into 0 0.407 * [backup-simplify]: Simplify (+ 0 0) into 0 0.409 * [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.409 * [backup-simplify]: Simplify 0 into 0 0.409 * [backup-simplify]: Simplify (- 0) into 0 0.409 * [backup-simplify]: Simplify (+ 0 0) into 0 0.411 * [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.411 * [backup-simplify]: Simplify 0 into 0 0.411 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 0.412 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 0.412 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 0.412 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.412 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.412 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.412 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.412 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.412 * [taylor]: Taking taylor expansion of -1 in c 0.412 * [backup-simplify]: Simplify -1 into -1 0.412 * [taylor]: Taking taylor expansion of c in c 0.412 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify 1 into 1 0.412 * [backup-simplify]: Simplify (/ -1 1) into -1 0.412 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.412 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.412 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.412 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.412 * [taylor]: Taking taylor expansion of -1 in c 0.412 * [backup-simplify]: Simplify -1 into -1 0.412 * [taylor]: Taking taylor expansion of c in c 0.412 * [backup-simplify]: Simplify 0 into 0 0.412 * [backup-simplify]: Simplify 1 into 1 0.413 * [backup-simplify]: Simplify (/ -1 1) into -1 0.413 * [backup-simplify]: Simplify (- -1) into 1 0.413 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.413 * [taylor]: Taking taylor expansion of 2 in c 0.413 * [backup-simplify]: Simplify 2 into 2 0.413 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.413 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.413 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.413 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.413 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.413 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.413 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.413 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.413 * [taylor]: Taking taylor expansion of -1 in c 0.413 * [backup-simplify]: Simplify -1 into -1 0.413 * [taylor]: Taking taylor expansion of c in c 0.413 * [backup-simplify]: Simplify 0 into 0 0.413 * [backup-simplify]: Simplify 1 into 1 0.414 * [backup-simplify]: Simplify (/ -1 1) into -1 0.414 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.414 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.414 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.414 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.414 * [taylor]: Taking taylor expansion of -1 in c 0.414 * [backup-simplify]: Simplify -1 into -1 0.414 * [taylor]: Taking taylor expansion of c in c 0.414 * [backup-simplify]: Simplify 0 into 0 0.414 * [backup-simplify]: Simplify 1 into 1 0.414 * [backup-simplify]: Simplify (/ -1 1) into -1 0.414 * [backup-simplify]: Simplify (- -1) into 1 0.414 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.414 * [taylor]: Taking taylor expansion of 2 in c 0.414 * [backup-simplify]: Simplify 2 into 2 0.414 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.414 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.415 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.415 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.415 * [backup-simplify]: Simplify (- 0) into 0 0.415 * [backup-simplify]: Simplify (+ 0 0) into 0 0.416 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.416 * [backup-simplify]: Simplify 0 into 0 0.416 * [backup-simplify]: Simplify (- 0) into 0 0.416 * [backup-simplify]: Simplify (+ 0 0) into 0 0.417 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.417 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify (- 0) into 0 0.418 * [backup-simplify]: Simplify (+ 0 0) into 0 0.419 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.419 * [backup-simplify]: Simplify 0 into 0 0.419 * [backup-simplify]: Simplify (- 0) into 0 0.419 * [backup-simplify]: Simplify (+ 0 0) into 0 0.421 * [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.421 * [backup-simplify]: Simplify 0 into 0 0.421 * [backup-simplify]: Simplify (- 0) into 0 0.421 * [backup-simplify]: Simplify (+ 0 0) into 0 0.423 * [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.423 * [backup-simplify]: Simplify 0 into 0 0.424 * [backup-simplify]: Simplify (- 0) into 0 0.424 * [backup-simplify]: Simplify (+ 0 0) into 0 0.426 * [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.426 * [backup-simplify]: Simplify 0 into 0 0.426 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 0.426 * * * [progress]: simplifying candidates 0.426 * * * * [progress]: [ 1 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 2 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 3 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 4 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 5 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 6 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 7 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 8 / 12 ] simplifiying candidate # 0.427 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 0.427 * * * * [progress]: [ 10 / 12 ] simplifiying candidate # 0.427 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 0.427 * * [simplify]: iters left: 6 (11 enodes) 0.432 * * [simplify]: iters left: 5 (51 enodes) 0.446 * * [simplify]: iters left: 4 (103 enodes) 0.494 * * [simplify]: iters left: 3 (199 enodes) 0.535 * * [simplify]: iters left: 2 (364 enodes) 0.656 * * [simplify]: Extracting #0: cost 1 inf + 0 0.656 * * [simplify]: Extracting #1: cost 8 inf + 0 0.656 * * [simplify]: Extracting #2: cost 64 inf + 1 0.657 * * [simplify]: Extracting #3: cost 163 inf + 44 0.659 * * [simplify]: Extracting #4: cost 132 inf + 4683 0.664 * * [simplify]: Extracting #5: cost 45 inf + 38267 0.677 * * [simplify]: Extracting #6: cost 0 inf + 61906 0.684 * * [simplify]: Extracting #7: cost 0 inf + 61564 0.690 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 0.690 * [simplify]: Simplified (2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.690 * * * * [progress]: [ 11 / 12 ] simplifiying candidate # 0.690 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 0.690 * * [simplify]: iters left: 6 (7 enodes) 0.692 * * [simplify]: iters left: 5 (26 enodes) 0.697 * * [simplify]: iters left: 4 (42 enodes) 0.705 * * [simplify]: iters left: 3 (60 enodes) 0.715 * * [simplify]: iters left: 2 (78 enodes) 0.730 * * [simplify]: iters left: 1 (80 enodes) 0.747 * * [simplify]: Extracting #0: cost 1 inf + 0 0.747 * * [simplify]: Extracting #1: cost 7 inf + 0 0.747 * * [simplify]: Extracting #2: cost 14 inf + 1 0.748 * * [simplify]: Extracting #3: cost 20 inf + 2 0.748 * * [simplify]: Extracting #4: cost 17 inf + 46 0.748 * * [simplify]: Extracting #5: cost 5 inf + 1344 0.749 * * [simplify]: Extracting #6: cost 1 inf + 1912 0.750 * * [simplify]: Extracting #7: cost 0 inf + 2035 0.751 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 0.751 * [simplify]: Simplified (2 1) to (λ (c) (fmod (- (* 1/2 (exp c)) (/ 1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.751 * * * * [progress]: [ 12 / 12 ] simplifiying candidate # 0.751 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 0.752 * * [simplify]: iters left: 6 (8 enodes) 0.757 * * [simplify]: iters left: 5 (31 enodes) 0.767 * * [simplify]: iters left: 4 (49 enodes) 0.785 * * [simplify]: iters left: 3 (83 enodes) 0.813 * * [simplify]: iters left: 2 (145 enodes) 0.868 * * [simplify]: iters left: 1 (293 enodes) 0.975 * * [simplify]: Extracting #0: cost 1 inf + 0 0.975 * * [simplify]: Extracting #1: cost 7 inf + 0 0.975 * * [simplify]: Extracting #2: cost 92 inf + 1 0.976 * * [simplify]: Extracting #3: cost 209 inf + 2 0.977 * * [simplify]: Extracting #4: cost 205 inf + 3789 0.980 * * [simplify]: Extracting #5: cost 137 inf + 27019 0.985 * * [simplify]: Extracting #6: cost 93 inf + 41287 0.994 * * [simplify]: Extracting #7: cost 15 inf + 93873 1.013 * * [simplify]: Extracting #8: cost 0 inf + 101586 1.035 * * [simplify]: Extracting #9: cost 0 inf + 101185 1.046 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 1.046 * [simplify]: Simplified (2 1) to (λ (c) (fmod (- (* 1/2 (exp c)) (/ 1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.046 * * * [progress]: adding candidates to table 1.115 * * [progress]: iteration 2 / 4 1.115 * * * [progress]: picking best candidate 1.117 * * * * [pick]: Picked # 1.118 * * * [progress]: localizing error 1.135 * * * [progress]: generating rewritten candidates 1.135 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.148 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 1.149 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 1.152 * * * [progress]: generating series expansions 1.152 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.152 * [backup-simplify]: Simplify (* (sqrt (sinh c)) (sqrt (sinh c))) into (sinh c) 1.152 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.152 * [taylor]: Taking taylor expansion of (sinh c) in c 1.152 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.152 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.152 * [taylor]: Taking taylor expansion of (exp c) in c 1.152 * [taylor]: Taking taylor expansion of c in c 1.152 * [backup-simplify]: Simplify 0 into 0 1.152 * [backup-simplify]: Simplify 1 into 1 1.152 * [backup-simplify]: Simplify (exp 0) into 1 1.152 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.152 * [taylor]: Taking taylor expansion of (- c) in c 1.152 * [taylor]: Taking taylor expansion of c in c 1.152 * [backup-simplify]: Simplify 0 into 0 1.152 * [backup-simplify]: Simplify 1 into 1 1.152 * [backup-simplify]: Simplify (- 0) into 0 1.153 * [backup-simplify]: Simplify (- 1) into -1 1.153 * [backup-simplify]: Simplify (exp 0) into 1 1.153 * [taylor]: Taking taylor expansion of 2 in c 1.153 * [backup-simplify]: Simplify 2 into 2 1.153 * [backup-simplify]: Simplify (- 1) into -1 1.153 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.154 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.154 * [backup-simplify]: Simplify (- 1) into -1 1.155 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.155 * [backup-simplify]: Simplify (- -1) into 1 1.155 * [backup-simplify]: Simplify (+ 1 1) into 2 1.156 * [backup-simplify]: Simplify (/ 2 2) into 1 1.156 * [taylor]: Taking taylor expansion of (sinh c) in c 1.156 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.156 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.156 * [taylor]: Taking taylor expansion of (exp c) in c 1.156 * [taylor]: Taking taylor expansion of c in c 1.156 * [backup-simplify]: Simplify 0 into 0 1.156 * [backup-simplify]: Simplify 1 into 1 1.156 * [backup-simplify]: Simplify (exp 0) into 1 1.156 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.156 * [taylor]: Taking taylor expansion of (- c) in c 1.156 * [taylor]: Taking taylor expansion of c in c 1.156 * [backup-simplify]: Simplify 0 into 0 1.156 * [backup-simplify]: Simplify 1 into 1 1.156 * [backup-simplify]: Simplify (- 0) into 0 1.156 * [backup-simplify]: Simplify (- 1) into -1 1.156 * [backup-simplify]: Simplify (exp 0) into 1 1.156 * [taylor]: Taking taylor expansion of 2 in c 1.156 * [backup-simplify]: Simplify 2 into 2 1.157 * [backup-simplify]: Simplify (- 1) into -1 1.157 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.157 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.158 * [backup-simplify]: Simplify (- 1) into -1 1.158 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.159 * [backup-simplify]: Simplify (- -1) into 1 1.159 * [backup-simplify]: Simplify (+ 1 1) into 2 1.159 * [backup-simplify]: Simplify (/ 2 2) into 1 1.159 * [backup-simplify]: Simplify 1 into 1 1.165 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.165 * [backup-simplify]: Simplify (- 1) into -1 1.166 * [backup-simplify]: Simplify (- 0) into 0 1.167 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.167 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.167 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.168 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.168 * [backup-simplify]: Simplify 0 into 0 1.169 * [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.170 * [backup-simplify]: Simplify (- 1) into -1 1.170 * [backup-simplify]: Simplify (- 1) into -1 1.170 * [backup-simplify]: Simplify (- 0) into 0 1.170 * [backup-simplify]: Simplify (- 0) into 0 1.172 * [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.172 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.172 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.173 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.173 * [backup-simplify]: Simplify 1/6 into 1/6 1.175 * [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.175 * [backup-simplify]: Simplify (- 1) into -1 1.176 * [backup-simplify]: Simplify (- 1) into -1 1.176 * [backup-simplify]: Simplify (- 0) into 0 1.176 * [backup-simplify]: Simplify (- 1) into -1 1.176 * [backup-simplify]: Simplify (- 0) into 0 1.177 * [backup-simplify]: Simplify (- 0) into 0 1.177 * [backup-simplify]: Simplify (- 0) into 0 1.179 * [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.180 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.180 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.181 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.181 * [backup-simplify]: Simplify 0 into 0 1.184 * [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.184 * [backup-simplify]: Simplify (- 1) into -1 1.185 * [backup-simplify]: Simplify (- 1) into -1 1.185 * [backup-simplify]: Simplify (- 0) into 0 1.185 * [backup-simplify]: Simplify (- 1) into -1 1.185 * [backup-simplify]: Simplify (- 0) into 0 1.185 * [backup-simplify]: Simplify (- 1) into -1 1.186 * [backup-simplify]: Simplify (- 0) into 0 1.186 * [backup-simplify]: Simplify (- 1) into -1 1.186 * [backup-simplify]: Simplify (- 0) into 0 1.186 * [backup-simplify]: Simplify (- 0) into 0 1.187 * [backup-simplify]: Simplify (- 0) into 0 1.187 * [backup-simplify]: Simplify (- 0) into 0 1.190 * [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.190 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.191 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.192 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.192 * [backup-simplify]: Simplify 1/120 into 1/120 1.192 * [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.192 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 c))) (sqrt (sinh (/ 1 c)))) into (sinh (/ 1 c)) 1.192 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.192 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.192 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.192 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.192 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.192 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.192 * [taylor]: Taking taylor expansion of c in c 1.192 * [backup-simplify]: Simplify 0 into 0 1.192 * [backup-simplify]: Simplify 1 into 1 1.193 * [backup-simplify]: Simplify (/ 1 1) into 1 1.193 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.193 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.193 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.193 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.193 * [taylor]: Taking taylor expansion of c in c 1.193 * [backup-simplify]: Simplify 0 into 0 1.193 * [backup-simplify]: Simplify 1 into 1 1.193 * [backup-simplify]: Simplify (/ 1 1) into 1 1.193 * [backup-simplify]: Simplify (- 1) into -1 1.193 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.193 * [taylor]: Taking taylor expansion of 2 in c 1.193 * [backup-simplify]: Simplify 2 into 2 1.194 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.194 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.194 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.194 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.194 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.194 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.194 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.194 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.194 * [taylor]: Taking taylor expansion of c in c 1.194 * [backup-simplify]: Simplify 0 into 0 1.194 * [backup-simplify]: Simplify 1 into 1 1.194 * [backup-simplify]: Simplify (/ 1 1) into 1 1.194 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.194 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.194 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.194 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.194 * [taylor]: Taking taylor expansion of c in c 1.194 * [backup-simplify]: Simplify 0 into 0 1.194 * [backup-simplify]: Simplify 1 into 1 1.195 * [backup-simplify]: Simplify (/ 1 1) into 1 1.195 * [backup-simplify]: Simplify (- 1) into -1 1.195 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.195 * [taylor]: Taking taylor expansion of 2 in c 1.195 * [backup-simplify]: Simplify 2 into 2 1.195 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.195 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.195 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.195 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.196 * [backup-simplify]: Simplify (- 0) into 0 1.196 * [backup-simplify]: Simplify (+ 0 0) into 0 1.196 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.196 * [backup-simplify]: Simplify 0 into 0 1.197 * [backup-simplify]: Simplify (- 0) into 0 1.197 * [backup-simplify]: Simplify (+ 0 0) into 0 1.198 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.198 * [backup-simplify]: Simplify 0 into 0 1.198 * [backup-simplify]: Simplify (- 0) into 0 1.198 * [backup-simplify]: Simplify (+ 0 0) into 0 1.200 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.200 * [backup-simplify]: Simplify 0 into 0 1.200 * [backup-simplify]: Simplify (- 0) into 0 1.200 * [backup-simplify]: Simplify (+ 0 0) into 0 1.202 * [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.202 * [backup-simplify]: Simplify 0 into 0 1.202 * [backup-simplify]: Simplify (- 0) into 0 1.202 * [backup-simplify]: Simplify (+ 0 0) into 0 1.205 * [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.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify (- 0) into 0 1.206 * [backup-simplify]: Simplify (+ 0 0) into 0 1.209 * [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.209 * [backup-simplify]: Simplify 0 into 0 1.209 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.210 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 (- c)))) (sqrt (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 1.210 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.210 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.210 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.210 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.210 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.210 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.210 * [taylor]: Taking taylor expansion of -1 in c 1.210 * [backup-simplify]: Simplify -1 into -1 1.210 * [taylor]: Taking taylor expansion of c in c 1.210 * [backup-simplify]: Simplify 0 into 0 1.210 * [backup-simplify]: Simplify 1 into 1 1.211 * [backup-simplify]: Simplify (/ -1 1) into -1 1.211 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.211 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.211 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.211 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.211 * [taylor]: Taking taylor expansion of -1 in c 1.211 * [backup-simplify]: Simplify -1 into -1 1.211 * [taylor]: Taking taylor expansion of c in c 1.211 * [backup-simplify]: Simplify 0 into 0 1.211 * [backup-simplify]: Simplify 1 into 1 1.211 * [backup-simplify]: Simplify (/ -1 1) into -1 1.212 * [backup-simplify]: Simplify (- -1) into 1 1.212 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.212 * [taylor]: Taking taylor expansion of 2 in c 1.212 * [backup-simplify]: Simplify 2 into 2 1.212 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.212 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.212 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.212 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.212 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.213 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.213 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.213 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.213 * [taylor]: Taking taylor expansion of -1 in c 1.213 * [backup-simplify]: Simplify -1 into -1 1.213 * [taylor]: Taking taylor expansion of c in c 1.213 * [backup-simplify]: Simplify 0 into 0 1.213 * [backup-simplify]: Simplify 1 into 1 1.213 * [backup-simplify]: Simplify (/ -1 1) into -1 1.213 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.213 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.213 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.213 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.213 * [taylor]: Taking taylor expansion of -1 in c 1.213 * [backup-simplify]: Simplify -1 into -1 1.213 * [taylor]: Taking taylor expansion of c in c 1.213 * [backup-simplify]: Simplify 0 into 0 1.213 * [backup-simplify]: Simplify 1 into 1 1.214 * [backup-simplify]: Simplify (/ -1 1) into -1 1.214 * [backup-simplify]: Simplify (- -1) into 1 1.214 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.214 * [taylor]: Taking taylor expansion of 2 in c 1.214 * [backup-simplify]: Simplify 2 into 2 1.215 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.215 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.215 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.215 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.216 * [backup-simplify]: Simplify (- 0) into 0 1.216 * [backup-simplify]: Simplify (+ 0 0) into 0 1.217 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.217 * [backup-simplify]: Simplify 0 into 0 1.217 * [backup-simplify]: Simplify (- 0) into 0 1.218 * [backup-simplify]: Simplify (+ 0 0) into 0 1.219 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.219 * [backup-simplify]: Simplify 0 into 0 1.220 * [backup-simplify]: Simplify (- 0) into 0 1.220 * [backup-simplify]: Simplify (+ 0 0) into 0 1.222 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.222 * [backup-simplify]: Simplify 0 into 0 1.223 * [backup-simplify]: Simplify (- 0) into 0 1.223 * [backup-simplify]: Simplify (+ 0 0) into 0 1.225 * [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.225 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify (- 0) into 0 1.226 * [backup-simplify]: Simplify (+ 0 0) into 0 1.229 * [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.230 * [backup-simplify]: Simplify 0 into 0 1.230 * [backup-simplify]: Simplify (- 0) into 0 1.230 * [backup-simplify]: Simplify (+ 0 0) into 0 1.234 * [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.234 * [backup-simplify]: Simplify 0 into 0 1.234 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.234 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 1.234 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.234 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.234 * [taylor]: Taking taylor expansion of (sinh c) in c 1.234 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.235 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.235 * [taylor]: Taking taylor expansion of (exp c) in c 1.235 * [taylor]: Taking taylor expansion of c in c 1.235 * [backup-simplify]: Simplify 0 into 0 1.235 * [backup-simplify]: Simplify 1 into 1 1.235 * [backup-simplify]: Simplify (exp 0) into 1 1.235 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.235 * [taylor]: Taking taylor expansion of (- c) in c 1.235 * [taylor]: Taking taylor expansion of c in c 1.235 * [backup-simplify]: Simplify 0 into 0 1.235 * [backup-simplify]: Simplify 1 into 1 1.235 * [backup-simplify]: Simplify (- 0) into 0 1.236 * [backup-simplify]: Simplify (- 1) into -1 1.236 * [backup-simplify]: Simplify (exp 0) into 1 1.236 * [taylor]: Taking taylor expansion of 2 in c 1.236 * [backup-simplify]: Simplify 2 into 2 1.236 * [backup-simplify]: Simplify (- 1) into -1 1.236 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.237 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.238 * [backup-simplify]: Simplify (- 1) into -1 1.239 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.239 * [backup-simplify]: Simplify (- -1) into 1 1.240 * [backup-simplify]: Simplify (+ 1 1) into 2 1.240 * [backup-simplify]: Simplify (/ 2 2) into 1 1.240 * [taylor]: Taking taylor expansion of (sinh c) in c 1.240 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.240 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.240 * [taylor]: Taking taylor expansion of (exp c) in c 1.240 * [taylor]: Taking taylor expansion of c in c 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify 1 into 1 1.240 * [backup-simplify]: Simplify (exp 0) into 1 1.241 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.241 * [taylor]: Taking taylor expansion of (- c) in c 1.241 * [taylor]: Taking taylor expansion of c in c 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 1 into 1 1.241 * [backup-simplify]: Simplify (- 0) into 0 1.241 * [backup-simplify]: Simplify (- 1) into -1 1.241 * [backup-simplify]: Simplify (exp 0) into 1 1.241 * [taylor]: Taking taylor expansion of 2 in c 1.241 * [backup-simplify]: Simplify 2 into 2 1.242 * [backup-simplify]: Simplify (- 1) into -1 1.242 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.243 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.244 * [backup-simplify]: Simplify (- 1) into -1 1.245 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.245 * [backup-simplify]: Simplify (- -1) into 1 1.246 * [backup-simplify]: Simplify (+ 1 1) into 2 1.246 * [backup-simplify]: Simplify (/ 2 2) into 1 1.246 * [backup-simplify]: Simplify 1 into 1 1.248 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.248 * [backup-simplify]: Simplify (- 1) into -1 1.249 * [backup-simplify]: Simplify (- 0) into 0 1.250 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.251 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.251 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.252 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.252 * [backup-simplify]: Simplify 0 into 0 1.255 * [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.255 * [backup-simplify]: Simplify (- 1) into -1 1.255 * [backup-simplify]: Simplify (- 1) into -1 1.256 * [backup-simplify]: Simplify (- 0) into 0 1.256 * [backup-simplify]: Simplify (- 0) into 0 1.259 * [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.259 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.260 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.261 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.261 * [backup-simplify]: Simplify 1/6 into 1/6 1.265 * [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.266 * [backup-simplify]: Simplify (- 1) into -1 1.266 * [backup-simplify]: Simplify (- 1) into -1 1.267 * [backup-simplify]: Simplify (- 0) into 0 1.267 * [backup-simplify]: Simplify (- 1) into -1 1.267 * [backup-simplify]: Simplify (- 0) into 0 1.268 * [backup-simplify]: Simplify (- 0) into 0 1.268 * [backup-simplify]: Simplify (- 0) into 0 1.272 * [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.273 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.273 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.275 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.275 * [backup-simplify]: Simplify 0 into 0 1.278 * [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.280 * [backup-simplify]: Simplify (- 1) into -1 1.280 * [backup-simplify]: Simplify (- 1) into -1 1.281 * [backup-simplify]: Simplify (- 0) into 0 1.281 * [backup-simplify]: Simplify (- 1) into -1 1.281 * [backup-simplify]: Simplify (- 0) into 0 1.281 * [backup-simplify]: Simplify (- 1) into -1 1.282 * [backup-simplify]: Simplify (- 0) into 0 1.282 * [backup-simplify]: Simplify (- 1) into -1 1.282 * [backup-simplify]: Simplify (- 0) into 0 1.282 * [backup-simplify]: Simplify (- 0) into 0 1.282 * [backup-simplify]: Simplify (- 0) into 0 1.283 * [backup-simplify]: Simplify (- 0) into 0 1.286 * [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.286 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.286 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.287 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.287 * [backup-simplify]: Simplify 1/120 into 1/120 1.287 * [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.288 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.288 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.288 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.288 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.288 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.288 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.288 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.288 * [taylor]: Taking taylor expansion of c in c 1.288 * [backup-simplify]: Simplify 0 into 0 1.288 * [backup-simplify]: Simplify 1 into 1 1.288 * [backup-simplify]: Simplify (/ 1 1) into 1 1.288 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.288 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.288 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.288 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.288 * [taylor]: Taking taylor expansion of c in c 1.288 * [backup-simplify]: Simplify 0 into 0 1.288 * [backup-simplify]: Simplify 1 into 1 1.288 * [backup-simplify]: Simplify (/ 1 1) into 1 1.289 * [backup-simplify]: Simplify (- 1) into -1 1.289 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.289 * [taylor]: Taking taylor expansion of 2 in c 1.289 * [backup-simplify]: Simplify 2 into 2 1.289 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.289 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.289 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.289 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.289 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.289 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.289 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.289 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.289 * [taylor]: Taking taylor expansion of c in c 1.289 * [backup-simplify]: Simplify 0 into 0 1.289 * [backup-simplify]: Simplify 1 into 1 1.289 * [backup-simplify]: Simplify (/ 1 1) into 1 1.289 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.289 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.289 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.290 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.290 * [taylor]: Taking taylor expansion of c in c 1.290 * [backup-simplify]: Simplify 0 into 0 1.290 * [backup-simplify]: Simplify 1 into 1 1.290 * [backup-simplify]: Simplify (/ 1 1) into 1 1.290 * [backup-simplify]: Simplify (- 1) into -1 1.290 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.290 * [taylor]: Taking taylor expansion of 2 in c 1.290 * [backup-simplify]: Simplify 2 into 2 1.290 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.290 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.290 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.291 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.291 * [backup-simplify]: Simplify (- 0) into 0 1.291 * [backup-simplify]: Simplify (+ 0 0) into 0 1.292 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.292 * [backup-simplify]: Simplify 0 into 0 1.292 * [backup-simplify]: Simplify (- 0) into 0 1.292 * [backup-simplify]: Simplify (+ 0 0) into 0 1.293 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.293 * [backup-simplify]: Simplify 0 into 0 1.293 * [backup-simplify]: Simplify (- 0) into 0 1.294 * [backup-simplify]: Simplify (+ 0 0) into 0 1.295 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.295 * [backup-simplify]: Simplify 0 into 0 1.295 * [backup-simplify]: Simplify (- 0) into 0 1.295 * [backup-simplify]: Simplify (+ 0 0) into 0 1.297 * [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.297 * [backup-simplify]: Simplify 0 into 0 1.297 * [backup-simplify]: Simplify (- 0) into 0 1.297 * [backup-simplify]: Simplify (+ 0 0) into 0 1.299 * [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.299 * [backup-simplify]: Simplify 0 into 0 1.299 * [backup-simplify]: Simplify (- 0) into 0 1.300 * [backup-simplify]: Simplify (+ 0 0) into 0 1.302 * [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.302 * [backup-simplify]: Simplify 0 into 0 1.302 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.302 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.302 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.302 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.302 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.302 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.302 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.302 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.302 * [taylor]: Taking taylor expansion of -1 in c 1.302 * [backup-simplify]: Simplify -1 into -1 1.302 * [taylor]: Taking taylor expansion of c in c 1.302 * [backup-simplify]: Simplify 0 into 0 1.302 * [backup-simplify]: Simplify 1 into 1 1.302 * [backup-simplify]: Simplify (/ -1 1) into -1 1.303 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.303 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.303 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.303 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.303 * [taylor]: Taking taylor expansion of -1 in c 1.303 * [backup-simplify]: Simplify -1 into -1 1.303 * [taylor]: Taking taylor expansion of c in c 1.303 * [backup-simplify]: Simplify 0 into 0 1.303 * [backup-simplify]: Simplify 1 into 1 1.303 * [backup-simplify]: Simplify (/ -1 1) into -1 1.303 * [backup-simplify]: Simplify (- -1) into 1 1.303 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.303 * [taylor]: Taking taylor expansion of 2 in c 1.303 * [backup-simplify]: Simplify 2 into 2 1.303 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.303 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.304 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.304 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.304 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.304 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.304 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.304 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.304 * [taylor]: Taking taylor expansion of -1 in c 1.304 * [backup-simplify]: Simplify -1 into -1 1.304 * [taylor]: Taking taylor expansion of c in c 1.304 * [backup-simplify]: Simplify 0 into 0 1.304 * [backup-simplify]: Simplify 1 into 1 1.304 * [backup-simplify]: Simplify (/ -1 1) into -1 1.304 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.304 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.304 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.304 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.304 * [taylor]: Taking taylor expansion of -1 in c 1.304 * [backup-simplify]: Simplify -1 into -1 1.304 * [taylor]: Taking taylor expansion of c in c 1.304 * [backup-simplify]: Simplify 0 into 0 1.304 * [backup-simplify]: Simplify 1 into 1 1.304 * [backup-simplify]: Simplify (/ -1 1) into -1 1.305 * [backup-simplify]: Simplify (- -1) into 1 1.305 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.305 * [taylor]: Taking taylor expansion of 2 in c 1.305 * [backup-simplify]: Simplify 2 into 2 1.305 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.305 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.305 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.305 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.305 * [backup-simplify]: Simplify (- 0) into 0 1.306 * [backup-simplify]: Simplify (+ 0 0) into 0 1.306 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.306 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify (- 0) into 0 1.307 * [backup-simplify]: Simplify (+ 0 0) into 0 1.308 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.308 * [backup-simplify]: Simplify 0 into 0 1.308 * [backup-simplify]: Simplify (- 0) into 0 1.309 * [backup-simplify]: Simplify (+ 0 0) into 0 1.310 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.310 * [backup-simplify]: Simplify 0 into 0 1.310 * [backup-simplify]: Simplify (- 0) into 0 1.310 * [backup-simplify]: Simplify (+ 0 0) into 0 1.312 * [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.312 * [backup-simplify]: Simplify 0 into 0 1.312 * [backup-simplify]: Simplify (- 0) into 0 1.313 * [backup-simplify]: Simplify (+ 0 0) into 0 1.314 * [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.314 * [backup-simplify]: Simplify 0 into 0 1.315 * [backup-simplify]: Simplify (- 0) into 0 1.315 * [backup-simplify]: Simplify (+ 0 0) into 0 1.319 * [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.319 * [backup-simplify]: Simplify 0 into 0 1.319 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.319 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 1.319 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.319 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.319 * [taylor]: Taking taylor expansion of (sinh c) in c 1.319 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.319 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.319 * [taylor]: Taking taylor expansion of (exp c) in c 1.319 * [taylor]: Taking taylor expansion of c in c 1.319 * [backup-simplify]: Simplify 0 into 0 1.319 * [backup-simplify]: Simplify 1 into 1 1.320 * [backup-simplify]: Simplify (exp 0) into 1 1.320 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.320 * [taylor]: Taking taylor expansion of (- c) in c 1.320 * [taylor]: Taking taylor expansion of c in c 1.320 * [backup-simplify]: Simplify 0 into 0 1.320 * [backup-simplify]: Simplify 1 into 1 1.320 * [backup-simplify]: Simplify (- 0) into 0 1.320 * [backup-simplify]: Simplify (- 1) into -1 1.320 * [backup-simplify]: Simplify (exp 0) into 1 1.320 * [taylor]: Taking taylor expansion of 2 in c 1.320 * [backup-simplify]: Simplify 2 into 2 1.321 * [backup-simplify]: Simplify (- 1) into -1 1.321 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.323 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.323 * [backup-simplify]: Simplify (- 1) into -1 1.324 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.325 * [backup-simplify]: Simplify (- -1) into 1 1.325 * [backup-simplify]: Simplify (+ 1 1) into 2 1.326 * [backup-simplify]: Simplify (/ 2 2) into 1 1.326 * [taylor]: Taking taylor expansion of (sinh c) in c 1.326 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.326 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.326 * [taylor]: Taking taylor expansion of (exp c) in c 1.326 * [taylor]: Taking taylor expansion of c in c 1.326 * [backup-simplify]: Simplify 0 into 0 1.326 * [backup-simplify]: Simplify 1 into 1 1.326 * [backup-simplify]: Simplify (exp 0) into 1 1.326 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.326 * [taylor]: Taking taylor expansion of (- c) in c 1.326 * [taylor]: Taking taylor expansion of c in c 1.326 * [backup-simplify]: Simplify 0 into 0 1.326 * [backup-simplify]: Simplify 1 into 1 1.327 * [backup-simplify]: Simplify (- 0) into 0 1.327 * [backup-simplify]: Simplify (- 1) into -1 1.327 * [backup-simplify]: Simplify (exp 0) into 1 1.327 * [taylor]: Taking taylor expansion of 2 in c 1.327 * [backup-simplify]: Simplify 2 into 2 1.327 * [backup-simplify]: Simplify (- 1) into -1 1.328 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.329 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.329 * [backup-simplify]: Simplify (- 1) into -1 1.330 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.331 * [backup-simplify]: Simplify (- -1) into 1 1.331 * [backup-simplify]: Simplify (+ 1 1) into 2 1.331 * [backup-simplify]: Simplify (/ 2 2) into 1 1.331 * [backup-simplify]: Simplify 1 into 1 1.332 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.332 * [backup-simplify]: Simplify (- 1) into -1 1.333 * [backup-simplify]: Simplify (- 0) into 0 1.334 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.334 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.334 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.335 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.335 * [backup-simplify]: Simplify 0 into 0 1.336 * [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.336 * [backup-simplify]: Simplify (- 1) into -1 1.336 * [backup-simplify]: Simplify (- 1) into -1 1.337 * [backup-simplify]: Simplify (- 0) into 0 1.337 * [backup-simplify]: Simplify (- 0) into 0 1.338 * [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.338 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.339 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.339 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.339 * [backup-simplify]: Simplify 1/6 into 1/6 1.342 * [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.342 * [backup-simplify]: Simplify (- 1) into -1 1.342 * [backup-simplify]: Simplify (- 1) into -1 1.342 * [backup-simplify]: Simplify (- 0) into 0 1.343 * [backup-simplify]: Simplify (- 1) into -1 1.343 * [backup-simplify]: Simplify (- 0) into 0 1.343 * [backup-simplify]: Simplify (- 0) into 0 1.343 * [backup-simplify]: Simplify (- 0) into 0 1.345 * [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.346 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.346 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.347 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.347 * [backup-simplify]: Simplify 0 into 0 1.350 * [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.350 * [backup-simplify]: Simplify (- 1) into -1 1.350 * [backup-simplify]: Simplify (- 1) into -1 1.351 * [backup-simplify]: Simplify (- 0) into 0 1.351 * [backup-simplify]: Simplify (- 1) into -1 1.351 * [backup-simplify]: Simplify (- 0) into 0 1.351 * [backup-simplify]: Simplify (- 1) into -1 1.352 * [backup-simplify]: Simplify (- 0) into 0 1.352 * [backup-simplify]: Simplify (- 1) into -1 1.352 * [backup-simplify]: Simplify (- 0) into 0 1.352 * [backup-simplify]: Simplify (- 0) into 0 1.352 * [backup-simplify]: Simplify (- 0) into 0 1.353 * [backup-simplify]: Simplify (- 0) into 0 1.356 * [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.356 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.356 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.357 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.357 * [backup-simplify]: Simplify 1/120 into 1/120 1.358 * [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.358 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.358 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.358 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.358 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.358 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.358 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.358 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.358 * [taylor]: Taking taylor expansion of c in c 1.358 * [backup-simplify]: Simplify 0 into 0 1.358 * [backup-simplify]: Simplify 1 into 1 1.358 * [backup-simplify]: Simplify (/ 1 1) into 1 1.358 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.358 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.358 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.358 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.358 * [taylor]: Taking taylor expansion of c in c 1.358 * [backup-simplify]: Simplify 0 into 0 1.358 * [backup-simplify]: Simplify 1 into 1 1.358 * [backup-simplify]: Simplify (/ 1 1) into 1 1.359 * [backup-simplify]: Simplify (- 1) into -1 1.359 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.359 * [taylor]: Taking taylor expansion of 2 in c 1.359 * [backup-simplify]: Simplify 2 into 2 1.359 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.359 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.359 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.359 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.359 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.359 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.359 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.359 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.359 * [taylor]: Taking taylor expansion of c in c 1.359 * [backup-simplify]: Simplify 0 into 0 1.359 * [backup-simplify]: Simplify 1 into 1 1.359 * [backup-simplify]: Simplify (/ 1 1) into 1 1.359 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.359 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.359 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.359 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.360 * [taylor]: Taking taylor expansion of c in c 1.360 * [backup-simplify]: Simplify 0 into 0 1.360 * [backup-simplify]: Simplify 1 into 1 1.360 * [backup-simplify]: Simplify (/ 1 1) into 1 1.360 * [backup-simplify]: Simplify (- 1) into -1 1.360 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.360 * [taylor]: Taking taylor expansion of 2 in c 1.360 * [backup-simplify]: Simplify 2 into 2 1.360 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.360 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.360 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.360 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.361 * [backup-simplify]: Simplify (- 0) into 0 1.361 * [backup-simplify]: Simplify (+ 0 0) into 0 1.362 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.362 * [backup-simplify]: Simplify 0 into 0 1.362 * [backup-simplify]: Simplify (- 0) into 0 1.362 * [backup-simplify]: Simplify (+ 0 0) into 0 1.363 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.363 * [backup-simplify]: Simplify 0 into 0 1.364 * [backup-simplify]: Simplify (- 0) into 0 1.364 * [backup-simplify]: Simplify (+ 0 0) into 0 1.366 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.366 * [backup-simplify]: Simplify 0 into 0 1.367 * [backup-simplify]: Simplify (- 0) into 0 1.367 * [backup-simplify]: Simplify (+ 0 0) into 0 1.369 * [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.369 * [backup-simplify]: Simplify 0 into 0 1.370 * [backup-simplify]: Simplify (- 0) into 0 1.370 * [backup-simplify]: Simplify (+ 0 0) into 0 1.373 * [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.373 * [backup-simplify]: Simplify 0 into 0 1.373 * [backup-simplify]: Simplify (- 0) into 0 1.374 * [backup-simplify]: Simplify (+ 0 0) into 0 1.379 * [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.379 * [backup-simplify]: Simplify 0 into 0 1.380 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.380 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.380 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.380 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.380 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.380 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.380 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.380 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.380 * [taylor]: Taking taylor expansion of -1 in c 1.380 * [backup-simplify]: Simplify -1 into -1 1.380 * [taylor]: Taking taylor expansion of c in c 1.380 * [backup-simplify]: Simplify 0 into 0 1.380 * [backup-simplify]: Simplify 1 into 1 1.381 * [backup-simplify]: Simplify (/ -1 1) into -1 1.381 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.381 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.381 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.381 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.381 * [taylor]: Taking taylor expansion of -1 in c 1.381 * [backup-simplify]: Simplify -1 into -1 1.381 * [taylor]: Taking taylor expansion of c in c 1.381 * [backup-simplify]: Simplify 0 into 0 1.381 * [backup-simplify]: Simplify 1 into 1 1.381 * [backup-simplify]: Simplify (/ -1 1) into -1 1.382 * [backup-simplify]: Simplify (- -1) into 1 1.382 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.382 * [taylor]: Taking taylor expansion of 2 in c 1.382 * [backup-simplify]: Simplify 2 into 2 1.382 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.382 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.382 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.382 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.382 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.382 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.382 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.382 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.382 * [taylor]: Taking taylor expansion of -1 in c 1.382 * [backup-simplify]: Simplify -1 into -1 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 (/ -1 1) into -1 1.383 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.383 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.383 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.383 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.383 * [taylor]: Taking taylor expansion of -1 in c 1.383 * [backup-simplify]: Simplify -1 into -1 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 (/ -1 1) into -1 1.384 * [backup-simplify]: Simplify (- -1) into 1 1.384 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.384 * [taylor]: Taking taylor expansion of 2 in c 1.384 * [backup-simplify]: Simplify 2 into 2 1.384 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.384 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.385 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.385 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.385 * [backup-simplify]: Simplify (- 0) into 0 1.386 * [backup-simplify]: Simplify (+ 0 0) into 0 1.387 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify (- 0) into 0 1.387 * [backup-simplify]: Simplify (+ 0 0) into 0 1.389 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify (- 0) into 0 1.390 * [backup-simplify]: Simplify (+ 0 0) into 0 1.392 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify (- 0) into 0 1.393 * [backup-simplify]: Simplify (+ 0 0) into 0 1.395 * [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.395 * [backup-simplify]: Simplify 0 into 0 1.396 * [backup-simplify]: Simplify (- 0) into 0 1.396 * [backup-simplify]: Simplify (+ 0 0) into 0 1.399 * [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.399 * [backup-simplify]: Simplify 0 into 0 1.399 * [backup-simplify]: Simplify (- 0) into 0 1.400 * [backup-simplify]: Simplify (+ 0 0) into 0 1.403 * [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.403 * [backup-simplify]: Simplify 0 into 0 1.403 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.404 * * * [progress]: simplifying candidates 1.404 * * * * [progress]: [ 1 / 80 ] simplifiying candidate # 1.404 * [simplify]: Simplifying (sinh c) 1.404 * * [simplify]: iters left: 1 (2 enodes) 1.405 * * [simplify]: Extracting #0: cost 1 inf + 0 1.405 * * [simplify]: Extracting #1: cost 5 inf + 0 1.405 * * [simplify]: Extracting #2: cost 5 inf + 2 1.405 * * [simplify]: Extracting #3: cost 3 inf + 185 1.405 * * [simplify]: Extracting #4: cost 0 inf + 558 1.406 * [simplify]: Simplified to (sinh c) 1.406 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ 1/2 1/2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.406 * [simplify]: Simplifying (+ 1/2 1/2) 1.406 * * [simplify]: iters left: 2 (2 enodes) 1.408 * * [simplify]: iters left: 1 (7 enodes) 1.411 * * [simplify]: Extracting #0: cost 1 inf + 0 1.411 * * [simplify]: Extracting #1: cost 0 inf + 1 1.411 * [simplify]: Simplified to 1 1.411 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.411 * * * * [progress]: [ 2 / 80 ] simplifiying candidate # 1.411 * [simplify]: Simplifying (sinh c) 1.411 * * [simplify]: iters left: 1 (2 enodes) 1.412 * * [simplify]: Extracting #0: cost 1 inf + 0 1.412 * * [simplify]: Extracting #1: cost 5 inf + 0 1.412 * * [simplify]: Extracting #2: cost 5 inf + 2 1.412 * * [simplify]: Extracting #3: cost 3 inf + 185 1.413 * * [simplify]: Extracting #4: cost 0 inf + 558 1.413 * [simplify]: Simplified to (sinh c) 1.413 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ 1/2 (/ 1 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.413 * [simplify]: Simplifying (+ 1/2 (/ 1 2)) 1.413 * * [simplify]: iters left: 4 (5 enodes) 1.419 * * [simplify]: iters left: 3 (18 enodes) 1.426 * * [simplify]: iters left: 2 (20 enodes) 1.431 * * [simplify]: Extracting #0: cost 1 inf + 0 1.431 * * [simplify]: Extracting #1: cost 0 inf + 1 1.431 * [simplify]: Simplified to 1 1.432 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.432 * * * * [progress]: [ 3 / 80 ] simplifiying candidate # 1.432 * [simplify]: Simplifying (sqrt (sinh c)) 1.432 * * [simplify]: iters left: 2 (3 enodes) 1.433 * * [simplify]: iters left: 1 (15 enodes) 1.438 * * [simplify]: Extracting #0: cost 1 inf + 0 1.438 * * [simplify]: Extracting #1: cost 3 inf + 0 1.439 * * [simplify]: Extracting #2: cost 9 inf + 0 1.439 * * [simplify]: Extracting #3: cost 11 inf + 2 1.439 * * [simplify]: Extracting #4: cost 12 inf + 185 1.439 * * [simplify]: Extracting #5: cost 5 inf + 824 1.439 * * [simplify]: Extracting #6: cost 0 inf + 1610 1.439 * [simplify]: Simplified to (sqrt (sinh c)) 1.439 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sqrt (sinh c)) (+ 1 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.439 * [simplify]: Simplifying (+ 1 1) 1.439 * * [simplify]: iters left: 2 (2 enodes) 1.441 * * [simplify]: iters left: 1 (9 enodes) 1.442 * * [simplify]: Extracting #0: cost 1 inf + 0 1.442 * * [simplify]: Extracting #1: cost 0 inf + 1 1.442 * [simplify]: Simplified to 2 1.442 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sqrt (sinh c)) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.443 * * * * [progress]: [ 4 / 80 ] simplifiying candidate # 1.443 * [simplify]: Simplifying (sinh c) 1.443 * * [simplify]: iters left: 1 (2 enodes) 1.443 * * [simplify]: Extracting #0: cost 1 inf + 0 1.443 * * [simplify]: Extracting #1: cost 5 inf + 0 1.443 * * [simplify]: Extracting #2: cost 5 inf + 2 1.443 * * [simplify]: Extracting #3: cost 3 inf + 185 1.443 * * [simplify]: Extracting #4: cost 0 inf + 558 1.444 * [simplify]: Simplified to (sinh c) 1.444 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ (/ 1 2) 1/2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.444 * [simplify]: Simplifying (+ (/ 1 2) 1/2) 1.444 * * [simplify]: iters left: 4 (5 enodes) 1.448 * * [simplify]: iters left: 3 (18 enodes) 1.451 * * [simplify]: iters left: 2 (20 enodes) 1.454 * * [simplify]: Extracting #0: cost 1 inf + 0 1.454 * * [simplify]: Extracting #1: cost 0 inf + 1 1.454 * [simplify]: Simplified to 1 1.454 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.454 * * * * [progress]: [ 5 / 80 ] simplifiying candidate # 1.454 * [simplify]: Simplifying (sinh c) 1.454 * * [simplify]: iters left: 1 (2 enodes) 1.455 * * [simplify]: Extracting #0: cost 1 inf + 0 1.455 * * [simplify]: Extracting #1: cost 5 inf + 0 1.455 * * [simplify]: Extracting #2: cost 5 inf + 2 1.455 * * [simplify]: Extracting #3: cost 3 inf + 185 1.455 * * [simplify]: Extracting #4: cost 0 inf + 558 1.455 * [simplify]: Simplified to (sinh c) 1.455 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (+ (/ 1 2) (/ 1 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.455 * [simplify]: Simplifying (+ (/ 1 2) (/ 1 2)) 1.455 * * [simplify]: iters left: 4 (4 enodes) 1.457 * * [simplify]: iters left: 3 (15 enodes) 1.460 * * [simplify]: iters left: 2 (17 enodes) 1.462 * * [simplify]: Extracting #0: cost 1 inf + 0 1.462 * * [simplify]: Extracting #1: cost 0 inf + 1 1.462 * [simplify]: Simplified to 1 1.463 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.463 * * * * [progress]: [ 6 / 80 ] simplifiying candidate # 1.463 * [simplify]: Simplifying (* (sinh c) (sinh c)) 1.463 * * [simplify]: iters left: 3 (3 enodes) 1.464 * * [simplify]: iters left: 2 (15 enodes) 1.466 * * [simplify]: iters left: 1 (36 enodes) 1.479 * * [simplify]: Extracting #0: cost 1 inf + 0 1.479 * * [simplify]: Extracting #1: cost 8 inf + 0 1.479 * * [simplify]: Extracting #2: cost 22 inf + 1 1.479 * * [simplify]: Extracting #3: cost 30 inf + 2 1.479 * * [simplify]: Extracting #4: cost 18 inf + 1023 1.480 * * [simplify]: Extracting #5: cost 0 inf + 3808 1.481 * [simplify]: Simplified to (* (sinh c) (sinh c)) 1.481 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (* (sinh c) (sinh c)) 1/2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.481 * * * * [progress]: [ 7 / 80 ] simplifiying candidate # 1.482 * [simplify]: Simplifying (* (sqrt (sinh c)) (sqrt (sinh c))) 1.482 * * [simplify]: iters left: 4 (4 enodes) 1.484 * * [simplify]: iters left: 3 (16 enodes) 1.489 * * [simplify]: iters left: 2 (34 enodes) 1.499 * * [simplify]: iters left: 1 (52 enodes) 1.510 * * [simplify]: Extracting #0: cost 1 inf + 0 1.510 * * [simplify]: Extracting #1: cost 9 inf + 0 1.510 * * [simplify]: Extracting #2: cost 19 inf + 2 1.510 * * [simplify]: Extracting #3: cost 16 inf + 412 1.511 * * [simplify]: Extracting #4: cost 2 inf + 2108 1.511 * * [simplify]: Extracting #5: cost 0 inf + 2259 1.511 * [simplify]: Simplified to (sinh c) 1.511 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.512 * * * * [progress]: [ 8 / 80 ] simplifiying candidate # 1.512 * [simplify]: Simplifying (* (sinh c) (sinh c)) 1.512 * * [simplify]: iters left: 3 (3 enodes) 1.513 * * [simplify]: iters left: 2 (15 enodes) 1.516 * * [simplify]: iters left: 1 (36 enodes) 1.522 * * [simplify]: Extracting #0: cost 1 inf + 0 1.522 * * [simplify]: Extracting #1: cost 8 inf + 0 1.522 * * [simplify]: Extracting #2: cost 22 inf + 1 1.522 * * [simplify]: Extracting #3: cost 30 inf + 2 1.522 * * [simplify]: Extracting #4: cost 18 inf + 1023 1.523 * * [simplify]: Extracting #5: cost 0 inf + 3808 1.523 * [simplify]: Simplified to (* (sinh c) (sinh c)) 1.523 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (* (sinh c) (sinh c)) (/ 1 2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.524 * [simplify]: Simplifying (/ 1 2) 1.524 * * [simplify]: iters left: 2 (3 enodes) 1.525 * * [simplify]: iters left: 1 (12 enodes) 1.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1.528 * * [simplify]: Extracting #1: cost 0 inf + 1 1.528 * [simplify]: Simplified to 1/2 1.528 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (* (sinh c) (sinh c)) 1/2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.528 * * * * [progress]: [ 9 / 80 ] simplifiying candidate # 1.528 * * * * [progress]: [ 10 / 80 ] simplifiying candidate # 1.529 * [simplify]: Simplifying (sqrt (sinh c)) 1.529 * * [simplify]: iters left: 2 (3 enodes) 1.530 * * [simplify]: iters left: 1 (15 enodes) 1.536 * * [simplify]: Extracting #0: cost 1 inf + 0 1.536 * * [simplify]: Extracting #1: cost 3 inf + 0 1.536 * * [simplify]: Extracting #2: cost 9 inf + 0 1.536 * * [simplify]: Extracting #3: cost 11 inf + 2 1.536 * * [simplify]: Extracting #4: cost 12 inf + 185 1.536 * * [simplify]: Extracting #5: cost 5 inf + 824 1.536 * * [simplify]: Extracting #6: cost 0 inf + 1610 1.537 * [simplify]: Simplified to (sqrt (sinh c)) 1.537 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sqrt (sinh c)) (+ 1 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.537 * * * * [progress]: [ 11 / 80 ] simplifiying candidate # 1.537 * * * * [progress]: [ 12 / 80 ] simplifiying candidate # 1.537 * [simplify]: Simplifying (+ (log (sqrt (sinh c))) (log (sqrt (sinh c)))) 1.538 * * [simplify]: iters left: 5 (5 enodes) 1.540 * * [simplify]: iters left: 4 (21 enodes) 1.546 * * [simplify]: iters left: 3 (38 enodes) 1.559 * * [simplify]: iters left: 2 (56 enodes) 1.575 * * [simplify]: iters left: 1 (71 enodes) 1.586 * * [simplify]: Extracting #0: cost 1 inf + 0 1.586 * * [simplify]: Extracting #1: cost 3 inf + 0 1.586 * * [simplify]: Extracting #2: cost 5 inf + 0 1.586 * * [simplify]: Extracting #3: cost 7 inf + 0 1.586 * * [simplify]: Extracting #4: cost 14 inf + 0 1.587 * * [simplify]: Extracting #5: cost 24 inf + 2 1.587 * * [simplify]: Extracting #6: cost 22 inf + 245 1.587 * * [simplify]: Extracting #7: cost 6 inf + 2190 1.587 * * [simplify]: Extracting #8: cost 0 inf + 2924 1.588 * [simplify]: Simplified to (+ (log (sqrt (sinh c))) (log (sqrt (sinh c)))) 1.588 * [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.588 * * * * [progress]: [ 13 / 80 ] simplifiying candidate # 1.588 * * * * [progress]: [ 14 / 80 ] simplifiying candidate # 1.588 * * * * [progress]: [ 15 / 80 ] simplifiying candidate # 1.588 * [simplify]: Simplifying (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) 1.588 * * [simplify]: iters left: 6 (6 enodes) 1.590 * * [simplify]: iters left: 5 (30 enodes) 1.596 * * [simplify]: iters left: 4 (76 enodes) 1.621 * * [simplify]: iters left: 3 (189 enodes) 1.680 * * [simplify]: Extracting #0: cost 1 inf + 0 1.680 * * [simplify]: Extracting #1: cost 32 inf + 0 1.681 * * [simplify]: Extracting #2: cost 103 inf + 5 1.681 * * [simplify]: Extracting #3: cost 135 inf + 3243 1.683 * * [simplify]: Extracting #4: cost 105 inf + 9547 1.687 * * [simplify]: Extracting #5: cost 27 inf + 32081 1.699 * * [simplify]: Extracting #6: cost 1 inf + 37583 1.714 * * [simplify]: Extracting #7: cost 0 inf + 36465 1.726 * * [simplify]: Extracting #8: cost 0 inf + 36397 1.738 * [simplify]: Simplified to (* (sinh c) (* (sinh c) (sinh c))) 1.738 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* (sinh c) (* (sinh c) (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.738 * * * * [progress]: [ 16 / 80 ] simplifiying candidate # 1.738 * * * * [progress]: [ 17 / 80 ] simplifiying candidate # 1.738 * * * * [progress]: [ 18 / 80 ] simplifiying candidate # 1.739 * [simplify]: Simplifying (* (sinh c) (sinh c)) 1.739 * * [simplify]: iters left: 3 (3 enodes) 1.740 * * [simplify]: iters left: 2 (15 enodes) 1.747 * * [simplify]: iters left: 1 (36 enodes) 1.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1.760 * * [simplify]: Extracting #1: cost 8 inf + 0 1.761 * * [simplify]: Extracting #2: cost 22 inf + 1 1.761 * * [simplify]: Extracting #3: cost 30 inf + 2 1.761 * * [simplify]: Extracting #4: cost 18 inf + 1023 1.762 * * [simplify]: Extracting #5: cost 0 inf + 3808 1.763 * [simplify]: Simplified to (* (sinh c) (sinh c)) 1.763 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (sqrt (* (sinh c) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.763 * * * * [progress]: [ 19 / 80 ] simplifiying candidate # 1.764 * * * * [progress]: [ 20 / 80 ] simplifiying candidate # 1.764 * * * * [progress]: [ 21 / 80 ] simplifiying candidate # 1.764 * [simplify]: Simplifying (* (sqrt (- (exp c) (exp (- c)))) (sqrt (- (exp c) (exp (- c))))) 1.764 * * [simplify]: iters left: 6 (7 enodes) 1.767 * * [simplify]: iters left: 5 (23 enodes) 1.775 * * [simplify]: iters left: 4 (34 enodes) 1.784 * * [simplify]: iters left: 3 (38 enodes) 1.789 * * [simplify]: Extracting #0: cost 1 inf + 0 1.789 * * [simplify]: Extracting #1: cost 6 inf + 0 1.789 * * [simplify]: Extracting #2: cost 14 inf + 0 1.789 * * [simplify]: Extracting #3: cost 12 inf + 3 1.790 * * [simplify]: Extracting #4: cost 4 inf + 673 1.790 * * [simplify]: Extracting #5: cost 2 inf + 1017 1.790 * * [simplify]: Extracting #6: cost 0 inf + 1361 1.790 * [simplify]: Simplified to (+ (/ -1 (exp c)) (exp c)) 1.790 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) (* (sqrt 2) (sqrt 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.790 * [simplify]: Simplifying (* (sqrt 2) (sqrt 2)) 1.791 * * [simplify]: iters left: 3 (3 enodes) 1.792 * * [simplify]: iters left: 2 (7 enodes) 1.793 * * [simplify]: Extracting #0: cost 1 inf + 0 1.793 * * [simplify]: Extracting #1: cost 0 inf + 1 1.793 * [simplify]: Simplified to 2 1.793 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.793 * * * * [progress]: [ 22 / 80 ] simplifiying candidate # 1.793 * * * * [progress]: [ 23 / 80 ] simplifiying candidate # 1.794 * [simplify]: Simplifying (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) 1.794 * * [simplify]: iters left: 6 (6 enodes) 1.795 * * [simplify]: iters left: 5 (28 enodes) 1.800 * * [simplify]: iters left: 4 (49 enodes) 1.810 * * [simplify]: iters left: 3 (76 enodes) 1.831 * * [simplify]: iters left: 2 (109 enodes) 1.872 * * [simplify]: iters left: 1 (162 enodes) 1.912 * * [simplify]: Extracting #0: cost 1 inf + 0 1.913 * * [simplify]: Extracting #1: cost 14 inf + 0 1.913 * * [simplify]: Extracting #2: cost 41 inf + 1 1.913 * * [simplify]: Extracting #3: cost 45 inf + 7 1.914 * * [simplify]: Extracting #4: cost 53 inf + 66 1.914 * * [simplify]: Extracting #5: cost 46 inf + 893 1.916 * * [simplify]: Extracting #6: cost 14 inf + 10624 1.920 * * [simplify]: Extracting #7: cost 0 inf + 17994 1.924 * * [simplify]: Extracting #8: cost 0 inf + 17834 1.927 * [simplify]: Simplified to (* (sqrt (sinh c)) (cbrt (sqrt (sinh c)))) 1.927 * [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)))) 1.928 * [simplify]: Simplifying (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 1.928 * * [simplify]: iters left: 5 (5 enodes) 1.930 * * [simplify]: iters left: 4 (21 enodes) 1.934 * * [simplify]: iters left: 3 (38 enodes) 1.941 * * [simplify]: iters left: 2 (56 enodes) 1.950 * * [simplify]: iters left: 1 (71 enodes) 1.966 * * [simplify]: Extracting #0: cost 1 inf + 0 1.966 * * [simplify]: Extracting #1: cost 3 inf + 0 1.966 * * [simplify]: Extracting #2: cost 5 inf + 0 1.966 * * [simplify]: Extracting #3: cost 7 inf + 0 1.966 * * [simplify]: Extracting #4: cost 14 inf + 0 1.966 * * [simplify]: Extracting #5: cost 24 inf + 2 1.966 * * [simplify]: Extracting #6: cost 22 inf + 245 1.967 * * [simplify]: Extracting #7: cost 6 inf + 2220 1.968 * * [simplify]: Extracting #8: cost 0 inf + 2964 1.969 * [simplify]: Simplified to (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 1.969 * [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)))) 1.969 * * * * [progress]: [ 24 / 80 ] simplifiying candidate # 1.970 * [simplify]: Simplifying (* (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) 1.970 * * [simplify]: iters left: 6 (6 enodes) 1.973 * * [simplify]: iters left: 5 (23 enodes) 1.980 * * [simplify]: iters left: 4 (41 enodes) 1.993 * * [simplify]: iters left: 3 (59 enodes) 2.003 * * [simplify]: iters left: 2 (74 enodes) 2.014 * * [simplify]: iters left: 1 (81 enodes) 2.028 * * [simplify]: Extracting #0: cost 1 inf + 0 2.028 * * [simplify]: Extracting #1: cost 4 inf + 0 2.028 * * [simplify]: Extracting #2: cost 7 inf + 0 2.029 * * [simplify]: Extracting #3: cost 14 inf + 0 2.029 * * [simplify]: Extracting #4: cost 24 inf + 2 2.029 * * [simplify]: Extracting #5: cost 16 inf + 941 2.030 * * [simplify]: Extracting #6: cost 3 inf + 2612 2.031 * * [simplify]: Extracting #7: cost 0 inf + 2964 2.032 * [simplify]: Simplified to (* (cbrt (sinh c)) (cbrt (sinh c))) 2.032 * [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.032 * [simplify]: Simplifying (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c)))) 2.032 * * [simplify]: iters left: 5 (5 enodes) 2.034 * * [simplify]: iters left: 4 (19 enodes) 2.041 * * [simplify]: iters left: 3 (37 enodes) 2.050 * * [simplify]: iters left: 2 (55 enodes) 2.059 * * [simplify]: iters left: 1 (70 enodes) 2.072 * * [simplify]: Extracting #0: cost 1 inf + 0 2.072 * * [simplify]: Extracting #1: cost 4 inf + 0 2.072 * * [simplify]: Extracting #2: cost 12 inf + 0 2.072 * * [simplify]: Extracting #3: cost 22 inf + 2 2.072 * * [simplify]: Extracting #4: cost 20 inf + 245 2.072 * * [simplify]: Extracting #5: cost 8 inf + 1774 2.073 * * [simplify]: Extracting #6: cost 0 inf + 2612 2.073 * [simplify]: Simplified to (cbrt (sinh c)) 2.073 * [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.073 * * * * [progress]: [ 25 / 80 ] simplifiying candidate # 2.073 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.074 * * [simplify]: iters left: 5 (5 enodes) 2.075 * * [simplify]: iters left: 4 (19 enodes) 2.081 * * [simplify]: iters left: 3 (37 enodes) 2.089 * * [simplify]: iters left: 2 (55 enodes) 2.097 * * [simplify]: iters left: 1 (70 enodes) 2.107 * * [simplify]: Extracting #0: cost 1 inf + 0 2.107 * * [simplify]: Extracting #1: cost 4 inf + 0 2.108 * * [simplify]: Extracting #2: cost 12 inf + 0 2.108 * * [simplify]: Extracting #3: cost 22 inf + 2 2.108 * * [simplify]: Extracting #4: cost 20 inf + 245 2.108 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.108 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.109 * [simplify]: Simplified to (sqrt (sinh c)) 2.109 * [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.109 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.109 * * [simplify]: iters left: 5 (5 enodes) 2.110 * * [simplify]: iters left: 4 (19 enodes) 2.116 * * [simplify]: iters left: 3 (37 enodes) 2.127 * * [simplify]: iters left: 2 (55 enodes) 2.145 * * [simplify]: iters left: 1 (70 enodes) 2.164 * * [simplify]: Extracting #0: cost 1 inf + 0 2.164 * * [simplify]: Extracting #1: cost 4 inf + 0 2.165 * * [simplify]: Extracting #2: cost 12 inf + 0 2.165 * * [simplify]: Extracting #3: cost 22 inf + 2 2.165 * * [simplify]: Extracting #4: cost 20 inf + 245 2.165 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.166 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.167 * [simplify]: Simplified to (sqrt (sinh c)) 2.167 * [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.167 * * * * [progress]: [ 26 / 80 ] simplifiying candidate # 2.168 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.168 * * [simplify]: iters left: 5 (5 enodes) 2.170 * * [simplify]: iters left: 4 (19 enodes) 2.176 * * [simplify]: iters left: 3 (37 enodes) 2.188 * * [simplify]: iters left: 2 (55 enodes) 2.207 * * [simplify]: iters left: 1 (70 enodes) 2.218 * * [simplify]: Extracting #0: cost 1 inf + 0 2.218 * * [simplify]: Extracting #1: cost 4 inf + 0 2.218 * * [simplify]: Extracting #2: cost 12 inf + 0 2.218 * * [simplify]: Extracting #3: cost 22 inf + 2 2.218 * * [simplify]: Extracting #4: cost 20 inf + 245 2.218 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.219 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.219 * [simplify]: Simplified to (sqrt (sinh c)) 2.219 * [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.220 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.220 * * [simplify]: iters left: 5 (5 enodes) 2.221 * * [simplify]: iters left: 4 (19 enodes) 2.224 * * [simplify]: iters left: 3 (37 enodes) 2.231 * * [simplify]: iters left: 2 (55 enodes) 2.243 * * [simplify]: iters left: 1 (70 enodes) 2.264 * * [simplify]: Extracting #0: cost 1 inf + 0 2.264 * * [simplify]: Extracting #1: cost 4 inf + 0 2.264 * * [simplify]: Extracting #2: cost 12 inf + 0 2.264 * * [simplify]: Extracting #3: cost 22 inf + 2 2.265 * * [simplify]: Extracting #4: cost 20 inf + 245 2.265 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.266 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.267 * [simplify]: Simplified to (sqrt (sinh c)) 2.267 * [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.267 * * * * [progress]: [ 27 / 80 ] simplifiying candidate # 2.267 * [simplify]: Simplifying (* (sqrt 1) (sqrt 1)) 2.267 * * [simplify]: iters left: 3 (3 enodes) 2.269 * * [simplify]: iters left: 2 (9 enodes) 2.271 * * [simplify]: iters left: 1 (11 enodes) 2.273 * * [simplify]: Extracting #0: cost 1 inf + 0 2.273 * * [simplify]: Extracting #1: cost 0 inf + 1 2.273 * [simplify]: Simplified to 1 2.273 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* 1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.273 * [simplify]: Simplifying (* (sqrt (sinh c)) (sqrt (sinh c))) 2.273 * * [simplify]: iters left: 4 (4 enodes) 2.274 * * [simplify]: iters left: 3 (16 enodes) 2.277 * * [simplify]: iters left: 2 (34 enodes) 2.283 * * [simplify]: iters left: 1 (52 enodes) 2.291 * * [simplify]: Extracting #0: cost 1 inf + 0 2.292 * * [simplify]: Extracting #1: cost 9 inf + 0 2.292 * * [simplify]: Extracting #2: cost 19 inf + 2 2.292 * * [simplify]: Extracting #3: cost 16 inf + 412 2.292 * * [simplify]: Extracting #4: cost 2 inf + 2108 2.293 * * [simplify]: Extracting #5: cost 0 inf + 2259 2.293 * [simplify]: Simplified to (sinh c) 2.293 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* 1 (sinh c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.293 * * * * [progress]: [ 28 / 80 ] simplifiying candidate # 2.293 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.293 * * [simplify]: iters left: 5 (5 enodes) 2.295 * * [simplify]: iters left: 4 (19 enodes) 2.301 * * [simplify]: iters left: 3 (37 enodes) 2.314 * * [simplify]: iters left: 2 (55 enodes) 2.323 * * [simplify]: iters left: 1 (70 enodes) 2.334 * * [simplify]: Extracting #0: cost 1 inf + 0 2.334 * * [simplify]: Extracting #1: cost 4 inf + 0 2.334 * * [simplify]: Extracting #2: cost 12 inf + 0 2.334 * * [simplify]: Extracting #3: cost 22 inf + 2 2.334 * * [simplify]: Extracting #4: cost 20 inf + 245 2.335 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.335 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.335 * [simplify]: Simplified to (sqrt (sinh c)) 2.336 * [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.336 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.336 * * [simplify]: iters left: 5 (5 enodes) 2.337 * * [simplify]: iters left: 4 (19 enodes) 2.342 * * [simplify]: iters left: 3 (37 enodes) 2.353 * * [simplify]: iters left: 2 (55 enodes) 2.363 * * [simplify]: iters left: 1 (70 enodes) 2.374 * * [simplify]: Extracting #0: cost 1 inf + 0 2.374 * * [simplify]: Extracting #1: cost 4 inf + 0 2.374 * * [simplify]: Extracting #2: cost 12 inf + 0 2.374 * * [simplify]: Extracting #3: cost 22 inf + 2 2.374 * * [simplify]: Extracting #4: cost 20 inf + 245 2.374 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.375 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.375 * [simplify]: Simplified to (sqrt (sinh c)) 2.375 * [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.375 * * * * [progress]: [ 29 / 80 ] simplifiying candidate # 2.375 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.375 * * [simplify]: iters left: 5 (5 enodes) 2.377 * * [simplify]: iters left: 4 (19 enodes) 2.380 * * [simplify]: iters left: 3 (37 enodes) 2.389 * * [simplify]: iters left: 2 (55 enodes) 2.406 * * [simplify]: iters left: 1 (70 enodes) 2.429 * * [simplify]: Extracting #0: cost 1 inf + 0 2.429 * * [simplify]: Extracting #1: cost 4 inf + 0 2.429 * * [simplify]: Extracting #2: cost 12 inf + 0 2.429 * * [simplify]: Extracting #3: cost 22 inf + 2 2.429 * * [simplify]: Extracting #4: cost 20 inf + 245 2.430 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.431 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.432 * [simplify]: Simplified to (sqrt (sinh c)) 2.432 * [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.432 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.432 * * [simplify]: iters left: 5 (5 enodes) 2.434 * * [simplify]: iters left: 4 (19 enodes) 2.441 * * [simplify]: iters left: 3 (37 enodes) 2.453 * * [simplify]: iters left: 2 (55 enodes) 2.467 * * [simplify]: iters left: 1 (70 enodes) 2.478 * * [simplify]: Extracting #0: cost 1 inf + 0 2.478 * * [simplify]: Extracting #1: cost 4 inf + 0 2.478 * * [simplify]: Extracting #2: cost 12 inf + 0 2.478 * * [simplify]: Extracting #3: cost 22 inf + 2 2.478 * * [simplify]: Extracting #4: cost 20 inf + 245 2.478 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.479 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.479 * [simplify]: Simplified to (sqrt (sinh c)) 2.479 * [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.479 * * * * [progress]: [ 30 / 80 ] simplifiying candidate # 2.480 * [simplify]: Simplifying (* 1 1) 2.480 * * [simplify]: iters left: 2 (2 enodes) 2.481 * * [simplify]: iters left: 1 (6 enodes) 2.482 * * [simplify]: Extracting #0: cost 1 inf + 0 2.482 * * [simplify]: Extracting #1: cost 0 inf + 1 2.482 * [simplify]: Simplified to 1 2.482 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* 1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.482 * [simplify]: Simplifying (* (sqrt (sinh c)) (sqrt (sinh c))) 2.482 * * [simplify]: iters left: 4 (4 enodes) 2.483 * * [simplify]: iters left: 3 (16 enodes) 2.486 * * [simplify]: iters left: 2 (34 enodes) 2.492 * * [simplify]: iters left: 1 (52 enodes) 2.500 * * [simplify]: Extracting #0: cost 1 inf + 0 2.500 * * [simplify]: Extracting #1: cost 9 inf + 0 2.500 * * [simplify]: Extracting #2: cost 19 inf + 2 2.501 * * [simplify]: Extracting #3: cost 16 inf + 412 2.501 * * [simplify]: Extracting #4: cost 2 inf + 2108 2.502 * * [simplify]: Extracting #5: cost 0 inf + 2259 2.503 * [simplify]: Simplified to (sinh c) 2.503 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* 1 (sinh c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.503 * * * * [progress]: [ 31 / 80 ] simplifiying candidate # 2.503 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.503 * * [simplify]: iters left: 5 (5 enodes) 2.506 * * [simplify]: iters left: 4 (19 enodes) 2.512 * * [simplify]: iters left: 3 (37 enodes) 2.523 * * [simplify]: iters left: 2 (55 enodes) 2.539 * * [simplify]: iters left: 1 (70 enodes) 2.553 * * [simplify]: Extracting #0: cost 1 inf + 0 2.553 * * [simplify]: Extracting #1: cost 4 inf + 0 2.553 * * [simplify]: Extracting #2: cost 12 inf + 0 2.553 * * [simplify]: Extracting #3: cost 22 inf + 2 2.553 * * [simplify]: Extracting #4: cost 20 inf + 245 2.554 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.554 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.554 * [simplify]: Simplified to (sqrt (sinh c)) 2.555 * [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.555 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.555 * * [simplify]: iters left: 5 (5 enodes) 2.556 * * [simplify]: iters left: 4 (19 enodes) 2.559 * * [simplify]: iters left: 3 (37 enodes) 2.566 * * [simplify]: iters left: 2 (55 enodes) 2.574 * * [simplify]: iters left: 1 (70 enodes) 2.586 * * [simplify]: Extracting #0: cost 1 inf + 0 2.586 * * [simplify]: Extracting #1: cost 4 inf + 0 2.586 * * [simplify]: Extracting #2: cost 12 inf + 0 2.586 * * [simplify]: Extracting #3: cost 22 inf + 2 2.586 * * [simplify]: Extracting #4: cost 20 inf + 245 2.587 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.587 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.588 * [simplify]: Simplified to (sqrt (sinh c)) 2.588 * [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.589 * * * * [progress]: [ 32 / 80 ] simplifiying candidate # 2.589 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.589 * * [simplify]: iters left: 5 (5 enodes) 2.591 * * [simplify]: iters left: 4 (19 enodes) 2.597 * * [simplify]: iters left: 3 (37 enodes) 2.609 * * [simplify]: iters left: 2 (55 enodes) 2.625 * * [simplify]: iters left: 1 (70 enodes) 2.644 * * [simplify]: Extracting #0: cost 1 inf + 0 2.644 * * [simplify]: Extracting #1: cost 4 inf + 0 2.644 * * [simplify]: Extracting #2: cost 12 inf + 0 2.644 * * [simplify]: Extracting #3: cost 22 inf + 2 2.645 * * [simplify]: Extracting #4: cost 20 inf + 245 2.645 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.646 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.647 * [simplify]: Simplified to (sqrt (sinh c)) 2.647 * [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.647 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.647 * * [simplify]: iters left: 5 (5 enodes) 2.649 * * [simplify]: iters left: 4 (19 enodes) 2.656 * * [simplify]: iters left: 3 (37 enodes) 2.669 * * [simplify]: iters left: 2 (55 enodes) 2.685 * * [simplify]: iters left: 1 (70 enodes) 2.705 * * [simplify]: Extracting #0: cost 1 inf + 0 2.705 * * [simplify]: Extracting #1: cost 4 inf + 0 2.705 * * [simplify]: Extracting #2: cost 12 inf + 0 2.705 * * [simplify]: Extracting #3: cost 22 inf + 2 2.705 * * [simplify]: Extracting #4: cost 20 inf + 245 2.706 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.707 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.708 * [simplify]: Simplified to (sqrt (sinh c)) 2.708 * [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.709 * * * * [progress]: [ 33 / 80 ] simplifiying candidate # 2.709 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.709 * * [simplify]: iters left: 5 (5 enodes) 2.711 * * [simplify]: iters left: 4 (19 enodes) 2.718 * * [simplify]: iters left: 3 (37 enodes) 2.730 * * [simplify]: iters left: 2 (55 enodes) 2.743 * * [simplify]: iters left: 1 (70 enodes) 2.753 * * [simplify]: Extracting #0: cost 1 inf + 0 2.753 * * [simplify]: Extracting #1: cost 4 inf + 0 2.753 * * [simplify]: Extracting #2: cost 12 inf + 0 2.753 * * [simplify]: Extracting #3: cost 22 inf + 2 2.754 * * [simplify]: Extracting #4: cost 20 inf + 245 2.754 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.754 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.755 * [simplify]: Simplified to (sqrt (sinh c)) 2.755 * [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.755 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.755 * * [simplify]: iters left: 5 (5 enodes) 2.756 * * [simplify]: iters left: 4 (19 enodes) 2.759 * * [simplify]: iters left: 3 (37 enodes) 2.766 * * [simplify]: iters left: 2 (55 enodes) 2.777 * * [simplify]: iters left: 1 (70 enodes) 2.798 * * [simplify]: Extracting #0: cost 1 inf + 0 2.798 * * [simplify]: Extracting #1: cost 4 inf + 0 2.798 * * [simplify]: Extracting #2: cost 12 inf + 0 2.799 * * [simplify]: Extracting #3: cost 22 inf + 2 2.799 * * [simplify]: Extracting #4: cost 20 inf + 245 2.799 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.799 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.800 * [simplify]: Simplified to (sqrt (sinh c)) 2.800 * [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.800 * * * * [progress]: [ 34 / 80 ] simplifiying candidate # 2.800 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.800 * * [simplify]: iters left: 5 (5 enodes) 2.801 * * [simplify]: iters left: 4 (19 enodes) 2.805 * * [simplify]: iters left: 3 (37 enodes) 2.811 * * [simplify]: iters left: 2 (55 enodes) 2.820 * * [simplify]: iters left: 1 (70 enodes) 2.831 * * [simplify]: Extracting #0: cost 1 inf + 0 2.831 * * [simplify]: Extracting #1: cost 4 inf + 0 2.831 * * [simplify]: Extracting #2: cost 12 inf + 0 2.831 * * [simplify]: Extracting #3: cost 22 inf + 2 2.831 * * [simplify]: Extracting #4: cost 20 inf + 245 2.832 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.832 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.832 * [simplify]: Simplified to (sqrt (sinh c)) 2.832 * [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.833 * [simplify]: Simplifying (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) 2.833 * * [simplify]: iters left: 5 (5 enodes) 2.834 * * [simplify]: iters left: 4 (19 enodes) 2.837 * * [simplify]: iters left: 3 (37 enodes) 2.843 * * [simplify]: iters left: 2 (55 enodes) 2.852 * * [simplify]: iters left: 1 (70 enodes) 2.863 * * [simplify]: Extracting #0: cost 1 inf + 0 2.863 * * [simplify]: Extracting #1: cost 4 inf + 0 2.863 * * [simplify]: Extracting #2: cost 12 inf + 0 2.863 * * [simplify]: Extracting #3: cost 22 inf + 2 2.863 * * [simplify]: Extracting #4: cost 20 inf + 245 2.863 * * [simplify]: Extracting #5: cost 8 inf + 1734 2.864 * * [simplify]: Extracting #6: cost 0 inf + 2452 2.864 * [simplify]: Simplified to (sqrt (sinh c)) 2.864 * [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.864 * * * * [progress]: [ 35 / 80 ] simplifiying candidate # 2.865 * [simplify]: Simplifying (sinh c) 2.865 * * [simplify]: iters left: 1 (2 enodes) 2.865 * * [simplify]: Extracting #0: cost 1 inf + 0 2.865 * * [simplify]: Extracting #1: cost 5 inf + 0 2.865 * * [simplify]: Extracting #2: cost 5 inf + 2 2.865 * * [simplify]: Extracting #3: cost 3 inf + 185 2.865 * * [simplify]: Extracting #4: cost 0 inf + 558 2.865 * [simplify]: Simplified to (sinh c) 2.865 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (* 2 1/2)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.866 * [simplify]: Simplifying (* 2 1/2) 2.866 * * [simplify]: iters left: 2 (3 enodes) 2.868 * * [simplify]: iters left: 1 (11 enodes) 2.870 * * [simplify]: Extracting #0: cost 1 inf + 0 2.870 * * [simplify]: Extracting #1: cost 0 inf + 1 2.870 * [simplify]: Simplified to 1 2.870 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.870 * * * * [progress]: [ 36 / 80 ] simplifiying candidate # 2.870 * [simplify]: Simplifying (sqrt (sinh c)) 2.870 * * [simplify]: iters left: 2 (3 enodes) 2.871 * * [simplify]: iters left: 1 (15 enodes) 2.874 * * [simplify]: Extracting #0: cost 1 inf + 0 2.874 * * [simplify]: Extracting #1: cost 3 inf + 0 2.874 * * [simplify]: Extracting #2: cost 9 inf + 0 2.874 * * [simplify]: Extracting #3: cost 11 inf + 2 2.874 * * [simplify]: Extracting #4: cost 12 inf + 185 2.874 * * [simplify]: Extracting #5: cost 5 inf + 824 2.874 * * [simplify]: Extracting #6: cost 0 inf + 1610 2.874 * [simplify]: Simplified to (sqrt (sinh c)) 2.875 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sqrt (sinh c)) (* 2 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.875 * [simplify]: Simplifying (* 2 1) 2.875 * * [simplify]: iters left: 2 (3 enodes) 2.876 * * [simplify]: iters left: 1 (9 enodes) 2.878 * * [simplify]: Extracting #0: cost 1 inf + 0 2.878 * * [simplify]: Extracting #1: cost 0 inf + 1 2.878 * [simplify]: Simplified to 2 2.878 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sqrt (sinh c)) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.878 * * * * [progress]: [ 37 / 80 ] simplifiying candidate # 2.878 * [simplify]: Simplifying (sinh c) 2.878 * * [simplify]: iters left: 1 (2 enodes) 2.879 * * [simplify]: Extracting #0: cost 1 inf + 0 2.879 * * [simplify]: Extracting #1: cost 5 inf + 0 2.879 * * [simplify]: Extracting #2: cost 5 inf + 2 2.879 * * [simplify]: Extracting #3: cost 3 inf + 185 2.879 * * [simplify]: Extracting #4: cost 0 inf + 558 2.879 * [simplify]: Simplified to (sinh c) 2.879 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (pow (sinh c) (* 2 (/ 1 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.879 * [simplify]: Simplifying (* 2 (/ 1 2)) 2.879 * * [simplify]: iters left: 4 (4 enodes) 2.883 * * [simplify]: iters left: 3 (13 enodes) 2.885 * * [simplify]: iters left: 2 (15 enodes) 2.888 * * [simplify]: Extracting #0: cost 1 inf + 0 2.888 * * [simplify]: Extracting #1: cost 0 inf + 1 2.888 * [simplify]: Simplified to 1 2.888 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.888 * * * * [progress]: [ 38 / 80 ] simplifiying candidate # 2.888 * [simplify]: Simplifying (cbrt (sqrt (sinh c))) 2.888 * * [simplify]: iters left: 3 (4 enodes) 2.889 * * [simplify]: iters left: 2 (18 enodes) 2.892 * * [simplify]: iters left: 1 (35 enodes) 2.898 * * [simplify]: Extracting #0: cost 1 inf + 0 2.898 * * [simplify]: Extracting #1: cost 3 inf + 0 2.899 * * [simplify]: Extracting #2: cost 5 inf + 0 2.899 * * [simplify]: Extracting #3: cost 12 inf + 0 2.899 * * [simplify]: Extracting #4: cost 18 inf + 2 2.899 * * [simplify]: Extracting #5: cost 18 inf + 354 2.899 * * [simplify]: Extracting #6: cost 4 inf + 1989 2.900 * * [simplify]: Extracting #7: cost 0 inf + 2467 2.901 * * [simplify]: Extracting #8: cost 0 inf + 2466 2.902 * [simplify]: Simplified to (cbrt (sqrt (sinh c))) 2.902 * [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)))) 2.902 * * * * [progress]: [ 39 / 80 ] simplifiying candidate # 2.902 * [simplify]: Simplifying (sqrt (cbrt (sinh c))) 2.902 * * [simplify]: iters left: 3 (4 enodes) 2.904 * * [simplify]: iters left: 2 (18 enodes) 2.910 * * [simplify]: iters left: 1 (35 enodes) 2.921 * * [simplify]: Extracting #0: cost 1 inf + 0 2.921 * * [simplify]: Extracting #1: cost 3 inf + 0 2.921 * * [simplify]: Extracting #2: cost 5 inf + 0 2.921 * * [simplify]: Extracting #3: cost 12 inf + 0 2.921 * * [simplify]: Extracting #4: cost 18 inf + 2 2.921 * * [simplify]: Extracting #5: cost 18 inf + 354 2.922 * * [simplify]: Extracting #6: cost 4 inf + 2069 2.923 * * [simplify]: Extracting #7: cost 0 inf + 2547 2.924 * * [simplify]: Extracting #8: cost 0 inf + 2546 2.924 * [simplify]: Simplified to (sqrt (cbrt (sinh c))) 2.924 * [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)))) 2.925 * * * * [progress]: [ 40 / 80 ] simplifiying candidate # 2.925 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 2.925 * * [simplify]: iters left: 3 (4 enodes) 2.927 * * [simplify]: iters left: 2 (18 enodes) 2.930 * * [simplify]: iters left: 1 (35 enodes) 2.936 * * [simplify]: Extracting #0: cost 1 inf + 0 2.936 * * [simplify]: Extracting #1: cost 3 inf + 0 2.936 * * [simplify]: Extracting #2: cost 5 inf + 0 2.936 * * [simplify]: Extracting #3: cost 12 inf + 0 2.936 * * [simplify]: Extracting #4: cost 18 inf + 2 2.936 * * [simplify]: Extracting #5: cost 18 inf + 354 2.937 * * [simplify]: Extracting #6: cost 4 inf + 1949 2.937 * * [simplify]: Extracting #7: cost 0 inf + 2387 2.937 * * [simplify]: Extracting #8: cost 0 inf + 2386 2.938 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 2.938 * [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)))) 2.938 * * * * [progress]: [ 41 / 80 ] simplifiying candidate # 2.938 * [simplify]: Simplifying (sqrt (sinh c)) 2.938 * * [simplify]: iters left: 2 (3 enodes) 2.939 * * [simplify]: iters left: 1 (15 enodes) 2.941 * * [simplify]: Extracting #0: cost 1 inf + 0 2.941 * * [simplify]: Extracting #1: cost 3 inf + 0 2.942 * * [simplify]: Extracting #2: cost 9 inf + 0 2.942 * * [simplify]: Extracting #3: cost 11 inf + 2 2.942 * * [simplify]: Extracting #4: cost 12 inf + 185 2.942 * * [simplify]: Extracting #5: cost 5 inf + 824 2.942 * * [simplify]: Extracting #6: cost 0 inf + 1610 2.942 * [simplify]: Simplified to (sqrt (sinh c)) 2.942 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) (sqrt 1)) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.942 * * * * [progress]: [ 42 / 80 ] simplifiying candidate # 2.942 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 2.943 * * [simplify]: iters left: 3 (4 enodes) 2.943 * * [simplify]: iters left: 2 (18 enodes) 2.947 * * [simplify]: iters left: 1 (35 enodes) 2.952 * * [simplify]: Extracting #0: cost 1 inf + 0 2.953 * * [simplify]: Extracting #1: cost 3 inf + 0 2.953 * * [simplify]: Extracting #2: cost 5 inf + 0 2.953 * * [simplify]: Extracting #3: cost 12 inf + 0 2.953 * * [simplify]: Extracting #4: cost 18 inf + 2 2.953 * * [simplify]: Extracting #5: cost 18 inf + 354 2.953 * * [simplify]: Extracting #6: cost 4 inf + 1949 2.953 * * [simplify]: Extracting #7: cost 0 inf + 2387 2.954 * * [simplify]: Extracting #8: cost 0 inf + 2386 2.954 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 2.954 * [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)))) 2.954 * * * * [progress]: [ 43 / 80 ] simplifiying candidate # 2.954 * [simplify]: Simplifying (sqrt (sinh c)) 2.954 * * [simplify]: iters left: 2 (3 enodes) 2.955 * * [simplify]: iters left: 1 (15 enodes) 2.958 * * [simplify]: Extracting #0: cost 1 inf + 0 2.958 * * [simplify]: Extracting #1: cost 3 inf + 0 2.958 * * [simplify]: Extracting #2: cost 9 inf + 0 2.958 * * [simplify]: Extracting #3: cost 11 inf + 2 2.958 * * [simplify]: Extracting #4: cost 12 inf + 185 2.958 * * [simplify]: Extracting #5: cost 5 inf + 824 2.959 * * [simplify]: Extracting #6: cost 0 inf + 1610 2.959 * [simplify]: Simplified to (sqrt (sinh c)) 2.959 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (sqrt (sinh c)) 1) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.959 * * * * [progress]: [ 44 / 80 ] simplifiying candidate # 2.960 * [simplify]: Simplifying (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 2.960 * * [simplify]: iters left: 5 (5 enodes) 2.962 * * [simplify]: iters left: 4 (21 enodes) 2.969 * * [simplify]: iters left: 3 (38 enodes) 2.981 * * [simplify]: iters left: 2 (56 enodes) 3.001 * * [simplify]: iters left: 1 (71 enodes) 3.019 * * [simplify]: Extracting #0: cost 1 inf + 0 3.019 * * [simplify]: Extracting #1: cost 3 inf + 0 3.019 * * [simplify]: Extracting #2: cost 5 inf + 0 3.019 * * [simplify]: Extracting #3: cost 7 inf + 0 3.019 * * [simplify]: Extracting #4: cost 14 inf + 0 3.019 * * [simplify]: Extracting #5: cost 24 inf + 2 3.019 * * [simplify]: Extracting #6: cost 22 inf + 245 3.019 * * [simplify]: Extracting #7: cost 6 inf + 2220 3.020 * * [simplify]: Extracting #8: cost 0 inf + 2964 3.020 * [simplify]: Simplified to (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) 3.020 * [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.021 * * * * [progress]: [ 45 / 80 ] simplifiying candidate # 3.021 * [simplify]: Simplifying (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) 3.021 * * [simplify]: iters left: 5 (5 enodes) 3.022 * * [simplify]: iters left: 4 (22 enodes) 3.026 * * [simplify]: iters left: 3 (39 enodes) 3.032 * * [simplify]: iters left: 2 (57 enodes) 3.041 * * [simplify]: iters left: 1 (72 enodes) 3.052 * * [simplify]: Extracting #0: cost 1 inf + 0 3.052 * * [simplify]: Extracting #1: cost 4 inf + 0 3.052 * * [simplify]: Extracting #2: cost 7 inf + 0 3.052 * * [simplify]: Extracting #3: cost 14 inf + 0 3.052 * * [simplify]: Extracting #4: cost 24 inf + 2 3.052 * * [simplify]: Extracting #5: cost 21 inf + 357 3.052 * * [simplify]: Extracting #6: cost 4 inf + 2483 3.053 * * [simplify]: Extracting #7: cost 0 inf + 2964 3.053 * [simplify]: Simplified to (fabs (cbrt (sinh c))) 3.053 * [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.054 * * * * [progress]: [ 46 / 80 ] simplifiying candidate # 3.054 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 3.054 * * [simplify]: iters left: 3 (4 enodes) 3.055 * * [simplify]: iters left: 2 (18 enodes) 3.058 * * [simplify]: iters left: 1 (35 enodes) 3.064 * * [simplify]: Extracting #0: cost 1 inf + 0 3.064 * * [simplify]: Extracting #1: cost 3 inf + 0 3.064 * * [simplify]: Extracting #2: cost 5 inf + 0 3.064 * * [simplify]: Extracting #3: cost 12 inf + 0 3.064 * * [simplify]: Extracting #4: cost 18 inf + 2 3.064 * * [simplify]: Extracting #5: cost 18 inf + 354 3.064 * * [simplify]: Extracting #6: cost 4 inf + 1949 3.065 * * [simplify]: Extracting #7: cost 0 inf + 2387 3.065 * * [simplify]: Extracting #8: cost 0 inf + 2386 3.065 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 3.065 * [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.065 * * * * [progress]: [ 47 / 80 ] simplifiying candidate # 3.066 * [simplify]: Simplifying (sqrt 1) 3.066 * * [simplify]: iters left: 1 (2 enodes) 3.067 * * [simplify]: Extracting #0: cost 1 inf + 0 3.068 * * [simplify]: Extracting #1: cost 0 inf + 1 3.068 * [simplify]: Simplified to 1 3.068 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* 1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.068 * * * * [progress]: [ 48 / 80 ] simplifiying candidate # 3.068 * [simplify]: Simplifying (sqrt (sqrt (sinh c))) 3.068 * * [simplify]: iters left: 3 (4 enodes) 3.069 * * [simplify]: iters left: 2 (18 enodes) 3.072 * * [simplify]: iters left: 1 (35 enodes) 3.078 * * [simplify]: Extracting #0: cost 1 inf + 0 3.078 * * [simplify]: Extracting #1: cost 3 inf + 0 3.078 * * [simplify]: Extracting #2: cost 5 inf + 0 3.078 * * [simplify]: Extracting #3: cost 12 inf + 0 3.078 * * [simplify]: Extracting #4: cost 18 inf + 2 3.078 * * [simplify]: Extracting #5: cost 18 inf + 354 3.078 * * [simplify]: Extracting #6: cost 4 inf + 1949 3.079 * * [simplify]: Extracting #7: cost 0 inf + 2387 3.079 * * [simplify]: Extracting #8: cost 0 inf + 2386 3.079 * [simplify]: Simplified to (sqrt (sqrt (sinh c))) 3.079 * [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.079 * * * * [progress]: [ 49 / 80 ] simplifiying candidate # 3.080 * * * * [progress]: [ 50 / 80 ] simplifiying candidate # 3.080 * [simplify]: Simplifying (sqrt 2) 3.080 * * [simplify]: iters left: 1 (2 enodes) 3.081 * * [simplify]: Extracting #0: cost 1 inf + 0 3.081 * * [simplify]: Extracting #1: cost 3 inf + 0 3.081 * * [simplify]: Extracting #2: cost 2 inf + 1 3.081 * * [simplify]: Extracting #3: cost 0 inf + 83 3.081 * [simplify]: Simplified to (sqrt 2) 3.081 * [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.081 * * * * [progress]: [ 51 / 80 ] simplifiying candidate # 3.081 * [simplify]: Simplifying (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c))) 3.081 * * [simplify]: iters left: 6 (9 enodes) 3.083 * * [simplify]: iters left: 5 (34 enodes) 3.090 * * [simplify]: iters left: 4 (49 enodes) 3.098 * * [simplify]: iters left: 3 (61 enodes) 3.107 * * [simplify]: iters left: 2 (72 enodes) 3.124 * * [simplify]: iters left: 1 (79 enodes) 3.142 * * [simplify]: Extracting #0: cost 1 inf + 0 3.142 * * [simplify]: Extracting #1: cost 4 inf + 0 3.142 * * [simplify]: Extracting #2: cost 8 inf + 0 3.142 * * [simplify]: Extracting #3: cost 18 inf + 0 3.143 * * [simplify]: Extracting #4: cost 28 inf + 2 3.143 * * [simplify]: Extracting #5: cost 17 inf + 893 3.143 * * [simplify]: Extracting #6: cost 3 inf + 2492 3.144 * * [simplify]: Extracting #7: cost 0 inf + 3218 3.144 * [simplify]: Simplified to (* (sqrt (sinh c)) (sqrt (+ (/ -1 (exp c)) (exp c)))) 3.144 * [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.144 * * * * [progress]: [ 52 / 80 ] simplifiying candidate #real (real->posit16 (* (sqrt (sinh c)) (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 3.144 * * * * [progress]: [ 53 / 80 ] simplifiying candidate # 3.144 * * * * [progress]: [ 54 / 80 ] simplifiying candidate # 3.144 * * * * [progress]: [ 55 / 80 ] simplifiying candidate # 3.144 * * * * [progress]: [ 56 / 80 ] simplifiying candidate # 3.144 * * * * [progress]: [ 57 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 58 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 59 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 60 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 61 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 62 / 80 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 3.145 * * * * [progress]: [ 63 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 64 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 65 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 66 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 67 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 68 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 69 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 70 / 80 ] simplifiying candidate # 3.145 * * * * [progress]: [ 71 / 80 ] simplifiying candidate #real (real->posit16 (sinh c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 3.145 * * * * [progress]: [ 72 / 80 ] simplifiying candidate # 3.145 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3.145 * * [simplify]: iters left: 6 (11 enodes) 3.150 * * [simplify]: iters left: 5 (51 enodes) 3.161 * * [simplify]: iters left: 4 (103 enodes) 3.194 * * [simplify]: iters left: 3 (199 enodes) 3.241 * * [simplify]: iters left: 2 (364 enodes) 3.409 * * [simplify]: Extracting #0: cost 1 inf + 0 3.409 * * [simplify]: Extracting #1: cost 8 inf + 0 3.409 * * [simplify]: Extracting #2: cost 64 inf + 1 3.410 * * [simplify]: Extracting #3: cost 163 inf + 44 3.412 * * [simplify]: Extracting #4: cost 132 inf + 4683 3.418 * * [simplify]: Extracting #5: cost 45 inf + 38267 3.428 * * [simplify]: Extracting #6: cost 0 inf + 61906 3.442 * * [simplify]: Extracting #7: cost 0 inf + 61564 3.447 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 3.448 * [simplify]: Simplified (2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.448 * * * * [progress]: [ 73 / 80 ] simplifiying candidate # 3.448 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 3.448 * * [simplify]: iters left: 6 (7 enodes) 3.450 * * [simplify]: iters left: 5 (26 enodes) 3.455 * * [simplify]: iters left: 4 (42 enodes) 3.462 * * [simplify]: iters left: 3 (60 enodes) 3.474 * * [simplify]: iters left: 2 (78 enodes) 3.493 * * [simplify]: iters left: 1 (80 enodes) 3.510 * * [simplify]: Extracting #0: cost 1 inf + 0 3.510 * * [simplify]: Extracting #1: cost 7 inf + 0 3.510 * * [simplify]: Extracting #2: cost 14 inf + 1 3.510 * * [simplify]: Extracting #3: cost 20 inf + 2 3.510 * * [simplify]: Extracting #4: cost 17 inf + 46 3.511 * * [simplify]: Extracting #5: cost 5 inf + 1344 3.511 * * [simplify]: Extracting #6: cost 1 inf + 1912 3.512 * * [simplify]: Extracting #7: cost 0 inf + 2035 3.513 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 3.513 * [simplify]: Simplified (2 1) to (λ (c) (fmod (- (* 1/2 (exp c)) (/ 1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.513 * * * * [progress]: [ 74 / 80 ] simplifiying candidate # 3.513 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 3.514 * * [simplify]: iters left: 6 (8 enodes) 3.519 * * [simplify]: iters left: 5 (31 enodes) 3.529 * * [simplify]: iters left: 4 (49 enodes) 3.546 * * [simplify]: iters left: 3 (83 enodes) 3.576 * * [simplify]: iters left: 2 (145 enodes) 3.608 * * [simplify]: iters left: 1 (293 enodes) 3.722 * * [simplify]: Extracting #0: cost 1 inf + 0 3.722 * * [simplify]: Extracting #1: cost 7 inf + 0 3.722 * * [simplify]: Extracting #2: cost 92 inf + 1 3.723 * * [simplify]: Extracting #3: cost 209 inf + 2 3.724 * * [simplify]: Extracting #4: cost 205 inf + 3789 3.727 * * [simplify]: Extracting #5: cost 137 inf + 27019 3.732 * * [simplify]: Extracting #6: cost 93 inf + 41287 3.742 * * [simplify]: Extracting #7: cost 15 inf + 93873 3.753 * * [simplify]: Extracting #8: cost 0 inf + 101586 3.771 * * [simplify]: Extracting #9: cost 0 inf + 101185 3.793 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 3.793 * [simplify]: Simplified (2 1) to (λ (c) (fmod (- (* 1/2 (exp c)) (/ 1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.793 * * * * [progress]: [ 75 / 80 ] simplifiying candidate # 3.794 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3.794 * * [simplify]: iters left: 6 (11 enodes) 3.802 * * [simplify]: iters left: 5 (51 enodes) 3.823 * * [simplify]: iters left: 4 (103 enodes) 3.865 * * [simplify]: iters left: 3 (199 enodes) 3.938 * * [simplify]: iters left: 2 (364 enodes) 4.069 * * [simplify]: Extracting #0: cost 1 inf + 0 4.069 * * [simplify]: Extracting #1: cost 8 inf + 0 4.069 * * [simplify]: Extracting #2: cost 64 inf + 1 4.070 * * [simplify]: Extracting #3: cost 163 inf + 44 4.072 * * [simplify]: Extracting #4: cost 132 inf + 4683 4.078 * * [simplify]: Extracting #5: cost 45 inf + 38267 4.088 * * [simplify]: Extracting #6: cost 0 inf + 61906 4.098 * * [simplify]: Extracting #7: cost 0 inf + 61564 4.108 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 4.108 * [simplify]: Simplified (2 1 2 1) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.109 * * * * [progress]: [ 76 / 80 ] simplifiying candidate # 4.109 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 4.109 * * [simplify]: iters left: 6 (7 enodes) 4.112 * * [simplify]: iters left: 5 (26 enodes) 4.122 * * [simplify]: iters left: 4 (42 enodes) 4.140 * * [simplify]: iters left: 3 (60 enodes) 4.153 * * [simplify]: iters left: 2 (78 enodes) 4.163 * * [simplify]: iters left: 1 (80 enodes) 4.172 * * [simplify]: Extracting #0: cost 1 inf + 0 4.172 * * [simplify]: Extracting #1: cost 7 inf + 0 4.172 * * [simplify]: Extracting #2: cost 14 inf + 1 4.172 * * [simplify]: Extracting #3: cost 20 inf + 2 4.172 * * [simplify]: Extracting #4: cost 17 inf + 46 4.172 * * [simplify]: Extracting #5: cost 5 inf + 1344 4.172 * * [simplify]: Extracting #6: cost 1 inf + 1912 4.173 * * [simplify]: Extracting #7: cost 0 inf + 2035 4.173 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 4.173 * [simplify]: Simplified (2 1 2 1) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (- (* 1/2 (exp c)) (/ 1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.173 * * * * [progress]: [ 77 / 80 ] simplifiying candidate # 4.174 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 4.174 * * [simplify]: iters left: 6 (8 enodes) 4.176 * * [simplify]: iters left: 5 (31 enodes) 4.181 * * [simplify]: iters left: 4 (49 enodes) 4.197 * * [simplify]: iters left: 3 (83 enodes) 4.228 * * [simplify]: iters left: 2 (145 enodes) 4.273 * * [simplify]: iters left: 1 (293 enodes) 4.386 * * [simplify]: Extracting #0: cost 1 inf + 0 4.386 * * [simplify]: Extracting #1: cost 7 inf + 0 4.387 * * [simplify]: Extracting #2: cost 92 inf + 1 4.387 * * [simplify]: Extracting #3: cost 209 inf + 2 4.389 * * [simplify]: Extracting #4: cost 205 inf + 3789 4.392 * * [simplify]: Extracting #5: cost 137 inf + 27019 4.397 * * [simplify]: Extracting #6: cost 93 inf + 41287 4.406 * * [simplify]: Extracting #7: cost 15 inf + 93873 4.429 * * [simplify]: Extracting #8: cost 0 inf + 101586 4.451 * * [simplify]: Extracting #9: cost 0 inf + 101185 4.464 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 4.464 * [simplify]: Simplified (2 1 2 1) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (- (* 1/2 (exp c)) (/ 1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.464 * * * * [progress]: [ 78 / 80 ] simplifiying candidate # 4.465 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 4.465 * * [simplify]: iters left: 6 (11 enodes) 4.469 * * [simplify]: iters left: 5 (51 enodes) 4.483 * * [simplify]: iters left: 4 (103 enodes) 4.516 * * [simplify]: iters left: 3 (199 enodes) 4.558 * * [simplify]: iters left: 2 (364 enodes) 4.693 * * [simplify]: Extracting #0: cost 1 inf + 0 4.693 * * [simplify]: Extracting #1: cost 8 inf + 0 4.693 * * [simplify]: Extracting #2: cost 64 inf + 1 4.694 * * [simplify]: Extracting #3: cost 163 inf + 44 4.696 * * [simplify]: Extracting #4: cost 132 inf + 4683 4.702 * * [simplify]: Extracting #5: cost 45 inf + 38267 4.712 * * [simplify]: Extracting #6: cost 0 inf + 61906 4.721 * * [simplify]: Extracting #7: cost 0 inf + 61564 4.726 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 4.726 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (* (sqrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.726 * * * * [progress]: [ 79 / 80 ] simplifiying candidate # 4.726 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 4.726 * * [simplify]: iters left: 6 (7 enodes) 4.728 * * [simplify]: iters left: 5 (26 enodes) 4.733 * * [simplify]: iters left: 4 (42 enodes) 4.741 * * [simplify]: iters left: 3 (60 enodes) 4.752 * * [simplify]: iters left: 2 (78 enodes) 4.770 * * [simplify]: iters left: 1 (80 enodes) 4.786 * * [simplify]: Extracting #0: cost 1 inf + 0 4.787 * * [simplify]: Extracting #1: cost 7 inf + 0 4.787 * * [simplify]: Extracting #2: cost 14 inf + 1 4.787 * * [simplify]: Extracting #3: cost 20 inf + 2 4.787 * * [simplify]: Extracting #4: cost 17 inf + 46 4.787 * * [simplify]: Extracting #5: cost 5 inf + 1344 4.788 * * [simplify]: Extracting #6: cost 1 inf + 1912 4.789 * * [simplify]: Extracting #7: cost 0 inf + 2035 4.790 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 4.790 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (* (sqrt (- (* 1/2 (exp c)) (/ 1/2 (exp c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.790 * * * * [progress]: [ 80 / 80 ] simplifiying candidate # 4.790 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 4.790 * * [simplify]: iters left: 6 (8 enodes) 4.795 * * [simplify]: iters left: 5 (31 enodes) 4.805 * * [simplify]: iters left: 4 (49 enodes) 4.821 * * [simplify]: iters left: 3 (83 enodes) 4.849 * * [simplify]: iters left: 2 (145 enodes) 4.902 * * [simplify]: iters left: 1 (293 enodes) 5.007 * * [simplify]: Extracting #0: cost 1 inf + 0 5.007 * * [simplify]: Extracting #1: cost 7 inf + 0 5.007 * * [simplify]: Extracting #2: cost 92 inf + 1 5.007 * * [simplify]: Extracting #3: cost 209 inf + 2 5.009 * * [simplify]: Extracting #4: cost 205 inf + 3789 5.011 * * [simplify]: Extracting #5: cost 137 inf + 27019 5.019 * * [simplify]: Extracting #6: cost 93 inf + 41287 5.037 * * [simplify]: Extracting #7: cost 15 inf + 93873 5.060 * * [simplify]: Extracting #8: cost 0 inf + 101586 5.076 * * [simplify]: Extracting #9: cost 0 inf + 101185 5.087 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 5.087 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (* (sqrt (- (* 1/2 (exp c)) (/ 1/2 (exp c)))) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.087 * * * [progress]: adding candidates to table 5.805 * [progress]: [Phase 3 of 3] Extracting. 5.805 * * [regime]: Finding splitpoints for: (# #) 5.806 * * * [regime-changes]: Trying 1 branch expressions: (c) 5.807 * * * * [regimes]: Trying to branch on c from (# #) 5.827 * * * [regime]: Found split indices: #