0.004 * [progress]: [Phase 1 of 3] Setting up.
0.006 * * * [progress]: [1/2] Preparing points
0.521 * * * [progress]: [2/2] Setting up program.
0.531 * [progress]: [Phase 2 of 3] Improving.
0.531 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))))>
0.534 * [simplify]: Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
0.535 * * [simplify]: iteration 1: (10 enodes)
0.549 * * [simplify]: iteration 2: (42 enodes)
0.563 * * [simplify]: iteration 3: (59 enodes)
0.582 * * [simplify]: iteration 4: (85 enodes)
0.605 * * [simplify]: iteration 5: (155 enodes)
0.690 * * [simplify]: iteration 6: (325 enodes)
0.906 * * [simplify]: iteration 7: (741 enodes)
1.482 * * [simplify]: Extracting #0: cost 1 inf + 0
1.482 * * [simplify]: Extracting #1: cost 3 inf + 0
1.482 * * [simplify]: Extracting #2: cost 81 inf + 0
1.484 * * [simplify]: Extracting #3: cost 337 inf + 1
1.486 * * [simplify]: Extracting #4: cost 613 inf + 2547
1.495 * * [simplify]: Extracting #5: cost 672 inf + 11323
1.523 * * [simplify]: Extracting #6: cost 527 inf + 67477
1.568 * * [simplify]: Extracting #7: cost 195 inf + 288076
1.622 * * [simplify]: Extracting #8: cost 5 inf + 434782
1.746 * * [simplify]: Extracting #9: cost 0 inf + 423338
1.897 * * [simplify]: Extracting #10: cost 0 inf + 418594
2.006 * [simplify]: Simplified to (sqrt (+ (exp x) 1))
2.018 * * [progress]: iteration 1 / 4
2.018 * * * [progress]: picking best candidate
2.027 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.027 * * * [progress]: localizing error
2.047 * * * [progress]: generating rewritten candidates
2.048 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.064 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.082 * * * [progress]: generating series expansions
2.082 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.087 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1)
2.087 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
2.088 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.088 * [taylor]: Taking taylor expansion of (exp x) in x
2.088 * [taylor]: Taking taylor expansion of x in x
2.088 * [backup-simplify]: Simplify 0 into 0
2.089 * [backup-simplify]: Simplify 1 into 1
2.089 * [backup-simplify]: Simplify (exp 0) into 1
2.089 * [taylor]: Taking taylor expansion of 1 in x
2.089 * [backup-simplify]: Simplify 1 into 1
2.089 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.089 * [taylor]: Taking taylor expansion of (exp x) in x
2.089 * [taylor]: Taking taylor expansion of x in x
2.089 * [backup-simplify]: Simplify 0 into 0
2.089 * [backup-simplify]: Simplify 1 into 1
2.089 * [backup-simplify]: Simplify (exp 0) into 1
2.089 * [taylor]: Taking taylor expansion of 1 in x
2.089 * [backup-simplify]: Simplify 1 into 1
2.091 * [backup-simplify]: Simplify (+ 1 1) into 2
2.091 * [backup-simplify]: Simplify 2 into 2
2.093 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.093 * [backup-simplify]: Simplify (+ 1 0) into 1
2.093 * [backup-simplify]: Simplify 1 into 1
2.095 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.096 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.096 * [backup-simplify]: Simplify 1/2 into 1/2
2.099 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
2.099 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.099 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
2.099 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.099 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.099 * [taylor]: Taking taylor expansion of x in x
2.099 * [backup-simplify]: Simplify 0 into 0
2.099 * [backup-simplify]: Simplify 1 into 1
2.100 * [backup-simplify]: Simplify (/ 1 1) into 1
2.100 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.100 * [taylor]: Taking taylor expansion of 1 in x
2.100 * [backup-simplify]: Simplify 1 into 1
2.100 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.100 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.100 * [taylor]: Taking taylor expansion of x in x
2.100 * [backup-simplify]: Simplify 0 into 0
2.100 * [backup-simplify]: Simplify 1 into 1
2.101 * [backup-simplify]: Simplify (/ 1 1) into 1
2.101 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.101 * [taylor]: Taking taylor expansion of 1 in x
2.101 * [backup-simplify]: Simplify 1 into 1
2.101 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.101 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.101 * [backup-simplify]: Simplify (+ 0 0) into 0
2.102 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify (+ 0 0) into 0
2.102 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify (+ 0 0) into 0
2.102 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify (+ 0 0) into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify (+ 0 0) into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.104 * [backup-simplify]: Simplify (+ 0 0) into 0
2.104 * [backup-simplify]: Simplify 0 into 0
2.104 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
2.104 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
2.104 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
2.104 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.104 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.104 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.104 * [taylor]: Taking taylor expansion of -1 in x
2.104 * [backup-simplify]: Simplify -1 into -1
2.104 * [taylor]: Taking taylor expansion of x in x
2.104 * [backup-simplify]: Simplify 0 into 0
2.104 * [backup-simplify]: Simplify 1 into 1
2.105 * [backup-simplify]: Simplify (/ -1 1) into -1
2.105 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.105 * [taylor]: Taking taylor expansion of 1 in x
2.105 * [backup-simplify]: Simplify 1 into 1
2.105 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.105 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.105 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.105 * [taylor]: Taking taylor expansion of -1 in x
2.105 * [backup-simplify]: Simplify -1 into -1
2.105 * [taylor]: Taking taylor expansion of x in x
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify 1 into 1
2.106 * [backup-simplify]: Simplify (/ -1 1) into -1
2.106 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.106 * [taylor]: Taking taylor expansion of 1 in x
2.106 * [backup-simplify]: Simplify 1 into 1
2.106 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.106 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.107 * [backup-simplify]: Simplify (+ 0 0) into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify (+ 0 0) into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify (+ 0 0) into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify (+ 0 0) into 0
2.108 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify (+ 0 0) into 0
2.108 * [backup-simplify]: Simplify 0 into 0
2.109 * [backup-simplify]: Simplify (+ 0 0) into 0
2.109 * [backup-simplify]: Simplify 0 into 0
2.109 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
2.109 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.109 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
2.109 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
2.109 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.109 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.109 * [taylor]: Taking taylor expansion of (exp x) in x
2.109 * [taylor]: Taking taylor expansion of x in x
2.109 * [backup-simplify]: Simplify 0 into 0
2.109 * [backup-simplify]: Simplify 1 into 1
2.109 * [backup-simplify]: Simplify (exp 0) into 1
2.109 * [taylor]: Taking taylor expansion of 1 in x
2.109 * [backup-simplify]: Simplify 1 into 1
2.110 * [backup-simplify]: Simplify (+ 1 1) into 2
2.110 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.111 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.112 * [backup-simplify]: Simplify (+ 1 0) into 1
2.113 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.113 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.113 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.113 * [taylor]: Taking taylor expansion of (exp x) in x
2.113 * [taylor]: Taking taylor expansion of x in x
2.113 * [backup-simplify]: Simplify 0 into 0
2.113 * [backup-simplify]: Simplify 1 into 1
2.114 * [backup-simplify]: Simplify (exp 0) into 1
2.114 * [taylor]: Taking taylor expansion of 1 in x
2.114 * [backup-simplify]: Simplify 1 into 1
2.114 * [backup-simplify]: Simplify (+ 1 1) into 2
2.114 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.115 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.115 * [backup-simplify]: Simplify (+ 1 0) into 1
2.116 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.116 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.117 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
2.118 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.118 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.121 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
2.132 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
2.137 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
2.137 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.137 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
2.137 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.137 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.137 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.137 * [taylor]: Taking taylor expansion of x in x
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify 1 into 1
2.138 * [backup-simplify]: Simplify (/ 1 1) into 1
2.138 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.138 * [taylor]: Taking taylor expansion of 1 in x
2.138 * [backup-simplify]: Simplify 1 into 1
2.138 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.138 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.138 * [backup-simplify]: Simplify (+ 0 0) into 0
2.138 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.138 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.138 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.138 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.138 * [taylor]: Taking taylor expansion of x in x
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 1 into 1
2.139 * [backup-simplify]: Simplify (/ 1 1) into 1
2.139 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.139 * [taylor]: Taking taylor expansion of 1 in x
2.139 * [backup-simplify]: Simplify 1 into 1
2.139 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.139 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.139 * [backup-simplify]: Simplify (+ 0 0) into 0
2.139 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.139 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.139 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify (+ 0 0) into 0
2.140 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify (+ 0 0) into 0
2.141 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify (+ 0 0) into 0
2.142 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.142 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify (+ 0 0) into 0
2.143 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [backup-simplify]: Simplify (+ 0 0) into 0
2.144 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
2.144 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.144 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
2.144 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.144 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.144 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.144 * [taylor]: Taking taylor expansion of -1 in x
2.144 * [backup-simplify]: Simplify -1 into -1
2.144 * [taylor]: Taking taylor expansion of x in x
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 1 into 1
2.144 * [backup-simplify]: Simplify (/ -1 1) into -1
2.144 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.144 * [taylor]: Taking taylor expansion of 1 in x
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.145 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.145 * [backup-simplify]: Simplify (+ 0 0) into 0
2.145 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.145 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.145 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.145 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.145 * [taylor]: Taking taylor expansion of -1 in x
2.145 * [backup-simplify]: Simplify -1 into -1
2.145 * [taylor]: Taking taylor expansion of x in x
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [backup-simplify]: Simplify (/ -1 1) into -1
2.145 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.145 * [taylor]: Taking taylor expansion of 1 in x
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.146 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.146 * [backup-simplify]: Simplify (+ 0 0) into 0
2.146 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.146 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify (+ 0 0) into 0
2.147 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.147 * [backup-simplify]: Simplify 0 into 0
2.147 * [backup-simplify]: Simplify (+ 0 0) into 0
2.148 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify (+ 0 0) into 0
2.149 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify (+ 0 0) into 0
2.149 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (+ 0 0) into 0
2.151 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
2.152 * * * [progress]: simplifying candidates
2.152 * * * * [progress]: [ 1 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (log (* (exp (exp x)) (exp 1)))))>
2.152 * * * * [progress]: [ 2 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
2.152 * * * * [progress]: [ 3 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
2.152 * * * * [progress]: [ 4 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
2.152 * * * * [progress]: [ 5 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
2.152 * * * * [progress]: [ 6 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
2.152 * * * * [progress]: [ 7 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
2.152 * * * * [progress]: [ 8 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
2.152 * * * * [progress]: [ 9 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
2.152 * * * * [progress]: [ 10 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
2.152 * * * * [progress]: [ 11 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
2.152 * * * * [progress]: [ 12 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 13 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
2.153 * * * * [progress]: [ 14 / 36 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
2.153 * * * * [progress]: [ 15 / 36 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
2.153 * * * * [progress]: [ 16 / 36 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 17 / 36 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 18 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 19 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 20 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 21 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 22 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
2.153 * * * * [progress]: [ 23 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
2.153 * * * * [progress]: [ 24 / 36 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
2.153 * * * * [progress]: [ 25 / 36 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
2.153 * * * * [progress]: [ 26 / 36 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) (/ 1 2)))>
2.153 * * * * [progress]: [ 27 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 28 / 36 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
2.153 * * * * [progress]: [ 29 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
2.153 * * * * [progress]: [ 30 / 36 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (+ (exp x) 1)))))>
2.153 * * * * [progress]: [ 31 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
2.153 * * * * [progress]: [ 32 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.153 * * * * [progress]: [ 33 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.153 * * * * [progress]: [ 34 / 36 ] simplifiying candidate #<alt (λ (x) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
2.153 * * * * [progress]: [ 35 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.153 * * * * [progress]: [ 36 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.154 * [simplify]: Simplifying (* (exp (exp x)) (exp 1)), (log (+ (exp x) 1)), (exp (+ (exp x) 1)), (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))), (cbrt (+ (exp x) 1)), (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (+ (pow (exp x) 3) (pow 1 3)), (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))), (- (* (exp x) (exp x)) (* 1 1)), (- (exp x) 1), (+ (exp x) 1), (real->posit16 (+ (exp x) 1)), (log (sqrt (+ (exp x) 1))), (exp (sqrt (+ (exp x) 1))), (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))), (cbrt (sqrt (+ (exp x) 1))), (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1))), (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))), (sqrt (cbrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (sqrt 1), (sqrt (+ (exp x) 1)), (sqrt 1), (sqrt (+ (exp x) 1)), (sqrt (+ (pow (exp x) 3) (pow 1 3))), (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))), (sqrt (- (* (exp x) (exp x)) (* 1 1))), (sqrt (- (exp x) 1)), (/ 1 2), (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (real->posit16 (sqrt (+ (exp x) 1))), (+ x (+ (* 1/2 (pow x 2)) 2)), (+ (exp x) 1), (+ (exp x) 1), (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1))
2.154 * * [simplify]: iteration 1: (61 enodes)
2.174 * * [simplify]: iteration 2: (241 enodes)
2.256 * * [simplify]: iteration 3: (446 enodes)
2.394 * * [simplify]: iteration 4: (913 enodes)
2.841 * * [simplify]: Extracting #0: cost 29 inf + 0
2.842 * * [simplify]: Extracting #1: cost 128 inf + 2
2.843 * * [simplify]: Extracting #2: cost 478 inf + 232
2.848 * * [simplify]: Extracting #3: cost 575 inf + 12925
2.860 * * [simplify]: Extracting #4: cost 262 inf + 66838
2.883 * * [simplify]: Extracting #5: cost 37 inf + 148195
2.926 * * [simplify]: Extracting #6: cost 0 inf + 163572
2.955 * * [simplify]: Extracting #7: cost 0 inf + 163332
2.993 * [simplify]: Simplified to (* (exp (exp x)) E), (log (+ (exp x) 1)), (* (exp (exp x)) E), (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))), (cbrt (+ (exp x) 1)), (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (+ (* (exp x) (* (exp x) (exp x))) 1), (+ (- 1 (exp x)) (* (exp x) (exp x))), (- (* (exp x) (exp x)) 1), (- (exp x) 1), (+ (exp x) 1), (real->posit16 (+ (exp x) 1)), (log (sqrt (+ (exp x) 1))), (exp (sqrt (+ (exp x) 1))), (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))), (cbrt (sqrt (+ (exp x) 1))), (* (sqrt (+ (exp x) 1)) (+ (exp x) 1)), (fabs (cbrt (+ (exp x) 1))), (sqrt (cbrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), 1, (sqrt (+ (exp x) 1)), 1, (sqrt (+ (exp x) 1)), (sqrt (+ (* (exp x) (* (exp x) (exp x))) 1)), (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (sqrt (- (* (exp x) (exp x)) 1)), (sqrt (- (exp x) 1)), 1/2, (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (real->posit16 (sqrt (+ (exp x) 1))), (+ (+ (* (/ x 2) x) 2) x), (+ (exp x) 1), (+ (exp x) 1), (+ (+ (/ x (* 2 (sqrt 2))) (* (/ x (sqrt 2)) (* x 3/16))) (sqrt 2)), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1))
2.995 * * * [progress]: adding candidates to table
3.244 * * [progress]: iteration 2 / 4
3.244 * * * [progress]: picking best candidate
3.261 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.262 * * * [progress]: localizing error
3.278 * * * [progress]: generating rewritten candidates
3.278 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
3.292 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.311 * * * [progress]: generating series expansions
3.311 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
3.311 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1)
3.311 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
3.311 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.311 * [taylor]: Taking taylor expansion of (exp x) in x
3.311 * [taylor]: Taking taylor expansion of x in x
3.311 * [backup-simplify]: Simplify 0 into 0
3.311 * [backup-simplify]: Simplify 1 into 1
3.311 * [backup-simplify]: Simplify (exp 0) into 1
3.311 * [taylor]: Taking taylor expansion of 1 in x
3.311 * [backup-simplify]: Simplify 1 into 1
3.311 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.311 * [taylor]: Taking taylor expansion of (exp x) in x
3.311 * [taylor]: Taking taylor expansion of x in x
3.311 * [backup-simplify]: Simplify 0 into 0
3.311 * [backup-simplify]: Simplify 1 into 1
3.311 * [backup-simplify]: Simplify (exp 0) into 1
3.312 * [taylor]: Taking taylor expansion of 1 in x
3.312 * [backup-simplify]: Simplify 1 into 1
3.312 * [backup-simplify]: Simplify (+ 1 1) into 2
3.312 * [backup-simplify]: Simplify 2 into 2
3.314 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.314 * [backup-simplify]: Simplify (+ 1 0) into 1
3.314 * [backup-simplify]: Simplify 1 into 1
3.316 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.316 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.316 * [backup-simplify]: Simplify 1/2 into 1/2
3.316 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
3.317 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.317 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
3.317 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.317 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.317 * [taylor]: Taking taylor expansion of x in x
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify 1 into 1
3.317 * [backup-simplify]: Simplify (/ 1 1) into 1
3.317 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.317 * [taylor]: Taking taylor expansion of 1 in x
3.317 * [backup-simplify]: Simplify 1 into 1
3.317 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.317 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.317 * [taylor]: Taking taylor expansion of x in x
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify 1 into 1
3.318 * [backup-simplify]: Simplify (/ 1 1) into 1
3.318 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.318 * [taylor]: Taking taylor expansion of 1 in x
3.318 * [backup-simplify]: Simplify 1 into 1
3.318 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.318 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.319 * [backup-simplify]: Simplify (+ 0 0) into 0
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify (+ 0 0) into 0
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify (+ 0 0) into 0
3.320 * [backup-simplify]: Simplify 0 into 0
3.320 * [backup-simplify]: Simplify (+ 0 0) into 0
3.320 * [backup-simplify]: Simplify 0 into 0
3.320 * [backup-simplify]: Simplify (+ 0 0) into 0
3.320 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify (+ 0 0) into 0
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
3.321 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
3.321 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
3.321 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.321 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.321 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.321 * [taylor]: Taking taylor expansion of -1 in x
3.321 * [backup-simplify]: Simplify -1 into -1
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.322 * [backup-simplify]: Simplify (/ -1 1) into -1
3.322 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.322 * [taylor]: Taking taylor expansion of 1 in x
3.322 * [backup-simplify]: Simplify 1 into 1
3.322 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.322 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.322 * [taylor]: Taking taylor expansion of -1 in x
3.322 * [backup-simplify]: Simplify -1 into -1
3.322 * [taylor]: Taking taylor expansion of x in x
3.322 * [backup-simplify]: Simplify 0 into 0
3.322 * [backup-simplify]: Simplify 1 into 1
3.323 * [backup-simplify]: Simplify (/ -1 1) into -1
3.323 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.323 * [taylor]: Taking taylor expansion of 1 in x
3.323 * [backup-simplify]: Simplify 1 into 1
3.323 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.323 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.323 * [backup-simplify]: Simplify (+ 0 0) into 0
3.323 * [backup-simplify]: Simplify 0 into 0
3.324 * [backup-simplify]: Simplify (+ 0 0) into 0
3.324 * [backup-simplify]: Simplify 0 into 0
3.324 * [backup-simplify]: Simplify (+ 0 0) into 0
3.324 * [backup-simplify]: Simplify 0 into 0
3.325 * [backup-simplify]: Simplify (+ 0 0) into 0
3.325 * [backup-simplify]: Simplify 0 into 0
3.325 * [backup-simplify]: Simplify (+ 0 0) into 0
3.325 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify (+ 0 0) into 0
3.326 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
3.326 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.326 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
3.326 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
3.326 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.326 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.326 * [taylor]: Taking taylor expansion of (exp x) in x
3.326 * [taylor]: Taking taylor expansion of x in x
3.326 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify 1 into 1
3.326 * [backup-simplify]: Simplify (exp 0) into 1
3.326 * [taylor]: Taking taylor expansion of 1 in x
3.326 * [backup-simplify]: Simplify 1 into 1
3.327 * [backup-simplify]: Simplify (+ 1 1) into 2
3.327 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.329 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.329 * [backup-simplify]: Simplify (+ 1 0) into 1
3.330 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.331 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.331 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.331 * [taylor]: Taking taylor expansion of (exp x) in x
3.331 * [taylor]: Taking taylor expansion of x in x
3.331 * [backup-simplify]: Simplify 0 into 0
3.331 * [backup-simplify]: Simplify 1 into 1
3.331 * [backup-simplify]: Simplify (exp 0) into 1
3.331 * [taylor]: Taking taylor expansion of 1 in x
3.331 * [backup-simplify]: Simplify 1 into 1
3.331 * [backup-simplify]: Simplify (+ 1 1) into 2
3.332 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.333 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.333 * [backup-simplify]: Simplify (+ 1 0) into 1
3.335 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.335 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.336 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
3.338 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.338 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.343 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
3.351 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
3.360 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
3.360 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.360 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
3.360 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.360 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.360 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.360 * [taylor]: Taking taylor expansion of x in x
3.360 * [backup-simplify]: Simplify 0 into 0
3.360 * [backup-simplify]: Simplify 1 into 1
3.360 * [backup-simplify]: Simplify (/ 1 1) into 1
3.361 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.361 * [taylor]: Taking taylor expansion of 1 in x
3.361 * [backup-simplify]: Simplify 1 into 1
3.361 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.361 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.361 * [backup-simplify]: Simplify (+ 0 0) into 0
3.361 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.361 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.362 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.362 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.362 * [taylor]: Taking taylor expansion of x in x
3.362 * [backup-simplify]: Simplify 0 into 0
3.362 * [backup-simplify]: Simplify 1 into 1
3.362 * [backup-simplify]: Simplify (/ 1 1) into 1
3.362 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.362 * [taylor]: Taking taylor expansion of 1 in x
3.362 * [backup-simplify]: Simplify 1 into 1
3.362 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.362 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.363 * [backup-simplify]: Simplify (+ 0 0) into 0
3.363 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.363 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.363 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify (+ 0 0) into 0
3.364 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.364 * [backup-simplify]: Simplify 0 into 0
3.364 * [backup-simplify]: Simplify (+ 0 0) into 0
3.365 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.365 * [backup-simplify]: Simplify 0 into 0
3.366 * [backup-simplify]: Simplify (+ 0 0) into 0
3.366 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify (+ 0 0) into 0
3.368 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.368 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify (+ 0 0) into 0
3.369 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
3.369 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.369 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
3.369 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.369 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.369 * [taylor]: Taking taylor expansion of -1 in x
3.369 * [backup-simplify]: Simplify -1 into -1
3.370 * [taylor]: Taking taylor expansion of x in x
3.370 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify 1 into 1
3.370 * [backup-simplify]: Simplify (/ -1 1) into -1
3.370 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.370 * [taylor]: Taking taylor expansion of 1 in x
3.370 * [backup-simplify]: Simplify 1 into 1
3.370 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.370 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.371 * [backup-simplify]: Simplify (+ 0 0) into 0
3.371 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.371 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.371 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.371 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.371 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.371 * [taylor]: Taking taylor expansion of -1 in x
3.371 * [backup-simplify]: Simplify -1 into -1
3.371 * [taylor]: Taking taylor expansion of x in x
3.371 * [backup-simplify]: Simplify 0 into 0
3.371 * [backup-simplify]: Simplify 1 into 1
3.371 * [backup-simplify]: Simplify (/ -1 1) into -1
3.371 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.371 * [taylor]: Taking taylor expansion of 1 in x
3.371 * [backup-simplify]: Simplify 1 into 1
3.372 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.372 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.372 * [backup-simplify]: Simplify (+ 0 0) into 0
3.372 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.372 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.372 * [backup-simplify]: Simplify 0 into 0
3.373 * [backup-simplify]: Simplify (+ 0 0) into 0
3.373 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.373 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify (+ 0 0) into 0
3.375 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.375 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify (+ 0 0) into 0
3.376 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.376 * [backup-simplify]: Simplify 0 into 0
3.376 * [backup-simplify]: Simplify (+ 0 0) into 0
3.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.377 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify (+ 0 0) into 0
3.379 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.379 * [backup-simplify]: Simplify 0 into 0
3.379 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
3.379 * * * [progress]: simplifying candidates
3.379 * * * * [progress]: [ 1 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (log (* (exp (exp x)) (exp 1)))))>
3.379 * * * * [progress]: [ 2 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
3.379 * * * * [progress]: [ 3 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
3.379 * * * * [progress]: [ 4 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
3.379 * * * * [progress]: [ 5 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
3.379 * * * * [progress]: [ 6 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
3.379 * * * * [progress]: [ 7 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
3.379 * * * * [progress]: [ 8 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
3.379 * * * * [progress]: [ 9 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
3.379 * * * * [progress]: [ 10 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
3.379 * * * * [progress]: [ 11 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
3.380 * * * * [progress]: [ 12 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 13 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
3.380 * * * * [progress]: [ 14 / 36 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
3.380 * * * * [progress]: [ 15 / 36 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
3.380 * * * * [progress]: [ 16 / 36 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 17 / 36 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 18 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 19 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 20 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 21 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 22 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
3.380 * * * * [progress]: [ 23 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
3.380 * * * * [progress]: [ 24 / 36 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
3.380 * * * * [progress]: [ 25 / 36 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
3.380 * * * * [progress]: [ 26 / 36 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) (/ 1 2)))>
3.380 * * * * [progress]: [ 27 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
3.380 * * * * [progress]: [ 28 / 36 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
3.380 * * * * [progress]: [ 29 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
3.380 * * * * [progress]: [ 30 / 36 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (+ (exp x) 1)))))>
3.381 * * * * [progress]: [ 31 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
3.381 * * * * [progress]: [ 32 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.381 * * * * [progress]: [ 33 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.381 * * * * [progress]: [ 34 / 36 ] simplifiying candidate #<alt (λ (x) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
3.381 * * * * [progress]: [ 35 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.381 * * * * [progress]: [ 36 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.381 * [simplify]: Simplifying (* (exp (exp x)) (exp 1)), (log (+ (exp x) 1)), (exp (+ (exp x) 1)), (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))), (cbrt (+ (exp x) 1)), (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (+ (pow (exp x) 3) (pow 1 3)), (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))), (- (* (exp x) (exp x)) (* 1 1)), (- (exp x) 1), (+ (exp x) 1), (real->posit16 (+ (exp x) 1)), (log (sqrt (+ (exp x) 1))), (exp (sqrt (+ (exp x) 1))), (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))), (cbrt (sqrt (+ (exp x) 1))), (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1))), (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))), (sqrt (cbrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (sqrt 1), (sqrt (+ (exp x) 1)), (sqrt 1), (sqrt (+ (exp x) 1)), (sqrt (+ (pow (exp x) 3) (pow 1 3))), (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))), (sqrt (- (* (exp x) (exp x)) (* 1 1))), (sqrt (- (exp x) 1)), (/ 1 2), (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (real->posit16 (sqrt (+ (exp x) 1))), (+ x (+ (* 1/2 (pow x 2)) 2)), (+ (exp x) 1), (+ (exp x) 1), (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1))
3.382 * * [simplify]: iteration 1: (61 enodes)
3.414 * * [simplify]: iteration 2: (241 enodes)
3.484 * * [simplify]: iteration 3: (446 enodes)
3.598 * * [simplify]: iteration 4: (913 enodes)
4.103 * * [simplify]: Extracting #0: cost 29 inf + 0
4.103 * * [simplify]: Extracting #1: cost 128 inf + 2
4.105 * * [simplify]: Extracting #2: cost 478 inf + 232
4.109 * * [simplify]: Extracting #3: cost 575 inf + 12925
4.121 * * [simplify]: Extracting #4: cost 262 inf + 66838
4.148 * * [simplify]: Extracting #5: cost 37 inf + 148195
4.176 * * [simplify]: Extracting #6: cost 0 inf + 163572
4.225 * * [simplify]: Extracting #7: cost 0 inf + 163332
4.275 * [simplify]: Simplified to (* (exp (exp x)) E), (log (+ (exp x) 1)), (* (exp (exp x)) E), (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))), (cbrt (+ (exp x) 1)), (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1)), (+ (* (exp x) (* (exp x) (exp x))) 1), (+ (- 1 (exp x)) (* (exp x) (exp x))), (- (* (exp x) (exp x)) 1), (- (exp x) 1), (+ (exp x) 1), (real->posit16 (+ (exp x) 1)), (log (sqrt (+ (exp x) 1))), (exp (sqrt (+ (exp x) 1))), (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))), (cbrt (sqrt (+ (exp x) 1))), (* (sqrt (+ (exp x) 1)) (+ (exp x) 1)), (fabs (cbrt (+ (exp x) 1))), (sqrt (cbrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), 1, (sqrt (+ (exp x) 1)), 1, (sqrt (+ (exp x) 1)), (sqrt (+ (* (exp x) (* (exp x) (exp x))) 1)), (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (sqrt (- (* (exp x) (exp x)) 1)), (sqrt (- (exp x) 1)), 1/2, (sqrt (sqrt (+ (exp x) 1))), (sqrt (sqrt (+ (exp x) 1))), (real->posit16 (sqrt (+ (exp x) 1))), (+ (+ (* (/ x 2) x) 2) x), (+ (exp x) 1), (+ (exp x) 1), (+ (+ (/ x (* 2 (sqrt 2))) (* (/ x (sqrt 2)) (* x 3/16))) (sqrt 2)), (sqrt (+ (exp x) 1)), (sqrt (+ (exp x) 1))
4.276 * * * [progress]: adding candidates to table
4.624 * * [progress]: iteration 3 / 4
4.625 * * * [progress]: picking best candidate
4.640 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.640 * * * [progress]: localizing error
4.664 * * * [progress]: generating rewritten candidates
4.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
4.670 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
4.691 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
4.704 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
4.760 * * * [progress]: generating series expansions
4.760 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
4.760 * [backup-simplify]: Simplify (- 1 (exp x)) into (- 1 (exp x))
4.760 * [approximate]: Taking taylor expansion of (- 1 (exp x)) in (x) around 0
4.760 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x
4.760 * [taylor]: Taking taylor expansion of 1 in x
4.760 * [backup-simplify]: Simplify 1 into 1
4.760 * [taylor]: Taking taylor expansion of (exp x) in x
4.760 * [taylor]: Taking taylor expansion of x in x
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 1 into 1
4.761 * [backup-simplify]: Simplify (exp 0) into 1
4.761 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x
4.761 * [taylor]: Taking taylor expansion of 1 in x
4.761 * [backup-simplify]: Simplify 1 into 1
4.761 * [taylor]: Taking taylor expansion of (exp x) in x
4.761 * [taylor]: Taking taylor expansion of x in x
4.761 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify 1 into 1
4.761 * [backup-simplify]: Simplify (exp 0) into 1
4.762 * [backup-simplify]: Simplify (- 1) into -1
4.762 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.764 * [backup-simplify]: Simplify (- 1) into -1
4.764 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.764 * [backup-simplify]: Simplify -1 into -1
4.766 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.766 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.767 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
4.767 * [backup-simplify]: Simplify -1/2 into -1/2
4.769 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.770 * [backup-simplify]: Simplify (- 1/6) into -1/6
4.770 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
4.770 * [backup-simplify]: Simplify -1/6 into -1/6
4.771 * [backup-simplify]: Simplify (+ (* -1/6 (pow x 3)) (+ (* -1/2 (pow x 2)) (* -1 x))) into (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
4.771 * [backup-simplify]: Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
4.771 * [approximate]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
4.771 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
4.771 * [taylor]: Taking taylor expansion of 1 in x
4.771 * [backup-simplify]: Simplify 1 into 1
4.771 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.771 * [taylor]: Taking taylor expansion of x in x
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify 1 into 1
4.772 * [backup-simplify]: Simplify (/ 1 1) into 1
4.772 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.772 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
4.772 * [taylor]: Taking taylor expansion of 1 in x
4.772 * [backup-simplify]: Simplify 1 into 1
4.772 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.772 * [taylor]: Taking taylor expansion of x in x
4.772 * [backup-simplify]: Simplify 0 into 0
4.772 * [backup-simplify]: Simplify 1 into 1
4.773 * [backup-simplify]: Simplify (/ 1 1) into 1
4.773 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.773 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
4.773 * [backup-simplify]: Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
4.773 * [backup-simplify]: Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
4.773 * [backup-simplify]: Simplify (- 0) into 0
4.774 * [backup-simplify]: Simplify (+ 0 0) into 0
4.774 * [backup-simplify]: Simplify 0 into 0
4.774 * [backup-simplify]: Simplify (- 0) into 0
4.775 * [backup-simplify]: Simplify (+ 0 0) into 0
4.775 * [backup-simplify]: Simplify 0 into 0
4.775 * [backup-simplify]: Simplify (- 0) into 0
4.775 * [backup-simplify]: Simplify (+ 0 0) into 0
4.775 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify (- 0) into 0
4.776 * [backup-simplify]: Simplify (+ 0 0) into 0
4.776 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify (- 0) into 0
4.777 * [backup-simplify]: Simplify (+ 0 0) into 0
4.777 * [backup-simplify]: Simplify 0 into 0
4.778 * [backup-simplify]: Simplify (- 0) into 0
4.778 * [backup-simplify]: Simplify (+ 0 0) into 0
4.778 * [backup-simplify]: Simplify 0 into 0
4.778 * [backup-simplify]: Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
4.778 * [backup-simplify]: Simplify (- 1 (exp (/ 1 (- x)))) into (- 1 (exp (/ -1 x)))
4.778 * [approximate]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
4.778 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
4.778 * [taylor]: Taking taylor expansion of 1 in x
4.778 * [backup-simplify]: Simplify 1 into 1
4.778 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.778 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.778 * [taylor]: Taking taylor expansion of -1 in x
4.778 * [backup-simplify]: Simplify -1 into -1
4.778 * [taylor]: Taking taylor expansion of x in x
4.779 * [backup-simplify]: Simplify 0 into 0
4.779 * [backup-simplify]: Simplify 1 into 1
4.779 * [backup-simplify]: Simplify (/ -1 1) into -1
4.779 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.779 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
4.779 * [taylor]: Taking taylor expansion of 1 in x
4.779 * [backup-simplify]: Simplify 1 into 1
4.779 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.779 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.779 * [taylor]: Taking taylor expansion of -1 in x
4.779 * [backup-simplify]: Simplify -1 into -1
4.779 * [taylor]: Taking taylor expansion of x in x
4.779 * [backup-simplify]: Simplify 0 into 0
4.779 * [backup-simplify]: Simplify 1 into 1
4.780 * [backup-simplify]: Simplify (/ -1 1) into -1
4.780 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.780 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
4.780 * [backup-simplify]: Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
4.780 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
4.781 * [backup-simplify]: Simplify (- 0) into 0
4.781 * [backup-simplify]: Simplify (+ 0 0) into 0
4.781 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify (- 0) into 0
4.782 * [backup-simplify]: Simplify (+ 0 0) into 0
4.782 * [backup-simplify]: Simplify 0 into 0
4.782 * [backup-simplify]: Simplify (- 0) into 0
4.783 * [backup-simplify]: Simplify (+ 0 0) into 0
4.783 * [backup-simplify]: Simplify 0 into 0
4.783 * [backup-simplify]: Simplify (- 0) into 0
4.783 * [backup-simplify]: Simplify (+ 0 0) into 0
4.783 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify (- 0) into 0
4.784 * [backup-simplify]: Simplify (+ 0 0) into 0
4.784 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify (- 0) into 0
4.785 * [backup-simplify]: Simplify (+ 0 0) into 0
4.785 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
4.785 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
4.785 * [backup-simplify]: Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
4.786 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0
4.786 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.786 * [taylor]: Taking taylor expansion of (exp x) in x
4.786 * [taylor]: Taking taylor expansion of x in x
4.786 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify 1 into 1
4.786 * [backup-simplify]: Simplify (exp 0) into 1
4.786 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.786 * [taylor]: Taking taylor expansion of (exp x) in x
4.786 * [taylor]: Taking taylor expansion of x in x
4.786 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify 1 into 1
4.786 * [backup-simplify]: Simplify (exp 0) into 1
4.787 * [backup-simplify]: Simplify (* 1 1) into 1
4.787 * [backup-simplify]: Simplify 1 into 1
4.788 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.788 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
4.788 * [backup-simplify]: Simplify 2 into 2
4.790 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.791 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
4.791 * [backup-simplify]: Simplify 2 into 2
4.791 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
4.792 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.792 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
4.792 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.792 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.792 * [taylor]: Taking taylor expansion of x in x
4.792 * [backup-simplify]: Simplify 0 into 0
4.792 * [backup-simplify]: Simplify 1 into 1
4.792 * [backup-simplify]: Simplify (/ 1 1) into 1
4.792 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.792 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.792 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.792 * [taylor]: Taking taylor expansion of x in x
4.792 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify 1 into 1
4.793 * [backup-simplify]: Simplify (/ 1 1) into 1
4.793 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.793 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.793 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
4.794 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
4.794 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
4.794 * [backup-simplify]: Simplify 0 into 0
4.795 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
4.796 * [backup-simplify]: Simplify 0 into 0
4.797 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
4.797 * [backup-simplify]: Simplify 0 into 0
4.798 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
4.799 * [backup-simplify]: Simplify 0 into 0
4.801 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
4.801 * [backup-simplify]: Simplify 0 into 0
4.801 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
4.801 * [backup-simplify]: Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
4.801 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
4.801 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.801 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.801 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.801 * [taylor]: Taking taylor expansion of -1 in x
4.801 * [backup-simplify]: Simplify -1 into -1
4.801 * [taylor]: Taking taylor expansion of x in x
4.801 * [backup-simplify]: Simplify 0 into 0
4.801 * [backup-simplify]: Simplify 1 into 1
4.802 * [backup-simplify]: Simplify (/ -1 1) into -1
4.802 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.802 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.802 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.802 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.802 * [taylor]: Taking taylor expansion of -1 in x
4.802 * [backup-simplify]: Simplify -1 into -1
4.802 * [taylor]: Taking taylor expansion of x in x
4.802 * [backup-simplify]: Simplify 0 into 0
4.802 * [backup-simplify]: Simplify 1 into 1
4.802 * [backup-simplify]: Simplify (/ -1 1) into -1
4.802 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.802 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
4.802 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
4.802 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
4.802 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
4.803 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
4.804 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
4.806 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
4.807 * [backup-simplify]: Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
4.807 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0
4.807 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.807 * [taylor]: Taking taylor expansion of (exp x) in x
4.807 * [taylor]: Taking taylor expansion of x in x
4.807 * [backup-simplify]: Simplify 0 into 0
4.807 * [backup-simplify]: Simplify 1 into 1
4.807 * [backup-simplify]: Simplify (exp 0) into 1
4.807 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.807 * [taylor]: Taking taylor expansion of (exp x) in x
4.807 * [taylor]: Taking taylor expansion of x in x
4.807 * [backup-simplify]: Simplify 0 into 0
4.807 * [backup-simplify]: Simplify 1 into 1
4.807 * [backup-simplify]: Simplify (exp 0) into 1
4.807 * [backup-simplify]: Simplify (* 1 1) into 1
4.807 * [backup-simplify]: Simplify 1 into 1
4.808 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.808 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
4.808 * [backup-simplify]: Simplify 2 into 2
4.809 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.810 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
4.810 * [backup-simplify]: Simplify 2 into 2
4.810 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
4.810 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.810 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
4.810 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.810 * [taylor]: Taking taylor expansion of x in x
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify 1 into 1
4.810 * [backup-simplify]: Simplify (/ 1 1) into 1
4.810 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.810 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.810 * [taylor]: Taking taylor expansion of x in x
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify 1 into 1
4.811 * [backup-simplify]: Simplify (/ 1 1) into 1
4.811 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.811 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.811 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
4.811 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
4.815 * [backup-simplify]: Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
4.815 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
4.815 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.815 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.815 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.815 * [taylor]: Taking taylor expansion of -1 in x
4.815 * [backup-simplify]: Simplify -1 into -1
4.815 * [taylor]: Taking taylor expansion of x in x
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify 1 into 1
4.816 * [backup-simplify]: Simplify (/ -1 1) into -1
4.816 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.816 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.816 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.816 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.816 * [taylor]: Taking taylor expansion of -1 in x
4.816 * [backup-simplify]: Simplify -1 into -1
4.816 * [taylor]: Taking taylor expansion of x in x
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify 1 into 1
4.816 * [backup-simplify]: Simplify (/ -1 1) into -1
4.816 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.816 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
4.816 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
4.816 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
4.818 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
4.819 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
4.820 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
4.821 * [backup-simplify]: Simplify (+ (- 1 (exp x)) (* (exp x) (exp x))) into (- (+ (pow (exp x) 2) 1) (exp x))
4.821 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in (x) around 0
4.821 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
4.821 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
4.821 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.821 * [taylor]: Taking taylor expansion of (exp x) in x
4.821 * [taylor]: Taking taylor expansion of x in x
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [backup-simplify]: Simplify (exp 0) into 1
4.821 * [taylor]: Taking taylor expansion of 1 in x
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [taylor]: Taking taylor expansion of (exp x) in x
4.821 * [taylor]: Taking taylor expansion of x in x
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [backup-simplify]: Simplify (exp 0) into 1
4.821 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
4.821 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
4.821 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.821 * [taylor]: Taking taylor expansion of (exp x) in x
4.821 * [taylor]: Taking taylor expansion of x in x
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [backup-simplify]: Simplify (exp 0) into 1
4.821 * [taylor]: Taking taylor expansion of 1 in x
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [taylor]: Taking taylor expansion of (exp x) in x
4.821 * [taylor]: Taking taylor expansion of x in x
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [backup-simplify]: Simplify (exp 0) into 1
4.821 * [backup-simplify]: Simplify (* 1 1) into 1
4.822 * [backup-simplify]: Simplify (+ 1 1) into 2
4.822 * [backup-simplify]: Simplify (- 1) into -1
4.822 * [backup-simplify]: Simplify (+ 2 -1) into 1
4.822 * [backup-simplify]: Simplify 1 into 1
4.823 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.823 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
4.823 * [backup-simplify]: Simplify (+ 2 0) into 2
4.824 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.824 * [backup-simplify]: Simplify (- 1) into -1
4.826 * [backup-simplify]: Simplify (+ 2 -1) into 1
4.826 * [backup-simplify]: Simplify 1 into 1
4.828 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.828 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
4.828 * [backup-simplify]: Simplify (+ 2 0) into 2
4.829 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.830 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.830 * [backup-simplify]: Simplify (+ 2 -1/2) into 3/2
4.830 * [backup-simplify]: Simplify 3/2 into 3/2
4.831 * [backup-simplify]: Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1))
4.831 * [backup-simplify]: Simplify (+ (- 1 (exp (/ 1 x))) (* (exp (/ 1 x)) (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
4.831 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in (x) around 0
4.831 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
4.831 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
4.831 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.831 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.831 * [taylor]: Taking taylor expansion of x in x
4.831 * [backup-simplify]: Simplify 0 into 0
4.831 * [backup-simplify]: Simplify 1 into 1
4.832 * [backup-simplify]: Simplify (/ 1 1) into 1
4.832 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.832 * [taylor]: Taking taylor expansion of 1 in x
4.832 * [backup-simplify]: Simplify 1 into 1
4.832 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.832 * [taylor]: Taking taylor expansion of x in x
4.832 * [backup-simplify]: Simplify 0 into 0
4.832 * [backup-simplify]: Simplify 1 into 1
4.833 * [backup-simplify]: Simplify (/ 1 1) into 1
4.833 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.833 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
4.833 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
4.833 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.833 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.833 * [taylor]: Taking taylor expansion of x in x
4.833 * [backup-simplify]: Simplify 0 into 0
4.833 * [backup-simplify]: Simplify 1 into 1
4.834 * [backup-simplify]: Simplify (/ 1 1) into 1
4.834 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.834 * [taylor]: Taking taylor expansion of 1 in x
4.834 * [backup-simplify]: Simplify 1 into 1
4.834 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.834 * [taylor]: Taking taylor expansion of x in x
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 1 into 1
4.834 * [backup-simplify]: Simplify (/ 1 1) into 1
4.834 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.834 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.835 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
4.835 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
4.835 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
4.835 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
4.835 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
4.836 * [backup-simplify]: Simplify (+ 0 0) into 0
4.837 * [backup-simplify]: Simplify (- 0) into 0
4.837 * [backup-simplify]: Simplify (+ 0 0) into 0
4.837 * [backup-simplify]: Simplify 0 into 0
4.838 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
4.838 * [backup-simplify]: Simplify (+ 0 0) into 0
4.838 * [backup-simplify]: Simplify (- 0) into 0
4.839 * [backup-simplify]: Simplify (+ 0 0) into 0
4.839 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
4.840 * [backup-simplify]: Simplify (+ 0 0) into 0
4.840 * [backup-simplify]: Simplify (- 0) into 0
4.841 * [backup-simplify]: Simplify (+ 0 0) into 0
4.841 * [backup-simplify]: Simplify 0 into 0
4.842 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
4.842 * [backup-simplify]: Simplify (+ 0 0) into 0
4.843 * [backup-simplify]: Simplify (- 0) into 0
4.843 * [backup-simplify]: Simplify (+ 0 0) into 0
4.843 * [backup-simplify]: Simplify 0 into 0
4.845 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
4.845 * [backup-simplify]: Simplify (+ 0 0) into 0
4.846 * [backup-simplify]: Simplify (- 0) into 0
4.846 * [backup-simplify]: Simplify (+ 0 0) into 0
4.846 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
4.848 * [backup-simplify]: Simplify (+ 0 0) into 0
4.849 * [backup-simplify]: Simplify (- 0) into 0
4.849 * [backup-simplify]: Simplify (+ 0 0) into 0
4.849 * [backup-simplify]: Simplify 0 into 0
4.849 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x))
4.850 * [backup-simplify]: Simplify (+ (- 1 (exp (/ 1 (- x)))) (* (exp (/ 1 (- x))) (exp (/ 1 (- x))))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
4.850 * [approximate]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in (x) around 0
4.850 * [taylor]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
4.850 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
4.850 * [taylor]: Taking taylor expansion of 1 in x
4.850 * [backup-simplify]: Simplify 1 into 1
4.850 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.850 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.850 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.850 * [taylor]: Taking taylor expansion of -1 in x
4.850 * [backup-simplify]: Simplify -1 into -1
4.850 * [taylor]: Taking taylor expansion of x in x
4.850 * [backup-simplify]: Simplify 0 into 0
4.850 * [backup-simplify]: Simplify 1 into 1
4.850 * [backup-simplify]: Simplify (/ -1 1) into -1
4.850 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.850 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.850 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.850 * [taylor]: Taking taylor expansion of -1 in x
4.850 * [backup-simplify]: Simplify -1 into -1
4.850 * [taylor]: Taking taylor expansion of x in x
4.850 * [backup-simplify]: Simplify 0 into 0
4.850 * [backup-simplify]: Simplify 1 into 1
4.851 * [backup-simplify]: Simplify (/ -1 1) into -1
4.851 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.851 * [taylor]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
4.851 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
4.851 * [taylor]: Taking taylor expansion of 1 in x
4.851 * [backup-simplify]: Simplify 1 into 1
4.851 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.851 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.851 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.851 * [taylor]: Taking taylor expansion of -1 in x
4.851 * [backup-simplify]: Simplify -1 into -1
4.851 * [taylor]: Taking taylor expansion of x in x
4.851 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify 1 into 1
4.851 * [backup-simplify]: Simplify (/ -1 1) into -1
4.851 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.851 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.851 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.851 * [taylor]: Taking taylor expansion of -1 in x
4.851 * [backup-simplify]: Simplify -1 into -1
4.851 * [taylor]: Taking taylor expansion of x in x
4.851 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify 1 into 1
4.851 * [backup-simplify]: Simplify (/ -1 1) into -1
4.851 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.852 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
4.852 * [backup-simplify]: Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
4.852 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
4.852 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
4.852 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
4.852 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
4.852 * [backup-simplify]: Simplify (+ 0 0) into 0
4.853 * [backup-simplify]: Simplify (- 0) into 0
4.853 * [backup-simplify]: Simplify (+ 0 0) into 0
4.853 * [backup-simplify]: Simplify 0 into 0
4.853 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
4.853 * [backup-simplify]: Simplify (+ 0 0) into 0
4.854 * [backup-simplify]: Simplify (- 0) into 0
4.854 * [backup-simplify]: Simplify (+ 0 0) into 0
4.854 * [backup-simplify]: Simplify 0 into 0
4.854 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
4.855 * [backup-simplify]: Simplify (+ 0 0) into 0
4.855 * [backup-simplify]: Simplify (- 0) into 0
4.855 * [backup-simplify]: Simplify (+ 0 0) into 0
4.855 * [backup-simplify]: Simplify 0 into 0
4.856 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
4.856 * [backup-simplify]: Simplify (+ 0 0) into 0
4.856 * [backup-simplify]: Simplify (- 0) into 0
4.857 * [backup-simplify]: Simplify (+ 0 0) into 0
4.857 * [backup-simplify]: Simplify 0 into 0
4.858 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
4.858 * [backup-simplify]: Simplify (+ 0 0) into 0
4.858 * [backup-simplify]: Simplify (- 0) into 0
4.859 * [backup-simplify]: Simplify (+ 0 0) into 0
4.859 * [backup-simplify]: Simplify 0 into 0
4.860 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
4.860 * [backup-simplify]: Simplify (+ 0 0) into 0
4.860 * [backup-simplify]: Simplify (- 0) into 0
4.861 * [backup-simplify]: Simplify (+ 0 0) into 0
4.861 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x))
4.861 * * * [progress]: simplifying candidates
4.861 * * * * [progress]: [ 1 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (log (/ (exp 1) (exp (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 2 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (pow (- 1 (exp x)) 1) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 3 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (exp (log (- 1 (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 4 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (log (exp (- 1 (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 5 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (* (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x)))) (cbrt (- 1 (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 6 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (cbrt (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 7 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (* (sqrt (- 1 (exp x))) (sqrt (- 1 (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 8 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (/ (- (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (+ (* (exp x) (exp x)) (* 1 (exp x))))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 9 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (+ 1 (- (exp x))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 10 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (* 1 (- 1 (exp x))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 11 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (/ (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 12 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (* (+ (sqrt 1) (sqrt (exp x))) (- (sqrt 1) (sqrt (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 13 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (* (+ 1 (sqrt (exp x))) (- 1 (sqrt (exp x)))) (* (exp x) (exp x))))))>
4.861 * * * * [progress]: [ 14 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (* 1 (- 1 (exp x))) (* (exp x) (exp x))))))>
4.862 * * * * [progress]: [ 15 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (+ 1 (- (exp x))) (* (exp x) (exp x))))))>
4.862 * * * * [progress]: [ 16 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (posit16->real (real->posit16 (- 1 (exp x)))) (* (exp x) (exp x))))))>
4.862 * * * * [progress]: [ 17 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp x) (+ 1 1))))))>
4.862 * * * * [progress]: [ 18 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp (* (cbrt x) (cbrt x))) (+ (cbrt x) (cbrt x)))))))>
4.862 * * * * [progress]: [ 19 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp (sqrt x)) (+ (sqrt x) (sqrt x)))))))>
4.862 * * * * [progress]: [ 20 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp 1) (+ x x))))))>
4.862 * * * * [progress]: [ 21 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (* (exp x) (exp x)) 1)))))>
4.862 * * * * [progress]: [ 22 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))) (cbrt x))))))>
4.862 * * * * [progress]: [ 23 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (* (exp (sqrt x)) (exp (sqrt x))) (sqrt x))))))>
4.862 * * * * [progress]: [ 24 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (* (exp 1) (exp 1)) x)))))>
4.862 * * * * [progress]: [ 25 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
4.862 * * * * [progress]: [ 26 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp x) (+ 1 1))))))>
4.862 * * * * [progress]: [ 27 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (* (exp x) (exp x)) 1)))))>
4.862 * * * * [progress]: [ 28 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (exp (+ x x))))))>
4.862 * * * * [progress]: [ 29 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (exp (log (* (exp x) (exp x))))))))>
4.862 * * * * [progress]: [ 30 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (log (exp (* (exp x) (exp x))))))))>
4.862 * * * * [progress]: [ 31 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))))))>
4.862 * * * * [progress]: [ 32 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x))))))))>
4.862 * * * * [progress]: [ 33 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (cbrt (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))))))>
4.862 * * * * [progress]: [ 34 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))))))))>
4.862 * * * * [progress]: [ 35 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* 1 (* (exp x) (exp x)))))))>
4.862 * * * * [progress]: [ 36 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))))))))>
4.862 * * * * [progress]: [ 37 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))))))>
4.862 * * * * [progress]: [ 38 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* 1 1) (* (exp x) (exp x)))))))>
4.862 * * * * [progress]: [ 39 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))))))>
4.862 * * * * [progress]: [ 40 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp x) (* 2 1))))))>
4.863 * * * * [progress]: [ 41 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp (* (cbrt x) (cbrt x))) (* 2 (cbrt x)))))))>
4.863 * * * * [progress]: [ 42 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp (sqrt x)) (* 2 (sqrt x)))))))>
4.863 * * * * [progress]: [ 43 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp 1) (* 2 x))))))>
4.863 * * * * [progress]: [ 44 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))))))>
4.863 * * * * [progress]: [ 45 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))))>
4.863 * * * * [progress]: [ 46 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (exp x) 1) (exp x))))))>
4.863 * * * * [progress]: [ 47 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x)))))))>
4.863 * * * * [progress]: [ 48 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x)))))))>
4.863 * * * * [progress]: [ 49 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* 1 (* (exp x) (exp x)))))))>
4.863 * * * * [progress]: [ 50 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (posit16->real (real->posit16 (* (exp x) (exp x))))))))>
4.863 * * * * [progress]: [ 51 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 52 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) (+ 1 1))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 53 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp (* (cbrt x) (cbrt x))) (+ (cbrt x) (cbrt x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 54 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp (sqrt x)) (+ (sqrt x) (sqrt x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 55 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp 1) (+ x x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 56 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (exp x) (exp x)) 1)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 57 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))) (cbrt x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 58 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (exp (sqrt x)) (exp (sqrt x))) (sqrt x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 59 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (exp 1) (exp 1)) x)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 60 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) 2)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 61 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) (+ 1 1))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 62 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (exp x) (exp x)) 1)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 63 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (exp (+ x x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 64 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (exp (log (* (exp x) (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.863 * * * * [progress]: [ 65 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (log (exp (* (exp x) (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 66 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 67 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 68 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (cbrt (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 69 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 70 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* 1 (* (exp x) (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 71 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 72 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 73 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* 1 1) (* (exp x) (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 74 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 75 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) (* 2 1))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 76 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp (* (cbrt x) (cbrt x))) (* 2 (cbrt x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 77 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp (sqrt x)) (* 2 (sqrt x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 78 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp 1) (* 2 x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 79 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 80 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 81 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) 1) (exp x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 82 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 83 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 84 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* 1 (* (exp x) (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 85 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (posit16->real (real->posit16 (* (exp x) (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 86 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.864 * * * * [progress]: [ 87 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (log (* (/ (exp 1) (exp (exp x))) (exp (* (exp x) (exp x))))))))>
4.864 * * * * [progress]: [ 88 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (log (* (exp (- 1 (exp x))) (exp (* (exp x) (exp x))))))))>
4.864 * * * * [progress]: [ 89 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (pow (+ (- 1 (exp x)) (* (exp x) (exp x))) 1))))>
4.864 * * * * [progress]: [ 90 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (exp (log (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
4.864 * * * * [progress]: [ 91 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (log (exp (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
4.864 * * * * [progress]: [ 92 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (* (* (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
4.865 * * * * [progress]: [ 93 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (cbrt (* (* (+ (- 1 (exp x)) (* (exp x) (exp x))) (+ (- 1 (exp x)) (* (exp x) (exp x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
4.865 * * * * [progress]: [ 94 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (* (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
4.865 * * * * [progress]: [ 95 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (/ (+ (pow (- 1 (exp x)) 3) (pow (* (exp x) (exp x)) 3)) (+ (* (- 1 (exp x)) (- 1 (exp x))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- 1 (exp x)) (* (exp x) (exp x)))))))))>
4.865 * * * * [progress]: [ 96 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (* 1 (+ (- 1 (exp x)) (* (exp x) (exp x)))))))>
4.865 * * * * [progress]: [ 97 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (/ (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (- (- 1 (exp x)) (* (exp x) (exp x)))))))>
4.865 * * * * [progress]: [ 98 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ 1 (+ (- (exp x)) (* (exp x) (exp x)))))))>
4.865 * * * * [progress]: [ 99 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ 1 (+ (- (exp x)) (* (exp x) (exp x)))))))>
4.865 * * * * [progress]: [ 100 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (- 1 (- (exp x) (* (exp x) (exp x)))))))>
4.865 * * * * [progress]: [ 101 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (posit16->real (real->posit16 (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
4.865 * * * * [progress]: [ 102 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
4.865 * * * * [progress]: [ 103 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))) (* (exp x) (exp x))))))>
4.865 * * * * [progress]: [ 104 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.865 * * * * [progress]: [ 105 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.865 * * * * [progress]: [ 106 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (+ (* 2 x) (+ (* 2 (pow x 2)) 1))))))>
4.865 * * * * [progress]: [ 107 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
4.865 * * * * [progress]: [ 108 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
4.865 * * * * [progress]: [ 109 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (+ (* 2 x) (+ (* 2 (pow x 2)) 1))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.865 * * * * [progress]: [ 110 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) 2)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.865 * * * * [progress]: [ 111 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) 2)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
4.865 * * * * [progress]: [ 112 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (+ x (+ (* 3/2 (pow x 2)) 1)))))>
4.865 * * * * [progress]: [ 113 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
4.865 * * * * [progress]: [ 114 / 114 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (exp x))) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
4.866 * [simplify]: Simplifying (/ (exp 1) (exp (exp x))), (log (- 1 (exp x))), (exp (- 1 (exp x))), (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x)))), (cbrt (- 1 (exp x))), (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x))), (sqrt (- 1 (exp x))), (sqrt (- 1 (exp x))), (- (pow 1 3) (pow (exp x) 3)), (+ (* 1 1) (+ (* (exp x) (exp x)) (* 1 (exp x)))), (- (exp x)), (- (* 1 1) (* (exp x) (exp x))), (+ 1 (exp x)), (+ (sqrt 1) (sqrt (exp x))), (- (sqrt 1) (sqrt (exp x))), (+ 1 (sqrt (exp x))), (- 1 (sqrt (exp x))), (- 1 (exp x)), (- (exp x)), (real->posit16 (- 1 (exp x))), (+ 1 1), (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (exp x)), (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))), (* (exp (sqrt x)) (exp (sqrt x))), (* (exp 1) (exp 1)), (+ 1 1), (+ x x), (log (* (exp x) (exp x))), (exp (* (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))), (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))), (sqrt (* (exp x) (exp x))), (sqrt (* (exp x) (exp x))), (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))), (* (cbrt (exp x)) (cbrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* 1 1), (* (exp x) (exp x)), (* (sqrt (exp x)) (sqrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* 2 1), (* 2 (cbrt x)), (* 2 (sqrt x)), (* 2 x), (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))), (* (exp x) (sqrt (exp x))), (* (exp x) 1), (* (cbrt (exp x)) (exp x)), (* (sqrt (exp x)) (exp x)), (* (exp x) (exp x)), (real->posit16 (* (exp x) (exp x))), (+ 1 1), (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (exp x)), (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))), (* (exp (sqrt x)) (exp (sqrt x))), (* (exp 1) (exp 1)), (+ 1 1), (+ x x), (log (* (exp x) (exp x))), (exp (* (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))), (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))), (sqrt (* (exp x) (exp x))), (sqrt (* (exp x) (exp x))), (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))), (* (cbrt (exp x)) (cbrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* 1 1), (* (exp x) (exp x)), (* (sqrt (exp x)) (sqrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* 2 1), (* 2 (cbrt x)), (* 2 (sqrt x)), (* 2 x), (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))), (* (exp x) (sqrt (exp x))), (* (exp x) 1), (* (cbrt (exp x)) (exp x)), (* (sqrt (exp x)) (exp x)), (* (exp x) (exp x)), (real->posit16 (* (exp x) (exp x))), (* (/ (exp 1) (exp (exp x))) (exp (* (exp x) (exp x)))), (* (exp (- 1 (exp x))) (exp (* (exp x) (exp x)))), (log (+ (- 1 (exp x)) (* (exp x) (exp x)))), (exp (+ (- 1 (exp x)) (* (exp x) (exp x)))), (* (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))), (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (* (* (+ (- 1 (exp x)) (* (exp x) (exp x))) (+ (- 1 (exp x)) (* (exp x) (exp x)))) (+ (- 1 (exp x)) (* (exp x) (exp x)))), (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (+ (pow (- 1 (exp x)) 3) (pow (* (exp x) (exp x)) 3)), (+ (* (- 1 (exp x)) (- 1 (exp x))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- 1 (exp x)) (* (exp x) (exp x))))), (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (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) (exp x))), (- (exp x) (* (exp x) (exp x))), (real->posit16 (+ (- 1 (exp x)) (* (exp x) (exp x)))), (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))), (- 1 (exp x)), (- 1 (exp x)), (+ (* 2 x) (+ (* 2 (pow x 2)) 1)), (pow (exp x) 2), (pow (exp x) 2), (+ (* 2 x) (+ (* 2 (pow x 2)) 1)), (pow (exp x) 2), (pow (exp x) 2), (+ x (+ (* 3/2 (pow x 2)) 1)), (- (+ (pow (exp x) 2) 1) (exp x)), (- (+ (pow (exp x) 2) 1) (exp x))
4.867 * * [simplify]: iteration 1: (109 enodes)
4.918 * * [simplify]: iteration 2: (466 enodes)
5.078 * * [simplify]: iteration 3: (1023 enodes)
5.555 * * [simplify]: Extracting #0: cost 52 inf + 0
5.556 * * [simplify]: Extracting #1: cost 254 inf + 2
5.560 * * [simplify]: Extracting #2: cost 521 inf + 1813
5.573 * * [simplify]: Extracting #3: cost 548 inf + 28007
5.591 * * [simplify]: Extracting #4: cost 123 inf + 124579
5.634 * * [simplify]: Extracting #5: cost 3 inf + 157034
5.691 * * [simplify]: Extracting #6: cost 0 inf + 157545
5.722 * * [simplify]: Extracting #7: cost 0 inf + 157505
5.764 * [simplify]: Simplified to (/ E (exp (exp x))), (log (- 1 (exp x))), (/ E (exp (exp x))), (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x)))), (cbrt (- 1 (exp x))), (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x))), (sqrt (- 1 (exp x))), (sqrt (- 1 (exp x))), (- 1 (* (* (exp x) (exp x)) (exp x))), (+ 1 (* (+ 1 (exp x)) (exp x))), (- (exp x)), (- 1 (* (exp x) (exp x))), (+ 1 (exp x)), (+ (sqrt (exp x)) 1), (- 1 (sqrt (exp x))), (+ (sqrt (exp x)) 1), (- 1 (sqrt (exp x))), (- 1 (exp x)), (- (exp x)), (real->posit16 (- 1 (exp x))), 2, (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (exp x)), (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))), (exp (+ (sqrt x) (sqrt x))), (* E E), 2, (+ x x), (+ x x), (exp (* (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))), (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))), (fabs (exp x)), (fabs (exp x)), (* (cbrt (exp x)) (exp x)), (* (cbrt (exp x)) (cbrt (exp x))), (exp x), (exp x), 1, (* (exp x) (exp x)), (exp x), (exp x), 2, (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))), (* (sqrt (exp x)) (exp x)), (exp x), (* (cbrt (exp x)) (exp x)), (* (sqrt (exp x)) (exp x)), (* (exp x) (exp x)), (real->posit16 (* (exp x) (exp x))), 2, (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (exp x)), (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))), (exp (+ (sqrt x) (sqrt x))), (* E E), 2, (+ x x), (+ x x), (exp (* (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))), (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))), (fabs (exp x)), (fabs (exp x)), (* (cbrt (exp x)) (exp x)), (* (cbrt (exp x)) (cbrt (exp x))), (exp x), (exp x), 1, (* (exp x) (exp x)), (exp x), (exp x), 2, (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))), (* (sqrt (exp x)) (exp x)), (exp x), (* (cbrt (exp x)) (exp x)), (* (sqrt (exp x)) (exp x)), (* (exp x) (exp x)), (real->posit16 (* (exp x) (exp x))), (exp (- 1 (* (- 1 (exp x)) (exp x)))), (exp (- 1 (* (- 1 (exp x)) (exp x)))), (log (- 1 (* (- 1 (exp x)) (exp x)))), (exp (- 1 (* (- 1 (exp x)) (exp x)))), (* (cbrt (- 1 (* (- 1 (exp x)) (exp x)))) (cbrt (- 1 (* (- 1 (exp x)) (exp x))))), (cbrt (- 1 (* (- 1 (exp x)) (exp x)))), (* (- 1 (* (- 1 (exp x)) (exp x))) (* (- 1 (* (- 1 (exp x)) (exp x))) (- 1 (* (- 1 (exp x)) (exp x))))), (sqrt (- 1 (* (- 1 (exp x)) (exp x)))), (sqrt (- 1 (* (- 1 (exp x)) (exp x)))), (+ (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))), (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- 1 (exp x)) (- (* (exp x) (exp x)) (- 1 (exp x))))), (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (exp x) (exp x)) (* (exp x) (exp x)))), (- 1 (* (+ 1 (exp x)) (exp x))), (+ (- (exp x)) (* (exp x) (exp x))), (+ (- (exp x)) (* (exp x) (exp x))), (- (exp x) (* (exp x) (exp x))), (real->posit16 (- 1 (* (- 1 (exp x)) (exp x)))), (- (- x) (* (* x x) (+ 1/2 (* 1/6 x)))), (- 1 (exp x)), (- 1 (exp x)), (+ 1 (* 2 (* (+ 1 x) x))), (* (exp x) (exp x)), (* (exp x) (exp x)), (+ 1 (* 2 (* (+ 1 x) x))), (* (exp x) (exp x)), (* (exp x) (exp x)), (+ (+ 1 (/ (* x x) 2/3)) x), (- 1 (* (- 1 (exp x)) (exp x))), (- 1 (* (- 1 (exp x)) (exp x)))
5.772 * * * [progress]: adding candidates to table
6.895 * * [progress]: iteration 4 / 4
6.895 * * * [progress]: picking best candidate
6.906 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
6.906 * * * [progress]: localizing error
6.945 * * * [progress]: generating rewritten candidates
6.945 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
6.952 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
6.973 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.041 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
7.120 * * * [progress]: generating series expansions
7.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
7.121 * [backup-simplify]: Simplify (- 1 (exp x)) into (- 1 (exp x))
7.121 * [approximate]: Taking taylor expansion of (- 1 (exp x)) in (x) around 0
7.121 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x
7.121 * [taylor]: Taking taylor expansion of 1 in x
7.121 * [backup-simplify]: Simplify 1 into 1
7.121 * [taylor]: Taking taylor expansion of (exp x) in x
7.121 * [taylor]: Taking taylor expansion of x in x
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 1 into 1
7.121 * [backup-simplify]: Simplify (exp 0) into 1
7.121 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x
7.121 * [taylor]: Taking taylor expansion of 1 in x
7.121 * [backup-simplify]: Simplify 1 into 1
7.121 * [taylor]: Taking taylor expansion of (exp x) in x
7.121 * [taylor]: Taking taylor expansion of x in x
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 1 into 1
7.121 * [backup-simplify]: Simplify (exp 0) into 1
7.122 * [backup-simplify]: Simplify (- 1) into -1
7.122 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.122 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.123 * [backup-simplify]: Simplify (- 1) into -1
7.123 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.123 * [backup-simplify]: Simplify -1 into -1
7.124 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.124 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.125 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
7.125 * [backup-simplify]: Simplify -1/2 into -1/2
7.126 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.126 * [backup-simplify]: Simplify (- 1/6) into -1/6
7.127 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
7.127 * [backup-simplify]: Simplify -1/6 into -1/6
7.127 * [backup-simplify]: Simplify (+ (* -1/6 (pow x 3)) (+ (* -1/2 (pow x 2)) (* -1 x))) into (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
7.127 * [backup-simplify]: Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
7.127 * [approximate]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
7.127 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
7.127 * [taylor]: Taking taylor expansion of 1 in x
7.127 * [backup-simplify]: Simplify 1 into 1
7.127 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.127 * [taylor]: Taking taylor expansion of x in x
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [backup-simplify]: Simplify 1 into 1
7.127 * [backup-simplify]: Simplify (/ 1 1) into 1
7.127 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.127 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
7.127 * [taylor]: Taking taylor expansion of 1 in x
7.127 * [backup-simplify]: Simplify 1 into 1
7.127 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.127 * [taylor]: Taking taylor expansion of x in x
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [backup-simplify]: Simplify 1 into 1
7.128 * [backup-simplify]: Simplify (/ 1 1) into 1
7.128 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.128 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
7.128 * [backup-simplify]: Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
7.128 * [backup-simplify]: Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
7.130 * [backup-simplify]: Simplify (- 0) into 0
7.130 * [backup-simplify]: Simplify (+ 0 0) into 0
7.130 * [backup-simplify]: Simplify 0 into 0
7.130 * [backup-simplify]: Simplify (- 0) into 0
7.131 * [backup-simplify]: Simplify (+ 0 0) into 0
7.131 * [backup-simplify]: Simplify 0 into 0
7.131 * [backup-simplify]: Simplify (- 0) into 0
7.131 * [backup-simplify]: Simplify (+ 0 0) into 0
7.131 * [backup-simplify]: Simplify 0 into 0
7.131 * [backup-simplify]: Simplify (- 0) into 0
7.132 * [backup-simplify]: Simplify (+ 0 0) into 0
7.132 * [backup-simplify]: Simplify 0 into 0
7.132 * [backup-simplify]: Simplify (- 0) into 0
7.132 * [backup-simplify]: Simplify (+ 0 0) into 0
7.132 * [backup-simplify]: Simplify 0 into 0
7.132 * [backup-simplify]: Simplify (- 0) into 0
7.133 * [backup-simplify]: Simplify (+ 0 0) into 0
7.133 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
7.133 * [backup-simplify]: Simplify (- 1 (exp (/ 1 (- x)))) into (- 1 (exp (/ -1 x)))
7.133 * [approximate]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
7.133 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
7.133 * [taylor]: Taking taylor expansion of 1 in x
7.133 * [backup-simplify]: Simplify 1 into 1
7.133 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.133 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.133 * [taylor]: Taking taylor expansion of -1 in x
7.133 * [backup-simplify]: Simplify -1 into -1
7.133 * [taylor]: Taking taylor expansion of x in x
7.133 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify 1 into 1
7.133 * [backup-simplify]: Simplify (/ -1 1) into -1
7.133 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.133 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
7.133 * [taylor]: Taking taylor expansion of 1 in x
7.133 * [backup-simplify]: Simplify 1 into 1
7.134 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.134 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.134 * [taylor]: Taking taylor expansion of -1 in x
7.134 * [backup-simplify]: Simplify -1 into -1
7.134 * [taylor]: Taking taylor expansion of x in x
7.134 * [backup-simplify]: Simplify 0 into 0
7.134 * [backup-simplify]: Simplify 1 into 1
7.134 * [backup-simplify]: Simplify (/ -1 1) into -1
7.134 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.134 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
7.134 * [backup-simplify]: Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
7.134 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
7.134 * [backup-simplify]: Simplify (- 0) into 0
7.135 * [backup-simplify]: Simplify (+ 0 0) into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify (- 0) into 0
7.135 * [backup-simplify]: Simplify (+ 0 0) into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify (- 0) into 0
7.136 * [backup-simplify]: Simplify (+ 0 0) into 0
7.136 * [backup-simplify]: Simplify 0 into 0
7.136 * [backup-simplify]: Simplify (- 0) into 0
7.136 * [backup-simplify]: Simplify (+ 0 0) into 0
7.136 * [backup-simplify]: Simplify 0 into 0
7.137 * [backup-simplify]: Simplify (- 0) into 0
7.137 * [backup-simplify]: Simplify (+ 0 0) into 0
7.137 * [backup-simplify]: Simplify 0 into 0
7.137 * [backup-simplify]: Simplify (- 0) into 0
7.137 * [backup-simplify]: Simplify (+ 0 0) into 0
7.137 * [backup-simplify]: Simplify 0 into 0
7.138 * [backup-simplify]: Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
7.138 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
7.138 * [backup-simplify]: Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
7.138 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0
7.138 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.138 * [taylor]: Taking taylor expansion of (exp x) in x
7.138 * [taylor]: Taking taylor expansion of x in x
7.138 * [backup-simplify]: Simplify 0 into 0
7.138 * [backup-simplify]: Simplify 1 into 1
7.138 * [backup-simplify]: Simplify (exp 0) into 1
7.138 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.138 * [taylor]: Taking taylor expansion of (exp x) in x
7.138 * [taylor]: Taking taylor expansion of x in x
7.138 * [backup-simplify]: Simplify 0 into 0
7.138 * [backup-simplify]: Simplify 1 into 1
7.138 * [backup-simplify]: Simplify (exp 0) into 1
7.138 * [backup-simplify]: Simplify (* 1 1) into 1
7.138 * [backup-simplify]: Simplify 1 into 1
7.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.139 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
7.139 * [backup-simplify]: Simplify 2 into 2
7.140 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.141 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
7.141 * [backup-simplify]: Simplify 2 into 2
7.141 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
7.141 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
7.141 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
7.141 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.141 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.141 * [taylor]: Taking taylor expansion of x in x
7.141 * [backup-simplify]: Simplify 0 into 0
7.141 * [backup-simplify]: Simplify 1 into 1
7.142 * [backup-simplify]: Simplify (/ 1 1) into 1
7.142 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.142 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.142 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.142 * [taylor]: Taking taylor expansion of x in x
7.142 * [backup-simplify]: Simplify 0 into 0
7.142 * [backup-simplify]: Simplify 1 into 1
7.142 * [backup-simplify]: Simplify (/ 1 1) into 1
7.142 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.142 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
7.142 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
7.142 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
7.142 * [backup-simplify]: Simplify 0 into 0
7.143 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
7.143 * [backup-simplify]: Simplify 0 into 0
7.143 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
7.143 * [backup-simplify]: Simplify 0 into 0
7.144 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
7.144 * [backup-simplify]: Simplify 0 into 0
7.145 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
7.145 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
7.147 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
7.147 * [backup-simplify]: Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
7.147 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
7.147 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.147 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.147 * [taylor]: Taking taylor expansion of -1 in x
7.147 * [backup-simplify]: Simplify -1 into -1
7.147 * [taylor]: Taking taylor expansion of x in x
7.147 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify 1 into 1
7.147 * [backup-simplify]: Simplify (/ -1 1) into -1
7.147 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.147 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.147 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.147 * [taylor]: Taking taylor expansion of -1 in x
7.147 * [backup-simplify]: Simplify -1 into -1
7.147 * [taylor]: Taking taylor expansion of x in x
7.147 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify 1 into 1
7.148 * [backup-simplify]: Simplify (/ -1 1) into -1
7.148 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.148 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
7.148 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
7.148 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
7.148 * [backup-simplify]: Simplify 0 into 0
7.148 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
7.148 * [backup-simplify]: Simplify 0 into 0
7.149 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
7.149 * [backup-simplify]: Simplify 0 into 0
7.150 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
7.150 * [backup-simplify]: Simplify 0 into 0
7.151 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
7.151 * [backup-simplify]: Simplify 0 into 0
7.152 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
7.152 * [backup-simplify]: Simplify 0 into 0
7.152 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
7.152 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.152 * [backup-simplify]: Simplify (+ (- 1 (exp x)) (* (exp x) (exp x))) into (- (+ (pow (exp x) 2) 1) (exp x))
7.152 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in (x) around 0
7.152 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
7.152 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
7.152 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.152 * [taylor]: Taking taylor expansion of (exp x) in x
7.152 * [taylor]: Taking taylor expansion of x in x
7.152 * [backup-simplify]: Simplify 0 into 0
7.152 * [backup-simplify]: Simplify 1 into 1
7.152 * [backup-simplify]: Simplify (exp 0) into 1
7.152 * [taylor]: Taking taylor expansion of 1 in x
7.152 * [backup-simplify]: Simplify 1 into 1
7.153 * [taylor]: Taking taylor expansion of (exp x) in x
7.153 * [taylor]: Taking taylor expansion of x in x
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [backup-simplify]: Simplify (exp 0) into 1
7.153 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
7.153 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
7.153 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.153 * [taylor]: Taking taylor expansion of (exp x) in x
7.153 * [taylor]: Taking taylor expansion of x in x
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [backup-simplify]: Simplify (exp 0) into 1
7.153 * [taylor]: Taking taylor expansion of 1 in x
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [taylor]: Taking taylor expansion of (exp x) in x
7.153 * [taylor]: Taking taylor expansion of x in x
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [backup-simplify]: Simplify (exp 0) into 1
7.153 * [backup-simplify]: Simplify (* 1 1) into 1
7.153 * [backup-simplify]: Simplify (+ 1 1) into 2
7.154 * [backup-simplify]: Simplify (- 1) into -1
7.154 * [backup-simplify]: Simplify (+ 2 -1) into 1
7.154 * [backup-simplify]: Simplify 1 into 1
7.154 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.155 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
7.155 * [backup-simplify]: Simplify (+ 2 0) into 2
7.156 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.156 * [backup-simplify]: Simplify (- 1) into -1
7.156 * [backup-simplify]: Simplify (+ 2 -1) into 1
7.156 * [backup-simplify]: Simplify 1 into 1
7.157 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.158 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
7.158 * [backup-simplify]: Simplify (+ 2 0) into 2
7.159 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.159 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.159 * [backup-simplify]: Simplify (+ 2 -1/2) into 3/2
7.159 * [backup-simplify]: Simplify 3/2 into 3/2
7.160 * [backup-simplify]: Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1))
7.160 * [backup-simplify]: Simplify (+ (- 1 (exp (/ 1 x))) (* (exp (/ 1 x)) (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
7.160 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in (x) around 0
7.160 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
7.160 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
7.160 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.160 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.160 * [taylor]: Taking taylor expansion of x in x
7.160 * [backup-simplify]: Simplify 0 into 0
7.160 * [backup-simplify]: Simplify 1 into 1
7.160 * [backup-simplify]: Simplify (/ 1 1) into 1
7.160 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.160 * [taylor]: Taking taylor expansion of 1 in x
7.160 * [backup-simplify]: Simplify 1 into 1
7.160 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.160 * [taylor]: Taking taylor expansion of x in x
7.160 * [backup-simplify]: Simplify 0 into 0
7.160 * [backup-simplify]: Simplify 1 into 1
7.161 * [backup-simplify]: Simplify (/ 1 1) into 1
7.161 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.161 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
7.161 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
7.161 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.161 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.161 * [taylor]: Taking taylor expansion of x in x
7.161 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify 1 into 1
7.161 * [backup-simplify]: Simplify (/ 1 1) into 1
7.161 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.161 * [taylor]: Taking taylor expansion of 1 in x
7.161 * [backup-simplify]: Simplify 1 into 1
7.161 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.161 * [taylor]: Taking taylor expansion of x in x
7.161 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify 1 into 1
7.161 * [backup-simplify]: Simplify (/ 1 1) into 1
7.161 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.162 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
7.162 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
7.162 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
7.162 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
7.162 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
7.162 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
7.162 * [backup-simplify]: Simplify (+ 0 0) into 0
7.163 * [backup-simplify]: Simplify (- 0) into 0
7.163 * [backup-simplify]: Simplify (+ 0 0) into 0
7.163 * [backup-simplify]: Simplify 0 into 0
7.163 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
7.163 * [backup-simplify]: Simplify (+ 0 0) into 0
7.164 * [backup-simplify]: Simplify (- 0) into 0
7.164 * [backup-simplify]: Simplify (+ 0 0) into 0
7.164 * [backup-simplify]: Simplify 0 into 0
7.164 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
7.165 * [backup-simplify]: Simplify (+ 0 0) into 0
7.165 * [backup-simplify]: Simplify (- 0) into 0
7.165 * [backup-simplify]: Simplify (+ 0 0) into 0
7.165 * [backup-simplify]: Simplify 0 into 0
7.166 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
7.166 * [backup-simplify]: Simplify (+ 0 0) into 0
7.166 * [backup-simplify]: Simplify (- 0) into 0
7.167 * [backup-simplify]: Simplify (+ 0 0) into 0
7.167 * [backup-simplify]: Simplify 0 into 0
7.168 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
7.168 * [backup-simplify]: Simplify (+ 0 0) into 0
7.168 * [backup-simplify]: Simplify (- 0) into 0
7.168 * [backup-simplify]: Simplify (+ 0 0) into 0
7.168 * [backup-simplify]: Simplify 0 into 0
7.170 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
7.170 * [backup-simplify]: Simplify (+ 0 0) into 0
7.171 * [backup-simplify]: Simplify (- 0) into 0
7.171 * [backup-simplify]: Simplify (+ 0 0) into 0
7.171 * [backup-simplify]: Simplify 0 into 0
7.171 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x))
7.172 * [backup-simplify]: Simplify (+ (- 1 (exp (/ 1 (- x)))) (* (exp (/ 1 (- x))) (exp (/ 1 (- x))))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
7.172 * [approximate]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in (x) around 0
7.172 * [taylor]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
7.172 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
7.172 * [taylor]: Taking taylor expansion of 1 in x
7.172 * [backup-simplify]: Simplify 1 into 1
7.172 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.172 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.172 * [taylor]: Taking taylor expansion of -1 in x
7.172 * [backup-simplify]: Simplify -1 into -1
7.172 * [taylor]: Taking taylor expansion of x in x
7.172 * [backup-simplify]: Simplify 0 into 0
7.172 * [backup-simplify]: Simplify 1 into 1
7.172 * [backup-simplify]: Simplify (/ -1 1) into -1
7.173 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.173 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.173 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.173 * [taylor]: Taking taylor expansion of -1 in x
7.173 * [backup-simplify]: Simplify -1 into -1
7.173 * [taylor]: Taking taylor expansion of x in x
7.173 * [backup-simplify]: Simplify 0 into 0
7.173 * [backup-simplify]: Simplify 1 into 1
7.173 * [backup-simplify]: Simplify (/ -1 1) into -1
7.173 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.173 * [taylor]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
7.173 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
7.173 * [taylor]: Taking taylor expansion of 1 in x
7.173 * [backup-simplify]: Simplify 1 into 1
7.173 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.173 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.174 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.174 * [taylor]: Taking taylor expansion of -1 in x
7.174 * [backup-simplify]: Simplify -1 into -1
7.174 * [taylor]: Taking taylor expansion of x in x
7.174 * [backup-simplify]: Simplify 0 into 0
7.174 * [backup-simplify]: Simplify 1 into 1
7.174 * [backup-simplify]: Simplify (/ -1 1) into -1
7.174 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.174 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.174 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.174 * [taylor]: Taking taylor expansion of -1 in x
7.174 * [backup-simplify]: Simplify -1 into -1
7.174 * [taylor]: Taking taylor expansion of x in x
7.174 * [backup-simplify]: Simplify 0 into 0
7.174 * [backup-simplify]: Simplify 1 into 1
7.175 * [backup-simplify]: Simplify (/ -1 1) into -1
7.175 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.175 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
7.175 * [backup-simplify]: Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
7.175 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
7.176 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
7.176 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
7.176 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
7.176 * [backup-simplify]: Simplify (+ 0 0) into 0
7.177 * [backup-simplify]: Simplify (- 0) into 0
7.177 * [backup-simplify]: Simplify (+ 0 0) into 0
7.177 * [backup-simplify]: Simplify 0 into 0
7.178 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
7.178 * [backup-simplify]: Simplify (+ 0 0) into 0
7.179 * [backup-simplify]: Simplify (- 0) into 0
7.179 * [backup-simplify]: Simplify (+ 0 0) into 0
7.179 * [backup-simplify]: Simplify 0 into 0
7.180 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
7.180 * [backup-simplify]: Simplify (+ 0 0) into 0
7.181 * [backup-simplify]: Simplify (- 0) into 0
7.181 * [backup-simplify]: Simplify (+ 0 0) into 0
7.181 * [backup-simplify]: Simplify 0 into 0
7.182 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
7.183 * [backup-simplify]: Simplify (+ 0 0) into 0
7.183 * [backup-simplify]: Simplify (- 0) into 0
7.184 * [backup-simplify]: Simplify (+ 0 0) into 0
7.184 * [backup-simplify]: Simplify 0 into 0
7.185 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
7.186 * [backup-simplify]: Simplify (+ 0 0) into 0
7.186 * [backup-simplify]: Simplify (- 0) into 0
7.186 * [backup-simplify]: Simplify (+ 0 0) into 0
7.186 * [backup-simplify]: Simplify 0 into 0
7.188 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
7.189 * [backup-simplify]: Simplify (+ 0 0) into 0
7.189 * [backup-simplify]: Simplify (- 0) into 0
7.190 * [backup-simplify]: Simplify (+ 0 0) into 0
7.190 * [backup-simplify]: Simplify 0 into 0
7.190 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x))
7.190 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
7.190 * [backup-simplify]: Simplify (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) into (pow (exp x) 2)
7.190 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0
7.190 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.190 * [taylor]: Taking taylor expansion of (exp x) in x
7.190 * [taylor]: Taking taylor expansion of x in x
7.190 * [backup-simplify]: Simplify 0 into 0
7.190 * [backup-simplify]: Simplify 1 into 1
7.190 * [backup-simplify]: Simplify (exp 0) into 1
7.190 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.190 * [taylor]: Taking taylor expansion of (exp x) in x
7.191 * [taylor]: Taking taylor expansion of x in x
7.191 * [backup-simplify]: Simplify 0 into 0
7.191 * [backup-simplify]: Simplify 1 into 1
7.191 * [backup-simplify]: Simplify (exp 0) into 1
7.191 * [backup-simplify]: Simplify (* 1 1) into 1
7.191 * [backup-simplify]: Simplify 1 into 1
7.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.193 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
7.193 * [backup-simplify]: Simplify 2 into 2
7.195 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.195 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
7.196 * [backup-simplify]: Simplify 2 into 2
7.196 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
7.196 * [backup-simplify]: Simplify (* (* (exp (/ 1 x)) (sqrt (exp (/ 1 x)))) (sqrt (exp (/ 1 x)))) into (pow (exp (/ 1 x)) 2)
7.196 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
7.196 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.196 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.196 * [taylor]: Taking taylor expansion of x in x
7.196 * [backup-simplify]: Simplify 0 into 0
7.196 * [backup-simplify]: Simplify 1 into 1
7.197 * [backup-simplify]: Simplify (/ 1 1) into 1
7.197 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.197 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.197 * [taylor]: Taking taylor expansion of x in x
7.197 * [backup-simplify]: Simplify 0 into 0
7.197 * [backup-simplify]: Simplify 1 into 1
7.197 * [backup-simplify]: Simplify (/ 1 1) into 1
7.197 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.198 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
7.198 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
7.198 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
7.198 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
7.200 * [backup-simplify]: Simplify 0 into 0
7.201 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
7.201 * [backup-simplify]: Simplify 0 into 0
7.202 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
7.203 * [backup-simplify]: Simplify 0 into 0
7.205 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
7.205 * [backup-simplify]: Simplify 0 into 0
7.205 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
7.205 * [backup-simplify]: Simplify (* (* (exp (/ 1 (- x))) (sqrt (exp (/ 1 (- x))))) (sqrt (exp (/ 1 (- x))))) into (pow (exp (/ -1 x)) 2)
7.205 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
7.205 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.205 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.205 * [taylor]: Taking taylor expansion of -1 in x
7.205 * [backup-simplify]: Simplify -1 into -1
7.205 * [taylor]: Taking taylor expansion of x in x
7.205 * [backup-simplify]: Simplify 0 into 0
7.205 * [backup-simplify]: Simplify 1 into 1
7.206 * [backup-simplify]: Simplify (/ -1 1) into -1
7.206 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.206 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.206 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.206 * [taylor]: Taking taylor expansion of -1 in x
7.206 * [backup-simplify]: Simplify -1 into -1
7.206 * [taylor]: Taking taylor expansion of x in x
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify 1 into 1
7.207 * [backup-simplify]: Simplify (/ -1 1) into -1
7.207 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.207 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
7.207 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
7.207 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
7.207 * [backup-simplify]: Simplify 0 into 0
7.208 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
7.208 * [backup-simplify]: Simplify 0 into 0
7.209 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
7.209 * [backup-simplify]: Simplify 0 into 0
7.210 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
7.210 * [backup-simplify]: Simplify 0 into 0
7.212 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
7.212 * [backup-simplify]: Simplify 0 into 0
7.214 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
7.214 * [backup-simplify]: Simplify 0 into 0
7.214 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
7.214 * * * [progress]: simplifying candidates
7.214 * * * * [progress]: [ 1 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (log (/ (exp 1) (exp (exp x)))) (* (exp x) (exp x))))))>
7.214 * * * * [progress]: [ 2 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (pow (- 1 (exp x)) 1) (* (exp x) (exp x))))))>
7.214 * * * * [progress]: [ 3 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (exp (log (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.214 * * * * [progress]: [ 4 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (log (exp (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.214 * * * * [progress]: [ 5 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (* (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x)))) (cbrt (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.214 * * * * [progress]: [ 6 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (cbrt (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 7 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (* (sqrt (- 1 (exp x))) (sqrt (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 8 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (/ (- (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (+ (* (exp x) (exp x)) (* 1 (exp x))))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 9 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (+ 1 (- (exp x))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 10 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (* 1 (- 1 (exp x))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 11 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (/ (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 12 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (* (+ (sqrt 1) (sqrt (exp x))) (- (sqrt 1) (sqrt (exp x)))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 13 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (* (+ 1 (sqrt (exp x))) (- 1 (sqrt (exp x)))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 14 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (* 1 (- 1 (exp x))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 15 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (+ 1 (- (exp x))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 16 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (posit16->real (real->posit16 (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.215 * * * * [progress]: [ 17 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp x) (+ 1 1))))))>
7.215 * * * * [progress]: [ 18 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp (* (cbrt x) (cbrt x))) (+ (cbrt x) (cbrt x)))))))>
7.215 * * * * [progress]: [ 19 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp (sqrt x)) (+ (sqrt x) (sqrt x)))))))>
7.215 * * * * [progress]: [ 20 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp 1) (+ x x))))))>
7.216 * * * * [progress]: [ 21 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (* (exp x) (exp x)) 1)))))>
7.216 * * * * [progress]: [ 22 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))) (cbrt x))))))>
7.216 * * * * [progress]: [ 23 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (* (exp (sqrt x)) (exp (sqrt x))) (sqrt x))))))>
7.216 * * * * [progress]: [ 24 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (* (exp 1) (exp 1)) x)))))>
7.216 * * * * [progress]: [ 25 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
7.216 * * * * [progress]: [ 26 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp x) (+ 1 1))))))>
7.216 * * * * [progress]: [ 27 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (* (exp x) (exp x)) 1)))))>
7.216 * * * * [progress]: [ 28 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (exp (+ x x))))))>
7.216 * * * * [progress]: [ 29 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (exp (log (* (exp x) (exp x))))))))>
7.216 * * * * [progress]: [ 30 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (log (exp (* (exp x) (exp x))))))))>
7.216 * * * * [progress]: [ 31 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))))))>
7.216 * * * * [progress]: [ 32 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x))))))))>
7.216 * * * * [progress]: [ 33 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (cbrt (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))))))>
7.217 * * * * [progress]: [ 34 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))))))))>
7.217 * * * * [progress]: [ 35 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* 1 (* (exp x) (exp x)))))))>
7.217 * * * * [progress]: [ 36 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))))))))>
7.217 * * * * [progress]: [ 37 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))))))>
7.217 * * * * [progress]: [ 38 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* 1 1) (* (exp x) (exp x)))))))>
7.217 * * * * [progress]: [ 39 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))))))>
7.217 * * * * [progress]: [ 40 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp x) (* 2 1))))))>
7.217 * * * * [progress]: [ 41 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp (* (cbrt x) (cbrt x))) (* 2 (cbrt x)))))))>
7.217 * * * * [progress]: [ 42 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp (sqrt x)) (* 2 (sqrt x)))))))>
7.217 * * * * [progress]: [ 43 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp 1) (* 2 x))))))>
7.217 * * * * [progress]: [ 44 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))))))>
7.217 * * * * [progress]: [ 45 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))))>
7.217 * * * * [progress]: [ 46 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (exp x) 1) (exp x))))))>
7.217 * * * * [progress]: [ 47 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x)))))))>
7.218 * * * * [progress]: [ 48 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x)))))))>
7.218 * * * * [progress]: [ 49 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* 1 (* (exp x) (exp x)))))))>
7.218 * * * * [progress]: [ 50 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (posit16->real (real->posit16 (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 51 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.218 * * * * [progress]: [ 52 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (log (* (/ (exp 1) (exp (exp x))) (exp (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 53 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (log (* (exp (- 1 (exp x))) (exp (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 54 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (pow (+ (- 1 (exp x)) (* (exp x) (exp x))) 1))))>
7.218 * * * * [progress]: [ 55 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (exp (log (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 56 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (log (exp (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 57 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (* (* (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 58 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (cbrt (* (* (+ (- 1 (exp x)) (* (exp x) (exp x))) (+ (- 1 (exp x)) (* (exp x) (exp x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 59 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (* (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.218 * * * * [progress]: [ 60 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (/ (+ (pow (- 1 (exp x)) 3) (pow (* (exp x) (exp x)) 3)) (+ (* (- 1 (exp x)) (- 1 (exp x))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- 1 (exp x)) (* (exp x) (exp x)))))))))>
7.219 * * * * [progress]: [ 61 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (* 1 (+ (- 1 (exp x)) (* (exp x) (exp x)))))))>
7.219 * * * * [progress]: [ 62 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (/ (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (- (- 1 (exp x)) (* (exp x) (exp x)))))))>
7.219 * * * * [progress]: [ 63 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ 1 (+ (- (exp x)) (* (exp x) (exp x)))))))>
7.219 * * * * [progress]: [ 64 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ 1 (+ (- (exp x)) (* (exp x) (exp x)))))))>
7.219 * * * * [progress]: [ 65 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (- 1 (- (exp x) (* (exp x) (exp x)))))))>
7.219 * * * * [progress]: [ 66 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (posit16->real (real->posit16 (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.219 * * * * [progress]: [ 67 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
7.219 * * * * [progress]: [ 68 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) (+ (+ 1 1/2) 1/2))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.219 * * * * [progress]: [ 69 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) (+ (+ 1 1/2) (/ 1 2)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.219 * * * * [progress]: [ 70 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) (+ (+ 1 (/ 1 2)) 1/2))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.219 * * * * [progress]: [ 71 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) (+ (+ 1 (/ 1 2)) (/ 1 2)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.219 * * * * [progress]: [ 72 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp (* (cbrt x) (cbrt x))) (+ (+ (cbrt x) (/ (cbrt x) 2)) (/ (cbrt x) 2)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.219 * * * * [progress]: [ 73 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp (sqrt x)) (+ (+ (sqrt x) (/ (sqrt x) 2)) (/ (sqrt x) 2)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.219 * * * * [progress]: [ 74 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp 1) (+ (+ x (/ x 2)) (/ x 2)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 75 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (sqrt (exp x)) (+ 3 1))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 76 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) 1)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 77 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) 1)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 78 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (sqrt (exp x)) (+ 3 1))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 79 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) 1)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 80 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (exp (+ (+ x (log (sqrt (exp x)))) (log (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 81 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (exp (+ (log (* (exp x) (sqrt (exp x)))) (log (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 82 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (exp (log (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 83 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (log (exp (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 84 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (cbrt (* (* (* (* (exp x) (exp x)) (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 85 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (cbrt (* (* (* (* (exp x) (sqrt (exp x))) (* (exp x) (sqrt (exp x)))) (* (exp x) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 86 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (cbrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) (cbrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))))) (cbrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.220 * * * * [progress]: [ 87 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (cbrt (* (* (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 88 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (sqrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) (sqrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 89 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* 1 (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 90 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (* (exp x) (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (cbrt (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 91 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (* (exp x) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (cbrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 92 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (* (exp x) (sqrt (exp x))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 93 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (* (exp x) (sqrt (exp x))) (sqrt 1)) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 94 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (* (exp x) (sqrt (exp x))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 95 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (* (exp x) (sqrt (exp x))) 1) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 96 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (exp x) (* (sqrt (exp x)) (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 97 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (posit16->real (real->posit16 (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 98 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (sqrt (exp x)) (* (exp x) (sqrt (exp x))))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 99 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 100 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 101 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.221 * * * * [progress]: [ 102 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (+ (* 2 x) (+ (* 2 (pow x 2)) 1))))))>
7.221 * * * * [progress]: [ 103 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
7.222 * * * * [progress]: [ 104 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
7.222 * * * * [progress]: [ 105 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ x (+ (* 3/2 (pow x 2)) 1)))))>
7.222 * * * * [progress]: [ 106 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
7.222 * * * * [progress]: [ 107 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (- (+ (pow (exp x) 2) 1) (exp x)))))>
7.222 * * * * [progress]: [ 108 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (+ (* 2 x) (+ (* 2 (pow x 2)) 1))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.222 * * * * [progress]: [ 109 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) 2)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.222 * * * * [progress]: [ 110 / 110 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (* (exp x) (pow (exp x) 2)) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.223 * [simplify]: Simplifying (/ (exp 1) (exp (exp x))), (log (- 1 (exp x))), (exp (- 1 (exp x))), (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x)))), (cbrt (- 1 (exp x))), (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x))), (sqrt (- 1 (exp x))), (sqrt (- 1 (exp x))), (- (pow 1 3) (pow (exp x) 3)), (+ (* 1 1) (+ (* (exp x) (exp x)) (* 1 (exp x)))), (- (exp x)), (- (* 1 1) (* (exp x) (exp x))), (+ 1 (exp x)), (+ (sqrt 1) (sqrt (exp x))), (- (sqrt 1) (sqrt (exp x))), (+ 1 (sqrt (exp x))), (- 1 (sqrt (exp x))), (- 1 (exp x)), (- (exp x)), (real->posit16 (- 1 (exp x))), (+ 1 1), (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (exp x)), (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))), (* (exp (sqrt x)) (exp (sqrt x))), (* (exp 1) (exp 1)), (+ 1 1), (+ x x), (log (* (exp x) (exp x))), (exp (* (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))), (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))), (sqrt (* (exp x) (exp x))), (sqrt (* (exp x) (exp x))), (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))), (* (cbrt (exp x)) (cbrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* 1 1), (* (exp x) (exp x)), (* (sqrt (exp x)) (sqrt (exp x))), (* (sqrt (exp x)) (sqrt (exp x))), (* 2 1), (* 2 (cbrt x)), (* 2 (sqrt x)), (* 2 x), (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))), (* (exp x) (sqrt (exp x))), (* (exp x) 1), (* (cbrt (exp x)) (exp x)), (* (sqrt (exp x)) (exp x)), (* (exp x) (exp x)), (real->posit16 (* (exp x) (exp x))), (* (/ (exp 1) (exp (exp x))) (exp (* (exp x) (exp x)))), (* (exp (- 1 (exp x))) (exp (* (exp x) (exp x)))), (log (+ (- 1 (exp x)) (* (exp x) (exp x)))), (exp (+ (- 1 (exp x)) (* (exp x) (exp x)))), (* (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))), (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (* (* (+ (- 1 (exp x)) (* (exp x) (exp x))) (+ (- 1 (exp x)) (* (exp x) (exp x)))) (+ (- 1 (exp x)) (* (exp x) (exp x)))), (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))), (+ (pow (- 1 (exp x)) 3) (pow (* (exp x) (exp x)) 3)), (+ (* (- 1 (exp x)) (- 1 (exp x))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- 1 (exp x)) (* (exp x) (exp x))))), (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (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) (exp x))), (- (exp x) (* (exp x) (exp x))), (real->posit16 (+ (- 1 (exp x)) (* (exp x) (exp x)))), (+ (+ 1 1/2) 1/2), (+ (+ 1 1/2) (/ 1 2)), (+ (+ 1 (/ 1 2)) 1/2), (+ (+ 1 (/ 1 2)) (/ 1 2)), (+ (+ (cbrt x) (/ (cbrt x) 2)) (/ (cbrt x) 2)), (+ (+ (sqrt x) (/ (sqrt x) 2)) (/ (sqrt x) 2)), (+ (+ x (/ x 2)) (/ x 2)), (+ 3 1), (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))), (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))), (+ 3 1), (+ (+ x (log (sqrt (exp x)))) (log (sqrt (exp x)))), (+ (log (* (exp x) (sqrt (exp x)))) (log (sqrt (exp x)))), (log (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))), (exp (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))), (* (* (* (* (exp x) (exp x)) (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))), (* (* (* (* (exp x) (sqrt (exp x))) (* (exp x) (sqrt (exp x)))) (* (exp x) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))), (* (cbrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) (cbrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))))), (cbrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))), (* (* (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))), (sqrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))), (sqrt (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))), (* (* (exp x) (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))), (* (* (exp x) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))), (* (* (exp x) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (* (* (exp x) (sqrt (exp x))) (sqrt 1)), (* (* (exp x) (sqrt (exp x))) (sqrt (sqrt (exp x)))), (* (* (exp x) (sqrt (exp x))) 1), (* (sqrt (exp x)) (sqrt (exp x))), (real->posit16 (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))), (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))), (- 1 (exp x)), (- 1 (exp x)), (+ (* 2 x) (+ (* 2 (pow x 2)) 1)), (pow (exp x) 2), (pow (exp x) 2), (+ x (+ (* 3/2 (pow x 2)) 1)), (- (+ (pow (exp x) 2) 1) (exp x)), (- (+ (pow (exp x) 2) 1) (exp x)), (+ (* 2 x) (+ (* 2 (pow x 2)) 1)), (pow (exp x) 2), (pow (exp x) 2)
7.224 * * [simplify]: iteration 1: (155 enodes)
7.291 * * [simplify]: iteration 2: (682 enodes)
7.529 * * [simplify]: iteration 3: (1560 enodes)
8.853 * * [simplify]: Extracting #0: cost 59 inf + 0
8.854 * * [simplify]: Extracting #1: cost 348 inf + 3
8.860 * * [simplify]: Extracting #2: cost 692 inf + 7618
8.881 * * [simplify]: Extracting #3: cost 564 inf + 60657
8.908 * * [simplify]: Extracting #4: cost 120 inf + 176517
8.943 * * [simplify]: Extracting #5: cost 0 inf + 209257
8.983 * * [simplify]: Extracting #6: cost 0 inf + 208925
9.018 * * [simplify]: Extracting #7: cost 0 inf + 208922
9.060 * [simplify]: Simplified to (exp (- 1 (exp x))), (log (- 1 (exp x))), (exp (- 1 (exp x))), (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x)))), (cbrt (- 1 (exp x))), (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x))), (sqrt (- 1 (exp x))), (sqrt (- 1 (exp x))), (- 1 (* (exp x) (* (exp x) (exp x)))), (+ (* (exp x) (exp x)) (+ (exp x) 1)), (- (exp x)), (- 1 (* (exp x) (exp x))), (+ (exp x) 1), (+ 1 (sqrt (exp x))), (- 1 (sqrt (exp x))), (+ 1 (sqrt (exp x))), (- 1 (sqrt (exp x))), (- 1 (exp x)), (- (exp x)), (real->posit16 (- 1 (exp x))), 2, (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (exp x) (exp x)), (exp (* (+ (cbrt x) (cbrt x)) (cbrt x))), (exp (+ (sqrt x) (sqrt x))), (* E E), 2, (+ x x), (+ x x), (exp (* (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))), (* (* (exp x) (* (exp x) (exp x))) (* (exp x) (* (exp x) (exp x)))), (fabs (exp x)), (fabs (exp x)), (* (cbrt (exp x)) (exp x)), (* (cbrt (exp x)) (cbrt (exp x))), (exp x), (exp x), 1, (* (exp x) (exp x)), (exp x), (exp x), 2, (+ (cbrt x) (cbrt x)), (+ (sqrt x) (sqrt x)), (+ x x), (* (cbrt (exp x)) (* (cbrt (exp x)) (exp x))), (* (sqrt (exp x)) (exp x)), (exp x), (* (cbrt (exp x)) (exp x)), (* (sqrt (exp x)) (exp x)), (* (exp x) (exp x)), (real->posit16 (* (exp x) (exp x))), (* E (exp (- (* (exp x) (exp x)) (exp x)))), (* E (exp (- (* (exp x) (exp x)) (exp x)))), (log (+ (- (* (exp x) (exp x)) (exp x)) 1)), (* E (exp (- (* (exp x) (exp x)) (exp x)))), (* (cbrt (+ (- (* (exp x) (exp x)) (exp x)) 1)) (cbrt (+ (- (* (exp x) (exp x)) (exp x)) 1))), (cbrt (+ (- (* (exp x) (exp x)) (exp x)) 1)), (* (* (+ (- (* (exp x) (exp x)) (exp x)) 1) (+ (- (* (exp x) (exp x)) (exp x)) 1)) (+ (- (* (exp x) (exp x)) (exp x)) 1)), (sqrt (+ (- (* (exp x) (exp x)) (exp x)) 1)), (sqrt (+ (- (* (exp x) (exp x)) (exp x)) 1)), (+ (* (* (exp x) (* (exp x) (exp x))) (* (exp x) (* (exp x) (exp x)))) (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))), (+ (* (- 1 (exp x)) (- 1 (exp x))) (* (* (exp x) (exp x)) (- (* (exp x) (exp x)) (- 1 (exp x))))), (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (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)) (- (exp x))), (- (exp x) (* (exp x) (exp x))), (real->posit16 (+ (- (* (exp x) (exp x)) (exp x)) 1)), 2, 2, 2, 2, (+ (cbrt x) (+ (/ (cbrt x) 2) (/ (cbrt x) 2))), (+ (+ (/ (sqrt x) 2) (/ (sqrt x) 2)) (sqrt x)), (+ (/ x 2) (+ (/ x 2) x)), 4, (* (exp x) (exp x)), (* (exp x) (exp x)), 4, (+ x x), (+ x x), (+ x 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)))), (* (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)))), (fabs (exp x)), (fabs (exp x)), (* (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (exp x)) (cbrt (sqrt (exp x))))), (* (fabs (cbrt (exp x))) (* (sqrt (exp x)) (exp x))), (* (* (sqrt (exp x)) (exp x)) (sqrt (sqrt (exp x)))), (* (sqrt (exp x)) (exp x)), (* (* (sqrt (exp x)) (exp x)) (sqrt (sqrt (exp x)))), (* (sqrt (exp x)) (exp x)), (exp x), (real->posit16 (* (exp x) (exp x))), (- (- x) (* (* x x) (+ 1/2 (* x 1/6)))), (- 1 (exp x)), (- 1 (exp x)), (+ (* x (+ x x)) (+ 1 (+ x x))), (* (exp x) (exp x)), (* (exp x) (exp x)), (+ 1 (+ x (* (* x 3/2) x))), (+ (- (* (exp x) (exp x)) (exp x)) 1), (+ (- (* (exp x) (exp x)) (exp x)) 1), (+ (* x (+ x x)) (+ 1 (+ x x))), (* (exp x) (exp x)), (* (exp x) (exp x))
9.076 * * * [progress]: adding candidates to table
10.296 * [progress]: [Phase 3 of 3] Extracting.
10.297 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (sqrt (+ (* (exp x) (* (exp x) (exp x))) 1)) (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))> #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>)
10.298 * * * [regime-changes]: Trying 1 branch expressions: (x)
10.298 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (sqrt (+ (* (exp x) (* (exp x) (exp x))) 1)) (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))> #<alt (λ (x) (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>)
10.324 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
10.324 * [simplify]: Simplifying (sqrt (/ (+ (* (exp x) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x)))))
10.325 * * [simplify]: iteration 1: (13 enodes)
10.325 * * [simplify]: iteration 2: (20 enodes)
10.326 * * [simplify]: Extracting #0: cost 1 inf + 0
10.326 * * [simplify]: Extracting #1: cost 2 inf + 0
10.326 * * [simplify]: Extracting #2: cost 4 inf + 0
10.326 * * [simplify]: Extracting #3: cost 8 inf + 0
10.326 * * [simplify]: Extracting #4: cost 9 inf + 1
10.326 * * [simplify]: Extracting #5: cost 12 inf + 1
10.326 * * [simplify]: Extracting #6: cost 11 inf + 2
10.326 * * [simplify]: Extracting #7: cost 9 inf + 184
10.326 * * [simplify]: Extracting #8: cost 5 inf + 750
10.326 * * [simplify]: Extracting #9: cost 1 inf + 1876
10.327 * * [simplify]: Extracting #10: cost 0 inf + 2348
10.327 * [simplify]: Simplified to (sqrt (/ (+ (* (exp x) (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x)))) 1) (+ (- 1 (exp x)) (* (exp x) (exp x)))))
20.366 * [regime-testing]: Baseline error score: 0.09786306905251026
20.368 * [regime-testing]: Oracle error score: 0.08586156886498679
20.372 * [regime-testing]: End program error score: 0.09786306905251026