16.768 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.099 * * * [progress]: [2/2] Setting up program. 0.101 * [progress]: [Phase 2 of 3] Improving. 0.101 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 0.102 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 0.103 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 0.106 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 0.108 * * [simplify]: iteration 3 : 31 enodes (cost 13 ) 0.112 * * [simplify]: iteration 4 : 42 enodes (cost 13 ) 0.117 * * [simplify]: iteration 5 : 52 enodes (cost 13 ) 0.127 * * [simplify]: iteration 6 : 55 enodes (cost 13 ) 0.135 * * [simplify]: iteration 7 : 87 enodes (cost 13 ) 0.149 * * [simplify]: iteration 8 : 120 enodes (cost 13 ) 0.170 * * [simplify]: iteration 9 : 155 enodes (cost 13 ) 0.203 * * [simplify]: iteration 10 : 252 enodes (cost 13 ) 0.275 * * [simplify]: iteration 11 : 386 enodes (cost 13 ) 0.416 * * [simplify]: iteration 12 : 672 enodes (cost 13 ) 0.811 * * [simplify]: iteration 13 : 1541 enodes (cost 13 ) 2.329 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 2.329 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 2.335 * * [progress]: iteration 1 / 4 2.335 * * * [progress]: picking best candidate 2.337 * * * * [pick]: Picked # 2.337 * * * [progress]: localizing error 2.344 * * * [progress]: generating rewritten candidates 2.344 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 2.350 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.374 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 2.381 * * * [progress]: generating series expansions 2.381 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 2.381 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 2.381 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.381 * [taylor]: Taking taylor expansion of (exp x) in x 2.381 * [taylor]: Taking taylor expansion of x in x 2.381 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.381 * [taylor]: Taking taylor expansion of (- x) in x 2.381 * [taylor]: Taking taylor expansion of x in x 2.382 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.382 * [taylor]: Taking taylor expansion of (exp x) in x 2.382 * [taylor]: Taking taylor expansion of x in x 2.382 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.382 * [taylor]: Taking taylor expansion of (- x) in x 2.382 * [taylor]: Taking taylor expansion of x in x 2.406 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 2.406 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.406 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.406 * [taylor]: Taking taylor expansion of x in x 2.407 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.407 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.407 * [taylor]: Taking taylor expansion of x in x 2.407 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.407 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.407 * [taylor]: Taking taylor expansion of x in x 2.408 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.408 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.408 * [taylor]: Taking taylor expansion of x in x 2.411 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 2.411 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.411 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.411 * [taylor]: Taking taylor expansion of -1 in x 2.411 * [taylor]: Taking taylor expansion of x in x 2.412 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.412 * [taylor]: Taking taylor expansion of x in x 2.412 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.412 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.412 * [taylor]: Taking taylor expansion of -1 in x 2.412 * [taylor]: Taking taylor expansion of x in x 2.412 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.412 * [taylor]: Taking taylor expansion of x in x 2.418 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.418 * [approximate]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in (x) around 0 2.419 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 2.419 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.419 * [taylor]: Taking taylor expansion of (exp x) in x 2.419 * [taylor]: Taking taylor expansion of x in x 2.419 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.419 * [taylor]: Taking taylor expansion of (- x) in x 2.419 * [taylor]: Taking taylor expansion of x in x 2.419 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.419 * [taylor]: Taking taylor expansion of (exp x) in x 2.419 * [taylor]: Taking taylor expansion of x in x 2.419 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.419 * [taylor]: Taking taylor expansion of (- x) in x 2.419 * [taylor]: Taking taylor expansion of x in x 2.422 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 2.422 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.422 * [taylor]: Taking taylor expansion of (exp x) in x 2.422 * [taylor]: Taking taylor expansion of x in x 2.422 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.422 * [taylor]: Taking taylor expansion of (- x) in x 2.422 * [taylor]: Taking taylor expansion of x in x 2.423 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.423 * [taylor]: Taking taylor expansion of (exp x) in x 2.423 * [taylor]: Taking taylor expansion of x in x 2.423 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.423 * [taylor]: Taking taylor expansion of (- x) in x 2.423 * [taylor]: Taking taylor expansion of x in x 2.463 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 2.463 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 2.463 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.463 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.463 * [taylor]: Taking taylor expansion of x in x 2.463 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.463 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.463 * [taylor]: Taking taylor expansion of x in x 2.464 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.464 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.464 * [taylor]: Taking taylor expansion of x in x 2.464 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.464 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.464 * [taylor]: Taking taylor expansion of x in x 2.465 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 2.465 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.465 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.465 * [taylor]: Taking taylor expansion of x in x 2.465 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.465 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.466 * [taylor]: Taking taylor expansion of x in x 2.466 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.466 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.466 * [taylor]: Taking taylor expansion of x in x 2.466 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.466 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.466 * [taylor]: Taking taylor expansion of x in x 2.475 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 2.475 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.475 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.475 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.475 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.475 * [taylor]: Taking taylor expansion of -1 in x 2.475 * [taylor]: Taking taylor expansion of x in x 2.476 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.476 * [taylor]: Taking taylor expansion of x in x 2.476 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.476 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.476 * [taylor]: Taking taylor expansion of x in x 2.476 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.476 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.476 * [taylor]: Taking taylor expansion of -1 in x 2.477 * [taylor]: Taking taylor expansion of x in x 2.477 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.477 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.477 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.477 * [taylor]: Taking taylor expansion of -1 in x 2.477 * [taylor]: Taking taylor expansion of x in x 2.477 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.478 * [taylor]: Taking taylor expansion of x in x 2.478 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.478 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.478 * [taylor]: Taking taylor expansion of x in x 2.478 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.478 * [taylor]: Taking taylor expansion of -1 in x 2.478 * [taylor]: Taking taylor expansion of x in x 2.486 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 2.486 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 2.486 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.487 * [taylor]: Taking taylor expansion of (exp x) in x 2.487 * [taylor]: Taking taylor expansion of x in x 2.487 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.487 * [taylor]: Taking taylor expansion of (- x) in x 2.487 * [taylor]: Taking taylor expansion of x in x 2.487 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.487 * [taylor]: Taking taylor expansion of (exp x) in x 2.487 * [taylor]: Taking taylor expansion of x in x 2.487 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.487 * [taylor]: Taking taylor expansion of (- x) in x 2.487 * [taylor]: Taking taylor expansion of x in x 2.504 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 2.505 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.505 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.505 * [taylor]: Taking taylor expansion of x in x 2.505 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.505 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.505 * [taylor]: Taking taylor expansion of x in x 2.505 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.506 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.506 * [taylor]: Taking taylor expansion of x in x 2.506 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.506 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.506 * [taylor]: Taking taylor expansion of x in x 2.508 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 2.508 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.508 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.508 * [taylor]: Taking taylor expansion of x in x 2.509 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.509 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.509 * [taylor]: Taking taylor expansion of -1 in x 2.509 * [taylor]: Taking taylor expansion of x in x 2.509 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.509 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.509 * [taylor]: Taking taylor expansion of x in x 2.509 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.509 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.509 * [taylor]: Taking taylor expansion of -1 in x 2.509 * [taylor]: Taking taylor expansion of x in x 2.511 * * * [progress]: simplifying candidates 2.512 * [simplify]: Simplifying using # : (/ (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)))) (* (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) (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))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 2.517 * * [simplify]: iteration 0 : 117 enodes (cost 1385 ) 2.539 * * [simplify]: iteration 1 : 282 enodes (cost 1333 ) 2.615 * * [simplify]: iteration 2 : 671 enodes (cost 1237 ) 2.919 * * [simplify]: iteration 3 : 1740 enodes (cost 1231 ) 3.811 * * [simplify]: iteration done : 5000 enodes (cost 1230 ) 3.811 * [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) (exp (* x -3))) (+ (exp (* x -2)) (+ 1 (exp (+ x x)))) (- (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)))) (/ 1 (+ (exp (* x -2)) 1)) (/ 1 (+ 1 (exp (+ x 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) (exp (* x -3)))) (/ (- (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2)))) (* (+ (exp (- x)) (exp x)) (+ (exp (* x -2)) (+ 1 (exp (+ x x))))) (+ (+ (exp (+ x x)) 2) (exp (* x -2))) (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) (exp (* x -3))) (+ (exp (* x -2)) (+ -1 (exp (+ x x)))) (- (exp (+ x x)) (exp (* x -2))) (- (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 (- 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))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) 3.812 * * * [progress]: adding candidates to table 3.970 * * [progress]: iteration 2 / 4 3.970 * * * [progress]: picking best candidate 3.975 * * * * [pick]: Picked # 3.975 * * * [progress]: localizing error 3.977 * * * [progress]: generating rewritten candidates 3.978 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.978 * * * [progress]: generating series expansions 3.978 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.978 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 3.979 * [taylor]: Taking taylor expansion of (tanh x) in x 3.980 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3.980 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 3.980 * [taylor]: Taking taylor expansion of (exp x) in x 3.980 * [taylor]: Taking taylor expansion of x in x 3.980 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.980 * [taylor]: Taking taylor expansion of (- x) in x 3.980 * [taylor]: Taking taylor expansion of x in x 3.981 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.981 * [taylor]: Taking taylor expansion of (exp x) in x 3.981 * [taylor]: Taking taylor expansion of x in x 3.981 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.981 * [taylor]: Taking taylor expansion of (- x) in x 3.981 * [taylor]: Taking taylor expansion of x in x 3.984 * [taylor]: Taking taylor expansion of (tanh x) in x 3.984 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3.984 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 3.984 * [taylor]: Taking taylor expansion of (exp x) in x 3.984 * [taylor]: Taking taylor expansion of x in x 3.984 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.984 * [taylor]: Taking taylor expansion of (- x) in x 3.984 * [taylor]: Taking taylor expansion of x in x 3.985 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 3.985 * [taylor]: Taking taylor expansion of (exp x) in x 3.985 * [taylor]: Taking taylor expansion of x in x 3.985 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.985 * [taylor]: Taking taylor expansion of (- x) in x 3.985 * [taylor]: Taking taylor expansion of x in x 4.027 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 4.027 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 4.027 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 4.028 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.028 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.028 * [taylor]: Taking taylor expansion of x in x 4.028 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.028 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.028 * [taylor]: Taking taylor expansion of x in x 4.029 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.029 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.029 * [taylor]: Taking taylor expansion of x in x 4.029 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.029 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.029 * [taylor]: Taking taylor expansion of x in x 4.030 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 4.030 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 4.030 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.030 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.030 * [taylor]: Taking taylor expansion of x in x 4.031 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.031 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.031 * [taylor]: Taking taylor expansion of x in x 4.031 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 4.031 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.031 * [taylor]: Taking taylor expansion of x in x 4.032 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 4.032 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.032 * [taylor]: Taking taylor expansion of x in x 4.041 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 4.041 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 4.041 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 4.041 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.041 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.041 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.041 * [taylor]: Taking taylor expansion of -1 in x 4.041 * [taylor]: Taking taylor expansion of x in x 4.042 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.042 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.042 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.042 * [taylor]: Taking taylor expansion of -1 in x 4.042 * [taylor]: Taking taylor expansion of x in x 4.042 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.042 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.042 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.042 * [taylor]: Taking taylor expansion of -1 in x 4.042 * [taylor]: Taking taylor expansion of x in x 4.046 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.046 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.046 * [taylor]: Taking taylor expansion of -1 in x 4.046 * [taylor]: Taking taylor expansion of x in x 4.047 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 4.047 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 4.047 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.047 * [taylor]: Taking taylor expansion of -1 in x 4.047 * [taylor]: Taking taylor expansion of x in x 4.048 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.048 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.048 * [taylor]: Taking taylor expansion of -1 in x 4.048 * [taylor]: Taking taylor expansion of x in x 4.048 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 4.048 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.048 * [taylor]: Taking taylor expansion of -1 in x 4.048 * [taylor]: Taking taylor expansion of x in x 4.049 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 4.049 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 4.049 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.049 * [taylor]: Taking taylor expansion of -1 in x 4.049 * [taylor]: Taking taylor expansion of x in x 4.058 * * * [progress]: simplifying candidates 4.058 * [simplify]: Simplifying using # : (- (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))) 4.060 * * [simplify]: iteration 0 : 42 enodes (cost 107 ) 4.068 * * [simplify]: iteration 1 : 93 enodes (cost 83 ) 4.082 * * [simplify]: iteration 2 : 197 enodes (cost 79 ) 4.122 * * [simplify]: iteration 3 : 526 enodes (cost 79 ) 4.333 * * [simplify]: iteration 4 : 2287 enodes (cost 79 ) 5.252 * * [simplify]: iteration done : 5001 enodes (cost 79 ) 5.252 * [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) 5.252 * * * [progress]: adding candidates to table 5.272 * * [progress]: iteration 3 / 4 5.272 * * * [progress]: picking best candidate 5.276 * * * * [pick]: Picked # 5.276 * * * [progress]: localizing error 5.285 * * * [progress]: generating rewritten candidates 5.285 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 5.292 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 5.298 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.312 * * * [progress]: generating series expansions 5.312 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 5.313 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 5.313 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 5.313 * [taylor]: Taking taylor expansion of 1/3 in x 5.313 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.313 * [taylor]: Taking taylor expansion of x in x 5.313 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 5.313 * [taylor]: Taking taylor expansion of 1/3 in x 5.313 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.313 * [taylor]: Taking taylor expansion of x in x 5.329 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 5.329 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 5.329 * [taylor]: Taking taylor expansion of 1/3 in x 5.329 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.329 * [taylor]: Taking taylor expansion of x in x 5.330 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 5.330 * [taylor]: Taking taylor expansion of 1/3 in x 5.330 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.330 * [taylor]: Taking taylor expansion of x in x 5.341 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 5.341 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 5.341 * [taylor]: Taking taylor expansion of -1/3 in x 5.341 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.341 * [taylor]: Taking taylor expansion of x in x 5.342 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 5.342 * [taylor]: Taking taylor expansion of -1/3 in x 5.342 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.342 * [taylor]: Taking taylor expansion of x in x 5.354 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 5.354 * [approximate]: Taking taylor expansion of (* 2/15 (pow x 5)) in (x) around 0 5.354 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 5.354 * [taylor]: Taking taylor expansion of 2/15 in x 5.354 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.354 * [taylor]: Taking taylor expansion of x in x 5.354 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 5.354 * [taylor]: Taking taylor expansion of 2/15 in x 5.354 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.354 * [taylor]: Taking taylor expansion of x in x 5.369 * [approximate]: Taking taylor expansion of (/ 2/15 (pow x 5)) in (x) around 0 5.369 * [taylor]: Taking taylor expansion of (/ 2/15 (pow x 5)) in x 5.369 * [taylor]: Taking taylor expansion of 2/15 in x 5.369 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.369 * [taylor]: Taking taylor expansion of x in x 5.370 * [taylor]: Taking taylor expansion of (/ 2/15 (pow x 5)) in x 5.370 * [taylor]: Taking taylor expansion of 2/15 in x 5.370 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.370 * [taylor]: Taking taylor expansion of x in x 5.385 * [approximate]: Taking taylor expansion of (/ -2/15 (pow x 5)) in (x) around 0 5.385 * [taylor]: Taking taylor expansion of (/ -2/15 (pow x 5)) in x 5.385 * [taylor]: Taking taylor expansion of -2/15 in x 5.385 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.385 * [taylor]: Taking taylor expansion of x in x 5.386 * [taylor]: Taking taylor expansion of (/ -2/15 (pow x 5)) in x 5.386 * [taylor]: Taking taylor expansion of -2/15 in x 5.386 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.386 * [taylor]: Taking taylor expansion of x in x 5.401 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.402 * [approximate]: Taking taylor expansion of (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) in (x) around 0 5.402 * [taylor]: Taking taylor expansion of (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) in x 5.402 * [taylor]: Taking taylor expansion of (+ x (* 2/15 (pow x 5))) in x 5.402 * [taylor]: Taking taylor expansion of x in x 5.402 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 5.402 * [taylor]: Taking taylor expansion of 2/15 in x 5.402 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.402 * [taylor]: Taking taylor expansion of x in x 5.402 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 5.402 * [taylor]: Taking taylor expansion of 1/3 in x 5.402 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.402 * [taylor]: Taking taylor expansion of x in x 5.402 * [taylor]: Taking taylor expansion of (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) in x 5.402 * [taylor]: Taking taylor expansion of (+ x (* 2/15 (pow x 5))) in x 5.402 * [taylor]: Taking taylor expansion of x in x 5.402 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 5.402 * [taylor]: Taking taylor expansion of 2/15 in x 5.402 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.402 * [taylor]: Taking taylor expansion of x in x 5.402 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 5.402 * [taylor]: Taking taylor expansion of 1/3 in x 5.402 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.402 * [taylor]: Taking taylor expansion of x in x 5.413 * [approximate]: Taking taylor expansion of (- (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) (* 1/3 (/ 1 (pow x 3)))) in (x) around 0 5.413 * [taylor]: Taking taylor expansion of (- (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) (* 1/3 (/ 1 (pow x 3)))) in x 5.414 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x 5.414 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x 5.414 * [taylor]: Taking taylor expansion of 2/15 in x 5.414 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 5.414 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.414 * [taylor]: Taking taylor expansion of x in x 5.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.415 * [taylor]: Taking taylor expansion of x in x 5.415 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 5.415 * [taylor]: Taking taylor expansion of 1/3 in x 5.415 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.415 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.415 * [taylor]: Taking taylor expansion of x in x 5.416 * [taylor]: Taking taylor expansion of (- (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) (* 1/3 (/ 1 (pow x 3)))) in x 5.416 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x 5.416 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x 5.416 * [taylor]: Taking taylor expansion of 2/15 in x 5.416 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 5.416 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.416 * [taylor]: Taking taylor expansion of x in x 5.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.417 * [taylor]: Taking taylor expansion of x in x 5.417 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 5.417 * [taylor]: Taking taylor expansion of 1/3 in x 5.417 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.417 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.417 * [taylor]: Taking taylor expansion of x in x 5.436 * [approximate]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x))) in (x) around 0 5.436 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x))) in x 5.436 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 5.436 * [taylor]: Taking taylor expansion of 1/3 in x 5.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.436 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.436 * [taylor]: Taking taylor expansion of x in x 5.436 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x 5.437 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x 5.437 * [taylor]: Taking taylor expansion of 2/15 in x 5.437 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 5.437 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.437 * [taylor]: Taking taylor expansion of x in x 5.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.438 * [taylor]: Taking taylor expansion of x in x 5.438 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x))) in x 5.438 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 5.438 * [taylor]: Taking taylor expansion of 1/3 in x 5.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 5.438 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.438 * [taylor]: Taking taylor expansion of x in x 5.439 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x 5.439 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x 5.439 * [taylor]: Taking taylor expansion of 2/15 in x 5.439 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 5.439 * [taylor]: Taking taylor expansion of (pow x 5) in x 5.439 * [taylor]: Taking taylor expansion of x in x 5.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.440 * [taylor]: Taking taylor expansion of x in x 5.458 * * * [progress]: simplifying candidates 5.459 * [simplify]: Simplifying using # : (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (log (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (* (* (* 1/3 1/3) 1/3) (* (* (pow x 3) (pow x 3)) (pow x 3))) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (* (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x (/ 3 2))) (* (sqrt 1/3) (pow x (/ 3 2))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 (* x x)) (* 1/3 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 x) (* 1/3 (sqrt (pow x 3))) (* 1/3 1) (* 1/3 (pow x (/ 3 2))) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (+ (log 2/15) (* (log x) 5)) (+ (log 2/15) (* (log x) 5)) (+ (log 2/15) (log (pow x 5))) (log (* 2/15 (pow x 5))) (exp (* 2/15 (pow x 5))) (* (* (* 2/15 2/15) 2/15) (* (* (pow x 5) (pow x 5)) (pow x 5))) (* (cbrt (* 2/15 (pow x 5))) (cbrt (* 2/15 (pow x 5)))) (cbrt (* 2/15 (pow x 5))) (* (* (* 2/15 (pow x 5)) (* 2/15 (pow x 5))) (* 2/15 (pow x 5))) (sqrt (* 2/15 (pow x 5))) (sqrt (* 2/15 (pow x 5))) (* (sqrt 2/15) (pow (sqrt x) 5)) (* (sqrt 2/15) (pow (sqrt x) 5)) (* (sqrt 2/15) (sqrt (pow x 5))) (* (sqrt 2/15) (sqrt (pow x 5))) (* (sqrt 2/15) (pow x (/ 5 2))) (* (sqrt 2/15) (pow x (/ 5 2))) (* 2/15 (pow (* (cbrt x) (cbrt x)) 5)) (* 2/15 (pow (sqrt x) 5)) (* 2/15 (pow 1 5)) (* 2/15 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 2/15 (sqrt (pow x 5))) (* 2/15 1) (* 2/15 (pow x (/ 5 2))) (* (cbrt 2/15) (pow x 5)) (* (sqrt 2/15) (pow x 5)) (* 2/15 (pow x 5)) (/ (* (exp x) (exp (* 2/15 (pow x 5)))) (exp (* 1/3 (pow x 3)))) (/ (exp (+ x (* 2/15 (pow x 5)))) (exp (* 1/3 (pow x 3)))) (log (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (* (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))) (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (* (* (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (- (pow (+ x (* 2/15 (pow x 5))) 3) (pow (* 1/3 (pow x 3)) 3)) (+ (* (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5)))) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))) (- (* 1/3 (pow x 3))) (- (* (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5)))) (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3)))) (+ (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (* 2/15 (pow x 5)) (* 1/3 (pow x 3))) (- (* 1/3 (pow x 3))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 2/15 (pow x 5)) (* 2/15 (pow x 5)) (* 2/15 (pow x 5)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 5.462 * * [simplify]: iteration 0 : 121 enodes (cost 815 ) 5.500 * * [simplify]: iteration 1 : 286 enodes (cost 726 ) 5.589 * * [simplify]: iteration 2 : 824 enodes (cost 684 ) 6.039 * * [simplify]: iteration 3 : 3925 enodes (cost 675 ) 7.616 * * [simplify]: iteration done : 5000 enodes (cost 675 ) 7.616 * [simplify]: Simplified to: (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (cbrt (exp (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x 3/2)) (* (sqrt 1/3) (pow x 3/2)) (* 1/3 (* x x)) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 (* x x)) (* 1/3 (* x x)) (* 1/3 (* x x)) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 x) (* 1/3 (sqrt (pow x 3))) 1/3 (* 1/3 (pow x 3/2)) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (log (* 2/15 (pow x 5))) (log (* 2/15 (pow x 5))) (log (* 2/15 (pow x 5))) (log (* 2/15 (pow x 5))) (exp (* 2/15 (pow x 5))) (* 8/3375 (pow (pow x 5) 3)) (* (cbrt (* 2/15 (pow x 5))) (cbrt (* 2/15 (pow x 5)))) (cbrt (* 2/15 (pow x 5))) (* 8/3375 (pow (pow x 5) 3)) (sqrt (* 2/15 (pow x 5))) (sqrt (* 2/15 (pow x 5))) (* (sqrt 2/15) (pow (sqrt x) 5)) (* (sqrt 2/15) (pow (sqrt x) 5)) (* (sqrt 2/15) (sqrt (pow x 5))) (* (sqrt 2/15) (sqrt (pow x 5))) (* (sqrt 2/15) (pow x 5/2)) (* (sqrt 2/15) (pow x 5/2)) (* 2/15 (pow (* (cbrt x) (cbrt x)) 5)) (* 2/15 (pow (sqrt x) 5)) 2/15 (* 2/15 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 2/15 (sqrt (pow x 5))) 2/15 (* (pow x 5/2) 2/15) (* (cbrt 2/15) (pow x 5)) (* (sqrt 2/15) (pow x 5)) (* 2/15 (pow x 5)) (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (log (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (* (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))) (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (pow (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 3) (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (- (pow (+ x (* 2/15 (pow x 5))) 3) (pow (* 1/3 (pow x 3)) 3)) (+ (* 1/9 (pow x 6)) (* (+ x (* 2/15 (pow x 5))) (+ (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))) (* -1/3 (pow x 3)) (- (* (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5)))) (* 1/9 (pow x 6))) (+ (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (* 2/15 (pow x 5)) (* 1/3 (pow x 3))) (* -1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 2/15 (pow x 5)) (* 2/15 (pow x 5)) (* 2/15 (pow x 5)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 7.617 * * * [progress]: adding candidates to table 7.772 * * [progress]: iteration 4 / 4 7.772 * * * [progress]: picking best candidate 7.774 * * * * [pick]: Picked # 7.774 * * * [progress]: localizing error 7.778 * * * [progress]: generating rewritten candidates 7.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 7.788 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 7.789 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 7.790 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 7.794 * * * [progress]: generating series expansions 7.794 * * * * [progress]: [ 1 / 4 ] generating series at (2) 7.794 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 7.794 * [taylor]: Taking taylor expansion of (tanh x) in x 7.794 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 7.794 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 7.794 * [taylor]: Taking taylor expansion of (exp x) in x 7.794 * [taylor]: Taking taylor expansion of x in x 7.794 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.794 * [taylor]: Taking taylor expansion of (- x) in x 7.794 * [taylor]: Taking taylor expansion of x in x 7.795 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.795 * [taylor]: Taking taylor expansion of (exp x) in x 7.795 * [taylor]: Taking taylor expansion of x in x 7.795 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.795 * [taylor]: Taking taylor expansion of (- x) in x 7.795 * [taylor]: Taking taylor expansion of x in x 7.799 * [taylor]: Taking taylor expansion of (tanh x) in x 7.799 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 7.799 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 7.799 * [taylor]: Taking taylor expansion of (exp x) in x 7.799 * [taylor]: Taking taylor expansion of x in x 7.799 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.799 * [taylor]: Taking taylor expansion of (- x) in x 7.799 * [taylor]: Taking taylor expansion of x in x 7.799 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.800 * [taylor]: Taking taylor expansion of (exp x) in x 7.800 * [taylor]: Taking taylor expansion of x in x 7.800 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.800 * [taylor]: Taking taylor expansion of (- x) in x 7.800 * [taylor]: Taking taylor expansion of x in x 7.846 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 7.846 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 7.846 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 7.846 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.846 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.846 * [taylor]: Taking taylor expansion of x in x 7.846 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.846 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.846 * [taylor]: Taking taylor expansion of x in x 7.847 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.847 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.847 * [taylor]: Taking taylor expansion of x in x 7.847 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.847 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.847 * [taylor]: Taking taylor expansion of x in x 7.848 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 7.848 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 7.848 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.848 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.848 * [taylor]: Taking taylor expansion of x in x 7.849 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.849 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.849 * [taylor]: Taking taylor expansion of x in x 7.849 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.849 * [taylor]: Taking taylor expansion of x in x 7.850 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.850 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.850 * [taylor]: Taking taylor expansion of x in x 7.859 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 7.859 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 7.859 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 7.859 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.859 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.859 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.859 * [taylor]: Taking taylor expansion of -1 in x 7.859 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.860 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.860 * [taylor]: Taking taylor expansion of -1 in x 7.860 * [taylor]: Taking taylor expansion of x in x 7.860 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.860 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.860 * [taylor]: Taking taylor expansion of -1 in x 7.860 * [taylor]: Taking taylor expansion of x in x 7.861 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.861 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.861 * [taylor]: Taking taylor expansion of -1 in x 7.861 * [taylor]: Taking taylor expansion of x in x 7.862 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 7.862 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 7.862 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.862 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.862 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.862 * [taylor]: Taking taylor expansion of -1 in x 7.862 * [taylor]: Taking taylor expansion of x in x 7.862 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.862 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.862 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.862 * [taylor]: Taking taylor expansion of -1 in x 7.862 * [taylor]: Taking taylor expansion of x in x 7.863 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.863 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.863 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.863 * [taylor]: Taking taylor expansion of -1 in x 7.863 * [taylor]: Taking taylor expansion of x in x 7.863 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.863 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.863 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.863 * [taylor]: Taking taylor expansion of -1 in x 7.863 * [taylor]: Taking taylor expansion of x in x 7.872 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 7.872 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 7.872 * [taylor]: Taking taylor expansion of (tanh x) in x 7.873 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 7.873 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 7.873 * [taylor]: Taking taylor expansion of (exp x) in x 7.873 * [taylor]: Taking taylor expansion of x in x 7.873 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.873 * [taylor]: Taking taylor expansion of (- x) in x 7.873 * [taylor]: Taking taylor expansion of x in x 7.873 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.873 * [taylor]: Taking taylor expansion of (exp x) in x 7.873 * [taylor]: Taking taylor expansion of x in x 7.873 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.873 * [taylor]: Taking taylor expansion of (- x) in x 7.873 * [taylor]: Taking taylor expansion of x in x 7.876 * [taylor]: Taking taylor expansion of (tanh x) in x 7.877 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 7.877 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 7.877 * [taylor]: Taking taylor expansion of (exp x) in x 7.877 * [taylor]: Taking taylor expansion of x in x 7.877 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.877 * [taylor]: Taking taylor expansion of (- x) in x 7.877 * [taylor]: Taking taylor expansion of x in x 7.877 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.877 * [taylor]: Taking taylor expansion of (exp x) in x 7.877 * [taylor]: Taking taylor expansion of x in x 7.877 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.877 * [taylor]: Taking taylor expansion of (- x) in x 7.877 * [taylor]: Taking taylor expansion of x in x 7.922 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 7.922 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 7.922 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 7.922 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.922 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.922 * [taylor]: Taking taylor expansion of x in x 7.923 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.923 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.923 * [taylor]: Taking taylor expansion of x in x 7.923 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.923 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.923 * [taylor]: Taking taylor expansion of x in x 7.924 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.924 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.924 * [taylor]: Taking taylor expansion of x in x 7.925 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 7.925 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 7.925 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.925 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.925 * [taylor]: Taking taylor expansion of x in x 7.925 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.925 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.925 * [taylor]: Taking taylor expansion of x in x 7.926 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.926 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.926 * [taylor]: Taking taylor expansion of x in x 7.926 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.926 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.926 * [taylor]: Taking taylor expansion of x in x 7.935 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 7.935 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 7.935 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 7.936 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.936 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.936 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.936 * [taylor]: Taking taylor expansion of -1 in x 7.936 * [taylor]: Taking taylor expansion of x in x 7.936 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.936 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.936 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.936 * [taylor]: Taking taylor expansion of -1 in x 7.936 * [taylor]: Taking taylor expansion of x in x 7.937 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.937 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.937 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.937 * [taylor]: Taking taylor expansion of -1 in x 7.937 * [taylor]: Taking taylor expansion of x in x 7.937 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.937 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.937 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.937 * [taylor]: Taking taylor expansion of -1 in x 7.937 * [taylor]: Taking taylor expansion of x in x 7.938 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 7.938 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 7.938 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.938 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.938 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.938 * [taylor]: Taking taylor expansion of -1 in x 7.938 * [taylor]: Taking taylor expansion of x in x 7.938 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.938 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.938 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.938 * [taylor]: Taking taylor expansion of -1 in x 7.939 * [taylor]: Taking taylor expansion of x in x 7.939 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 7.939 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.939 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.939 * [taylor]: Taking taylor expansion of -1 in x 7.939 * [taylor]: Taking taylor expansion of x in x 7.939 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 7.939 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 7.940 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.940 * [taylor]: Taking taylor expansion of -1 in x 7.940 * [taylor]: Taking taylor expansion of x in x 7.948 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 7.948 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 7.948 * [taylor]: Taking taylor expansion of (tanh x) in x 7.948 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 7.948 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 7.949 * [taylor]: Taking taylor expansion of (exp x) in x 7.949 * [taylor]: Taking taylor expansion of x in x 7.949 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.949 * [taylor]: Taking taylor expansion of (- x) in x 7.949 * [taylor]: Taking taylor expansion of x in x 7.949 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.949 * [taylor]: Taking taylor expansion of (exp x) in x 7.949 * [taylor]: Taking taylor expansion of x in x 7.949 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.949 * [taylor]: Taking taylor expansion of (- x) in x 7.949 * [taylor]: Taking taylor expansion of x in x 7.952 * [taylor]: Taking taylor expansion of (tanh x) in x 7.952 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 7.953 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 7.953 * [taylor]: Taking taylor expansion of (exp x) in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.953 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.953 * [taylor]: Taking taylor expansion of (- x) in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.953 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.953 * [taylor]: Taking taylor expansion of (exp x) in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.953 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.953 * [taylor]: Taking taylor expansion of (- x) in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.998 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 7.998 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 7.998 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 7.998 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.998 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.998 * [taylor]: Taking taylor expansion of x in x 7.999 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.999 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.999 * [taylor]: Taking taylor expansion of x in x 7.999 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.999 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.999 * [taylor]: Taking taylor expansion of x in x 8.000 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.000 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.000 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 8.001 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 8.001 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.001 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.001 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.002 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.002 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.002 * [taylor]: Taking taylor expansion of x in x 8.002 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.002 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.002 * [taylor]: Taking taylor expansion of x in x 8.011 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 8.011 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 8.012 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 8.012 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.012 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.012 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.012 * [taylor]: Taking taylor expansion of -1 in x 8.012 * [taylor]: Taking taylor expansion of x in x 8.012 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.012 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.012 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.012 * [taylor]: Taking taylor expansion of -1 in x 8.012 * [taylor]: Taking taylor expansion of x in x 8.013 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.013 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.013 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.013 * [taylor]: Taking taylor expansion of -1 in x 8.013 * [taylor]: Taking taylor expansion of x in x 8.013 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.013 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.013 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.013 * [taylor]: Taking taylor expansion of -1 in x 8.013 * [taylor]: Taking taylor expansion of x in x 8.014 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 8.014 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 8.014 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.014 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.014 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.014 * [taylor]: Taking taylor expansion of -1 in x 8.014 * [taylor]: Taking taylor expansion of x in x 8.015 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.015 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.015 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.015 * [taylor]: Taking taylor expansion of -1 in x 8.015 * [taylor]: Taking taylor expansion of x in x 8.015 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.015 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.015 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.015 * [taylor]: Taking taylor expansion of -1 in x 8.015 * [taylor]: Taking taylor expansion of x in x 8.016 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.016 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.016 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.016 * [taylor]: Taking taylor expansion of -1 in x 8.016 * [taylor]: Taking taylor expansion of x in x 8.024 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 8.025 * [approximate]: Taking taylor expansion of (sqrt (tanh x)) in (x) around 0 8.025 * [taylor]: Taking taylor expansion of (sqrt (tanh x)) in x 8.025 * [taylor]: Taking taylor expansion of (tanh x) in x 8.025 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 8.025 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.025 * [taylor]: Taking taylor expansion of (exp x) in x 8.025 * [taylor]: Taking taylor expansion of x in x 8.025 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.025 * [taylor]: Taking taylor expansion of (- x) in x 8.025 * [taylor]: Taking taylor expansion of x in x 8.025 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.025 * [taylor]: Taking taylor expansion of (exp x) in x 8.025 * [taylor]: Taking taylor expansion of x in x 8.025 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.025 * [taylor]: Taking taylor expansion of (- x) in x 8.025 * [taylor]: Taking taylor expansion of x in x 8.030 * [taylor]: Taking taylor expansion of (sqrt (tanh x)) in x 8.030 * [taylor]: Taking taylor expansion of (tanh x) in x 8.030 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 8.030 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 8.030 * [taylor]: Taking taylor expansion of (exp x) in x 8.030 * [taylor]: Taking taylor expansion of x in x 8.030 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.030 * [taylor]: Taking taylor expansion of (- x) in x 8.030 * [taylor]: Taking taylor expansion of x in x 8.031 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 8.031 * [taylor]: Taking taylor expansion of (exp x) in x 8.031 * [taylor]: Taking taylor expansion of x in x 8.031 * [taylor]: Taking taylor expansion of (exp (- x)) in x 8.031 * [taylor]: Taking taylor expansion of (- x) in x 8.031 * [taylor]: Taking taylor expansion of x in x 8.051 * [approximate]: Taking taylor expansion of (sqrt (tanh (/ 1 x))) in (x) around 0 8.051 * [taylor]: Taking taylor expansion of (sqrt (tanh (/ 1 x))) in x 8.051 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 8.051 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 8.051 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.051 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.051 * [taylor]: Taking taylor expansion of x in x 8.051 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.051 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.051 * [taylor]: Taking taylor expansion of x in x 8.052 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.052 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.052 * [taylor]: Taking taylor expansion of x in x 8.053 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.053 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.053 * [taylor]: Taking taylor expansion of x in x 8.055 * [taylor]: Taking taylor expansion of (sqrt (tanh (/ 1 x))) in x 8.055 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 8.055 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 8.055 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.055 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.055 * [taylor]: Taking taylor expansion of x in x 8.055 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.055 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.056 * [taylor]: Taking taylor expansion of x in x 8.056 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 8.056 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 8.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.056 * [taylor]: Taking taylor expansion of x in x 8.056 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 8.056 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.056 * [taylor]: Taking taylor expansion of x in x 8.069 * [approximate]: Taking taylor expansion of (sqrt (tanh (/ -1 x))) in (x) around 0 8.069 * [taylor]: Taking taylor expansion of (sqrt (tanh (/ -1 x))) in x 8.069 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 8.070 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 8.070 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.070 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.070 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.070 * [taylor]: Taking taylor expansion of -1 in x 8.070 * [taylor]: Taking taylor expansion of x in x 8.070 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.070 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.070 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.070 * [taylor]: Taking taylor expansion of -1 in x 8.070 * [taylor]: Taking taylor expansion of x in x 8.071 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.071 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.071 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.071 * [taylor]: Taking taylor expansion of -1 in x 8.071 * [taylor]: Taking taylor expansion of x in x 8.071 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.071 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.071 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.071 * [taylor]: Taking taylor expansion of -1 in x 8.071 * [taylor]: Taking taylor expansion of x in x 8.073 * [taylor]: Taking taylor expansion of (sqrt (tanh (/ -1 x))) in x 8.074 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 8.074 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 8.074 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.074 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.074 * [taylor]: Taking taylor expansion of -1 in x 8.074 * [taylor]: Taking taylor expansion of x in x 8.074 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.074 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.074 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.074 * [taylor]: Taking taylor expansion of -1 in x 8.074 * [taylor]: Taking taylor expansion of x in x 8.075 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 8.075 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 8.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.075 * [taylor]: Taking taylor expansion of -1 in x 8.075 * [taylor]: Taking taylor expansion of x in x 8.075 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 8.075 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 8.075 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.075 * [taylor]: Taking taylor expansion of -1 in x 8.075 * [taylor]: Taking taylor expansion of x in x 8.092 * * * [progress]: simplifying candidates 8.094 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (tanh x) (tanh x)) (* (sqrt (tanh x)) (sqrt (tanh x))) (* (tanh x) (tanh x)) (+ 1 1) (+ (log (sqrt (tanh x))) (log (sqrt (tanh x)))) (log (* (sqrt (tanh x)) (sqrt (tanh x)))) (exp (* (sqrt (tanh x)) (sqrt (tanh x)))) (* (* (* (sqrt (tanh x)) (sqrt (tanh x))) (sqrt (tanh x))) (* (* (sqrt (tanh x)) (sqrt (tanh x))) (sqrt (tanh x)))) (* (cbrt (* (sqrt (tanh x)) (sqrt (tanh x)))) (cbrt (* (sqrt (tanh x)) (sqrt (tanh x))))) (cbrt (* (sqrt (tanh x)) (sqrt (tanh x)))) (* (* (* (sqrt (tanh x)) (sqrt (tanh x))) (* (sqrt (tanh x)) (sqrt (tanh x)))) (* (sqrt (tanh x)) (sqrt (tanh x)))) (* (tanh x) (tanh x)) (sqrt (* (sqrt (tanh x)) (sqrt (tanh x)))) (sqrt (* (sqrt (tanh x)) (sqrt (tanh 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 (* 2 x)) 1))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp (* 2 x)) 1))) (* (sqrt (- (exp x) (exp (- x)))) (sqrt (- 1 (exp (* -2 x))))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ 1 (exp (* -2 x))))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- (exp (* 2 x)) 1))) (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x))))) (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ 1 (exp (* -2 x))))) (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ (exp x) (exp (- x))))) (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- (exp (* 2 x)) 1))) (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ (exp (* 2 x)) 1))) (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- 1 (exp (* -2 x))))) (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x))))) (* (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x))))) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))) (* (sqrt (* (cbrt (tanh x)) (cbrt (tanh x)))) (sqrt (* (cbrt (tanh x)) (cbrt (tanh x))))) (* (sqrt (cbrt (tanh x))) (sqrt (cbrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (tanh x)) (sqrt (tanh x))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* 1 1) (* (sqrt (tanh x)) (sqrt (tanh x))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (tanh x)) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x))))) (* (sqrt (tanh x)) (sqrt (* (cbrt (tanh x)) (cbrt (tanh x))))) (* (sqrt (tanh x)) (sqrt (sqrt (tanh x)))) (* (sqrt (tanh x)) (sqrt 1)) (* (sqrt (tanh x)) (sqrt (sqrt (tanh x)))) (* (sqrt (tanh x)) 1) (* (cbrt (sqrt (tanh x))) (sqrt (tanh x))) (* (sqrt (cbrt (tanh x))) (sqrt (tanh x))) (* (sqrt (sqrt (tanh x))) (sqrt (tanh x))) (* (sqrt (tanh x)) (sqrt (tanh x))) (* (sqrt (sqrt (tanh x))) (sqrt (tanh x))) (* (sqrt (tanh x)) (sqrt (tanh x))) (* (sqrt (tanh x)) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (tanh x)) (sqrt (- (exp (* 2 x)) 1))) (* (sqrt (tanh x)) (sqrt (- 1 (exp (* -2 x))))) (* (sqrt (- (exp x) (exp (- x)))) (sqrt (tanh x))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (tanh x))) (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (tanh x))) (- (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)) (- (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)) (log (sqrt (tanh x))) (exp (sqrt (tanh x))) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))) (cbrt (sqrt (tanh x))) (* (* (sqrt (tanh x)) (sqrt (tanh x))) (sqrt (tanh x))) (sqrt (* (cbrt (tanh x)) (cbrt (tanh x)))) (sqrt (cbrt (tanh x))) (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))) (sqrt 1) (sqrt (tanh x)) (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (- (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x)))) (/ 1 2) (sqrt (sqrt (tanh x))) (sqrt (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))) (- (+ 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))) (- (+ 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))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x)))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))) 8.098 * * [simplify]: iteration 0 : 127 enodes (cost 1238 ) 8.127 * * [simplify]: iteration 1 : 224 enodes (cost 825 ) 8.170 * * [simplify]: iteration 2 : 577 enodes (cost 788 ) 8.582 * * [simplify]: iteration 3 : 2485 enodes (cost 777 ) 9.435 * * [simplify]: iteration done : 5000 enodes (cost 776 ) 9.436 * [simplify]: Simplified to: 1 1 2 1 1 (* (tanh x) (tanh x)) (tanh x) (* (tanh x) (tanh x)) 2 (log (tanh x)) (log (tanh x)) (exp (tanh x)) (pow (tanh x) 3) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (pow (tanh x) 3) (* (tanh x) (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp (* 2 x)) 1))) (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ 1 (exp (* -2 x))))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp (* 2 x)) 1))) (- (exp (* 2 x)) 1) (+ 1 (exp (* 2 x))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x))))) (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ 1 (exp (* -2 x))))) (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ 1 (exp (* -2 x))))) (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x))))) (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ 1 (exp (* -2 x))))) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (pow (cbrt (sqrt (tanh x))) 4) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) 1 (tanh x) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) 1 (tanh x) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) 1 2 1 (* (cbrt (sqrt (tanh x))) (pow (cbrt (sqrt (tanh x))) 4)) (* (sqrt (tanh x)) (fabs (cbrt (tanh x)))) (pow (sqrt (sqrt (tanh x))) 3) (sqrt (tanh x)) (pow (sqrt (sqrt (tanh x))) 3) (sqrt (tanh x)) (pow (cbrt (sqrt (tanh x))) 4) (* (sqrt (cbrt (tanh x))) (sqrt (tanh x))) (pow (sqrt (sqrt (tanh x))) 3) (tanh x) (pow (sqrt (sqrt (tanh x))) 3) (tanh x) (* (sqrt (tanh x)) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (tanh x)) (sqrt (- (exp (* 2 x)) 1))) (* (sqrt (tanh x)) (sqrt (- 1 (exp (* -2 x))))) (* (sqrt (tanh x)) (sqrt (- (exp x) (exp (- x))))) (* (sqrt (tanh x)) (sqrt (- (exp (* 2 x)) 1))) (* (sqrt (tanh x)) (sqrt (- 1 (exp (* -2 x))))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (exp (* 2 x)) 1) (+ 1 (exp (* 2 x))) (- 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)) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (exp (* 2 x)) 1) (+ 1 (exp (* 2 x))) (- 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)) (log (sqrt (tanh x))) (exp (sqrt (tanh x))) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))) (cbrt (sqrt (tanh x))) (pow (sqrt (tanh x)) 3) (fabs (cbrt (tanh x))) (sqrt (cbrt (tanh x))) (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))) 1 (sqrt (tanh x)) (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (- (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x)))) 1/2 (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (tanh x) (tanh x) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (tanh x) (tanh x) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (tanh x) (tanh x) (* +nan.0 (- (- (pow x 3) x) (pow x 2))) (sqrt (tanh x)) (sqrt (tanh x)) 9.437 * * * [progress]: adding candidates to table 9.618 * [progress]: [Phase 3 of 3] Extracting. 9.618 * * [regime]: Finding splitpoints for: (# # #) 9.618 * * * [regime-changes]: Trying 1 branch expressions: (x) 9.618 * * * * [regimes]: Trying to branch on x from (# # #) 9.630 * * * [regime]: Found split indices: #