12.046 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.044 * [simplify]: Simplifying using # : (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 0.046 * * [simplify]: iteration 0 : 21 enodes (cost 9 ) 0.048 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 0.049 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 0.050 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 0.051 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 0.053 * * [simplify]: iteration 5 : 33 enodes (cost 9 ) 0.053 * [simplify]: Simplified to: (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) 0.053 * * [progress]: iteration 1 / 4 0.053 * * * [progress]: picking best candidate 0.056 * * * * [pick]: Picked # 0.056 * * * [progress]: localizing error 0.069 * * * [progress]: generating rewritten candidates 0.069 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.072 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.081 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 0.084 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.092 * * * [progress]: generating series expansions 0.092 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.092 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.093 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.093 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.093 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.093 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.093 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.093 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.093 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.093 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.093 * [taylor]: Taking taylor expansion of PI in h 0.095 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.095 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.095 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.095 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.095 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.095 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.095 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.095 * [taylor]: Taking taylor expansion of PI in g 0.097 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in g 0.097 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.097 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.097 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.097 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.097 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.097 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.097 * [taylor]: Taking taylor expansion of PI in g 0.100 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) in h 0.100 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.100 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.100 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.100 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.100 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.100 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.100 * [taylor]: Taking taylor expansion of PI in h 0.107 * [taylor]: Taking taylor expansion of 0 in h 0.115 * [taylor]: Taking taylor expansion of 0 in h 0.128 * [taylor]: Taking taylor expansion of 0 in h 0.129 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.130 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.130 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.130 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.130 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.130 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.130 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.130 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.130 * [taylor]: Taking taylor expansion of PI in h 0.131 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.131 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.131 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.131 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.131 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.131 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.132 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.132 * [taylor]: Taking taylor expansion of PI in g 0.133 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.133 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.133 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.133 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.133 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.133 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.133 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.133 * [taylor]: Taking taylor expansion of PI in g 0.136 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.136 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.136 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.136 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.136 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.137 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.137 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.137 * [taylor]: Taking taylor expansion of PI in h 0.143 * [taylor]: Taking taylor expansion of 0 in h 0.151 * [taylor]: Taking taylor expansion of 0 in h 0.160 * [taylor]: Taking taylor expansion of 0 in h 0.162 * [approximate]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in (g h) around 0 0.162 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.162 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.162 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.162 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.162 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.162 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.162 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.162 * [taylor]: Taking taylor expansion of PI in h 0.164 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.164 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.164 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.164 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.164 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.164 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.164 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.164 * [taylor]: Taking taylor expansion of PI in g 0.165 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in g 0.165 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.165 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.165 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.165 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.166 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.166 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.166 * [taylor]: Taking taylor expansion of PI in g 0.169 * [taylor]: Taking taylor expansion of (cos (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI))) in h 0.169 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.169 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.169 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.169 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.169 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.169 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.169 * [taylor]: Taking taylor expansion of PI in h 0.176 * [taylor]: Taking taylor expansion of 0 in h 0.184 * [taylor]: Taking taylor expansion of 0 in h 0.193 * [taylor]: Taking taylor expansion of 0 in h 0.194 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 0.194 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in (g h) around 0 0.194 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.194 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.194 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.194 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.194 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.194 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.194 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.194 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.194 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.194 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.194 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.194 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.195 * [taylor]: Taking taylor expansion of 0 in h 0.196 * [taylor]: Taking taylor expansion of 0 in h 0.197 * [taylor]: Taking taylor expansion of 0 in h 0.197 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.198 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.198 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.198 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.198 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.199 * [taylor]: Taking taylor expansion of 0 in h 0.199 * [taylor]: Taking taylor expansion of 0 in h 0.201 * [taylor]: Taking taylor expansion of 0 in h 0.201 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in (g h) around 0 0.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.201 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.201 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.201 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.202 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.202 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.202 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.202 * [taylor]: Taking taylor expansion of 0 in h 0.203 * [taylor]: Taking taylor expansion of 0 in h 0.204 * [taylor]: Taking taylor expansion of 0 in h 0.205 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.206 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.206 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.206 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.206 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.206 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.206 * [taylor]: Taking taylor expansion of PI in h 0.206 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.206 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.206 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.206 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.206 * [taylor]: Taking taylor expansion of PI in g 0.206 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in g 0.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in g 0.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.206 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.207 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.207 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.207 * [taylor]: Taking taylor expansion of PI in g 0.207 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) in h 0.207 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ g h)))) in h 0.208 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.208 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.208 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.208 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.208 * [taylor]: Taking taylor expansion of PI in h 0.210 * [taylor]: Taking taylor expansion of 0 in h 0.215 * [taylor]: Taking taylor expansion of 0 in h 0.218 * [taylor]: Taking taylor expansion of 0 in h 0.219 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.219 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.220 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.220 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.220 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.220 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.220 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.220 * [taylor]: Taking taylor expansion of PI in h 0.220 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.220 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.220 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.220 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.220 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.220 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.220 * [taylor]: Taking taylor expansion of PI in g 0.220 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.220 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.220 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.220 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.220 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.220 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.220 * [taylor]: Taking taylor expansion of PI in g 0.221 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.221 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.221 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.221 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.221 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.221 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.221 * [taylor]: Taking taylor expansion of PI in h 0.223 * [taylor]: Taking taylor expansion of 0 in h 0.226 * [taylor]: Taking taylor expansion of 0 in h 0.229 * [taylor]: Taking taylor expansion of 0 in h 0.230 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in (g h) around 0 0.230 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.230 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.230 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.230 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.230 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.230 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.230 * [taylor]: Taking taylor expansion of PI in h 0.230 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.230 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.230 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.230 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.230 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.230 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.230 * [taylor]: Taking taylor expansion of PI in g 0.231 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in g 0.231 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in g 0.231 * [taylor]: Taking taylor expansion of 0.3333333333333333 in g 0.231 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.231 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in g 0.231 * [taylor]: Taking taylor expansion of 0.6666666666666666 in g 0.231 * [taylor]: Taking taylor expansion of PI in g 0.231 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (acos (* -1 (/ h g)))) (* 0.6666666666666666 PI)) in h 0.232 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -1 (/ h g)))) in h 0.232 * [taylor]: Taking taylor expansion of 0.3333333333333333 in h 0.232 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.232 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 PI) in h 0.232 * [taylor]: Taking taylor expansion of 0.6666666666666666 in h 0.232 * [taylor]: Taking taylor expansion of PI in h 0.234 * [taylor]: Taking taylor expansion of 0 in h 0.236 * [taylor]: Taking taylor expansion of 0 in h 0.239 * [taylor]: Taking taylor expansion of 0 in h 0.240 * * * [progress]: simplifying candidates 0.241 * [simplify]: Simplifying using # : (- (* 2.0 PI)) (- 3.0) (/ 1 3.0) (/ 3.0 (* 2.0 PI)) (/ 3.0 PI) (/ 3.0 2.0) (* (cos (/ (* 2.0 PI) 3.0)) (cos (/ (acos (/ (- g) h)) 3.0))) (* (sin (/ (* 2.0 PI) 3.0)) (sin (/ (acos (/ (- g) h)) 3.0))) (* (cos (/ (acos (/ (- g) h)) 3.0)) (cos (/ (* 2.0 PI) 3.0))) (* (sin (/ (acos (/ (- g) h)) 3.0)) (sin (/ (* 2.0 PI) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ (- g) h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ (- g) h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (- (acos (/ (- g) h))) (- 3.0) (/ (/ PI 2) 3.0) (/ (asin (/ (- g) h)) 3.0) (/ PI 3.0) (/ (acos (/ g h)) 3.0) (/ 1 3.0) (/ 3.0 (acos (/ (- g) h))) (+ (* (* 2.0 PI) 3.0) (* 3.0 (acos (/ (- g) h)))) (* 3.0 3.0) (+ (* (* 2.0 PI) (- 3.0)) (* 3.0 (- (acos (/ (- g) h))))) (* 3.0 (- 3.0)) (+ (* (* 2.0 PI) (/ 3.0 (acos (/ (- g) h)))) (* 3.0 1)) (* 3.0 (/ 3.0 (acos (/ (- g) h)))) (+ (* (- (* 2.0 PI)) 3.0) (* (- 3.0) (acos (/ (- g) h)))) (* (- 3.0) 3.0) (+ (* (- (* 2.0 PI)) (- 3.0)) (* (- 3.0) (- (acos (/ (- g) h))))) (* (- 3.0) (- 3.0)) (+ (* (- (* 2.0 PI)) (/ 3.0 (acos (/ (- g) h)))) (* (- 3.0) 1)) (* (- 3.0) (/ 3.0 (acos (/ (- g) h)))) (+ (* 1 3.0) (* (/ 3.0 (* 2.0 PI)) (acos (/ (- g) h)))) (* (/ 3.0 (* 2.0 PI)) 3.0) (+ (* 1 (- 3.0)) (* (/ 3.0 (* 2.0 PI)) (- (acos (/ (- g) h))))) (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (+ (* 1 (/ 3.0 (acos (/ (- g) h)))) (* (/ 3.0 (* 2.0 PI)) 1)) (* (/ 3.0 (* 2.0 PI)) (/ 3.0 (acos (/ (- g) h)))) (+ (* 2.0 3.0) (* (/ 3.0 PI) (acos (/ (- g) h)))) (* (/ 3.0 PI) 3.0) (+ (* 2.0 (- 3.0)) (* (/ 3.0 PI) (- (acos (/ (- g) h))))) (* (/ 3.0 PI) (- 3.0)) (+ (* 2.0 (/ 3.0 (acos (/ (- g) h)))) (* (/ 3.0 PI) 1)) (* (/ 3.0 PI) (/ 3.0 (acos (/ (- g) h)))) (+ (* PI 3.0) (* (/ 3.0 2.0) (acos (/ (- g) h)))) (* (/ 3.0 2.0) 3.0) (+ (* PI (- 3.0)) (* (/ 3.0 2.0) (- (acos (/ (- g) h))))) (* (/ 3.0 2.0) (- 3.0)) (+ (* PI (/ 3.0 (acos (/ (- g) h)))) (* (/ 3.0 2.0) 1)) (* (/ 3.0 2.0) (/ 3.0 (acos (/ (- g) h)))) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (acos (/ (- g) h)) 3.0) 3)) (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0)) (* (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0))) (- (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (+ (* 2.0 PI) (acos (/ (- g) h))) (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0)) (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI)) 0.245 * * [simplify]: iteration 0 : 318 enodes (cost 393 ) 0.252 * * [simplify]: iteration 1 : 1248 enodes (cost 373 ) 0.277 * * [simplify]: iteration 2 : 4714 enodes (cost 370 ) 0.349 * * [simplify]: iteration 3 : 5001 enodes (cost 369 ) 0.351 * [simplify]: Simplified to: (- (* 2.0 PI)) (- 3.0) (/ 1 3.0) (/ 3.0 (* 2.0 PI)) (/ 3.0 PI) (/ 3.0 2.0) (* (cos (/ (* 2.0 PI) 3.0)) (cos (/ (acos (/ (- g) h)) 3.0))) (* (sin (/ (* 2.0 PI) 3.0)) (sin (/ (acos (/ (- g) h)) 3.0))) (* (cos (/ (* 2.0 PI) 3.0)) (cos (/ (acos (/ (- g) h)) 3.0))) (* (sin (/ (* 2.0 PI) 3.0)) (sin (/ (acos (/ (- g) h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (cos (/ (asin (/ (- g) h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ (/ PI 2) 3.0))) (sin (/ (asin (/ (- g) h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (- (acos (* -1 (/ g h)))) (- 3.0) (/ (/ PI 2) 3.0) (/ (asin (/ (- g) h)) 3.0) (/ PI 3.0) (/ (acos (/ g h)) 3.0) (/ 1 3.0) (/ 3.0 (acos (/ (- g) h))) (* 3.0 (fma 2.0 PI (acos (/ (- g) h)))) (* 3.0 3.0) (* (- 3.0) (fma 2.0 PI (acos (/ (- g) h)))) (* (- 3.0) 3.0) (fma 2.0 (* PI (/ 3.0 (acos (/ (- g) h)))) 3.0) (* 3.0 (/ 3.0 (acos (/ (- g) h)))) (* (- 3.0) (fma 2.0 PI (acos (/ (- g) h)))) (* (- 3.0) 3.0) (* 3.0 (fma 2.0 PI (acos (/ (- g) h)))) (* 3.0 3.0) (- (fma 2.0 (* PI (/ 3.0 (acos (/ (- g) h)))) 3.0)) (* (- 3.0) (/ 3.0 (acos (/ (- g) h)))) (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) 3.0) (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (+ (/ 3.0 (* 2.0 PI)) (/ 3.0 (acos (/ (- g) h)))) (* (/ 3.0 (* 2.0 PI)) (/ 3.0 (acos (/ (- g) h)))) (fma 2.0 3.0 (* (/ 3.0 PI) (acos (/ (- g) h)))) (* (/ 3.0 PI) 3.0) (- (fma 2.0 3.0 (* (/ 3.0 PI) (acos (/ (- g) h))))) (* (/ 3.0 PI) (- 3.0)) (fma 2.0 (/ 3.0 (acos (/ (- g) h))) (/ 3.0 PI)) (* (/ 3.0 PI) (/ 3.0 (acos (/ (- g) h)))) (fma PI 3.0 (* (/ 3.0 2.0) (acos (/ (- g) h)))) (* (/ 3.0 2.0) 3.0) (- (fma PI 3.0 (* (/ 3.0 2.0) (acos (/ (- g) h))))) (* (/ 3.0 2.0) (- 3.0)) (fma PI (/ 3.0 (acos (/ (- g) h))) (/ 3.0 2.0)) (* (/ 3.0 2.0) (/ 3.0 (acos (/ (- g) h)))) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ (acos (/ (- g) h)) 3.0) 3)) (fma (/ (/ (* 2.0 PI) 3.0) 3.0) (* 2.0 PI) (* (/ (/ (acos (/ (- g) h)) 3.0) 3.0) (- (acos (* -1 (/ g h))) (* 2.0 PI)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ (acos (/ (- g) h)) 3.0) (/ (acos (/ (- g) h)) 3.0))) (- (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)) (fma 2.0 PI (acos (/ (- g) h))) (fma (/ 2.0 3.0) PI (/ (/ PI 2) 3.0)) (fma (/ 2.0 3.0) PI (/ PI 3.0)) (* 2.0 (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (- g) h)) 3.0)))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (cos (+ (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.6666666666666666 PI))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (* 0.3333333333333333 (acos (* -1 (/ g h)))) (fma 0.3333333333333333 (acos (* -1 (/ g h))) (* 0.6666666666666666 PI)) (fma 0.3333333333333333 (acos (* -1 (/ g h))) (* 0.6666666666666666 PI)) (fma 0.3333333333333333 (acos (* -1 (/ g h))) (* 0.6666666666666666 PI)) 0.352 * * * [progress]: adding candidates to table 0.467 * * [progress]: iteration 2 / 4 0.467 * * * [progress]: picking best candidate 0.474 * * * * [pick]: Picked # 0.474 * * * [progress]: localizing error 0.498 * * * [progress]: generating rewritten candidates 0.498 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.507 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 0.514 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 0.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1) 0.526 * * * [progress]: generating series expansions 0.526 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.526 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 0.526 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 0.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1) 0.526 * * * [progress]: simplifying candidates 0.527 * [simplify]: Simplifying using # : (* (sin (/ (* 2.0 PI) 3.0)) (cos (/ PI 3.0))) (* (cos (/ (* 2.0 PI) 3.0)) (sin (/ PI 3.0))) (* (sin (/ PI 3.0)) (cos (/ (* 2.0 PI) 3.0))) (* (cos (/ PI 3.0)) (sin (/ (* 2.0 PI) 3.0))) (+ (* (* 2.0 PI) 3.0) (* 3.0 PI)) (* 3.0 3.0) (+ (* (* 2.0 PI) (- 3.0)) (* 3.0 (- PI))) (* 3.0 (- 3.0)) (+ (* (* 2.0 PI) (/ 3.0 PI)) (* 3.0 1)) (* 3.0 (/ 3.0 PI)) (+ (* (- (* 2.0 PI)) 3.0) (* (- 3.0) PI)) (* (- 3.0) 3.0) (+ (* (- (* 2.0 PI)) (- 3.0)) (* (- 3.0) (- PI))) (* (- 3.0) (- 3.0)) (+ (* (- (* 2.0 PI)) (/ 3.0 PI)) (* (- 3.0) 1)) (* (- 3.0) (/ 3.0 PI)) (+ (* 1 3.0) (* (/ 3.0 (* 2.0 PI)) PI)) (* (/ 3.0 (* 2.0 PI)) 3.0) (+ (* 1 (- 3.0)) (* (/ 3.0 (* 2.0 PI)) (- PI))) (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (+ (* 1 (/ 3.0 PI)) (* (/ 3.0 (* 2.0 PI)) 1)) (* (/ 3.0 (* 2.0 PI)) (/ 3.0 PI)) (+ (* 2.0 3.0) (* (/ 3.0 PI) PI)) (* (/ 3.0 PI) 3.0) (+ (* 2.0 (- 3.0)) (* (/ 3.0 PI) (- PI))) (* (/ 3.0 PI) (- 3.0)) (+ (* 2.0 (/ 3.0 PI)) (* (/ 3.0 PI) 1)) (* (/ 3.0 PI) (/ 3.0 PI)) (+ (* PI 3.0) (* (/ 3.0 2.0) PI)) (* (/ 3.0 2.0) 3.0) (+ (* PI (- 3.0)) (* (/ 3.0 2.0) (- PI))) (* (/ 3.0 2.0) (- 3.0)) (+ (* PI (/ 3.0 PI)) (* (/ 3.0 2.0) 1)) (* (/ 3.0 2.0) (/ 3.0 PI)) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ PI 3.0) (/ PI 3.0)) (* (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ PI 3.0) (/ PI 3.0))) (- (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (* 2.0 PI) PI) (+ (* (* 2.0 PI) 3.0) (* 3.0 PI)) (* 3.0 3.0) (+ (* (* 2.0 PI) (- 3.0)) (* 3.0 (- PI))) (* 3.0 (- 3.0)) (+ (* (* 2.0 PI) (/ 3.0 PI)) (* 3.0 1)) (* 3.0 (/ 3.0 PI)) (+ (* (- (* 2.0 PI)) 3.0) (* (- 3.0) PI)) (* (- 3.0) 3.0) (+ (* (- (* 2.0 PI)) (- 3.0)) (* (- 3.0) (- PI))) (* (- 3.0) (- 3.0)) (+ (* (- (* 2.0 PI)) (/ 3.0 PI)) (* (- 3.0) 1)) (* (- 3.0) (/ 3.0 PI)) (+ (* 1 3.0) (* (/ 3.0 (* 2.0 PI)) PI)) (* (/ 3.0 (* 2.0 PI)) 3.0) (+ (* 1 (- 3.0)) (* (/ 3.0 (* 2.0 PI)) (- PI))) (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (+ (* 1 (/ 3.0 PI)) (* (/ 3.0 (* 2.0 PI)) 1)) (* (/ 3.0 (* 2.0 PI)) (/ 3.0 PI)) (+ (* 2.0 3.0) (* (/ 3.0 PI) PI)) (* (/ 3.0 PI) 3.0) (+ (* 2.0 (- 3.0)) (* (/ 3.0 PI) (- PI))) (* (/ 3.0 PI) (- 3.0)) (+ (* 2.0 (/ 3.0 PI)) (* (/ 3.0 PI) 1)) (* (/ 3.0 PI) (/ 3.0 PI)) (+ (* PI 3.0) (* (/ 3.0 2.0) PI)) (* (/ 3.0 2.0) 3.0) (+ (* PI (- 3.0)) (* (/ 3.0 2.0) (- PI))) (* (/ 3.0 2.0) (- 3.0)) (+ (* PI (/ 3.0 PI)) (* (/ 3.0 2.0) 1)) (* (/ 3.0 2.0) (/ 3.0 PI)) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (+ (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (- (* (/ PI 3.0) (/ PI 3.0)) (* (/ (* 2.0 PI) 3.0) (/ PI 3.0)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ PI 3.0) (/ PI 3.0))) (- (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (+ (* 2.0 PI) PI) (- (* 2.0 PI)) (- 3.0) (/ 1 3.0) (/ 3.0 (* 2.0 PI)) (/ 3.0 PI) (/ 3.0 2.0) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) 0.532 * * [simplify]: iteration 0 : 260 enodes (cost 388 ) 0.537 * * [simplify]: iteration 1 : 1042 enodes (cost 348 ) 0.560 * * [simplify]: iteration 2 : 4153 enodes (cost 332 ) 0.628 * * [simplify]: iteration 3 : 5001 enodes (cost 326 ) 0.633 * [simplify]: Simplified to: (* (sin (/ (* 2.0 PI) 3.0)) (cos (/ PI 3.0))) (* (cos (/ (* 2.0 PI) 3.0)) (sin (/ PI 3.0))) (* (cos (/ (* 2.0 PI) 3.0)) (sin (/ PI 3.0))) (* (sin (/ (* 2.0 PI) 3.0)) (cos (/ PI 3.0))) (* 3.0 (fma 2.0 PI PI)) (* 3.0 3.0) (* (- 3.0) (fma 2.0 PI PI)) (* (- 3.0) 3.0) (fma 2.0 3.0 3.0) (* 3.0 (/ 3.0 PI)) (* (- 3.0) (fma 2.0 PI PI)) (* (- 3.0) 3.0) (* 3.0 (fma 2.0 PI PI)) (* 3.0 3.0) (- (* 2.0 (- 3.0)) 3.0) (* (- 3.0) (/ 3.0 PI)) (+ 3.0 (/ 3.0 2.0)) (* (/ 3.0 (* 2.0 PI)) 3.0) (- (- 3.0) (/ 3.0 2.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (+ (/ 3.0 (* 2.0 PI)) (/ 3.0 PI)) (* (/ 3.0 (* 2.0 PI)) (/ 3.0 PI)) (fma 2.0 3.0 3.0) (* 3.0 (/ 3.0 PI)) (- (* 2.0 (- 3.0)) 3.0) (* (- 3.0) (/ 3.0 PI)) (fma 2.0 (/ 3.0 PI) (/ 3.0 PI)) (* (/ 3.0 PI) (/ 3.0 PI)) (fma PI 3.0 (* (/ 3.0 2.0) PI)) (* (/ 3.0 2.0) 3.0) (* (- PI) (+ 3.0 (/ 3.0 2.0))) (* (/ 3.0 2.0) (- 3.0)) (+ 3.0 (/ 3.0 2.0)) (* (/ 3.0 (* 2.0 PI)) 3.0) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (fma (/ (/ (* 2.0 PI) 3.0) 3.0) (* 2.0 PI) (* (/ (/ PI 3.0) 3.0) (- PI (* 2.0 PI)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ PI 3.0) (/ PI 3.0))) (- (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (fma 2.0 PI PI) (* 3.0 (fma 2.0 PI PI)) (* 3.0 3.0) (* (- 3.0) (fma 2.0 PI PI)) (* (- 3.0) 3.0) (fma 2.0 3.0 3.0) (* 3.0 (/ 3.0 PI)) (* (- 3.0) (fma 2.0 PI PI)) (* (- 3.0) 3.0) (* 3.0 (fma 2.0 PI PI)) (* 3.0 3.0) (- (* 2.0 (- 3.0)) 3.0) (* (- 3.0) (/ 3.0 PI)) (+ 3.0 (/ 3.0 2.0)) (* (/ 3.0 (* 2.0 PI)) 3.0) (- (- 3.0) (/ 3.0 2.0)) (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (+ (/ 3.0 (* 2.0 PI)) (/ 3.0 PI)) (* (/ 3.0 (* 2.0 PI)) (/ 3.0 PI)) (fma 2.0 3.0 3.0) (* 3.0 (/ 3.0 PI)) (- (* 2.0 (- 3.0)) 3.0) (* (- 3.0) (/ 3.0 PI)) (fma 2.0 (/ 3.0 PI) (/ 3.0 PI)) (* (/ 3.0 PI) (/ 3.0 PI)) (fma PI 3.0 (* (/ 3.0 2.0) PI)) (* (/ 3.0 2.0) 3.0) (* (- PI) (+ 3.0 (/ 3.0 2.0))) (* (/ 3.0 2.0) (- 3.0)) (+ 3.0 (/ 3.0 2.0)) (* (/ 3.0 (* 2.0 PI)) 3.0) (+ (pow (/ (* 2.0 PI) 3.0) 3) (pow (/ PI 3.0) 3)) (fma (/ (/ (* 2.0 PI) 3.0) 3.0) (* 2.0 PI) (* (/ (/ PI 3.0) 3.0) (- PI (* 2.0 PI)))) (- (* (/ (* 2.0 PI) 3.0) (/ (* 2.0 PI) 3.0)) (* (/ PI 3.0) (/ PI 3.0))) (- (/ (* 2.0 PI) 3.0) (/ PI 3.0)) (fma 2.0 PI PI) (- (* 2.0 PI)) (- 3.0) (/ 1 3.0) (/ 3.0 (* 2.0 PI)) (/ 3.0 PI) (/ 3.0 2.0) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) (* (cos (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (cos (/ (acos (/ g h)) 3.0))) (* (sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0))) (sin (/ (acos (/ g h)) 3.0))) 0.633 * * * [progress]: adding candidates to table 0.825 * * [progress]: iteration 3 / 4 0.825 * * * [progress]: picking best candidate 0.828 * * * * [pick]: Picked # 0.828 * * * [progress]: localizing error 0.844 * * * [progress]: generating rewritten candidates 0.844 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.851 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 1 1) 0.852 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.860 * * * [progress]: generating series expansions 0.860 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.862 * [approximate]: Taking taylor expansion of (cos (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)))) in (g h) around 0 0.862 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)))) in h 0.862 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0))) in h 0.862 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 0.862 * [taylor]: Taking taylor expansion of (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)) in h 0.862 * [taylor]: Taking taylor expansion of PI in h 0.862 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in h 0.863 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 0.863 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in h 0.863 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 0.863 * [taylor]: Taking taylor expansion of 1.5 in h 0.863 * [taylor]: Taking taylor expansion of PI in h 0.863 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.863 * [taylor]: Taking taylor expansion of 3.0 in h 0.864 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)))) in g 0.864 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0))) in g 0.864 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 0.864 * [taylor]: Taking taylor expansion of (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)) in g 0.864 * [taylor]: Taking taylor expansion of PI in g 0.864 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in g 0.864 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 0.864 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in g 0.864 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.864 * [taylor]: Taking taylor expansion of 1.5 in g 0.864 * [taylor]: Taking taylor expansion of PI in g 0.865 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.865 * [taylor]: Taking taylor expansion of 3.0 in g 0.866 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)))) in g 0.866 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0))) in g 0.866 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 0.866 * [taylor]: Taking taylor expansion of (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)) in g 0.866 * [taylor]: Taking taylor expansion of PI in g 0.866 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in g 0.866 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 0.866 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in g 0.866 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.866 * [taylor]: Taking taylor expansion of 1.5 in g 0.866 * [taylor]: Taking taylor expansion of PI in g 0.866 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.867 * [taylor]: Taking taylor expansion of 3.0 in g 0.871 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ g h))) PI)) 3.0) PI))) in h 0.871 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ g h))) PI)) 3.0) PI)) in h 0.871 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 0.871 * [taylor]: Taking taylor expansion of (* (+ (* 1.5 (/ (acos (* -1 (/ g h))) PI)) 3.0) PI) in h 0.871 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (acos (* -1 (/ g h))) PI)) 3.0) in h 0.871 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ g h))) PI)) in h 0.871 * [taylor]: Taking taylor expansion of 1.5 in h 0.871 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) PI) in h 0.871 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.871 * [taylor]: Taking taylor expansion of PI in h 0.871 * [taylor]: Taking taylor expansion of 3.0 in h 0.871 * [taylor]: Taking taylor expansion of PI in h 0.877 * [taylor]: Taking taylor expansion of 0 in h 0.887 * [taylor]: Taking taylor expansion of 0 in h 0.899 * [taylor]: Taking taylor expansion of 0 in h 0.901 * [approximate]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in (g h) around 0 0.901 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in h 0.901 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in h 0.901 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 0.901 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in h 0.901 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in h 0.901 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.902 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in h 0.902 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 0.902 * [taylor]: Taking taylor expansion of 1.5 in h 0.902 * [taylor]: Taking taylor expansion of PI in h 0.902 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.902 * [taylor]: Taking taylor expansion of 3.0 in h 0.902 * [taylor]: Taking taylor expansion of PI in h 0.903 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in g 0.903 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 0.903 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 0.903 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 0.903 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 0.903 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.903 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 0.903 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.903 * [taylor]: Taking taylor expansion of 1.5 in g 0.903 * [taylor]: Taking taylor expansion of PI in g 0.904 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.904 * [taylor]: Taking taylor expansion of 3.0 in g 0.904 * [taylor]: Taking taylor expansion of PI in g 0.905 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in g 0.905 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 0.905 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 0.905 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 0.905 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 0.905 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.905 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 0.905 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.905 * [taylor]: Taking taylor expansion of 1.5 in g 0.905 * [taylor]: Taking taylor expansion of PI in g 0.905 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.905 * [taylor]: Taking taylor expansion of 3.0 in g 0.905 * [taylor]: Taking taylor expansion of PI in g 0.907 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI))) in h 0.907 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI)) in h 0.907 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 0.907 * [taylor]: Taking taylor expansion of (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI) in h 0.907 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) in h 0.907 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ h g))) PI)) in h 0.907 * [taylor]: Taking taylor expansion of 1.5 in h 0.907 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) PI) in h 0.907 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.907 * [taylor]: Taking taylor expansion of PI in h 0.908 * [taylor]: Taking taylor expansion of 3.0 in h 0.908 * [taylor]: Taking taylor expansion of PI in h 0.913 * [taylor]: Taking taylor expansion of 0 in h 0.922 * [taylor]: Taking taylor expansion of 0 in h 0.934 * [taylor]: Taking taylor expansion of 0 in h 0.937 * [approximate]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in (g h) around 0 0.937 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in h 0.937 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in h 0.937 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 0.937 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in h 0.937 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in h 0.937 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.937 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in h 0.937 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 0.937 * [taylor]: Taking taylor expansion of 1.5 in h 0.937 * [taylor]: Taking taylor expansion of PI in h 0.938 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.938 * [taylor]: Taking taylor expansion of 3.0 in h 0.938 * [taylor]: Taking taylor expansion of PI in h 0.939 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in g 0.939 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 0.939 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 0.939 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 0.939 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 0.939 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.939 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 0.939 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.939 * [taylor]: Taking taylor expansion of 1.5 in g 0.939 * [taylor]: Taking taylor expansion of PI in g 0.939 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.940 * [taylor]: Taking taylor expansion of 3.0 in g 0.940 * [taylor]: Taking taylor expansion of PI in g 0.941 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI))) in g 0.941 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 0.941 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 0.941 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 0.941 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 0.941 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.941 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 0.941 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.941 * [taylor]: Taking taylor expansion of 1.5 in g 0.941 * [taylor]: Taking taylor expansion of PI in g 0.941 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.941 * [taylor]: Taking taylor expansion of 3.0 in g 0.941 * [taylor]: Taking taylor expansion of PI in g 0.943 * [taylor]: Taking taylor expansion of (cos (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI))) in h 0.943 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI)) in h 0.943 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 0.943 * [taylor]: Taking taylor expansion of (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI) in h 0.943 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) in h 0.943 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ h g))) PI)) in h 0.943 * [taylor]: Taking taylor expansion of 1.5 in h 0.943 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) PI) in h 0.943 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.944 * [taylor]: Taking taylor expansion of PI in h 0.944 * [taylor]: Taking taylor expansion of 3.0 in h 0.944 * [taylor]: Taking taylor expansion of PI in h 0.950 * [taylor]: Taking taylor expansion of 0 in h 0.964 * [taylor]: Taking taylor expansion of 0 in h 0.976 * [taylor]: Taking taylor expansion of 0 in h 0.976 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 1 1) 0.977 * [approximate]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in (g h) around 0 0.977 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in h 0.977 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 0.977 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in h 0.977 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 0.978 * [taylor]: Taking taylor expansion of 1.5 in h 0.978 * [taylor]: Taking taylor expansion of PI in h 0.978 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.978 * [taylor]: Taking taylor expansion of 3.0 in h 0.978 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in g 0.978 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 0.978 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in g 0.978 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.978 * [taylor]: Taking taylor expansion of 1.5 in g 0.978 * [taylor]: Taking taylor expansion of PI in g 0.979 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.979 * [taylor]: Taking taylor expansion of 3.0 in g 0.979 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in g 0.979 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 0.979 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in g 0.979 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.979 * [taylor]: Taking taylor expansion of 1.5 in g 0.979 * [taylor]: Taking taylor expansion of PI in g 0.979 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 0.979 * [taylor]: Taking taylor expansion of 3.0 in g 0.980 * [taylor]: Taking taylor expansion of (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) in h 0.980 * [taylor]: Taking taylor expansion of 3.0 in h 0.980 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ g h))) PI)) in h 0.980 * [taylor]: Taking taylor expansion of 1.5 in h 0.980 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) PI) in h 0.980 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 0.980 * [taylor]: Taking taylor expansion of PI in h 0.982 * [taylor]: Taking taylor expansion of 0 in h 0.985 * [taylor]: Taking taylor expansion of 0 in h 0.989 * [taylor]: Taking taylor expansion of 0 in h 0.990 * [approximate]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in (g h) around 0 0.990 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in h 0.990 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.990 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in h 0.990 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 0.990 * [taylor]: Taking taylor expansion of 1.5 in h 0.990 * [taylor]: Taking taylor expansion of PI in h 0.990 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.991 * [taylor]: Taking taylor expansion of 3.0 in h 0.991 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 0.991 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.991 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 0.991 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.991 * [taylor]: Taking taylor expansion of 1.5 in g 0.991 * [taylor]: Taking taylor expansion of PI in g 0.991 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.991 * [taylor]: Taking taylor expansion of 3.0 in g 0.991 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 0.991 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 0.991 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 0.991 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 0.991 * [taylor]: Taking taylor expansion of 1.5 in g 0.991 * [taylor]: Taking taylor expansion of PI in g 0.992 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 0.992 * [taylor]: Taking taylor expansion of 3.0 in g 0.992 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) in h 0.992 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ h g))) PI)) in h 0.992 * [taylor]: Taking taylor expansion of 1.5 in h 0.992 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) PI) in h 0.992 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 0.993 * [taylor]: Taking taylor expansion of PI in h 0.993 * [taylor]: Taking taylor expansion of 3.0 in h 0.994 * [taylor]: Taking taylor expansion of 0 in h 0.997 * [taylor]: Taking taylor expansion of 0 in h 1.001 * [taylor]: Taking taylor expansion of 0 in h 1.002 * [approximate]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in (g h) around 0 1.002 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in h 1.002 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.002 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in h 1.002 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 1.002 * [taylor]: Taking taylor expansion of 1.5 in h 1.002 * [taylor]: Taking taylor expansion of PI in h 1.002 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 1.003 * [taylor]: Taking taylor expansion of 3.0 in h 1.003 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 1.003 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.003 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 1.003 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.003 * [taylor]: Taking taylor expansion of 1.5 in g 1.003 * [taylor]: Taking taylor expansion of PI in g 1.003 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 1.003 * [taylor]: Taking taylor expansion of 3.0 in g 1.003 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 1.003 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.003 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 1.003 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.003 * [taylor]: Taking taylor expansion of 1.5 in g 1.003 * [taylor]: Taking taylor expansion of PI in g 1.004 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 1.004 * [taylor]: Taking taylor expansion of 3.0 in g 1.004 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) in h 1.004 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ h g))) PI)) in h 1.004 * [taylor]: Taking taylor expansion of 1.5 in h 1.004 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) PI) in h 1.004 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 1.004 * [taylor]: Taking taylor expansion of PI in h 1.005 * [taylor]: Taking taylor expansion of 3.0 in h 1.006 * [taylor]: Taking taylor expansion of 0 in h 1.009 * [taylor]: Taking taylor expansion of 0 in h 1.013 * [taylor]: Taking taylor expansion of 0 in h 1.013 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 1.015 * [approximate]: Taking taylor expansion of (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0))) in (g h) around 0 1.015 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0))) in h 1.015 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 1.015 * [taylor]: Taking taylor expansion of (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)) in h 1.015 * [taylor]: Taking taylor expansion of PI in h 1.015 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in h 1.015 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 1.016 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in h 1.016 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 1.016 * [taylor]: Taking taylor expansion of 1.5 in h 1.016 * [taylor]: Taking taylor expansion of PI in h 1.016 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 1.016 * [taylor]: Taking taylor expansion of 3.0 in h 1.016 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0))) in g 1.016 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 1.016 * [taylor]: Taking taylor expansion of (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)) in g 1.016 * [taylor]: Taking taylor expansion of PI in g 1.016 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in g 1.016 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 1.016 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in g 1.016 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.016 * [taylor]: Taking taylor expansion of 1.5 in g 1.016 * [taylor]: Taking taylor expansion of PI in g 1.017 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 1.017 * [taylor]: Taking taylor expansion of 3.0 in g 1.017 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0))) in g 1.017 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 1.017 * [taylor]: Taking taylor expansion of (* PI (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0)) in g 1.017 * [taylor]: Taking taylor expansion of PI in g 1.017 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ g h))) 3.0) in g 1.017 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ g h)))) 3.0) 1.017 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ g h)))) in g 1.017 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.017 * [taylor]: Taking taylor expansion of 1.5 in g 1.017 * [taylor]: Taking taylor expansion of PI in g 1.017 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in g 1.017 * [taylor]: Taking taylor expansion of 3.0 in g 1.018 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI)) in h 1.018 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 1.018 * [taylor]: Taking taylor expansion of (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI) in h 1.018 * [taylor]: Taking taylor expansion of (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) in h 1.018 * [taylor]: Taking taylor expansion of 3.0 in h 1.018 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ g h))) PI)) in h 1.018 * [taylor]: Taking taylor expansion of 1.5 in h 1.018 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ g h))) PI) in h 1.018 * [taylor]: Taking taylor expansion of (acos (* -1 (/ g h))) in h 1.019 * [taylor]: Taking taylor expansion of PI in h 1.019 * [taylor]: Taking taylor expansion of PI in h 1.022 * [taylor]: Taking taylor expansion of 0 in h 1.027 * [taylor]: Taking taylor expansion of 0 in h 1.034 * [taylor]: Taking taylor expansion of 0 in h 1.036 * [approximate]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in (g h) around 0 1.036 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in h 1.036 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 1.036 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in h 1.036 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in h 1.036 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.036 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in h 1.036 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 1.036 * [taylor]: Taking taylor expansion of 1.5 in h 1.036 * [taylor]: Taking taylor expansion of PI in h 1.037 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 1.037 * [taylor]: Taking taylor expansion of 3.0 in h 1.037 * [taylor]: Taking taylor expansion of PI in h 1.037 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 1.037 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 1.037 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 1.037 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 1.037 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.037 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 1.037 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.037 * [taylor]: Taking taylor expansion of 1.5 in g 1.037 * [taylor]: Taking taylor expansion of PI in g 1.037 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 1.037 * [taylor]: Taking taylor expansion of 3.0 in g 1.037 * [taylor]: Taking taylor expansion of PI in g 1.037 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 1.037 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 1.038 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 1.038 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 1.038 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.038 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 1.038 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.038 * [taylor]: Taking taylor expansion of 1.5 in g 1.038 * [taylor]: Taking taylor expansion of PI in g 1.038 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 1.038 * [taylor]: Taking taylor expansion of 3.0 in g 1.038 * [taylor]: Taking taylor expansion of PI in g 1.039 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI)) in h 1.039 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 1.039 * [taylor]: Taking taylor expansion of (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI) in h 1.039 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) in h 1.039 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ h g))) PI)) in h 1.039 * [taylor]: Taking taylor expansion of 1.5 in h 1.039 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) PI) in h 1.039 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 1.039 * [taylor]: Taking taylor expansion of PI in h 1.039 * [taylor]: Taking taylor expansion of 3.0 in h 1.039 * [taylor]: Taking taylor expansion of PI in h 1.042 * [taylor]: Taking taylor expansion of 0 in h 1.050 * [taylor]: Taking taylor expansion of 0 in h 1.056 * [taylor]: Taking taylor expansion of 0 in h 1.059 * [approximate]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in (g h) around 0 1.059 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in h 1.059 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 1.059 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in h 1.059 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in h 1.059 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.059 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in h 1.059 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in h 1.059 * [taylor]: Taking taylor expansion of 1.5 in h 1.059 * [taylor]: Taking taylor expansion of PI in h 1.059 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 1.060 * [taylor]: Taking taylor expansion of 3.0 in h 1.060 * [taylor]: Taking taylor expansion of PI in h 1.060 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 1.060 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 1.060 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 1.060 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 1.060 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.060 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 1.060 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.060 * [taylor]: Taking taylor expansion of 1.5 in g 1.060 * [taylor]: Taking taylor expansion of PI in g 1.060 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 1.060 * [taylor]: Taking taylor expansion of 3.0 in g 1.060 * [taylor]: Taking taylor expansion of PI in g 1.060 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI)) in g 1.060 * [taylor]: Taking taylor expansion of 0.2222222222222222 in g 1.060 * [taylor]: Taking taylor expansion of (* (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) PI) in g 1.060 * [taylor]: Taking taylor expansion of (fma (/ 1.5 PI) (acos (* -1 (/ h g))) 3.0) in g 1.060 * [taylor]: Rewrote expression to (+ (* (/ 1.5 PI) (acos (* -1 (/ h g)))) 3.0) 1.060 * [taylor]: Taking taylor expansion of (* (/ 1.5 PI) (acos (* -1 (/ h g)))) in g 1.061 * [taylor]: Taking taylor expansion of (/ 1.5 PI) in g 1.061 * [taylor]: Taking taylor expansion of 1.5 in g 1.061 * [taylor]: Taking taylor expansion of PI in g 1.061 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in g 1.061 * [taylor]: Taking taylor expansion of 3.0 in g 1.061 * [taylor]: Taking taylor expansion of PI in g 1.062 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI)) in h 1.062 * [taylor]: Taking taylor expansion of 0.2222222222222222 in h 1.062 * [taylor]: Taking taylor expansion of (* (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) PI) in h 1.062 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (acos (* -1 (/ h g))) PI)) 3.0) in h 1.062 * [taylor]: Taking taylor expansion of (* 1.5 (/ (acos (* -1 (/ h g))) PI)) in h 1.062 * [taylor]: Taking taylor expansion of 1.5 in h 1.062 * [taylor]: Taking taylor expansion of (/ (acos (* -1 (/ h g))) PI) in h 1.062 * [taylor]: Taking taylor expansion of (acos (* -1 (/ h g))) in h 1.062 * [taylor]: Taking taylor expansion of PI in h 1.062 * [taylor]: Taking taylor expansion of 3.0 in h 1.062 * [taylor]: Taking taylor expansion of PI in h 1.065 * [taylor]: Taking taylor expansion of 0 in h 1.070 * [taylor]: Taking taylor expansion of 0 in h 1.076 * [taylor]: Taking taylor expansion of 0 in h 1.076 * * * [progress]: simplifying candidates 1.077 * [simplify]: Simplifying using # : (* (cos (/ 0 (* (/ 3.0 (* 2.0 PI)) (- 3.0)))) (cos (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) (- 3.0))))) (* (sin (/ 0 (* (/ 3.0 (* 2.0 PI)) (- 3.0)))) (sin (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) (- 3.0))))) (* (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h)))) (- (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0))) (- (* (/ 3.0 (* 2.0 PI)) (- 3.0))) (/ 0 (* (/ 3.0 (* 2.0 PI)) (- 3.0))) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) (- 3.0))) (/ -1 (/ 3.0 (* 2.0 PI))) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (- 3.0)) (/ -1 (* (/ 3.0 (* 2.0 PI)) -1)) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) 3.0) (/ -1 3.0) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 1 (* 2.0 PI)) (- 3.0))) (/ -1 (- 3.0)) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (/ 3.0 (* 2.0 PI))) (/ 1 (* (/ 3.0 (* 2.0 PI)) (- 3.0))) (/ (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0))) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) (- 3.0))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (/ 3.0 (* 2.0 PI))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 (* 2.0 PI)) -1)) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) 3.0) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (- 3.0)) (/ (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* 3.0 (- 3.0))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (- 3.0) (- 3.0))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* 1 (- 3.0))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 2.0) (- 3.0))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 PI) (- 3.0))) (cos (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ g h))) PI)) 3.0) PI))) (cos (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI))) (cos (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI))) (+ (* 1.5 (/ (acos (* -1 (/ g h))) PI)) 3.0) (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) (* 0.2222222222222222 (* (+ (* 1.5 (/ (acos (* -1 (/ g h))) PI)) 3.0) PI)) (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI)) (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI)) 1.081 * * [simplify]: iteration 0 : 165 enodes (cost 301 ) 1.085 * * [simplify]: iteration 1 : 606 enodes (cost 297 ) 1.098 * * [simplify]: iteration 2 : 3351 enodes (cost 265 ) 1.186 * * [simplify]: iteration 3 : 5002 enodes (cost 265 ) 1.187 * [simplify]: Simplified to: (cos (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) (- 3.0)))) 0 (* (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h)))) (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) 3.0) 0 (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) (- 3.0))) (/ -1 (/ 3.0 (* 2.0 PI))) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (- 3.0)) (/ 1 (/ 3.0 (* 2.0 PI))) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) 3.0) (/ -1 3.0) (* (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (- 3.0)) (* 2.0 PI)) (/ 1 3.0) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (/ 3.0 (* 2.0 PI))) (/ -1 (* (/ 3.0 (* 2.0 PI)) 3.0)) (/ (* (/ 3.0 (* 2.0 PI)) 3.0) (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* (/ 3.0 (* 2.0 PI)) (- 3.0))) (* (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (- 3.0)) (* 2.0 PI)) (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (/ 3.0 (* 2.0 PI))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) 3.0) (- (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (- 3.0))) (/ (* (/ 3.0 (* 2.0 PI)) (- 3.0)) (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* 3.0 (- 3.0))) (- (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (* 3.0 3.0))) (- (/ (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0) (- 3.0))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 2.0) (- 3.0))) (/ (- (fma (/ 3.0 (* 2.0 PI)) (acos (* -1 (/ g h))) 3.0)) (* (/ 3.0 PI) (- 3.0))) (cos (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI))) (cos (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI))) (cos (* 0.2222222222222222 (* (+ 3.0 (* 1.5 (/ (acos (* -1 (/ g h))) PI))) PI))) (fma 1.5 (/ (acos (* -1 (/ g h))) PI) 3.0) (fma 1.5 (/ (acos (* -1 (/ g h))) PI) 3.0) (fma 1.5 (/ (acos (* -1 (/ g h))) PI) 3.0) (* (* PI (fma 1.5 (/ (acos (* -1 (/ g h))) PI) 3.0)) 0.2222222222222222) (* (* PI (fma 1.5 (/ (acos (* -1 (/ g h))) PI) 3.0)) 0.2222222222222222) (* (* PI (fma 1.5 (/ (acos (* -1 (/ g h))) PI) 3.0)) 0.2222222222222222) 1.188 * * * [progress]: adding candidates to table 1.269 * [progress]: [Phase 3 of 3] Extracting. 1.269 * * [regime]: Finding splitpoints for: (# #) 1.270 * * * [regime-changes]: Trying 2 branch expressions: (h g) 1.270 * * * * [regimes]: Trying to branch on h from (# #) 1.287 * * * * [regimes]: Trying to branch on g from (# #) 1.301 * * * [regime]: Found split indices: #