27.979 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.181 * * * [progress]: [2/2] Setting up program. 0.184 * [progress]: [Phase 2 of 3] Improving. 0.184 * [simplify]: Simplifying: (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 0.184 * * [simplify]: Extracting # 0 : cost 0 0.184 * * [simplify]: Extracting # 1 : cost 0 0.184 * * [simplify]: Extracting # 2 : cost 0 0.184 * * [simplify]: Extracting # 3 : cost 0 0.184 * * [simplify]: Extracting # 4 : cost 0 0.184 * * [simplify]: Extracting # 5 : cost 0 0.184 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 0.186 * * [simplify]: Extracting # 0 : cost 0 0.186 * * [simplify]: Extracting # 1 : cost 0 0.186 * * [simplify]: Extracting # 2 : cost 0 0.186 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 0.190 * * [simplify]: Extracting # 0 : cost 0 0.191 * * [simplify]: Extracting # 1 : cost 0 0.191 * * [simplify]: Extracting # 2 : cost 0 0.191 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 0.194 * * [simplify]: Extracting # 0 : cost 0 0.194 * * [simplify]: Extracting # 1 : cost 0 0.194 * * [simplify]: Extracting # 2 : cost 0 0.194 * * [simplify]: iteration 3 : 31 enodes (cost 13 ) 0.197 * * [simplify]: Extracting # 0 : cost 0 0.197 * * [simplify]: Extracting # 1 : cost 0 0.197 * * [simplify]: Extracting # 2 : cost 0 0.198 * * [simplify]: iteration 4 : 42 enodes (cost 13 ) 0.238 * * [simplify]: Extracting # 0 : cost 0 0.238 * * [simplify]: Extracting # 1 : cost 0 0.238 * * [simplify]: Extracting # 2 : cost 0 0.238 * * [simplify]: Extracting # 3 : cost 0 0.238 * * [simplify]: Extracting # 4 : cost 0 0.238 * * [simplify]: iteration 5 : 66 enodes (cost 13 ) 0.251 * * [simplify]: Extracting # 0 : cost 0 0.252 * * [simplify]: Extracting # 1 : cost 0 0.252 * * [simplify]: Extracting # 2 : cost 0 0.252 * * [simplify]: iteration 6 : 130 enodes (cost 13 ) 0.303 * * [simplify]: Extracting # 0 : cost 0 0.308 * * [simplify]: Extracting # 1 : cost 0 0.309 * * [simplify]: Extracting # 2 : cost 0 0.310 * * [simplify]: iteration 7 : 567 enodes (cost 13 ) 1.765 * * [simplify]: Extracting # 0 : cost 0 1.821 * * [simplify]: Extracting # 1 : cost 0 1.825 * * [simplify]: Extracting # 2 : cost 0 1.828 * * [simplify]: Extracting # 3 : cost 0 1.831 * * [simplify]: iteration 8 : 4527 enodes (cost 13 ) 12.265 * * [simplify]: Extracting # 0 : cost 0 12.300 * * [simplify]: Extracting # 1 : cost 0 12.300 * * [simplify]: Extracting # 2 : cost 0 12.301 * * [simplify]: iteration done: 5000 enodes (cost 13 ) 12.301 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 12.301 * * [progress]: iteration 1 / 4 12.301 * * * [progress]: picking best candidate 12.303 * * * * [pick]: Picked # 12.303 * * * [progress]: localizing error 12.315 * * * [progress]: generating rewritten candidates 12.315 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 12.334 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 12.417 * * * [progress]: generating series expansions 12.417 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 12.417 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x))) 12.417 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 12.417 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 12.417 * [taylor]: Taking taylor expansion of (exp x) in x 12.417 * [taylor]: Taking taylor expansion of x in x 12.417 * [backup-simplify]: Simplify 0 into 0 12.417 * [backup-simplify]: Simplify 1 into 1 12.417 * [backup-simplify]: Simplify (exp 0) into 1 12.417 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.418 * [taylor]: Taking taylor expansion of (- x) in x 12.418 * [taylor]: Taking taylor expansion of x in x 12.418 * [backup-simplify]: Simplify 0 into 0 12.418 * [backup-simplify]: Simplify 1 into 1 12.418 * [backup-simplify]: Simplify (- 0) into 0 12.418 * [backup-simplify]: Simplify (- 1) into -1 12.419 * [backup-simplify]: Simplify (exp 0) into 1 12.419 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 12.419 * [taylor]: Taking taylor expansion of (exp x) in x 12.419 * [taylor]: Taking taylor expansion of x in x 12.419 * [backup-simplify]: Simplify 0 into 0 12.419 * [backup-simplify]: Simplify 1 into 1 12.419 * [backup-simplify]: Simplify (exp 0) into 1 12.419 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.419 * [taylor]: Taking taylor expansion of (- x) in x 12.419 * [taylor]: Taking taylor expansion of x in x 12.419 * [backup-simplify]: Simplify 0 into 0 12.419 * [backup-simplify]: Simplify 1 into 1 12.419 * [backup-simplify]: Simplify (- 0) into 0 12.419 * [backup-simplify]: Simplify (- 1) into -1 12.419 * [backup-simplify]: Simplify (exp 0) into 1 12.420 * [backup-simplify]: Simplify (- 1) into -1 12.420 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.420 * [backup-simplify]: Simplify 0 into 0 12.421 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.421 * [backup-simplify]: Simplify (- 1) into -1 12.422 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.423 * [backup-simplify]: Simplify (- -1) into 1 12.423 * [backup-simplify]: Simplify (+ 1 1) into 2 12.423 * [backup-simplify]: Simplify 2 into 2 12.424 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.425 * [backup-simplify]: Simplify (- 1) into -1 12.425 * [backup-simplify]: Simplify (- 0) into 0 12.426 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.427 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.427 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.427 * [backup-simplify]: Simplify 0 into 0 12.429 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.429 * [backup-simplify]: Simplify (- 1) into -1 12.430 * [backup-simplify]: Simplify (- 1) into -1 12.430 * [backup-simplify]: Simplify (- 0) into 0 12.430 * [backup-simplify]: Simplify (- 0) into 0 12.432 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.433 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.433 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.433 * [backup-simplify]: Simplify 1/3 into 1/3 12.436 * [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 12.437 * [backup-simplify]: Simplify (- 1) into -1 12.437 * [backup-simplify]: Simplify (- 1) into -1 12.437 * [backup-simplify]: Simplify (- 0) into 0 12.437 * [backup-simplify]: Simplify (- 1) into -1 12.438 * [backup-simplify]: Simplify (- 0) into 0 12.438 * [backup-simplify]: Simplify (- 0) into 0 12.438 * [backup-simplify]: Simplify (- 0) into 0 12.442 * [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 12.442 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.443 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.443 * [backup-simplify]: Simplify 0 into 0 12.447 * [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 12.447 * [backup-simplify]: Simplify (- 1) into -1 12.448 * [backup-simplify]: Simplify (- 1) into -1 12.448 * [backup-simplify]: Simplify (- 0) into 0 12.448 * [backup-simplify]: Simplify (- 1) into -1 12.448 * [backup-simplify]: Simplify (- 0) into 0 12.449 * [backup-simplify]: Simplify (- 1) into -1 12.449 * [backup-simplify]: Simplify (- 0) into 0 12.449 * [backup-simplify]: Simplify (- 1) into -1 12.450 * [backup-simplify]: Simplify (- 0) into 0 12.450 * [backup-simplify]: Simplify (- 0) into 0 12.450 * [backup-simplify]: Simplify (- 0) into 0 12.451 * [backup-simplify]: Simplify (- 0) into 0 12.455 * [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 12.456 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.456 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.456 * [backup-simplify]: Simplify 1/60 into 1/60 12.457 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 12.457 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.457 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 12.457 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.457 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.457 * [taylor]: Taking taylor expansion of x in x 12.457 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify 1 into 1 12.457 * [backup-simplify]: Simplify (/ 1 1) into 1 12.457 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.457 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.457 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.457 * [taylor]: Taking taylor expansion of x in x 12.458 * [backup-simplify]: Simplify 0 into 0 12.458 * [backup-simplify]: Simplify 1 into 1 12.458 * [backup-simplify]: Simplify (/ 1 1) into 1 12.458 * [backup-simplify]: Simplify (- 1) into -1 12.458 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.458 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.458 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.458 * [taylor]: Taking taylor expansion of x in x 12.458 * [backup-simplify]: Simplify 0 into 0 12.458 * [backup-simplify]: Simplify 1 into 1 12.459 * [backup-simplify]: Simplify (/ 1 1) into 1 12.459 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.459 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.459 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.459 * [taylor]: Taking taylor expansion of x in x 12.459 * [backup-simplify]: Simplify 0 into 0 12.459 * [backup-simplify]: Simplify 1 into 1 12.459 * [backup-simplify]: Simplify (/ 1 1) into 1 12.459 * [backup-simplify]: Simplify (- 1) into -1 12.460 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.460 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 12.460 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.460 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.460 * [backup-simplify]: Simplify (- 0) into 0 12.461 * [backup-simplify]: Simplify (+ 0 0) into 0 12.461 * [backup-simplify]: Simplify 0 into 0 12.461 * [backup-simplify]: Simplify (- 0) into 0 12.461 * [backup-simplify]: Simplify (+ 0 0) into 0 12.461 * [backup-simplify]: Simplify 0 into 0 12.462 * [backup-simplify]: Simplify (- 0) into 0 12.462 * [backup-simplify]: Simplify (+ 0 0) into 0 12.462 * [backup-simplify]: Simplify 0 into 0 12.463 * [backup-simplify]: Simplify (- 0) into 0 12.463 * [backup-simplify]: Simplify (+ 0 0) into 0 12.463 * [backup-simplify]: Simplify 0 into 0 12.463 * [backup-simplify]: Simplify (- 0) into 0 12.464 * [backup-simplify]: Simplify (+ 0 0) into 0 12.464 * [backup-simplify]: Simplify 0 into 0 12.464 * [backup-simplify]: Simplify (- 0) into 0 12.464 * [backup-simplify]: Simplify (+ 0 0) into 0 12.464 * [backup-simplify]: Simplify 0 into 0 12.464 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x))) 12.465 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 12.465 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 12.465 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 12.465 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.465 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.465 * [taylor]: Taking taylor expansion of -1 in x 12.465 * [backup-simplify]: Simplify -1 into -1 12.465 * [taylor]: Taking taylor expansion of x in x 12.465 * [backup-simplify]: Simplify 0 into 0 12.465 * [backup-simplify]: Simplify 1 into 1 12.465 * [backup-simplify]: Simplify (/ -1 1) into -1 12.465 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.465 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.465 * [taylor]: Taking taylor expansion of x in x 12.465 * [backup-simplify]: Simplify 0 into 0 12.465 * [backup-simplify]: Simplify 1 into 1 12.466 * [backup-simplify]: Simplify (/ 1 1) into 1 12.466 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.466 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 12.466 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.466 * [taylor]: Taking taylor expansion of -1 in x 12.466 * [backup-simplify]: Simplify -1 into -1 12.466 * [taylor]: Taking taylor expansion of x in x 12.466 * [backup-simplify]: Simplify 0 into 0 12.466 * [backup-simplify]: Simplify 1 into 1 12.466 * [backup-simplify]: Simplify (/ -1 1) into -1 12.466 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.466 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.466 * [taylor]: Taking taylor expansion of x in x 12.467 * [backup-simplify]: Simplify 0 into 0 12.467 * [backup-simplify]: Simplify 1 into 1 12.467 * [backup-simplify]: Simplify (/ 1 1) into 1 12.467 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.467 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 12.467 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 12.467 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 12.468 * [backup-simplify]: Simplify (- 0) into 0 12.468 * [backup-simplify]: Simplify (+ 0 0) into 0 12.468 * [backup-simplify]: Simplify 0 into 0 12.468 * [backup-simplify]: Simplify (- 0) into 0 12.469 * [backup-simplify]: Simplify (+ 0 0) into 0 12.469 * [backup-simplify]: Simplify 0 into 0 12.469 * [backup-simplify]: Simplify (- 0) into 0 12.469 * [backup-simplify]: Simplify (+ 0 0) into 0 12.469 * [backup-simplify]: Simplify 0 into 0 12.470 * [backup-simplify]: Simplify (- 0) into 0 12.470 * [backup-simplify]: Simplify (+ 0 0) into 0 12.470 * [backup-simplify]: Simplify 0 into 0 12.470 * [backup-simplify]: Simplify (- 0) into 0 12.471 * [backup-simplify]: Simplify (+ 0 0) into 0 12.471 * [backup-simplify]: Simplify 0 into 0 12.471 * [backup-simplify]: Simplify (- 0) into 0 12.471 * [backup-simplify]: Simplify (+ 0 0) into 0 12.471 * [backup-simplify]: Simplify 0 into 0 12.471 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x))) 12.471 * * * * [progress]: [ 2 / 2 ] generating series at (2) 12.472 * [backup-simplify]: Simplify (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 12.472 * [approximate]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in (x) around 0 12.472 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 12.472 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 12.472 * [taylor]: Taking taylor expansion of (exp x) in x 12.472 * [taylor]: Taking taylor expansion of x in x 12.472 * [backup-simplify]: Simplify 0 into 0 12.472 * [backup-simplify]: Simplify 1 into 1 12.472 * [backup-simplify]: Simplify (exp 0) into 1 12.472 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.472 * [taylor]: Taking taylor expansion of (- x) in x 12.472 * [taylor]: Taking taylor expansion of x in x 12.472 * [backup-simplify]: Simplify 0 into 0 12.472 * [backup-simplify]: Simplify 1 into 1 12.472 * [backup-simplify]: Simplify (- 0) into 0 12.473 * [backup-simplify]: Simplify (- 1) into -1 12.473 * [backup-simplify]: Simplify (exp 0) into 1 12.473 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 12.473 * [taylor]: Taking taylor expansion of (exp x) in x 12.473 * [taylor]: Taking taylor expansion of x in x 12.473 * [backup-simplify]: Simplify 0 into 0 12.473 * [backup-simplify]: Simplify 1 into 1 12.473 * [backup-simplify]: Simplify (exp 0) into 1 12.473 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.473 * [taylor]: Taking taylor expansion of (- x) in x 12.473 * [taylor]: Taking taylor expansion of x in x 12.473 * [backup-simplify]: Simplify 0 into 0 12.473 * [backup-simplify]: Simplify 1 into 1 12.473 * [backup-simplify]: Simplify (- 0) into 0 12.473 * [backup-simplify]: Simplify (- 1) into -1 12.474 * [backup-simplify]: Simplify (exp 0) into 1 12.474 * [backup-simplify]: Simplify (- 1) into -1 12.474 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.475 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.475 * [backup-simplify]: Simplify (- 1) into -1 12.476 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.477 * [backup-simplify]: Simplify (- -1) into 1 12.477 * [backup-simplify]: Simplify (+ 1 1) into 2 12.477 * [backup-simplify]: Simplify (+ 1 1) into 2 12.478 * [backup-simplify]: Simplify (/ 2 2) into 1 12.478 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 12.478 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 12.478 * [taylor]: Taking taylor expansion of (exp x) in x 12.478 * [taylor]: Taking taylor expansion of x in x 12.478 * [backup-simplify]: Simplify 0 into 0 12.478 * [backup-simplify]: Simplify 1 into 1 12.478 * [backup-simplify]: Simplify (exp 0) into 1 12.478 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.478 * [taylor]: Taking taylor expansion of (- x) in x 12.478 * [taylor]: Taking taylor expansion of x in x 12.478 * [backup-simplify]: Simplify 0 into 0 12.478 * [backup-simplify]: Simplify 1 into 1 12.478 * [backup-simplify]: Simplify (- 0) into 0 12.478 * [backup-simplify]: Simplify (- 1) into -1 12.478 * [backup-simplify]: Simplify (exp 0) into 1 12.478 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 12.479 * [taylor]: Taking taylor expansion of (exp x) in x 12.479 * [taylor]: Taking taylor expansion of x in x 12.479 * [backup-simplify]: Simplify 0 into 0 12.479 * [backup-simplify]: Simplify 1 into 1 12.479 * [backup-simplify]: Simplify (exp 0) into 1 12.479 * [taylor]: Taking taylor expansion of (exp (- x)) in x 12.479 * [taylor]: Taking taylor expansion of (- x) in x 12.479 * [taylor]: Taking taylor expansion of x in x 12.479 * [backup-simplify]: Simplify 0 into 0 12.479 * [backup-simplify]: Simplify 1 into 1 12.479 * [backup-simplify]: Simplify (- 0) into 0 12.479 * [backup-simplify]: Simplify (- 1) into -1 12.479 * [backup-simplify]: Simplify (exp 0) into 1 12.480 * [backup-simplify]: Simplify (- 1) into -1 12.480 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.481 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.481 * [backup-simplify]: Simplify (- 1) into -1 12.482 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.482 * [backup-simplify]: Simplify (- -1) into 1 12.483 * [backup-simplify]: Simplify (+ 1 1) into 2 12.483 * [backup-simplify]: Simplify (+ 1 1) into 2 12.483 * [backup-simplify]: Simplify (/ 2 2) into 1 12.483 * [backup-simplify]: Simplify 1 into 1 12.485 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.485 * [backup-simplify]: Simplify (- 1) into -1 12.485 * [backup-simplify]: Simplify (- 0) into 0 12.487 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.487 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.487 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.488 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.488 * [backup-simplify]: Simplify (- 1) into -1 12.489 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.490 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.490 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.490 * [backup-simplify]: Simplify 0 into 0 12.492 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.493 * [backup-simplify]: Simplify (- 1) into -1 12.493 * [backup-simplify]: Simplify (- 1) into -1 12.493 * [backup-simplify]: Simplify (- 0) into 0 12.494 * [backup-simplify]: Simplify (- 0) into 0 12.496 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.496 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.496 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.497 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.498 * [backup-simplify]: Simplify (- 1) into -1 12.498 * [backup-simplify]: Simplify (- 0) into 0 12.499 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.500 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 12.501 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3 12.501 * [backup-simplify]: Simplify -1/3 into -1/3 12.504 * [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 12.504 * [backup-simplify]: Simplify (- 1) into -1 12.505 * [backup-simplify]: Simplify (- 1) into -1 12.505 * [backup-simplify]: Simplify (- 0) into 0 12.505 * [backup-simplify]: Simplify (- 1) into -1 12.506 * [backup-simplify]: Simplify (- 0) into 0 12.506 * [backup-simplify]: Simplify (- 0) into 0 12.506 * [backup-simplify]: Simplify (- 0) into 0 12.509 * [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 12.510 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.510 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.512 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.513 * [backup-simplify]: Simplify (- 1) into -1 12.513 * [backup-simplify]: Simplify (- 1) into -1 12.513 * [backup-simplify]: Simplify (- 0) into 0 12.513 * [backup-simplify]: Simplify (- 0) into 0 12.516 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.516 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 12.517 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0 12.517 * [backup-simplify]: Simplify 0 into 0 12.525 * [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 12.525 * [backup-simplify]: Simplify (- 1) into -1 12.526 * [backup-simplify]: Simplify (- 1) into -1 12.526 * [backup-simplify]: Simplify (- 0) into 0 12.526 * [backup-simplify]: Simplify (- 1) into -1 12.527 * [backup-simplify]: Simplify (- 0) into 0 12.527 * [backup-simplify]: Simplify (- 1) into -1 12.527 * [backup-simplify]: Simplify (- 0) into 0 12.528 * [backup-simplify]: Simplify (- 1) into -1 12.528 * [backup-simplify]: Simplify (- 0) into 0 12.528 * [backup-simplify]: Simplify (- 0) into 0 12.529 * [backup-simplify]: Simplify (- 0) into 0 12.529 * [backup-simplify]: Simplify (- 0) into 0 12.534 * [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 12.534 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.535 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.538 * [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 12.538 * [backup-simplify]: Simplify (- 1) into -1 12.539 * [backup-simplify]: Simplify (- 1) into -1 12.539 * [backup-simplify]: Simplify (- 0) into 0 12.539 * [backup-simplify]: Simplify (- 1) into -1 12.539 * [backup-simplify]: Simplify (- 0) into 0 12.540 * [backup-simplify]: Simplify (- 0) into 0 12.540 * [backup-simplify]: Simplify (- 0) into 0 12.544 * [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 12.544 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 12.545 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15 12.546 * [backup-simplify]: Simplify 2/15 into 2/15 12.546 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 12.546 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.546 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 12.546 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 12.546 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.546 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.547 * [taylor]: Taking taylor expansion of x in x 12.547 * [backup-simplify]: Simplify 0 into 0 12.547 * [backup-simplify]: Simplify 1 into 1 12.547 * [backup-simplify]: Simplify (/ 1 1) into 1 12.547 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.547 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.547 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.547 * [taylor]: Taking taylor expansion of x in x 12.547 * [backup-simplify]: Simplify 0 into 0 12.547 * [backup-simplify]: Simplify 1 into 1 12.547 * [backup-simplify]: Simplify (/ 1 1) into 1 12.548 * [backup-simplify]: Simplify (- 1) into -1 12.548 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.548 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.548 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.548 * [taylor]: Taking taylor expansion of x in x 12.548 * [backup-simplify]: Simplify 0 into 0 12.548 * [backup-simplify]: Simplify 1 into 1 12.548 * [backup-simplify]: Simplify (/ 1 1) into 1 12.548 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.548 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.548 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.548 * [taylor]: Taking taylor expansion of x in x 12.549 * [backup-simplify]: Simplify 0 into 0 12.549 * [backup-simplify]: Simplify 1 into 1 12.549 * [backup-simplify]: Simplify (/ 1 1) into 1 12.549 * [backup-simplify]: Simplify (- 1) into -1 12.549 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.549 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 12.550 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.550 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.550 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.550 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 12.550 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.550 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.550 * [taylor]: Taking taylor expansion of x in x 12.550 * [backup-simplify]: Simplify 0 into 0 12.550 * [backup-simplify]: Simplify 1 into 1 12.550 * [backup-simplify]: Simplify (/ 1 1) into 1 12.551 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.551 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.551 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.551 * [taylor]: Taking taylor expansion of x in x 12.551 * [backup-simplify]: Simplify 0 into 0 12.551 * [backup-simplify]: Simplify 1 into 1 12.551 * [backup-simplify]: Simplify (/ 1 1) into 1 12.551 * [backup-simplify]: Simplify (- 1) into -1 12.551 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.551 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 12.551 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.552 * [taylor]: Taking taylor expansion of x in x 12.552 * [backup-simplify]: Simplify 0 into 0 12.552 * [backup-simplify]: Simplify 1 into 1 12.552 * [backup-simplify]: Simplify (/ 1 1) into 1 12.552 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.552 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 12.552 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.552 * [taylor]: Taking taylor expansion of x in x 12.552 * [backup-simplify]: Simplify 0 into 0 12.552 * [backup-simplify]: Simplify 1 into 1 12.552 * [backup-simplify]: Simplify (/ 1 1) into 1 12.553 * [backup-simplify]: Simplify (- 1) into -1 12.553 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 12.553 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 12.553 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.553 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 12.554 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.554 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 12.554 * [backup-simplify]: Simplify (- 0) into 0 12.555 * [backup-simplify]: Simplify (+ 0 0) into 0 12.555 * [backup-simplify]: Simplify (+ 0 0) into 0 12.556 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.556 * [backup-simplify]: Simplify 0 into 0 12.556 * [backup-simplify]: Simplify (- 0) into 0 12.556 * [backup-simplify]: Simplify (+ 0 0) into 0 12.556 * [backup-simplify]: Simplify (+ 0 0) into 0 12.557 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.557 * [backup-simplify]: Simplify 0 into 0 12.558 * [backup-simplify]: Simplify (- 0) into 0 12.558 * [backup-simplify]: Simplify (+ 0 0) into 0 12.558 * [backup-simplify]: Simplify (+ 0 0) into 0 12.559 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.559 * [backup-simplify]: Simplify 0 into 0 12.560 * [backup-simplify]: Simplify (- 0) into 0 12.560 * [backup-simplify]: Simplify (+ 0 0) into 0 12.560 * [backup-simplify]: Simplify (+ 0 0) into 0 12.561 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.561 * [backup-simplify]: Simplify 0 into 0 12.562 * [backup-simplify]: Simplify (- 0) into 0 12.562 * [backup-simplify]: Simplify (+ 0 0) into 0 12.563 * [backup-simplify]: Simplify (+ 0 0) into 0 12.564 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.564 * [backup-simplify]: Simplify 0 into 0 12.564 * [backup-simplify]: Simplify (- 0) into 0 12.565 * [backup-simplify]: Simplify (+ 0 0) into 0 12.565 * [backup-simplify]: Simplify (+ 0 0) into 0 12.566 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 12.566 * [backup-simplify]: Simplify 0 into 0 12.567 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 12.567 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 12.567 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 12.567 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 12.567 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 12.567 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.567 * [taylor]: Taking taylor expansion of -1 in x 12.567 * [backup-simplify]: Simplify -1 into -1 12.567 * [taylor]: Taking taylor expansion of x in x 12.567 * [backup-simplify]: Simplify 0 into 0 12.567 * [backup-simplify]: Simplify 1 into 1 12.568 * [backup-simplify]: Simplify (/ -1 1) into -1 12.568 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.568 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.568 * [taylor]: Taking taylor expansion of x in x 12.568 * [backup-simplify]: Simplify 0 into 0 12.568 * [backup-simplify]: Simplify 1 into 1 12.568 * [backup-simplify]: Simplify (/ 1 1) into 1 12.568 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.568 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 12.568 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.569 * [taylor]: Taking taylor expansion of x in x 12.569 * [backup-simplify]: Simplify 0 into 0 12.569 * [backup-simplify]: Simplify 1 into 1 12.569 * [backup-simplify]: Simplify (/ 1 1) into 1 12.569 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.569 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.569 * [taylor]: Taking taylor expansion of -1 in x 12.569 * [backup-simplify]: Simplify -1 into -1 12.569 * [taylor]: Taking taylor expansion of x in x 12.569 * [backup-simplify]: Simplify 0 into 0 12.569 * [backup-simplify]: Simplify 1 into 1 12.569 * [backup-simplify]: Simplify (/ -1 1) into -1 12.570 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.570 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 12.570 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 12.570 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 12.570 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 12.570 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 12.570 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 12.570 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.570 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.570 * [taylor]: Taking taylor expansion of -1 in x 12.570 * [backup-simplify]: Simplify -1 into -1 12.570 * [taylor]: Taking taylor expansion of x in x 12.570 * [backup-simplify]: Simplify 0 into 0 12.570 * [backup-simplify]: Simplify 1 into 1 12.571 * [backup-simplify]: Simplify (/ -1 1) into -1 12.571 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.571 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.571 * [taylor]: Taking taylor expansion of x in x 12.571 * [backup-simplify]: Simplify 0 into 0 12.571 * [backup-simplify]: Simplify 1 into 1 12.571 * [backup-simplify]: Simplify (/ 1 1) into 1 12.571 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.571 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 12.571 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 12.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.572 * [taylor]: Taking taylor expansion of x in x 12.572 * [backup-simplify]: Simplify 0 into 0 12.572 * [backup-simplify]: Simplify 1 into 1 12.572 * [backup-simplify]: Simplify (/ 1 1) into 1 12.572 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 12.572 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 12.572 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.572 * [taylor]: Taking taylor expansion of -1 in x 12.572 * [backup-simplify]: Simplify -1 into -1 12.572 * [taylor]: Taking taylor expansion of x in x 12.572 * [backup-simplify]: Simplify 0 into 0 12.572 * [backup-simplify]: Simplify 1 into 1 12.572 * [backup-simplify]: Simplify (/ -1 1) into -1 12.573 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 12.573 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 12.573 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 12.573 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 12.573 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 12.573 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 12.574 * [backup-simplify]: Simplify (- 0) into 0 12.574 * [backup-simplify]: Simplify (+ 0 0) into 0 12.574 * [backup-simplify]: Simplify (+ 0 0) into 0 12.575 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.575 * [backup-simplify]: Simplify 0 into 0 12.575 * [backup-simplify]: Simplify (- 0) into 0 12.576 * [backup-simplify]: Simplify (+ 0 0) into 0 12.576 * [backup-simplify]: Simplify (+ 0 0) into 0 12.577 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.577 * [backup-simplify]: Simplify 0 into 0 12.577 * [backup-simplify]: Simplify (- 0) into 0 12.577 * [backup-simplify]: Simplify (+ 0 0) into 0 12.578 * [backup-simplify]: Simplify (+ 0 0) into 0 12.579 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.579 * [backup-simplify]: Simplify 0 into 0 12.579 * [backup-simplify]: Simplify (- 0) into 0 12.579 * [backup-simplify]: Simplify (+ 0 0) into 0 12.580 * [backup-simplify]: Simplify (+ 0 0) into 0 12.581 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.581 * [backup-simplify]: Simplify 0 into 0 12.581 * [backup-simplify]: Simplify (- 0) into 0 12.581 * [backup-simplify]: Simplify (+ 0 0) into 0 12.581 * [backup-simplify]: Simplify (+ 0 0) into 0 12.582 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.582 * [backup-simplify]: Simplify 0 into 0 12.582 * [backup-simplify]: Simplify (- 0) into 0 12.582 * [backup-simplify]: Simplify (+ 0 0) into 0 12.583 * [backup-simplify]: Simplify (+ 0 0) into 0 12.583 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 12.584 * [backup-simplify]: Simplify 0 into 0 12.584 * [backup-simplify]: Simplify (/ (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 12.584 * * * [progress]: simplifying candidates 12.585 * [simplify]: Simplifying: (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (- (log (- (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (* (* (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (- (exp x) (exp (- x)))) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp x) (exp (- x)))) (/ (exp (- x)) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) 1) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) 1) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) 1) (/ (- (exp x) (exp (- x))) 1) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (- (exp x) (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (+ (exp x) (exp (- x))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 12.587 * * [simplify]: Extracting # 0 : cost 0 12.587 * * [simplify]: Extracting # 1 : cost 0 12.587 * * [simplify]: Extracting # 2 : cost 0 12.587 * * [simplify]: Extracting # 3 : cost 0 12.587 * * [simplify]: Extracting # 4 : cost 0 12.587 * * [simplify]: Extracting # 5 : cost 0 12.587 * * [simplify]: Extracting # 6 : cost 0 12.587 * * [simplify]: Extracting # 7 : cost 0 12.588 * * [simplify]: Extracting # 8 : cost 0 12.588 * * [simplify]: iteration 0 : 106 enodes (cost 1228 ) 12.607 * * [simplify]: Extracting # 0 : cost 0 12.608 * * [simplify]: Extracting # 1 : cost 0 12.608 * * [simplify]: Extracting # 2 : cost 0 12.608 * * [simplify]: Extracting # 3 : cost 0 12.608 * * [simplify]: Extracting # 4 : cost 0 12.609 * * [simplify]: iteration 1 : 264 enodes (cost 1185 ) 12.701 * * [simplify]: Extracting # 0 : cost 0 12.702 * * [simplify]: Extracting # 1 : cost 0 12.704 * * [simplify]: Extracting # 2 : cost 0 12.711 * * [simplify]: Extracting # 3 : cost 0 12.712 * * [simplify]: Extracting # 4 : cost 0 12.713 * * [simplify]: Extracting # 5 : cost 0 12.714 * * [simplify]: iteration 2 : 1065 enodes (cost 1111 ) 13.105 * * [simplify]: Extracting # 0 : cost 0 13.123 * * [simplify]: Extracting # 1 : cost 0 13.130 * * [simplify]: Extracting # 2 : cost 0 13.139 * * [simplify]: Extracting # 3 : cost 0 13.147 * * [simplify]: Extracting # 4 : cost 0 13.156 * * [simplify]: iteration done: 5001 enodes (cost 1109 ) 13.157 * [simplify]: Simplified to: (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x)) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3) (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (- (exp x) (exp (- x)))) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp x) (exp (- x)))) (/ (exp (- x)) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (- (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2)))) (* (+ (exp x) (exp (- x))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (+ (exp (* x -2)) 1) (+ (exp (+ x x)) 1)) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 13.158 * * * [progress]: adding candidates to table 13.320 * * [progress]: iteration 2 / 4 13.320 * * * [progress]: picking best candidate 13.321 * * * * [pick]: Picked # 13.321 * * * [progress]: localizing error 13.323 * * * [progress]: generating rewritten candidates 13.323 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 13.324 * * * [progress]: generating series expansions 13.324 * * * * [progress]: [ 1 / 1 ] generating series at (2) 13.324 * [backup-simplify]: Simplify (tanh x) into (tanh x) 13.325 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 13.325 * [taylor]: Taking taylor expansion of (tanh x) in x 13.326 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 13.326 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 13.326 * [taylor]: Taking taylor expansion of (exp x) in x 13.326 * [taylor]: Taking taylor expansion of x in x 13.326 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [backup-simplify]: Simplify (exp 0) into 1 13.326 * [taylor]: Taking taylor expansion of (exp (- x)) in x 13.326 * [taylor]: Taking taylor expansion of (- x) in x 13.326 * [taylor]: Taking taylor expansion of x in x 13.326 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify 1 into 1 13.327 * [backup-simplify]: Simplify (- 0) into 0 13.327 * [backup-simplify]: Simplify (- 1) into -1 13.327 * [backup-simplify]: Simplify (exp 0) into 1 13.327 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 13.327 * [taylor]: Taking taylor expansion of (exp x) in x 13.328 * [taylor]: Taking taylor expansion of x in x 13.328 * [backup-simplify]: Simplify 0 into 0 13.328 * [backup-simplify]: Simplify 1 into 1 13.328 * [backup-simplify]: Simplify (exp 0) into 1 13.328 * [taylor]: Taking taylor expansion of (exp (- x)) in x 13.328 * [taylor]: Taking taylor expansion of (- x) in x 13.328 * [taylor]: Taking taylor expansion of x in x 13.328 * [backup-simplify]: Simplify 0 into 0 13.328 * [backup-simplify]: Simplify 1 into 1 13.328 * [backup-simplify]: Simplify (- 0) into 0 13.328 * [backup-simplify]: Simplify (- 1) into -1 13.328 * [backup-simplify]: Simplify (exp 0) into 1 13.329 * [backup-simplify]: Simplify (- 1) into -1 13.329 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.330 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.330 * [backup-simplify]: Simplify (- 1) into -1 13.331 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.331 * [backup-simplify]: Simplify (- -1) into 1 13.332 * [backup-simplify]: Simplify (+ 1 1) into 2 13.332 * [backup-simplify]: Simplify (+ 1 1) into 2 13.332 * [backup-simplify]: Simplify (/ 2 2) into 1 13.332 * [taylor]: Taking taylor expansion of (tanh x) in x 13.333 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 13.333 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 13.333 * [taylor]: Taking taylor expansion of (exp x) in x 13.333 * [taylor]: Taking taylor expansion of x in x 13.333 * [backup-simplify]: Simplify 0 into 0 13.333 * [backup-simplify]: Simplify 1 into 1 13.333 * [backup-simplify]: Simplify (exp 0) into 1 13.333 * [taylor]: Taking taylor expansion of (exp (- x)) in x 13.333 * [taylor]: Taking taylor expansion of (- x) in x 13.333 * [taylor]: Taking taylor expansion of x in x 13.333 * [backup-simplify]: Simplify 0 into 0 13.333 * [backup-simplify]: Simplify 1 into 1 13.333 * [backup-simplify]: Simplify (- 0) into 0 13.333 * [backup-simplify]: Simplify (- 1) into -1 13.334 * [backup-simplify]: Simplify (exp 0) into 1 13.334 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 13.334 * [taylor]: Taking taylor expansion of (exp x) in x 13.334 * [taylor]: Taking taylor expansion of x in x 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 1 into 1 13.334 * [backup-simplify]: Simplify (exp 0) into 1 13.334 * [taylor]: Taking taylor expansion of (exp (- x)) in x 13.334 * [taylor]: Taking taylor expansion of (- x) in x 13.334 * [taylor]: Taking taylor expansion of x in x 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 1 into 1 13.334 * [backup-simplify]: Simplify (- 0) into 0 13.334 * [backup-simplify]: Simplify (- 1) into -1 13.334 * [backup-simplify]: Simplify (exp 0) into 1 13.335 * [backup-simplify]: Simplify (- 1) into -1 13.335 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.336 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.336 * [backup-simplify]: Simplify (- 1) into -1 13.337 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.338 * [backup-simplify]: Simplify (- -1) into 1 13.338 * [backup-simplify]: Simplify (+ 1 1) into 2 13.338 * [backup-simplify]: Simplify (+ 1 1) into 2 13.339 * [backup-simplify]: Simplify (/ 2 2) into 1 13.339 * [backup-simplify]: Simplify 1 into 1 13.340 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.340 * [backup-simplify]: Simplify (- 1) into -1 13.341 * [backup-simplify]: Simplify (- 0) into 0 13.342 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.343 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.343 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 13.344 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.344 * [backup-simplify]: Simplify (- 1) into -1 13.345 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.345 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.346 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 13.346 * [backup-simplify]: Simplify 0 into 0 13.348 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.348 * [backup-simplify]: Simplify (- 1) into -1 13.349 * [backup-simplify]: Simplify (- 1) into -1 13.349 * [backup-simplify]: Simplify (- 0) into 0 13.349 * [backup-simplify]: Simplify (- 0) into 0 13.356 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.356 * [backup-simplify]: Simplify (- -1/6) into 1/6 13.357 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 13.358 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.358 * [backup-simplify]: Simplify (- 1) into -1 13.359 * [backup-simplify]: Simplify (- 0) into 0 13.360 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.361 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 13.362 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3 13.362 * [backup-simplify]: Simplify -1/3 into -1/3 13.365 * [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 13.366 * [backup-simplify]: Simplify (- 1) into -1 13.366 * [backup-simplify]: Simplify (- 1) into -1 13.366 * [backup-simplify]: Simplify (- 0) into 0 13.367 * [backup-simplify]: Simplify (- 1) into -1 13.367 * [backup-simplify]: Simplify (- 0) into 0 13.367 * [backup-simplify]: Simplify (- 0) into 0 13.368 * [backup-simplify]: Simplify (- 0) into 0 13.371 * [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 13.372 * [backup-simplify]: Simplify (- 1/24) into -1/24 13.372 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 13.374 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.374 * [backup-simplify]: Simplify (- 1) into -1 13.375 * [backup-simplify]: Simplify (- 1) into -1 13.375 * [backup-simplify]: Simplify (- 0) into 0 13.375 * [backup-simplify]: Simplify (- 0) into 0 13.378 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.378 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 13.379 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0 13.379 * [backup-simplify]: Simplify 0 into 0 13.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 13.385 * [backup-simplify]: Simplify (- 1) into -1 13.385 * [backup-simplify]: Simplify (- 1) into -1 13.385 * [backup-simplify]: Simplify (- 0) into 0 13.386 * [backup-simplify]: Simplify (- 1) into -1 13.386 * [backup-simplify]: Simplify (- 0) into 0 13.386 * [backup-simplify]: Simplify (- 1) into -1 13.387 * [backup-simplify]: Simplify (- 0) into 0 13.387 * [backup-simplify]: Simplify (- 1) into -1 13.387 * [backup-simplify]: Simplify (- 0) into 0 13.388 * [backup-simplify]: Simplify (- 0) into 0 13.388 * [backup-simplify]: Simplify (- 0) into 0 13.388 * [backup-simplify]: Simplify (- 0) into 0 13.394 * [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 13.394 * [backup-simplify]: Simplify (- -1/120) into 1/120 13.394 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 13.398 * [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 13.398 * [backup-simplify]: Simplify (- 1) into -1 13.399 * [backup-simplify]: Simplify (- 1) into -1 13.399 * [backup-simplify]: Simplify (- 0) into 0 13.399 * [backup-simplify]: Simplify (- 1) into -1 13.400 * [backup-simplify]: Simplify (- 0) into 0 13.400 * [backup-simplify]: Simplify (- 0) into 0 13.400 * [backup-simplify]: Simplify (- 0) into 0 13.404 * [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 13.404 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 13.406 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15 13.406 * [backup-simplify]: Simplify 2/15 into 2/15 13.406 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 13.407 * [backup-simplify]: Simplify (tanh (/ 1 x)) into (tanh (/ 1 x)) 13.407 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 13.407 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 13.407 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 13.407 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 13.407 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.407 * [taylor]: Taking taylor expansion of x in x 13.407 * [backup-simplify]: Simplify 0 into 0 13.407 * [backup-simplify]: Simplify 1 into 1 13.407 * [backup-simplify]: Simplify (/ 1 1) into 1 13.407 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.407 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 13.407 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 13.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.408 * [taylor]: Taking taylor expansion of x in x 13.408 * [backup-simplify]: Simplify 0 into 0 13.408 * [backup-simplify]: Simplify 1 into 1 13.408 * [backup-simplify]: Simplify (/ 1 1) into 1 13.408 * [backup-simplify]: Simplify (- 1) into -1 13.408 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 13.408 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 13.408 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.408 * [taylor]: Taking taylor expansion of x in x 13.408 * [backup-simplify]: Simplify 0 into 0 13.408 * [backup-simplify]: Simplify 1 into 1 13.409 * [backup-simplify]: Simplify (/ 1 1) into 1 13.409 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.409 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 13.409 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 13.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.409 * [taylor]: Taking taylor expansion of x in x 13.409 * [backup-simplify]: Simplify 0 into 0 13.409 * [backup-simplify]: Simplify 1 into 1 13.409 * [backup-simplify]: Simplify (/ 1 1) into 1 13.410 * [backup-simplify]: Simplify (- 1) into -1 13.410 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 13.410 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 13.410 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 13.410 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 13.411 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 13.411 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 13.411 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 13.411 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 13.411 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.411 * [taylor]: Taking taylor expansion of x in x 13.411 * [backup-simplify]: Simplify 0 into 0 13.411 * [backup-simplify]: Simplify 1 into 1 13.411 * [backup-simplify]: Simplify (/ 1 1) into 1 13.411 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.411 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 13.411 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 13.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.411 * [taylor]: Taking taylor expansion of x in x 13.411 * [backup-simplify]: Simplify 0 into 0 13.411 * [backup-simplify]: Simplify 1 into 1 13.412 * [backup-simplify]: Simplify (/ 1 1) into 1 13.412 * [backup-simplify]: Simplify (- 1) into -1 13.412 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 13.412 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 13.412 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 13.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.412 * [taylor]: Taking taylor expansion of x in x 13.412 * [backup-simplify]: Simplify 0 into 0 13.412 * [backup-simplify]: Simplify 1 into 1 13.413 * [backup-simplify]: Simplify (/ 1 1) into 1 13.413 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 13.413 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 13.413 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 13.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.413 * [taylor]: Taking taylor expansion of x in x 13.413 * [backup-simplify]: Simplify 0 into 0 13.413 * [backup-simplify]: Simplify 1 into 1 13.413 * [backup-simplify]: Simplify (/ 1 1) into 1 13.414 * [backup-simplify]: Simplify (- 1) into -1 13.414 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 13.414 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 13.414 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 13.414 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 13.414 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 13.415 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 13.415 * [backup-simplify]: Simplify (- 0) into 0 13.416 * [backup-simplify]: Simplify (+ 0 0) into 0 13.416 * [backup-simplify]: Simplify (+ 0 0) into 0 13.416 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 13.417 * [backup-simplify]: Simplify 0 into 0 13.417 * [backup-simplify]: Simplify (- 0) into 0 13.417 * [backup-simplify]: Simplify (+ 0 0) into 0 13.417 * [backup-simplify]: Simplify (+ 0 0) into 0 13.418 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 13.418 * [backup-simplify]: Simplify 0 into 0 13.419 * [backup-simplify]: Simplify (- 0) into 0 13.419 * [backup-simplify]: Simplify (+ 0 0) into 0 13.419 * [backup-simplify]: Simplify (+ 0 0) into 0 13.420 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 13.421 * [backup-simplify]: Simplify 0 into 0 13.421 * [backup-simplify]: Simplify (- 0) into 0 13.421 * [backup-simplify]: Simplify (+ 0 0) into 0 13.421 * [backup-simplify]: Simplify (+ 0 0) into 0 13.423 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 13.423 * [backup-simplify]: Simplify 0 into 0 13.423 * [backup-simplify]: Simplify (- 0) into 0 13.423 * [backup-simplify]: Simplify (+ 0 0) into 0 13.424 * [backup-simplify]: Simplify (+ 0 0) into 0 13.425 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 13.425 * [backup-simplify]: Simplify 0 into 0 13.425 * [backup-simplify]: Simplify (- 0) into 0 13.426 * [backup-simplify]: Simplify (+ 0 0) into 0 13.426 * [backup-simplify]: Simplify (+ 0 0) into 0 13.427 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 13.427 * [backup-simplify]: Simplify 0 into 0 13.428 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 13.428 * [backup-simplify]: Simplify (tanh (/ 1 (- x))) into (tanh (/ -1 x)) 13.428 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 13.428 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 13.428 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 13.428 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 13.428 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.428 * [taylor]: Taking taylor expansion of -1 in x 13.428 * [backup-simplify]: Simplify -1 into -1 13.428 * [taylor]: Taking taylor expansion of x in x 13.428 * [backup-simplify]: Simplify 0 into 0 13.428 * [backup-simplify]: Simplify 1 into 1 13.429 * [backup-simplify]: Simplify (/ -1 1) into -1 13.429 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.429 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 13.429 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 13.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.429 * [taylor]: Taking taylor expansion of -1 in x 13.429 * [backup-simplify]: Simplify -1 into -1 13.429 * [taylor]: Taking taylor expansion of x in x 13.429 * [backup-simplify]: Simplify 0 into 0 13.429 * [backup-simplify]: Simplify 1 into 1 13.429 * [backup-simplify]: Simplify (/ -1 1) into -1 13.430 * [backup-simplify]: Simplify (- -1) into 1 13.430 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 13.430 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 13.430 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.430 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.430 * [taylor]: Taking taylor expansion of -1 in x 13.430 * [backup-simplify]: Simplify -1 into -1 13.430 * [taylor]: Taking taylor expansion of x in x 13.430 * [backup-simplify]: Simplify 0 into 0 13.430 * [backup-simplify]: Simplify 1 into 1 13.430 * [backup-simplify]: Simplify (/ -1 1) into -1 13.430 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.430 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 13.430 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 13.430 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.430 * [taylor]: Taking taylor expansion of -1 in x 13.430 * [backup-simplify]: Simplify -1 into -1 13.430 * [taylor]: Taking taylor expansion of x in x 13.430 * [backup-simplify]: Simplify 0 into 0 13.431 * [backup-simplify]: Simplify 1 into 1 13.431 * [backup-simplify]: Simplify (/ -1 1) into -1 13.431 * [backup-simplify]: Simplify (- -1) into 1 13.431 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 13.431 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 13.431 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 13.432 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (exp (/ 1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 13.432 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 13.432 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 13.432 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 13.432 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 13.432 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.432 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.432 * [taylor]: Taking taylor expansion of -1 in x 13.432 * [backup-simplify]: Simplify -1 into -1 13.432 * [taylor]: Taking taylor expansion of x in x 13.432 * [backup-simplify]: Simplify 0 into 0 13.432 * [backup-simplify]: Simplify 1 into 1 13.433 * [backup-simplify]: Simplify (/ -1 1) into -1 13.433 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.433 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 13.433 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 13.433 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.433 * [taylor]: Taking taylor expansion of -1 in x 13.433 * [backup-simplify]: Simplify -1 into -1 13.433 * [taylor]: Taking taylor expansion of x in x 13.433 * [backup-simplify]: Simplify 0 into 0 13.433 * [backup-simplify]: Simplify 1 into 1 13.433 * [backup-simplify]: Simplify (/ -1 1) into -1 13.434 * [backup-simplify]: Simplify (- -1) into 1 13.434 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 13.434 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 13.434 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 13.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.434 * [taylor]: Taking taylor expansion of -1 in x 13.434 * [backup-simplify]: Simplify -1 into -1 13.434 * [taylor]: Taking taylor expansion of x in x 13.434 * [backup-simplify]: Simplify 0 into 0 13.434 * [backup-simplify]: Simplify 1 into 1 13.434 * [backup-simplify]: Simplify (/ -1 1) into -1 13.434 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 13.434 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 13.434 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 13.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.434 * [taylor]: Taking taylor expansion of -1 in x 13.434 * [backup-simplify]: Simplify -1 into -1 13.434 * [taylor]: Taking taylor expansion of x in x 13.435 * [backup-simplify]: Simplify 0 into 0 13.435 * [backup-simplify]: Simplify 1 into 1 13.435 * [backup-simplify]: Simplify (/ -1 1) into -1 13.435 * [backup-simplify]: Simplify (- -1) into 1 13.435 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x)) 13.435 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 13.435 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 13.436 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (exp (/ 1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 13.436 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 13.436 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) 13.436 * [backup-simplify]: Simplify (- 0) into 0 13.436 * [backup-simplify]: Simplify (+ 0 0) into 0 13.437 * [backup-simplify]: Simplify (+ 0 0) into 0 13.437 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 13.437 * [backup-simplify]: Simplify 0 into 0 13.437 * [backup-simplify]: Simplify (- 0) into 0 13.438 * [backup-simplify]: Simplify (+ 0 0) into 0 13.438 * [backup-simplify]: Simplify (+ 0 0) into 0 13.438 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 13.438 * [backup-simplify]: Simplify 0 into 0 13.439 * [backup-simplify]: Simplify (- 0) into 0 13.439 * [backup-simplify]: Simplify (+ 0 0) into 0 13.439 * [backup-simplify]: Simplify (+ 0 0) into 0 13.440 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 13.440 * [backup-simplify]: Simplify 0 into 0 13.440 * [backup-simplify]: Simplify (- 0) into 0 13.440 * [backup-simplify]: Simplify (+ 0 0) into 0 13.440 * [backup-simplify]: Simplify (+ 0 0) into 0 13.441 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 13.441 * [backup-simplify]: Simplify 0 into 0 13.441 * [backup-simplify]: Simplify (- 0) into 0 13.441 * [backup-simplify]: Simplify (+ 0 0) into 0 13.442 * [backup-simplify]: Simplify (+ 0 0) into 0 13.442 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 13.442 * [backup-simplify]: Simplify 0 into 0 13.443 * [backup-simplify]: Simplify (- 0) into 0 13.443 * [backup-simplify]: Simplify (+ 0 0) into 0 13.443 * [backup-simplify]: Simplify (+ 0 0) into 0 13.444 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 13.444 * [backup-simplify]: Simplify 0 into 0 13.444 * [backup-simplify]: Simplify (/ (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 13.444 * * * [progress]: simplifying candidates 13.445 * [simplify]: Simplifying: (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (* (* (tanh x) (tanh x)) (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 13.445 * * [simplify]: Extracting # 0 : cost 0 13.445 * * [simplify]: Extracting # 1 : cost 0 13.445 * * [simplify]: Extracting # 2 : cost 0 13.445 * * [simplify]: Extracting # 3 : cost 0 13.445 * * [simplify]: Extracting # 4 : cost 0 13.445 * * [simplify]: Extracting # 5 : cost 0 13.445 * * [simplify]: Extracting # 6 : cost 0 13.445 * * [simplify]: Extracting # 7 : cost 0 13.445 * * [simplify]: Extracting # 8 : cost 0 13.445 * * [simplify]: iteration 0 : 42 enodes (cost 107 ) 13.454 * * [simplify]: Extracting # 0 : cost 0 13.454 * * [simplify]: Extracting # 1 : cost 0 13.454 * * [simplify]: Extracting # 2 : cost 0 13.454 * * [simplify]: Extracting # 3 : cost 0 13.454 * * [simplify]: Extracting # 4 : cost 0 13.454 * * [simplify]: iteration 1 : 92 enodes (cost 83 ) 13.472 * * [simplify]: Extracting # 0 : cost 0 13.472 * * [simplify]: Extracting # 1 : cost 0 13.473 * * [simplify]: Extracting # 2 : cost 0 13.473 * * [simplify]: Extracting # 3 : cost 0 13.473 * * [simplify]: Extracting # 4 : cost 0 13.473 * * [simplify]: iteration 2 : 218 enodes (cost 79 ) 13.554 * * [simplify]: Extracting # 0 : cost 0 13.555 * * [simplify]: Extracting # 1 : cost 0 13.556 * * [simplify]: Extracting # 2 : cost 0 13.556 * * [simplify]: Extracting # 3 : cost 0 13.557 * * [simplify]: Extracting # 4 : cost 0 13.562 * * [simplify]: iteration 3 : 703 enodes (cost 79 ) 14.077 * * [simplify]: Extracting # 0 : cost 0 14.083 * * [simplify]: Extracting # 1 : cost 0 14.087 * * [simplify]: Extracting # 2 : cost 0 14.090 * * [simplify]: Extracting # 3 : cost 0 14.094 * * [simplify]: Extracting # 4 : cost 0 14.097 * * [simplify]: Extracting # 5 : cost 0 14.100 * * [simplify]: iteration 4 : 3589 enodes (cost 79 ) 15.298 * * [simplify]: Extracting # 0 : cost 0 15.303 * * [simplify]: Extracting # 1 : cost 0 15.309 * * [simplify]: Extracting # 2 : cost 0 15.318 * * [simplify]: Extracting # 3 : cost 0 15.328 * * [simplify]: iteration done: 5001 enodes (cost 79 ) 15.328 * [simplify]: Simplified to: (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (pow (tanh x) 3) (sqrt (tanh x)) (sqrt (tanh x)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (tanh x) (tanh x) 15.329 * * * [progress]: adding candidates to table 15.362 * [progress]: [Phase 3 of 3] Extracting. 15.363 * [simplify]: Simplifying: (tanh x) 15.363 * * [simplify]: Extracting # 0 : cost 0 15.363 * * [simplify]: Extracting # 1 : cost 0 15.363 * * [simplify]: Extracting # 2 : cost 0 15.363 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 15.363 * * [simplify]: Extracting # 0 : cost 0 15.363 * * [simplify]: iteration done: 2 enodes (cost 2 ) 15.363 * [simplify]: Simplified to: (tanh x) 24.562 * [regime-testing]: Baseline error score: 0.014376797099637455 24.564 * [regime-testing]: Oracle error score: 0.014376797099637455 24.564 * [regime-testing]: End program error score: 0.014376797099637455